1 /* { dg-do run } */
2 /* { dg-additional-options "-fgimple" } */
3 
4 int __attribute__((noipa))
bar(int cond,int val)5 __GIMPLE(startwith("dom")) bar(int cond, int val)
6 {
7   int i;
8 
9   if (0 != 0)
10     goto bb_6;
11   else
12     goto bb_2;
13 
14 bb_2:
15   if (cond_5(D) != 0)
16     goto bb_4;
17   else
18     goto bb_5;
19 
20 bb_4:
21   i_6 = val_2(D);
22   i_1 = val_2(D) > 0 ? i_6 : 0;
23 
24 bb_5:
25   i_3 = __PHI (bb_4: i_1, bb_2: 0);
26   return i_3;
27 
28 bb_6:
29   i_4 = 1;
30   i_9 = 2;
31   goto bb_2;
32 }
33 
main()34 int main()
35 {
36   if (bar (1, 1) != 1)
37     __builtin_abort ();
38   return 0;
39 }
40