- /* check for Phi with Bad inputs */
- if (is_Phi(node) && !is_Bad(get_nodes_block(node)) && is_Bad(get_irn_n(get_nodes_block(node), i))) {
- if (venv->flags & BAD_CF)
- continue;
- else {
- venv->res |= BAD_CF;
-
- if (opt_do_node_verification == NODE_VERIFICATION_REPORT) {
- fprintf(stderr, "irg_vrfy_bads: Phi %ld has Bad Input\n", get_irn_node_nr(node));
- }
- if (opt_do_node_verification == NODE_VERIFICATION_ON) {
- assert(0 && "Bad CF detected");
- }
- }
- }
-
- /* Bad node input */
- if ((venv->flags & BAD_DF) == 0) {
- venv->res |= BAD_DF;
-
- if (opt_do_node_verification == NODE_VERIFICATION_REPORT) {
- fprintf(stderr, "irg_vrfy_bads: node %ld has Bad Input\n", get_irn_node_nr(node));
- }
- if (opt_do_node_verification == NODE_VERIFICATION_ON) {
- assert(0 && "Bad NON-CF detected");
- }
- }
+ /* check for Phi with Bad inputs */
+ if (is_Phi(node) && !is_Bad(get_nodes_block(node)) && is_Bad(get_irn_n(get_nodes_block(node), i))) {
+ if (venv->flags & BAD_CF)
+ continue;
+ else {
+ venv->res |= BAD_CF;
+
+ if (opt_do_node_verification == NODE_VERIFICATION_REPORT) {
+ fprintf(stderr, "irg_vrfy_bads: Phi %ld has Bad Input\n", get_irn_node_nr(node));
+ }
+ if (opt_do_node_verification == NODE_VERIFICATION_ON) {
+ assert(0 && "Bad CF detected");
+ }
+ }
+ }
+
+ /* Bad node input */
+ if ((venv->flags & BAD_DF) == 0) {
+ venv->res |= BAD_DF;
+
+ if (opt_do_node_verification == NODE_VERIFICATION_REPORT) {
+ fprintf(stderr, "irg_vrfy_bads: node %ld has Bad Input\n", get_irn_node_nr(node));
+ }
+ if (opt_do_node_verification == NODE_VERIFICATION_ON) {
+ assert(0 && "Bad NON-CF detected");
+ }
+ }