blob: 04847d65ae1fe3129ca5038c27cd44dcabfcd181 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* { dg-do compile } */
/* { dg-skip-if "" { *-*-* } { "-O0" "-fno-fat-lto-objects" } { "" } } */
/* At -O1 DOM threads a jump in a non-optimal way which leads to
the bogus propagation. */
/* { dg-skip-if "" { *-*-* } { "-O1" } { "" } } */
/* { dg-options "-fdump-tree-ivcanon-details" } */
int a[199];
extern void abort (void);
int
main ()
{
int i, x;
for (i = 0; i < 199; i++)
{
x = a[i];
if (x != i)
abort ();
}
return 0;
}
/* Verify that we do not propagate the equivalence x == i into the
induction variable increment. */
/* { dg-final { scan-tree-dump "Added canonical iv" "ivcanon" } } */
/* { dg-final { cleanup-tree-dump "ivcanon" } } */
|
