Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-11.c @ 158:494b0b89df80 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
1 /* { dg-do compile } */
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
2 /* { dg-options "-O2 -fdump-tree-dom2-details --param logical-op-non-short-circuit=1" } */
111
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 static int *bb_ticks;
kono
parents:
diff changeset
5 extern void frob (void);
kono
parents:
diff changeset
6 void
kono
parents:
diff changeset
7 mark_target_live_regs (int b, int block, int bb_tick)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 if (b == block && b != -1 && bb_tick == bb_ticks[b])
kono
parents:
diff changeset
10 return;
kono
parents:
diff changeset
11 if (b != -1)
kono
parents:
diff changeset
12 frob ();
kono
parents:
diff changeset
13 }
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 /* When the first two conditionals in the first IF are true, but
kono
parents:
diff changeset
16 the third conditional is false, then there's a jump threading
kono
parents:
diff changeset
17 opportunity to bypass the second IF statement. */
kono
parents:
diff changeset
18 /* { dg-final { scan-tree-dump-times "Threaded" 1 "dom2"} } */