annotate gcc/testsuite/gcc.c-torture/compile/SIcmp.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
1 /* { dg-skip-if "too many arguments in function call" { bpf-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
2
111
kono
parents:
diff changeset
3 #define type int
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 type glob0, glob1;
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 #define E0 ((type *)10000000)
kono
parents:
diff changeset
8 #define reg0 r0
kono
parents:
diff changeset
9 #define indreg0 (*p0)
kono
parents:
diff changeset
10 #define imm0 22
kono
parents:
diff changeset
11 #define limm0 ((type)&glob0)
kono
parents:
diff changeset
12 #define adr0 (*E0)
kono
parents:
diff changeset
13 #define adrreg0 (p0[10000000])
kono
parents:
diff changeset
14 #define adrx0 (E0[x0])
kono
parents:
diff changeset
15 #define regx0 (p0[x0])
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 #define E1 ((type *)(11111111 & ~(__alignof__ (type) - 1)))
kono
parents:
diff changeset
18 #define reg1 r1
kono
parents:
diff changeset
19 #define indreg1 (*p1)
kono
parents:
diff changeset
20 #define imm1 33
kono
parents:
diff changeset
21 #define limm1 ((type)&glob1)
kono
parents:
diff changeset
22 #define adr1 (*E1)
kono
parents:
diff changeset
23 #define adrreg1 (p1[1111111/4])
kono
parents:
diff changeset
24 #define adrx1 (E1[x1])
kono
parents:
diff changeset
25 #define regx1 (p1[x1])
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 reg0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
28 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
29 {if (reg0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 reg0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
32 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
33 {if (reg0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 reg0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
36 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
37 {if (reg0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 reg0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
40 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
41 {if (reg0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 reg0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
44 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
45 {if (reg0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 reg0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
48 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
49 {if (reg0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 reg0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
52 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
53 {if (reg0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 reg0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
56 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
57 {if (reg0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
58
kono
parents:
diff changeset
59 indreg0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
60 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
61 {if (indreg0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 indreg0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
64 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
65 {if (indreg0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
66
kono
parents:
diff changeset
67 indreg0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
68 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
69 {if (indreg0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 indreg0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
72 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
73 {if (indreg0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 indreg0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
76 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
77 {if (indreg0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 indreg0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
80 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
81 {if (indreg0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
82
kono
parents:
diff changeset
83 indreg0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
84 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
85 {if (indreg0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 indreg0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
88 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
89 {if (indreg0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
90
kono
parents:
diff changeset
91 imm0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
92 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
93 {if (imm0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
94
kono
parents:
diff changeset
95 imm0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
96 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
97 {if (imm0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 imm0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
100 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
101 {if (imm0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
102
kono
parents:
diff changeset
103 imm0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
104 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
105 {if (imm0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 imm0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
108 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
109 {if (imm0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 imm0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
112 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
113 {if (imm0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 imm0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
116 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
117 {if (imm0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 imm0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
120 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
121 {if (imm0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
122
kono
parents:
diff changeset
123 limm0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
124 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
125 {if (limm0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 limm0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
128 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
129 {if (limm0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 limm0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
132 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
133 {if (limm0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
134
kono
parents:
diff changeset
135 limm0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
136 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
137 {if (limm0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
138
kono
parents:
diff changeset
139 limm0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
140 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
141 {if (limm0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
142
kono
parents:
diff changeset
143 limm0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
144 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
145 {if (limm0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
146
kono
parents:
diff changeset
147 limm0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
148 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
149 {if (limm0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
150
kono
parents:
diff changeset
151 limm0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
152 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
153 {if (limm0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
154
kono
parents:
diff changeset
155 adr0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
156 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
157 {if (adr0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
158
kono
parents:
diff changeset
159 adr0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
160 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
161 {if (adr0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
162
kono
parents:
diff changeset
163 adr0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
164 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
165 {if (adr0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 adr0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
168 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
169 {if (adr0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
170
kono
parents:
diff changeset
171 adr0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
172 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
173 {if (adr0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
174
kono
parents:
diff changeset
175 adr0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
176 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
177 {if (adr0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179 adr0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
180 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
181 {if (adr0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
182
kono
parents:
diff changeset
183 adr0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
184 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
185 {if (adr0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
186
kono
parents:
diff changeset
187 adrreg0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
188 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
189 {if (adrreg0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191 adrreg0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
192 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
193 {if (adrreg0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 adrreg0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
196 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
197 {if (adrreg0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
198
kono
parents:
diff changeset
199 adrreg0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
200 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
201 {if (adrreg0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
202
kono
parents:
diff changeset
203 adrreg0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
204 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
205 {if (adrreg0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
206
kono
parents:
diff changeset
207 adrreg0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
208 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
209 {if (adrreg0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
210
kono
parents:
diff changeset
211 adrreg0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
212 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
213 {if (adrreg0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
214
kono
parents:
diff changeset
215 adrreg0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
216 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
217 {if (adrreg0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
218
kono
parents:
diff changeset
219 adrx0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
220 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
221 {if (adrx0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 adrx0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
224 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
225 {if (adrx0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
226
kono
parents:
diff changeset
227 adrx0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
228 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
229 {if (adrx0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 adrx0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
232 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
233 {if (adrx0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
234
kono
parents:
diff changeset
235 adrx0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
236 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
237 {if (adrx0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
238
kono
parents:
diff changeset
239 adrx0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
240 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
241 {if (adrx0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
242
kono
parents:
diff changeset
243 adrx0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
244 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
245 {if (adrx0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 adrx0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
248 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
249 {if (adrx0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
250
kono
parents:
diff changeset
251 regx0reg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
252 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
253 {if (regx0 <= reg1) return 1; else return 0;}
kono
parents:
diff changeset
254
kono
parents:
diff changeset
255 regx0indreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
256 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
257 {if (regx0 <= indreg1) return 1; else return 0;}
kono
parents:
diff changeset
258
kono
parents:
diff changeset
259 regx0imm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
260 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
261 {if (regx0 <= imm1) return 1; else return 0;}
kono
parents:
diff changeset
262
kono
parents:
diff changeset
263 regx0limm1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
264 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
265 {if (regx0 <= limm1) return 1; else return 0;}
kono
parents:
diff changeset
266
kono
parents:
diff changeset
267 regx0adr1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
268 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
269 {if (regx0 <= adr1) return 1; else return 0;}
kono
parents:
diff changeset
270
kono
parents:
diff changeset
271 regx0adrreg1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
272 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
273 {if (regx0 <= adrreg1) return 1; else return 0;}
kono
parents:
diff changeset
274
kono
parents:
diff changeset
275 regx0adrx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
276 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
277 {if (regx0 <= adrx1) return 1; else return 0;}
kono
parents:
diff changeset
278
kono
parents:
diff changeset
279 regx0regx1 (r0, r1, x0, x1, p0, p1)
kono
parents:
diff changeset
280 type r0, r1; type *p0, *p1;
kono
parents:
diff changeset
281 {if (regx0 <= regx1) return 1; else return 0;}
kono
parents:
diff changeset
282