contrib/gcc/ifcvt.c

261 			 /* last insn to look at */rtx test,
262 			 /* conditional execution test */rtx prob_val,
293       if (modified_in_p (test, insn))
302       xtest = copy_rtx (test);
304       /* If this is already a COND_EXEC, rewrite the test to be an AND of the
379   basic_block test_bb = ce_info->test_bb;	/* last test block */
389   rtx true_expr;		/* test for else block insns */
390   rtx false_expr;		/* test for then block insns */
396   /* If test is comprised of && or || elements, and we've failed at handling
397      all of them together, just use the last test if it is the special case of
411      the test.  */
472      blocks after the first block containing the test.  */
500 	  /* Find the conditional jump and isolate the test.  */
538   /* For IF-THEN-ELSE blocks, we don't allow modifications of the test
864 /* Convert "if (test) x = 1; else x = 0".
912 /* Convert "if (test) x = a; else x = b", for A and B constant.  */
978       /* if (test) x = 3; else x = 4;
979 	 =>   x = 3 + (test == 0);  */
989       /* if (test) x = 8; else x = 0;
990 	 =>   x = (test != 0) << 3;  */
998       /* if (test) x = -1; else x = b;
999 	 =>   x = -(test != 0) | b;  */
1007       /* if (test) x = a; else x = b;
1008 	 =>   x = (-(test != 0) & (b - a)) + a;  */
1041 /* Convert "if (test) foo++" into "foo += (test != 0)", and
1133 /* Convert "if (test) x = 0;" to "x &= -(test == 0);"  */
1315   /* if (test) x = a + b; else x = c - d;
1318 	if (test)
2066   /* If test is comprised of && or || elements, don't handle it unless
2177   basic_block test_bb = ce_info->test_bb;	/* test block */
2411    test.  */
2685   basic_block test_bb = ce_info->test_bb;	/* last test block */
2875    block is part of an && test or an || test.  Returns either -1 or the number
2959   /* Discover if any fall through predecessors of the current test basic block
3117 	fprintf (dump_file, ", %d %s block%s last test %d [%d]",
3224   /* If the non-trap block and the test are now adjacent, merge them.
3288 	if (test) goto over; // x not live
3296 	if (! test) goto label;
3299 	if (test) goto E; // x not live
3309 	if (test) goto M;
3447          test bb (you can not fall through across section boundaries).  */