|
111
|
1 /* PR tree-optimization/69097 */
|
|
|
2 /* { dg-do compile } */
|
|
|
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
|
|
|
4 /* { dg-final { scan-tree-dump-times "-y" 17 "optimized" } } */
|
|
|
5
|
|
|
6 int
|
|
|
7 f1 (int x, int y)
|
|
|
8 {
|
|
|
9 if (x == -__INT_MAX__)
|
|
|
10 __builtin_unreachable ();
|
|
|
11 return x % -y;
|
|
|
12 }
|
|
|
13
|
|
|
14 int
|
|
|
15 f2 (int x, int y)
|
|
|
16 {
|
|
|
17 if (x >= -__INT_MAX__ + 1)
|
|
|
18 __builtin_unreachable ();
|
|
|
19 return x % -y;
|
|
|
20 }
|
|
|
21
|
|
|
22 int
|
|
|
23 f3 (int x, int y)
|
|
|
24 {
|
|
|
25 if (y == -2)
|
|
|
26 __builtin_unreachable ();
|
|
|
27 return x % -y;
|
|
|
28 }
|
|
|
29
|
|
|
30 int
|
|
|
31 f4 (int x, int y)
|
|
|
32 {
|
|
|
33 if (y < -1)
|
|
|
34 __builtin_unreachable ();
|
|
|
35 return x % -y;
|
|
|
36 }
|
|
|
37
|
|
|
38 int
|
|
|
39 f5 (int x, int y)
|
|
|
40 {
|
|
|
41 if (y >= 0)
|
|
|
42 __builtin_unreachable ();
|
|
|
43 return x % -y;
|
|
|
44 }
|
|
|
45
|
|
|
46 int
|
|
|
47 f6 (int x, int y)
|
|
|
48 {
|
|
|
49 if (y < -1 || y > 24)
|
|
|
50 __builtin_unreachable ();
|
|
|
51 return x % -y;
|
|
|
52 }
|
|
|
53
|
|
|
54 int
|
|
|
55 f7 (int x, int y)
|
|
|
56 {
|
|
|
57 if (y <= -17 || y >= 0)
|
|
|
58 __builtin_unreachable ();
|
|
|
59 return x % -y;
|
|
|
60 }
|
|
|
61
|
|
|
62 int
|
|
|
63 f8 (int x, int y)
|
|
|
64 {
|
|
|
65 if (y >= -13 && y <= -2)
|
|
|
66 __builtin_unreachable ();
|
|
|
67 return x % -y;
|
|
|
68 }
|
|
|
69
|
|
|
70 int
|
|
|
71 f9 (int x, int y)
|
|
|
72 {
|
|
|
73 return x % -y;
|
|
|
74 }
|
|
|
75
|
|
|
76 int
|
|
|
77 f10 (int x, int y)
|
|
|
78 {
|
|
|
79 if (x != -__INT_MAX__)
|
|
|
80 return x % -y;
|
|
|
81 return 34;
|
|
|
82 }
|
|
|
83
|
|
|
84 int
|
|
|
85 f11 (int x, int y)
|
|
|
86 {
|
|
|
87 if (x < -__INT_MAX__ + 2)
|
|
|
88 return x % -y;
|
|
|
89 return 34;
|
|
|
90 }
|
|
|
91
|
|
|
92 int
|
|
|
93 f12 (int x, int y)
|
|
|
94 {
|
|
|
95 if (y != -2)
|
|
|
96 return x % -y;
|
|
|
97 return 34;
|
|
|
98 }
|
|
|
99
|
|
|
100 int
|
|
|
101 f13 (int x, int y)
|
|
|
102 {
|
|
|
103 if (y >= -1)
|
|
|
104 return x % -y;
|
|
|
105 return 34;
|
|
|
106 }
|
|
|
107
|
|
|
108 int
|
|
|
109 f14 (int x, int y)
|
|
|
110 {
|
|
|
111 if (y < 0)
|
|
|
112 return x % -y;
|
|
|
113 return 34;
|
|
|
114 }
|
|
|
115
|
|
|
116 int
|
|
|
117 f15 (int x, int y)
|
|
|
118 {
|
|
|
119 if (y >= -1 && y <= 24)
|
|
|
120 return x % -y;
|
|
|
121 return 34;
|
|
|
122 }
|
|
|
123
|
|
|
124 int
|
|
|
125 f16 (int x, int y)
|
|
|
126 {
|
|
|
127 if (y > -17 && y < 0)
|
|
|
128 return x % -y;
|
|
|
129 return 34;
|
|
|
130 }
|
|
|
131
|
|
|
132 int
|
|
|
133 f17 (int x, int y)
|
|
|
134 {
|
|
|
135 if (y < -13 || y > -4)
|
|
|
136 return x % -y;
|
|
|
137 return 34;
|
|
|
138 }
|
