annotate gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-cse-3.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do run } */
kono
parents:
diff changeset
2 /* { dg-options "-O -fno-tree-fre -fdump-tree-dom2" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 extern void abort (void);
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 int a;
kono
parents:
diff changeset
7 int __attribute__((noinline))
kono
parents:
diff changeset
8 foo (int b)
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 a = 0;
kono
parents:
diff changeset
11 if (b)
kono
parents:
diff changeset
12 {
kono
parents:
diff changeset
13 a = 1;
kono
parents:
diff changeset
14 return a;
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16 /* DOM should be able to CSE both loads here, forwarding 0 and 1
kono
parents:
diff changeset
17 to the PHI feeding the return. */
kono
parents:
diff changeset
18 return a;
kono
parents:
diff changeset
19 }
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 int
kono
parents:
diff changeset
22 main()
kono
parents:
diff changeset
23 {
kono
parents:
diff changeset
24 if (foo (0) != 0
kono
parents:
diff changeset
25 || foo (1) != 1)
kono
parents:
diff changeset
26 abort ();
kono
parents:
diff changeset
27 return 0;
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 /* { dg-final { scan-tree-dump "= PHI <\[01\]\\\(.\\\), \[01\]\\\(.\\\)>" "dom2" } } */