blob: e56a7dd91b64d1b5a9150057c5657db83ce7d70f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/* { dg-do compile } */
/* { dg-options "-O1 -fscalar-evolutions -fdump-tree-scev-details" } */
int main (void)
{
int a;
int b;
int c;
/* Exercises the MINUS_EXPR. loop_1 runs 50 times. */
for (a = 100; a > 50; a--)
{
}
}
/* The analyzer has to detect the following evolution function:
a -> {100, +, -1}_1
*/
/* { dg-final { scan-tree-dump-times "nb_iterations 50" 1 "scev"} } */
|