comparison gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-14.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
1 /* PR tree-optimization/29738. We used not to realize that "i" can never
2 become nonzero. */
3
4 /* { dg-do compile } */ 1 /* { dg-do compile } */
5 /* { dg-options "-O2 -fdump-tree-optimized" } */ 2 /* { dg-options "-O2 -fdump-tree-fre1 -fdump-tree-optimized" } */
6 3
7 int i; 4 int i;
8 5
9 void foo (void); 6 void foo (void);
10 void bar (void) 7 void bar (void)
14 for (j = 0; j < 10000; j++) 11 for (j = 0; j < 10000; j++)
15 if (i) 12 if (i)
16 foo (); 13 foo ();
17 } 14 }
18 15
19 /* Everything except for the "i = 0" assignment should get removed. */ 16 /* Everything except for the "i = 0" assignment should get removed. Value
20 /* { dg-final { scan-tree-dump-times "if" 0 "optimized" { xfail *-*-* } } } */ 17 numbering already figures out the if in the loop is never true. */
18 /* { dg-final { scan-tree-dump-times "foo" 0 "fre1" } } */
19 /* { dg-final { scan-tree-dump-times "if" 0 "optimized" } } */