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-options "-O1 -fscalar-evolutions -fdump-tree-scev-details" } */
int main ()
{
int a;
int b = 2;
int c = 11;
for (a = -123; a < 0; c += 12, b += 5)
{
a += b;
/* The next stmt exercises the add_function_to_loop_evolution
(loop_num = 1, chrec_before = {-123, +, {2, +, 5}_1}_1, to_add = {11, +, 12}_1).
The result should be: {-123, +, {13, +, 17}_1}_1. */
a += c;
}
}
/*
b -> {2, +, 5}_1
c -> {11, +, 12}_1
a -> {-123, +, {13, +, 17}_1}_1
*/
/* FIXME. */
|
