blob: c6c2b2b78a5ac3aa64efe2444f2e4c388063c302 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/* { 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"} } */
|
