1 /* { dg-do run } */
2 /* { dg-options "-O2 -fgimple" } */
3 
4 __attribute__((noipa))
5 void __GIMPLE (ssa,startwith("evrp"))
foo(int x,int minus_1)6 foo (int x, int minus_1)
7 {
8   int tem;
9   unsigned int _1;
10   unsigned int _2;
11 
12   __BB(2):
13   tem_4 = minus_1_3(D);
14   tem_5 = tem_4 + 2;
15   _1 = (unsigned int) x_6(D);
16   _2 = _1 + 2147483647u;
17   if (_2 > 1u)
18     goto __BB3;
19   else
20     goto __BB6;
21 
22   __BB(3):
23   if (x_6(D) <= tem_5)
24     goto __BB4;
25   else
26     goto __BB6;
27 
28   __BB(4):
29   if (x_6(D) > 5)
30     goto __BB5;
31   else
32     goto __BB6;
33 
34   __BB(5):
35   __builtin_exit (0);
36 
37   __BB(6):
38   return;
39 
40 }
41 
42 int
main()43 main()
44 {
45   foo (10, 100);
46   __builtin_abort ();
47 }
48