111
|
1 /* PR tree-optimization/54471 */
|
|
2 /* { dg-do compile } */
|
|
3 /* { dg-options "-O2 -fdump-tree-vrp1" } */
|
|
4
|
|
5 #ifdef __SIZEOF_INT128__
|
|
6 #define T __int128
|
|
7 #else
|
|
8 #define T long long
|
|
9 #endif
|
|
10
|
|
11 void fn1call (void);
|
|
12 void fn2call (void);
|
|
13
|
|
14 void
|
|
15 foo (unsigned T x)
|
|
16 {
|
|
17 if (x > (unsigned T) -3)
|
|
18 return;
|
|
19 unsigned T y = 2 * x;
|
|
20 if (y == 42)
|
|
21 fn1call ();
|
|
22 else
|
|
23 fn2call ();
|
|
24 }
|
|
25
|
|
26 /* { dg-final { scan-tree-dump "fn1call" "vrp1"} } */
|
|
27 /* { dg-final { scan-tree-dump "fn2call" "vrp1"} } */
|