| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-threadfull1-details --param logical-op-non-short-circuit=1" } */ |
| |
| // Copied from ssa-dom-thread-11.c |
| |
| static int *bb_ticks; |
| extern void frob (void); |
| void |
| mark_target_live_regs (int b, int block, int bb_tick) |
| { |
| if (b == block && b != -1 && bb_tick == bb_ticks[b]) |
| return; |
| if (b != -1) |
| frob (); |
| } |
| |
| /* When the first two conditionals in the first IF are true, but |
| the third conditional is false, then there's a jump threading |
| opportunity to bypass the second IF statement. */ |
| /* { dg-final { scan-tree-dump-times "Registering.*jump thread" 1 "threadfull1"} } */ |
