| blob | 25fd21d80c6011ac33a1601668f7da6c66c1d6be |
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -mtriple=x86_64-darwin-unknown < %s | FileCheck %s --check-prefix=SDAG
3 ; RUN: llc -mtriple=x86_64-darwin-unknown -fast-isel -fast-isel-abort=1 < %s | FileCheck %s --check-prefix=FAST
4 ; RUN: llc -mtriple=x86_64-darwin-unknown -mcpu=knl < %s | FileCheck %s --check-prefix=KNL
6 ;
7 ; Get the actual value of the overflow bit.
8 ;
9 ; SADDO reg, reg
10 define zeroext i1 @saddoi8(i8 signext %v1, i8 signext %v2, i8* %res) {
11 ; SDAG-LABEL: saddoi8:
12 ; SDAG: ## BB#0:
13 ; SDAG-NEXT: addb %sil, %dil
14 ; SDAG-NEXT: seto %al
15 ; SDAG-NEXT: movb %dil, (%rdx)
16 ; SDAG-NEXT: retq
17 ;
18 ; FAST-LABEL: saddoi8:
19 ; FAST: ## BB#0:
20 ; FAST-NEXT: addb %sil, %dil
21 ; FAST-NEXT: seto %al
22 ; FAST-NEXT: movb %dil, (%rdx)
23 ; FAST-NEXT: andb $1, %al
24 ; FAST-NEXT: movzbl %al, %eax
25 ; FAST-NEXT: retq
26 ;
27 ; KNL-LABEL: saddoi8:
28 ; KNL: ## BB#0:
29 ; KNL-NEXT: addb %sil, %dil
30 ; KNL-NEXT: seto %al
31 ; KNL-NEXT: movb %dil, (%rdx)
32 ; KNL-NEXT: retq
33 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 %v1, i8 %v2)
34 %val = extractvalue {i8, i1} %t, 0
35 %obit = extractvalue {i8, i1} %t, 1
36 store i8 %val, i8* %res
37 ret i1 %obit
38 }
40 define zeroext i1 @saddoi16(i16 %v1, i16 %v2, i16* %res) {
41 ; SDAG-LABEL: saddoi16:
42 ; SDAG: ## BB#0:
43 ; SDAG-NEXT: addw %si, %di
44 ; SDAG-NEXT: seto %al
45 ; SDAG-NEXT: movw %di, (%rdx)
46 ; SDAG-NEXT: retq
47 ;
48 ; FAST-LABEL: saddoi16:
49 ; FAST: ## BB#0:
50 ; FAST-NEXT: addw %si, %di
51 ; FAST-NEXT: seto %al
52 ; FAST-NEXT: movw %di, (%rdx)
53 ; FAST-NEXT: andb $1, %al
54 ; FAST-NEXT: movzbl %al, %eax
55 ; FAST-NEXT: retq
56 ;
57 ; KNL-LABEL: saddoi16:
58 ; KNL: ## BB#0:
59 ; KNL-NEXT: addw %si, %di
60 ; KNL-NEXT: seto %al
61 ; KNL-NEXT: movw %di, (%rdx)
62 ; KNL-NEXT: retq
63 %t = call {i16, i1} @llvm.sadd.with.overflow.i16(i16 %v1, i16 %v2)
64 %val = extractvalue {i16, i1} %t, 0
65 %obit = extractvalue {i16, i1} %t, 1
66 store i16 %val, i16* %res
67 ret i1 %obit
68 }
70 define zeroext i1 @saddoi32(i32 %v1, i32 %v2, i32* %res) {
71 ; SDAG-LABEL: saddoi32:
72 ; SDAG: ## BB#0:
73 ; SDAG-NEXT: addl %esi, %edi
74 ; SDAG-NEXT: seto %al
75 ; SDAG-NEXT: movl %edi, (%rdx)
76 ; SDAG-NEXT: retq
77 ;
78 ; FAST-LABEL: saddoi32:
79 ; FAST: ## BB#0:
80 ; FAST-NEXT: addl %esi, %edi
81 ; FAST-NEXT: seto %al
82 ; FAST-NEXT: movl %edi, (%rdx)
83 ; FAST-NEXT: andb $1, %al
84 ; FAST-NEXT: movzbl %al, %eax
85 ; FAST-NEXT: retq
86 ;
87 ; KNL-LABEL: saddoi32:
88 ; KNL: ## BB#0:
89 ; KNL-NEXT: addl %esi, %edi
90 ; KNL-NEXT: seto %al
91 ; KNL-NEXT: movl %edi, (%rdx)
92 ; KNL-NEXT: retq
93 %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
94 %val = extractvalue {i32, i1} %t, 0
95 %obit = extractvalue {i32, i1} %t, 1
96 store i32 %val, i32* %res
97 ret i1 %obit
98 }
100 define zeroext i1 @saddoi64(i64 %v1, i64 %v2, i64* %res) {
101 ; SDAG-LABEL: saddoi64:
102 ; SDAG: ## BB#0:
103 ; SDAG-NEXT: addq %rsi, %rdi
104 ; SDAG-NEXT: seto %al
105 ; SDAG-NEXT: movq %rdi, (%rdx)
106 ; SDAG-NEXT: retq
107 ;
108 ; FAST-LABEL: saddoi64:
109 ; FAST: ## BB#0:
110 ; FAST-NEXT: addq %rsi, %rdi
111 ; FAST-NEXT: seto %al
112 ; FAST-NEXT: movq %rdi, (%rdx)
113 ; FAST-NEXT: andb $1, %al
114 ; FAST-NEXT: movzbl %al, %eax
115 ; FAST-NEXT: retq
116 ;
117 ; KNL-LABEL: saddoi64:
118 ; KNL: ## BB#0:
119 ; KNL-NEXT: addq %rsi, %rdi
120 ; KNL-NEXT: seto %al
121 ; KNL-NEXT: movq %rdi, (%rdx)
122 ; KNL-NEXT: retq
123 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 %v2)
124 %val = extractvalue {i64, i1} %t, 0
125 %obit = extractvalue {i64, i1} %t, 1
126 store i64 %val, i64* %res
127 ret i1 %obit
128 }
130 ; SADDO reg, 1 | INC
131 define zeroext i1 @saddoinci8(i8 %v1, i8* %res) {
132 ; SDAG-LABEL: saddoinci8:
133 ; SDAG: ## BB#0:
134 ; SDAG-NEXT: incb %dil
135 ; SDAG-NEXT: seto %al
136 ; SDAG-NEXT: movb %dil, (%rsi)
137 ; SDAG-NEXT: retq
138 ;
139 ; FAST-LABEL: saddoinci8:
140 ; FAST: ## BB#0:
141 ; FAST-NEXT: incb %dil
142 ; FAST-NEXT: seto %al
143 ; FAST-NEXT: movb %dil, (%rsi)
144 ; FAST-NEXT: andb $1, %al
145 ; FAST-NEXT: movzbl %al, %eax
146 ; FAST-NEXT: retq
147 ;
148 ; KNL-LABEL: saddoinci8:
149 ; KNL: ## BB#0:
150 ; KNL-NEXT: incb %dil
151 ; KNL-NEXT: seto %al
152 ; KNL-NEXT: movb %dil, (%rsi)
153 ; KNL-NEXT: retq
154 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 %v1, i8 1)
155 %val = extractvalue {i8, i1} %t, 0
156 %obit = extractvalue {i8, i1} %t, 1
157 store i8 %val, i8* %res
158 ret i1 %obit
159 }
161 define zeroext i1 @saddoinci16(i16 %v1, i16* %res) {
162 ; SDAG-LABEL: saddoinci16:
163 ; SDAG: ## BB#0:
164 ; SDAG-NEXT: incw %di
165 ; SDAG-NEXT: seto %al
166 ; SDAG-NEXT: movw %di, (%rsi)
167 ; SDAG-NEXT: retq
168 ;
169 ; FAST-LABEL: saddoinci16:
170 ; FAST: ## BB#0:
171 ; FAST-NEXT: incw %di
172 ; FAST-NEXT: seto %al
173 ; FAST-NEXT: movw %di, (%rsi)
174 ; FAST-NEXT: andb $1, %al
175 ; FAST-NEXT: movzbl %al, %eax
176 ; FAST-NEXT: retq
177 ;
178 ; KNL-LABEL: saddoinci16:
179 ; KNL: ## BB#0:
180 ; KNL-NEXT: incw %di
181 ; KNL-NEXT: seto %al
182 ; KNL-NEXT: movw %di, (%rsi)
183 ; KNL-NEXT: retq
184 %t = call {i16, i1} @llvm.sadd.with.overflow.i16(i16 %v1, i16 1)
185 %val = extractvalue {i16, i1} %t, 0
186 %obit = extractvalue {i16, i1} %t, 1
187 store i16 %val, i16* %res
188 ret i1 %obit
189 }
191 define zeroext i1 @saddoinci32(i32 %v1, i32* %res) {
192 ; SDAG-LABEL: saddoinci32:
193 ; SDAG: ## BB#0:
194 ; SDAG-NEXT: incl %edi
195 ; SDAG-NEXT: seto %al
196 ; SDAG-NEXT: movl %edi, (%rsi)
197 ; SDAG-NEXT: retq
198 ;
199 ; FAST-LABEL: saddoinci32:
200 ; FAST: ## BB#0:
201 ; FAST-NEXT: incl %edi
202 ; FAST-NEXT: seto %al
203 ; FAST-NEXT: movl %edi, (%rsi)
204 ; FAST-NEXT: andb $1, %al
205 ; FAST-NEXT: movzbl %al, %eax
206 ; FAST-NEXT: retq
207 ;
208 ; KNL-LABEL: saddoinci32:
209 ; KNL: ## BB#0:
210 ; KNL-NEXT: incl %edi
211 ; KNL-NEXT: seto %al
212 ; KNL-NEXT: movl %edi, (%rsi)
213 ; KNL-NEXT: retq
214 %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 1)
215 %val = extractvalue {i32, i1} %t, 0
216 %obit = extractvalue {i32, i1} %t, 1
217 store i32 %val, i32* %res
218 ret i1 %obit
219 }
221 define zeroext i1 @saddoinci64(i64 %v1, i64* %res) {
222 ; SDAG-LABEL: saddoinci64:
223 ; SDAG: ## BB#0:
224 ; SDAG-NEXT: incq %rdi
225 ; SDAG-NEXT: seto %al
226 ; SDAG-NEXT: movq %rdi, (%rsi)
227 ; SDAG-NEXT: retq
228 ;
229 ; FAST-LABEL: saddoinci64:
230 ; FAST: ## BB#0:
231 ; FAST-NEXT: incq %rdi
232 ; FAST-NEXT: seto %al
233 ; FAST-NEXT: movq %rdi, (%rsi)
234 ; FAST-NEXT: andb $1, %al
235 ; FAST-NEXT: movzbl %al, %eax
236 ; FAST-NEXT: retq
237 ;
238 ; KNL-LABEL: saddoinci64:
239 ; KNL: ## BB#0:
240 ; KNL-NEXT: incq %rdi
241 ; KNL-NEXT: seto %al
242 ; KNL-NEXT: movq %rdi, (%rsi)
243 ; KNL-NEXT: retq
244 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 1)
245 %val = extractvalue {i64, i1} %t, 0
246 %obit = extractvalue {i64, i1} %t, 1
247 store i64 %val, i64* %res
248 ret i1 %obit
249 }
251 ; SADDO reg, imm | imm, reg
252 ; FIXME: DAG doesn't optimize immediates on the LHS.
253 define zeroext i1 @saddoi64imm1(i64 %v1, i64* %res) {
254 ; SDAG-LABEL: saddoi64imm1:
255 ; SDAG: ## BB#0:
256 ; SDAG-NEXT: movl $2, %ecx
257 ; SDAG-NEXT: addq %rdi, %rcx
258 ; SDAG-NEXT: seto %al
259 ; SDAG-NEXT: movq %rcx, (%rsi)
260 ; SDAG-NEXT: retq
261 ;
262 ; FAST-LABEL: saddoi64imm1:
263 ; FAST: ## BB#0:
264 ; FAST-NEXT: addq $2, %rdi
265 ; FAST-NEXT: seto %al
266 ; FAST-NEXT: movq %rdi, (%rsi)
267 ; FAST-NEXT: andb $1, %al
268 ; FAST-NEXT: movzbl %al, %eax
269 ; FAST-NEXT: retq
270 ;
271 ; KNL-LABEL: saddoi64imm1:
272 ; KNL: ## BB#0:
273 ; KNL-NEXT: movl $2, %ecx
274 ; KNL-NEXT: addq %rdi, %rcx
275 ; KNL-NEXT: seto %al
276 ; KNL-NEXT: movq %rcx, (%rsi)
277 ; KNL-NEXT: retq
278 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 2, i64 %v1)
279 %val = extractvalue {i64, i1} %t, 0
280 %obit = extractvalue {i64, i1} %t, 1
281 store i64 %val, i64* %res
282 ret i1 %obit
283 }
285 ; Check boundary conditions for large immediates.
286 define zeroext i1 @saddoi64imm2(i64 %v1, i64* %res) {
287 ; SDAG-LABEL: saddoi64imm2:
288 ; SDAG: ## BB#0:
289 ; SDAG-NEXT: addq $-2147483648, %rdi ## imm = 0x80000000
290 ; SDAG-NEXT: seto %al
291 ; SDAG-NEXT: movq %rdi, (%rsi)
292 ; SDAG-NEXT: retq
293 ;
294 ; FAST-LABEL: saddoi64imm2:
295 ; FAST: ## BB#0:
296 ; FAST-NEXT: addq $-2147483648, %rdi ## imm = 0x80000000
297 ; FAST-NEXT: seto %al
298 ; FAST-NEXT: movq %rdi, (%rsi)
299 ; FAST-NEXT: andb $1, %al
300 ; FAST-NEXT: movzbl %al, %eax
301 ; FAST-NEXT: retq
302 ;
303 ; KNL-LABEL: saddoi64imm2:
304 ; KNL: ## BB#0:
305 ; KNL-NEXT: addq $-2147483648, %rdi ## imm = 0x80000000
306 ; KNL-NEXT: seto %al
307 ; KNL-NEXT: movq %rdi, (%rsi)
308 ; KNL-NEXT: retq
309 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 -2147483648)
310 %val = extractvalue {i64, i1} %t, 0
311 %obit = extractvalue {i64, i1} %t, 1
312 store i64 %val, i64* %res
313 ret i1 %obit
314 }
316 define zeroext i1 @saddoi64imm3(i64 %v1, i64* %res) {
317 ; SDAG-LABEL: saddoi64imm3:
318 ; SDAG: ## BB#0:
319 ; SDAG-NEXT: movabsq $-21474836489, %rcx ## imm = 0xFFFFFFFAFFFFFFF7
320 ; SDAG-NEXT: addq %rdi, %rcx
321 ; SDAG-NEXT: seto %al
322 ; SDAG-NEXT: movq %rcx, (%rsi)
323 ; SDAG-NEXT: retq
324 ;
325 ; FAST-LABEL: saddoi64imm3:
326 ; FAST: ## BB#0:
327 ; FAST-NEXT: movabsq $-21474836489, %rax ## imm = 0xFFFFFFFAFFFFFFF7
328 ; FAST-NEXT: addq %rdi, %rax
329 ; FAST-NEXT: seto %cl
330 ; FAST-NEXT: movq %rax, (%rsi)
331 ; FAST-NEXT: andb $1, %cl
332 ; FAST-NEXT: movzbl %cl, %eax
333 ; FAST-NEXT: retq
334 ;
335 ; KNL-LABEL: saddoi64imm3:
336 ; KNL: ## BB#0:
337 ; KNL-NEXT: movabsq $-21474836489, %rcx ## imm = 0xFFFFFFFAFFFFFFF7
338 ; KNL-NEXT: addq %rdi, %rcx
339 ; KNL-NEXT: seto %al
340 ; KNL-NEXT: movq %rcx, (%rsi)
341 ; KNL-NEXT: retq
342 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 -21474836489)
343 %val = extractvalue {i64, i1} %t, 0
344 %obit = extractvalue {i64, i1} %t, 1
345 store i64 %val, i64* %res
346 ret i1 %obit
347 }
349 define zeroext i1 @saddoi64imm4(i64 %v1, i64* %res) {
350 ; SDAG-LABEL: saddoi64imm4:
351 ; SDAG: ## BB#0:
352 ; SDAG-NEXT: addq $2147483647, %rdi ## imm = 0x7FFFFFFF
353 ; SDAG-NEXT: seto %al
354 ; SDAG-NEXT: movq %rdi, (%rsi)
355 ; SDAG-NEXT: retq
356 ;
357 ; FAST-LABEL: saddoi64imm4:
358 ; FAST: ## BB#0:
359 ; FAST-NEXT: addq $2147483647, %rdi ## imm = 0x7FFFFFFF
360 ; FAST-NEXT: seto %al
361 ; FAST-NEXT: movq %rdi, (%rsi)
362 ; FAST-NEXT: andb $1, %al
363 ; FAST-NEXT: movzbl %al, %eax
364 ; FAST-NEXT: retq
365 ;
366 ; KNL-LABEL: saddoi64imm4:
367 ; KNL: ## BB#0:
368 ; KNL-NEXT: addq $2147483647, %rdi ## imm = 0x7FFFFFFF
369 ; KNL-NEXT: seto %al
370 ; KNL-NEXT: movq %rdi, (%rsi)
371 ; KNL-NEXT: retq
372 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 2147483647)
373 %val = extractvalue {i64, i1} %t, 0
374 %obit = extractvalue {i64, i1} %t, 1
375 store i64 %val, i64* %res
376 ret i1 %obit
377 }
379 define zeroext i1 @saddoi64imm5(i64 %v1, i64* %res) {
380 ; SDAG-LABEL: saddoi64imm5:
381 ; SDAG: ## BB#0:
382 ; SDAG-NEXT: movl $2147483648, %ecx ## imm = 0x80000000
383 ; SDAG-NEXT: addq %rdi, %rcx
384 ; SDAG-NEXT: seto %al
385 ; SDAG-NEXT: movq %rcx, (%rsi)
386 ; SDAG-NEXT: retq
387 ;
388 ; FAST-LABEL: saddoi64imm5:
389 ; FAST: ## BB#0:
390 ; FAST-NEXT: movl $2147483648, %eax ## imm = 0x80000000
391 ; FAST-NEXT: addq %rdi, %rax
392 ; FAST-NEXT: seto %cl
393 ; FAST-NEXT: movq %rax, (%rsi)
394 ; FAST-NEXT: andb $1, %cl
395 ; FAST-NEXT: movzbl %cl, %eax
396 ; FAST-NEXT: retq
397 ;
398 ; KNL-LABEL: saddoi64imm5:
399 ; KNL: ## BB#0:
400 ; KNL-NEXT: movl $2147483648, %ecx ## imm = 0x80000000
401 ; KNL-NEXT: addq %rdi, %rcx
402 ; KNL-NEXT: seto %al
403 ; KNL-NEXT: movq %rcx, (%rsi)
404 ; KNL-NEXT: retq
405 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 2147483648)
406 %val = extractvalue {i64, i1} %t, 0
407 %obit = extractvalue {i64, i1} %t, 1
408 store i64 %val, i64* %res
409 ret i1 %obit
410 }
412 ; UADDO
413 define zeroext i1 @uaddoi32(i32 %v1, i32 %v2, i32* %res) {
414 ; SDAG-LABEL: uaddoi32:
415 ; SDAG: ## BB#0:
416 ; SDAG-NEXT: addl %esi, %edi
417 ; SDAG-NEXT: setb %al
418 ; SDAG-NEXT: movl %edi, (%rdx)
419 ; SDAG-NEXT: retq
420 ;
421 ; FAST-LABEL: uaddoi32:
422 ; FAST: ## BB#0:
423 ; FAST-NEXT: addl %esi, %edi
424 ; FAST-NEXT: setb %al
425 ; FAST-NEXT: movl %edi, (%rdx)
426 ; FAST-NEXT: andb $1, %al
427 ; FAST-NEXT: movzbl %al, %eax
428 ; FAST-NEXT: retq
429 ;
430 ; KNL-LABEL: uaddoi32:
431 ; KNL: ## BB#0:
432 ; KNL-NEXT: addl %esi, %edi
433 ; KNL-NEXT: setb %al
434 ; KNL-NEXT: movl %edi, (%rdx)
435 ; KNL-NEXT: retq
436 %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 %v2)
437 %val = extractvalue {i32, i1} %t, 0
438 %obit = extractvalue {i32, i1} %t, 1
439 store i32 %val, i32* %res
440 ret i1 %obit
441 }
443 define zeroext i1 @uaddoi64(i64 %v1, i64 %v2, i64* %res) {
444 ; SDAG-LABEL: uaddoi64:
445 ; SDAG: ## BB#0:
446 ; SDAG-NEXT: addq %rsi, %rdi
447 ; SDAG-NEXT: setb %al
448 ; SDAG-NEXT: movq %rdi, (%rdx)
449 ; SDAG-NEXT: retq
450 ;
451 ; FAST-LABEL: uaddoi64:
452 ; FAST: ## BB#0:
453 ; FAST-NEXT: addq %rsi, %rdi
454 ; FAST-NEXT: setb %al
455 ; FAST-NEXT: movq %rdi, (%rdx)
456 ; FAST-NEXT: andb $1, %al
457 ; FAST-NEXT: movzbl %al, %eax
458 ; FAST-NEXT: retq
459 ;
460 ; KNL-LABEL: uaddoi64:
461 ; KNL: ## BB#0:
462 ; KNL-NEXT: addq %rsi, %rdi
463 ; KNL-NEXT: setb %al
464 ; KNL-NEXT: movq %rdi, (%rdx)
465 ; KNL-NEXT: retq
466 %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %v1, i64 %v2)
467 %val = extractvalue {i64, i1} %t, 0
468 %obit = extractvalue {i64, i1} %t, 1
469 store i64 %val, i64* %res
470 ret i1 %obit
471 }
473 ; UADDO reg, 1 | NOT INC
474 define zeroext i1 @uaddoinci8(i8 %v1, i8* %res) {
475 ; SDAG-LABEL: uaddoinci8:
476 ; SDAG: ## BB#0:
477 ; SDAG-NEXT: addb $1, %dil
478 ; SDAG-NEXT: setb %al
479 ; SDAG-NEXT: movb %dil, (%rsi)
480 ; SDAG-NEXT: retq
481 ;
482 ; FAST-LABEL: uaddoinci8:
483 ; FAST: ## BB#0:
484 ; FAST-NEXT: addb $1, %dil
485 ; FAST-NEXT: setb %al
486 ; FAST-NEXT: movb %dil, (%rsi)
487 ; FAST-NEXT: andb $1, %al
488 ; FAST-NEXT: movzbl %al, %eax
489 ; FAST-NEXT: retq
490 ;
491 ; KNL-LABEL: uaddoinci8:
492 ; KNL: ## BB#0:
493 ; KNL-NEXT: addb $1, %dil
494 ; KNL-NEXT: setb %al
495 ; KNL-NEXT: movb %dil, (%rsi)
496 ; KNL-NEXT: retq
497 %t = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 %v1, i8 1)
498 %val = extractvalue {i8, i1} %t, 0
499 %obit = extractvalue {i8, i1} %t, 1
500 store i8 %val, i8* %res
501 ret i1 %obit
502 }
504 define zeroext i1 @uaddoinci16(i16 %v1, i16* %res) {
505 ; SDAG-LABEL: uaddoinci16:
506 ; SDAG: ## BB#0:
507 ; SDAG-NEXT: addw $1, %di
508 ; SDAG-NEXT: setb %al
509 ; SDAG-NEXT: movw %di, (%rsi)
510 ; SDAG-NEXT: retq
511 ;
512 ; FAST-LABEL: uaddoinci16:
513 ; FAST: ## BB#0:
514 ; FAST-NEXT: addw $1, %di
515 ; FAST-NEXT: setb %al
516 ; FAST-NEXT: movw %di, (%rsi)
517 ; FAST-NEXT: andb $1, %al
518 ; FAST-NEXT: movzbl %al, %eax
519 ; FAST-NEXT: retq
520 ;
521 ; KNL-LABEL: uaddoinci16:
522 ; KNL: ## BB#0:
523 ; KNL-NEXT: addw $1, %di
524 ; KNL-NEXT: setb %al
525 ; KNL-NEXT: movw %di, (%rsi)
526 ; KNL-NEXT: retq
527 %t = call {i16, i1} @llvm.uadd.with.overflow.i16(i16 %v1, i16 1)
528 %val = extractvalue {i16, i1} %t, 0
529 %obit = extractvalue {i16, i1} %t, 1
530 store i16 %val, i16* %res
531 ret i1 %obit
532 }
534 define zeroext i1 @uaddoinci32(i32 %v1, i32* %res) {
535 ; SDAG-LABEL: uaddoinci32:
536 ; SDAG: ## BB#0:
537 ; SDAG-NEXT: addl $1, %edi
538 ; SDAG-NEXT: setb %al
539 ; SDAG-NEXT: movl %edi, (%rsi)
540 ; SDAG-NEXT: retq
541 ;
542 ; FAST-LABEL: uaddoinci32:
543 ; FAST: ## BB#0:
544 ; FAST-NEXT: addl $1, %edi
545 ; FAST-NEXT: setb %al
546 ; FAST-NEXT: movl %edi, (%rsi)
547 ; FAST-NEXT: andb $1, %al
548 ; FAST-NEXT: movzbl %al, %eax
549 ; FAST-NEXT: retq
550 ;
551 ; KNL-LABEL: uaddoinci32:
552 ; KNL: ## BB#0:
553 ; KNL-NEXT: addl $1, %edi
554 ; KNL-NEXT: setb %al
555 ; KNL-NEXT: movl %edi, (%rsi)
556 ; KNL-NEXT: retq
557 %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 1)
558 %val = extractvalue {i32, i1} %t, 0
559 %obit = extractvalue {i32, i1} %t, 1
560 store i32 %val, i32* %res
561 ret i1 %obit
562 }
564 define zeroext i1 @uaddoinci64(i64 %v1, i64* %res) {
565 ; SDAG-LABEL: uaddoinci64:
566 ; SDAG: ## BB#0:
567 ; SDAG-NEXT: addq $1, %rdi
568 ; SDAG-NEXT: setb %al
569 ; SDAG-NEXT: movq %rdi, (%rsi)
570 ; SDAG-NEXT: retq
571 ;
572 ; FAST-LABEL: uaddoinci64:
573 ; FAST: ## BB#0:
574 ; FAST-NEXT: addq $1, %rdi
575 ; FAST-NEXT: setb %al
576 ; FAST-NEXT: movq %rdi, (%rsi)
577 ; FAST-NEXT: andb $1, %al
578 ; FAST-NEXT: movzbl %al, %eax
579 ; FAST-NEXT: retq
580 ;
581 ; KNL-LABEL: uaddoinci64:
582 ; KNL: ## BB#0:
583 ; KNL-NEXT: addq $1, %rdi
584 ; KNL-NEXT: setb %al
585 ; KNL-NEXT: movq %rdi, (%rsi)
586 ; KNL-NEXT: retq
587 %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %v1, i64 1)
588 %val = extractvalue {i64, i1} %t, 0
589 %obit = extractvalue {i64, i1} %t, 1
590 store i64 %val, i64* %res
591 ret i1 %obit
592 }
594 ; SSUBO
595 define zeroext i1 @ssuboi32(i32 %v1, i32 %v2, i32* %res) {
596 ; SDAG-LABEL: ssuboi32:
597 ; SDAG: ## BB#0:
598 ; SDAG-NEXT: subl %esi, %edi
599 ; SDAG-NEXT: seto %al
600 ; SDAG-NEXT: movl %edi, (%rdx)
601 ; SDAG-NEXT: retq
602 ;
603 ; FAST-LABEL: ssuboi32:
604 ; FAST: ## BB#0:
605 ; FAST-NEXT: subl %esi, %edi
606 ; FAST-NEXT: seto %al
607 ; FAST-NEXT: movl %edi, (%rdx)
608 ; FAST-NEXT: andb $1, %al
609 ; FAST-NEXT: movzbl %al, %eax
610 ; FAST-NEXT: retq
611 ;
612 ; KNL-LABEL: ssuboi32:
613 ; KNL: ## BB#0:
614 ; KNL-NEXT: subl %esi, %edi
615 ; KNL-NEXT: seto %al
616 ; KNL-NEXT: movl %edi, (%rdx)
617 ; KNL-NEXT: retq
618 %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %v1, i32 %v2)
619 %val = extractvalue {i32, i1} %t, 0
620 %obit = extractvalue {i32, i1} %t, 1
621 store i32 %val, i32* %res
622 ret i1 %obit
623 }
625 define zeroext i1 @ssuboi64(i64 %v1, i64 %v2, i64* %res) {
626 ; SDAG-LABEL: ssuboi64:
627 ; SDAG: ## BB#0:
628 ; SDAG-NEXT: subq %rsi, %rdi
629 ; SDAG-NEXT: seto %al
630 ; SDAG-NEXT: movq %rdi, (%rdx)
631 ; SDAG-NEXT: retq
632 ;
633 ; FAST-LABEL: ssuboi64:
634 ; FAST: ## BB#0:
635 ; FAST-NEXT: subq %rsi, %rdi
636 ; FAST-NEXT: seto %al
637 ; FAST-NEXT: movq %rdi, (%rdx)
638 ; FAST-NEXT: andb $1, %al
639 ; FAST-NEXT: movzbl %al, %eax
640 ; FAST-NEXT: retq
641 ;
642 ; KNL-LABEL: ssuboi64:
643 ; KNL: ## BB#0:
644 ; KNL-NEXT: subq %rsi, %rdi
645 ; KNL-NEXT: seto %al
646 ; KNL-NEXT: movq %rdi, (%rdx)
647 ; KNL-NEXT: retq
648 %t = call {i64, i1} @llvm.ssub.with.overflow.i64(i64 %v1, i64 %v2)
649 %val = extractvalue {i64, i1} %t, 0
650 %obit = extractvalue {i64, i1} %t, 1
651 store i64 %val, i64* %res
652 ret i1 %obit
653 }
655 ; USUBO
656 define zeroext i1 @usuboi32(i32 %v1, i32 %v2, i32* %res) {
657 ; SDAG-LABEL: usuboi32:
658 ; SDAG: ## BB#0:
659 ; SDAG-NEXT: subl %esi, %edi
660 ; SDAG-NEXT: setb %al
661 ; SDAG-NEXT: movl %edi, (%rdx)
662 ; SDAG-NEXT: retq
663 ;
664 ; FAST-LABEL: usuboi32:
665 ; FAST: ## BB#0:
666 ; FAST-NEXT: subl %esi, %edi
667 ; FAST-NEXT: setb %al
668 ; FAST-NEXT: movl %edi, (%rdx)
669 ; FAST-NEXT: andb $1, %al
670 ; FAST-NEXT: movzbl %al, %eax
671 ; FAST-NEXT: retq
672 ;
673 ; KNL-LABEL: usuboi32:
674 ; KNL: ## BB#0:
675 ; KNL-NEXT: subl %esi, %edi
676 ; KNL-NEXT: setb %al
677 ; KNL-NEXT: movl %edi, (%rdx)
678 ; KNL-NEXT: retq
679 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %v1, i32 %v2)
680 %val = extractvalue {i32, i1} %t, 0
681 %obit = extractvalue {i32, i1} %t, 1
682 store i32 %val, i32* %res
683 ret i1 %obit
684 }
686 define zeroext i1 @usuboi64(i64 %v1, i64 %v2, i64* %res) {
687 ; SDAG-LABEL: usuboi64:
688 ; SDAG: ## BB#0:
689 ; SDAG-NEXT: subq %rsi, %rdi
690 ; SDAG-NEXT: setb %al
691 ; SDAG-NEXT: movq %rdi, (%rdx)
692 ; SDAG-NEXT: retq
693 ;
694 ; FAST-LABEL: usuboi64:
695 ; FAST: ## BB#0:
696 ; FAST-NEXT: subq %rsi, %rdi
697 ; FAST-NEXT: setb %al
698 ; FAST-NEXT: movq %rdi, (%rdx)
699 ; FAST-NEXT: andb $1, %al
700 ; FAST-NEXT: movzbl %al, %eax
701 ; FAST-NEXT: retq
702 ;
703 ; KNL-LABEL: usuboi64:
704 ; KNL: ## BB#0:
705 ; KNL-NEXT: subq %rsi, %rdi
706 ; KNL-NEXT: setb %al
707 ; KNL-NEXT: movq %rdi, (%rdx)
708 ; KNL-NEXT: retq
709 %t = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %v1, i64 %v2)
710 %val = extractvalue {i64, i1} %t, 0
711 %obit = extractvalue {i64, i1} %t, 1
712 store i64 %val, i64* %res
713 ret i1 %obit
714 }
716 ;
717 ; Check the use of the overflow bit in combination with a select instruction.
718 ;
719 define i32 @saddoselecti32(i32 %v1, i32 %v2) {
720 ; SDAG-LABEL: saddoselecti32:
721 ; SDAG: ## BB#0:
722 ; SDAG-NEXT: movl %edi, %eax
723 ; SDAG-NEXT: addl %esi, %eax
724 ; SDAG-NEXT: cmovol %edi, %esi
725 ; SDAG-NEXT: movl %esi, %eax
726 ; SDAG-NEXT: retq
727 ;
728 ; FAST-LABEL: saddoselecti32:
729 ; FAST: ## BB#0:
730 ; FAST-NEXT: movl %edi, %eax
731 ; FAST-NEXT: addl %esi, %eax
732 ; FAST-NEXT: cmovol %edi, %esi
733 ; FAST-NEXT: movl %esi, %eax
734 ; FAST-NEXT: retq
735 ;
736 ; KNL-LABEL: saddoselecti32:
737 ; KNL: ## BB#0:
738 ; KNL-NEXT: movl %edi, %eax
739 ; KNL-NEXT: addl %esi, %eax
740 ; KNL-NEXT: cmovol %edi, %esi
741 ; KNL-NEXT: movl %esi, %eax
742 ; KNL-NEXT: retq
743 %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
744 %obit = extractvalue {i32, i1} %t, 1
745 %ret = select i1 %obit, i32 %v1, i32 %v2
746 ret i32 %ret
747 }
749 define i64 @saddoselecti64(i64 %v1, i64 %v2) {
750 ; SDAG-LABEL: saddoselecti64:
751 ; SDAG: ## BB#0:
752 ; SDAG-NEXT: movq %rdi, %rax
753 ; SDAG-NEXT: addq %rsi, %rax
754 ; SDAG-NEXT: cmovoq %rdi, %rsi
755 ; SDAG-NEXT: movq %rsi, %rax
756 ; SDAG-NEXT: retq
757 ;
758 ; FAST-LABEL: saddoselecti64:
759 ; FAST: ## BB#0:
760 ; FAST-NEXT: movq %rdi, %rax
761 ; FAST-NEXT: addq %rsi, %rax
762 ; FAST-NEXT: cmovoq %rdi, %rsi
763 ; FAST-NEXT: movq %rsi, %rax
764 ; FAST-NEXT: retq
765 ;
766 ; KNL-LABEL: saddoselecti64:
767 ; KNL: ## BB#0:
768 ; KNL-NEXT: movq %rdi, %rax
769 ; KNL-NEXT: addq %rsi, %rax
770 ; KNL-NEXT: cmovoq %rdi, %rsi
771 ; KNL-NEXT: movq %rsi, %rax
772 ; KNL-NEXT: retq
773 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 %v2)
774 %obit = extractvalue {i64, i1} %t, 1
775 %ret = select i1 %obit, i64 %v1, i64 %v2
776 ret i64 %ret
777 }
779 define i32 @uaddoselecti32(i32 %v1, i32 %v2) {
780 ; SDAG-LABEL: uaddoselecti32:
781 ; SDAG: ## BB#0:
782 ; SDAG-NEXT: movl %edi, %eax
783 ; SDAG-NEXT: addl %esi, %eax
784 ; SDAG-NEXT: cmovbl %edi, %esi
785 ; SDAG-NEXT: movl %esi, %eax
786 ; SDAG-NEXT: retq
787 ;
788 ; FAST-LABEL: uaddoselecti32:
789 ; FAST: ## BB#0:
790 ; FAST-NEXT: movl %edi, %eax
791 ; FAST-NEXT: addl %esi, %eax
792 ; FAST-NEXT: cmovbl %edi, %esi
793 ; FAST-NEXT: movl %esi, %eax
794 ; FAST-NEXT: retq
795 ;
796 ; KNL-LABEL: uaddoselecti32:
797 ; KNL: ## BB#0:
798 ; KNL-NEXT: movl %edi, %eax
799 ; KNL-NEXT: addl %esi, %eax
800 ; KNL-NEXT: cmovbl %edi, %esi
801 ; KNL-NEXT: movl %esi, %eax
802 ; KNL-NEXT: retq
803 %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 %v2)
804 %obit = extractvalue {i32, i1} %t, 1
805 %ret = select i1 %obit, i32 %v1, i32 %v2
806 ret i32 %ret
807 }
809 define i64 @uaddoselecti64(i64 %v1, i64 %v2) {
810 ; SDAG-LABEL: uaddoselecti64:
811 ; SDAG: ## BB#0:
812 ; SDAG-NEXT: movq %rdi, %rax
813 ; SDAG-NEXT: addq %rsi, %rax
814 ; SDAG-NEXT: cmovbq %rdi, %rsi
815 ; SDAG-NEXT: movq %rsi, %rax
816 ; SDAG-NEXT: retq
817 ;
818 ; FAST-LABEL: uaddoselecti64:
819 ; FAST: ## BB#0:
820 ; FAST-NEXT: movq %rdi, %rax
821 ; FAST-NEXT: addq %rsi, %rax
822 ; FAST-NEXT: cmovbq %rdi, %rsi
823 ; FAST-NEXT: movq %rsi, %rax
824 ; FAST-NEXT: retq
825 ;
826 ; KNL-LABEL: uaddoselecti64:
827 ; KNL: ## BB#0:
828 ; KNL-NEXT: movq %rdi, %rax
829 ; KNL-NEXT: addq %rsi, %rax
830 ; KNL-NEXT: cmovbq %rdi, %rsi
831 ; KNL-NEXT: movq %rsi, %rax
832 ; KNL-NEXT: retq
833 %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %v1, i64 %v2)
834 %obit = extractvalue {i64, i1} %t, 1
835 %ret = select i1 %obit, i64 %v1, i64 %v2
836 ret i64 %ret
837 }
839 define i32 @ssuboselecti32(i32 %v1, i32 %v2) {
840 ; SDAG-LABEL: ssuboselecti32:
841 ; SDAG: ## BB#0:
842 ; SDAG-NEXT: cmpl %esi, %edi
843 ; SDAG-NEXT: cmovol %edi, %esi
844 ; SDAG-NEXT: movl %esi, %eax
845 ; SDAG-NEXT: retq
846 ;
847 ; FAST-LABEL: ssuboselecti32:
848 ; FAST: ## BB#0:
849 ; FAST-NEXT: cmpl %esi, %edi
850 ; FAST-NEXT: cmovol %edi, %esi
851 ; FAST-NEXT: movl %esi, %eax
852 ; FAST-NEXT: retq
853 ;
854 ; KNL-LABEL: ssuboselecti32:
855 ; KNL: ## BB#0:
856 ; KNL-NEXT: cmpl %esi, %edi
857 ; KNL-NEXT: cmovol %edi, %esi
858 ; KNL-NEXT: movl %esi, %eax
859 ; KNL-NEXT: retq
860 %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %v1, i32 %v2)
861 %obit = extractvalue {i32, i1} %t, 1
862 %ret = select i1 %obit, i32 %v1, i32 %v2
863 ret i32 %ret
864 }
866 define i64 @ssuboselecti64(i64 %v1, i64 %v2) {
867 ; SDAG-LABEL: ssuboselecti64:
868 ; SDAG: ## BB#0:
869 ; SDAG-NEXT: cmpq %rsi, %rdi
870 ; SDAG-NEXT: cmovoq %rdi, %rsi
871 ; SDAG-NEXT: movq %rsi, %rax
872 ; SDAG-NEXT: retq
873 ;
874 ; FAST-LABEL: ssuboselecti64:
875 ; FAST: ## BB#0:
876 ; FAST-NEXT: cmpq %rsi, %rdi
877 ; FAST-NEXT: cmovoq %rdi, %rsi
878 ; FAST-NEXT: movq %rsi, %rax
879 ; FAST-NEXT: retq
880 ;
881 ; KNL-LABEL: ssuboselecti64:
882 ; KNL: ## BB#0:
883 ; KNL-NEXT: cmpq %rsi, %rdi
884 ; KNL-NEXT: cmovoq %rdi, %rsi
885 ; KNL-NEXT: movq %rsi, %rax
886 ; KNL-NEXT: retq
887 %t = call {i64, i1} @llvm.ssub.with.overflow.i64(i64 %v1, i64 %v2)
888 %obit = extractvalue {i64, i1} %t, 1
889 %ret = select i1 %obit, i64 %v1, i64 %v2
890 ret i64 %ret
891 }
893 define i32 @usuboselecti32(i32 %v1, i32 %v2) {
894 ; SDAG-LABEL: usuboselecti32:
895 ; SDAG: ## BB#0:
896 ; SDAG-NEXT: cmpl %esi, %edi
897 ; SDAG-NEXT: cmovbl %edi, %esi
898 ; SDAG-NEXT: movl %esi, %eax
899 ; SDAG-NEXT: retq
900 ;
901 ; FAST-LABEL: usuboselecti32:
902 ; FAST: ## BB#0:
903 ; FAST-NEXT: cmpl %esi, %edi
904 ; FAST-NEXT: cmovbl %edi, %esi
905 ; FAST-NEXT: movl %esi, %eax
906 ; FAST-NEXT: retq
907 ;
908 ; KNL-LABEL: usuboselecti32:
909 ; KNL: ## BB#0:
910 ; KNL-NEXT: cmpl %esi, %edi
911 ; KNL-NEXT: cmovbl %edi, %esi
912 ; KNL-NEXT: movl %esi, %eax
913 ; KNL-NEXT: retq
914 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %v1, i32 %v2)
915 %obit = extractvalue {i32, i1} %t, 1
916 %ret = select i1 %obit, i32 %v1, i32 %v2
917 ret i32 %ret
918 }
920 define i64 @usuboselecti64(i64 %v1, i64 %v2) {
921 ; SDAG-LABEL: usuboselecti64:
922 ; SDAG: ## BB#0:
923 ; SDAG-NEXT: cmpq %rsi, %rdi
924 ; SDAG-NEXT: cmovbq %rdi, %rsi
925 ; SDAG-NEXT: movq %rsi, %rax
926 ; SDAG-NEXT: retq
927 ;
928 ; FAST-LABEL: usuboselecti64:
929 ; FAST: ## BB#0:
930 ; FAST-NEXT: cmpq %rsi, %rdi
931 ; FAST-NEXT: cmovbq %rdi, %rsi
932 ; FAST-NEXT: movq %rsi, %rax
933 ; FAST-NEXT: retq
934 ;
935 ; KNL-LABEL: usuboselecti64:
936 ; KNL: ## BB#0:
937 ; KNL-NEXT: cmpq %rsi, %rdi
938 ; KNL-NEXT: cmovbq %rdi, %rsi
939 ; KNL-NEXT: movq %rsi, %rax
940 ; KNL-NEXT: retq
941 %t = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %v1, i64 %v2)
942 %obit = extractvalue {i64, i1} %t, 1
943 %ret = select i1 %obit, i64 %v1, i64 %v2
944 ret i64 %ret
945 }
947 ;
948 ; Check the use of the overflow bit in combination with a branch instruction.
949 ;
950 define zeroext i1 @saddobri32(i32 %v1, i32 %v2) {
951 ; SDAG-LABEL: saddobri32:
952 ; SDAG: ## BB#0:
953 ; SDAG-NEXT: addl %esi, %edi
954 ; SDAG-NEXT: jo LBB31_1
955 ; SDAG-NEXT: ## BB#2: ## %continue
956 ; SDAG-NEXT: movb $1, %al
957 ; SDAG-NEXT: retq
958 ; SDAG-NEXT: LBB31_1: ## %overflow
959 ; SDAG-NEXT: xorl %eax, %eax
960 ; SDAG-NEXT: retq
961 ;
962 ; FAST-LABEL: saddobri32:
963 ; FAST: ## BB#0:
964 ; FAST-NEXT: addl %esi, %edi
965 ; FAST-NEXT: jo LBB31_1
966 ; FAST-NEXT: ## BB#2: ## %continue
967 ; FAST-NEXT: movb $1, %al
968 ; FAST-NEXT: andb $1, %al
969 ; FAST-NEXT: movzbl %al, %eax
970 ; FAST-NEXT: retq
971 ; FAST-NEXT: LBB31_1: ## %overflow
972 ; FAST-NEXT: xorl %eax, %eax
973 ; FAST-NEXT: andb $1, %al
974 ; FAST-NEXT: movzbl %al, %eax
975 ; FAST-NEXT: retq
976 ;
977 ; KNL-LABEL: saddobri32:
978 ; KNL: ## BB#0:
979 ; KNL-NEXT: addl %esi, %edi
980 ; KNL-NEXT: jo LBB31_1
981 ; KNL-NEXT: ## BB#2: ## %continue
982 ; KNL-NEXT: movb $1, %al
983 ; KNL-NEXT: retq
984 ; KNL-NEXT: LBB31_1: ## %overflow
985 ; KNL-NEXT: xorl %eax, %eax
986 ; KNL-NEXT: retq
987 %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
988 %val = extractvalue {i32, i1} %t, 0
989 %obit = extractvalue {i32, i1} %t, 1
990 br i1 %obit, label %overflow, label %continue, !prof !0
992 overflow:
993 ret i1 false
995 continue:
996 ret i1 true
997 }
999 define zeroext i1 @saddobri64(i64 %v1, i64 %v2) {
1000 ; SDAG-LABEL: saddobri64:
1001 ; SDAG: ## BB#0:
1002 ; SDAG-NEXT: addq %rsi, %rdi
1003 ; SDAG-NEXT: jo LBB32_1
1004 ; SDAG-NEXT: ## BB#2: ## %continue
1005 ; SDAG-NEXT: movb $1, %al
1006 ; SDAG-NEXT: retq
1007 ; SDAG-NEXT: LBB32_1: ## %overflow
1008 ; SDAG-NEXT: xorl %eax, %eax
1009 ; SDAG-NEXT: retq
1010 ;
1011 ; FAST-LABEL: saddobri64:
1012 ; FAST: ## BB#0:
1013 ; FAST-NEXT: addq %rsi, %rdi
1014 ; FAST-NEXT: jo LBB32_1
1015 ; FAST-NEXT: ## BB#2: ## %continue
1016 ; FAST-NEXT: movb $1, %al
1017 ; FAST-NEXT: andb $1, %al
1018 ; FAST-NEXT: movzbl %al, %eax
1019 ; FAST-NEXT: retq
1020 ; FAST-NEXT: LBB32_1: ## %overflow
1021 ; FAST-NEXT: xorl %eax, %eax
1022 ; FAST-NEXT: andb $1, %al
1023 ; FAST-NEXT: movzbl %al, %eax
1024 ; FAST-NEXT: retq
1025 ;
1026 ; KNL-LABEL: saddobri64:
1027 ; KNL: ## BB#0:
1028 ; KNL-NEXT: addq %rsi, %rdi
1029 ; KNL-NEXT: jo LBB32_1
1030 ; KNL-NEXT: ## BB#2: ## %continue
1031 ; KNL-NEXT: movb $1, %al
1032 ; KNL-NEXT: retq
1033 ; KNL-NEXT: LBB32_1: ## %overflow
1034 ; KNL-NEXT: xorl %eax, %eax
1035 ; KNL-NEXT: retq
1036 %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 %v2)
1037 %val = extractvalue {i64, i1} %t, 0
1038 %obit = extractvalue {i64, i1} %t, 1
1039 br i1 %obit, label %overflow, label %continue, !prof !0
1041 overflow:
1042 ret i1 false
1044 continue:
1045 ret i1 true
1046 }
1048 define zeroext i1 @uaddobri32(i32 %v1, i32 %v2) {
1049 ; SDAG-LABEL: uaddobri32:
1050 ; SDAG: ## BB#0:
1051 ; SDAG-NEXT: addl %esi, %edi
1052 ; SDAG-NEXT: jb LBB33_1
1053 ; SDAG-NEXT: ## BB#2: ## %continue
1054 ; SDAG-NEXT: movb $1, %al
1055 ; SDAG-NEXT: retq
1056 ; SDAG-NEXT: LBB33_1: ## %overflow
1057 ; SDAG-NEXT: xorl %eax, %eax
1058 ; SDAG-NEXT: retq
1059 ;
1060 ; FAST-LABEL: uaddobri32:
1061 ; FAST: ## BB#0:
1062 ; FAST-NEXT: addl %esi, %edi
1063 ; FAST-NEXT: jb LBB33_1
1064 ; FAST-NEXT: ## BB#2: ## %continue
1065 ; FAST-NEXT: movb $1, %al
1066 ; FAST-NEXT: andb $1, %al
1067 ; FAST-NEXT: movzbl %al, %eax
1068 ; FAST-NEXT: retq
1069 ; FAST-NEXT: LBB33_1: ## %overflow
1070 ; FAST-NEXT: xorl %eax, %eax
1071 ; FAST-NEXT: andb $1, %al
1072 ; FAST-NEXT: movzbl %al, %eax
1073 ; FAST-NEXT: retq
1074 ;
1075 ; KNL-LABEL: uaddobri32:
1076 ; KNL: ## BB#0:
1077 ; KNL-NEXT: addl %esi, %edi
1078 ; KNL-NEXT: jb LBB33_1
1079 ; KNL-NEXT: ## BB#2: ## %continue
1080 ; KNL-NEXT: movb $1, %al
1081 ; KNL-NEXT: retq
1082 ; KNL-NEXT: LBB33_1: ## %overflow
1083 ; KNL-NEXT: xorl %eax, %eax
1084 ; KNL-NEXT: retq
1085 %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 %v2)
1086 %val = extractvalue {i32, i1} %t, 0
1087 %obit = extractvalue {i32, i1} %t, 1
1088 br i1 %obit, label %overflow, label %continue, !prof !0
1090 overflow:
1091 ret i1 false
1093 continue:
1094 ret i1 true
1095 }
1097 define zeroext i1 @uaddobri64(i64 %v1, i64 %v2) {
1098 ; SDAG-LABEL: uaddobri64:
1099 ; SDAG: ## BB#0:
1100 ; SDAG-NEXT: addq %rsi, %rdi
1101 ; SDAG-NEXT: jb LBB34_1
1102 ; SDAG-NEXT: ## BB#2: ## %continue
1103 ; SDAG-NEXT: movb $1, %al
1104 ; SDAG-NEXT: retq
1105 ; SDAG-NEXT: LBB34_1: ## %overflow
1106 ; SDAG-NEXT: xorl %eax, %eax
1107 ; SDAG-NEXT: retq
1108 ;
1109 ; FAST-LABEL: uaddobri64:
1110 ; FAST: ## BB#0:
1111 ; FAST-NEXT: addq %rsi, %rdi
1112 ; FAST-NEXT: jb LBB34_1
1113 ; FAST-NEXT: ## BB#2: ## %continue
1114 ; FAST-NEXT: movb $1, %al
1115 ; FAST-NEXT: andb $1, %al
1116 ; FAST-NEXT: movzbl %al, %eax
1117 ; FAST-NEXT: retq
1118 ; FAST-NEXT: LBB34_1: ## %overflow
1119 ; FAST-NEXT: xorl %eax, %eax
1120 ; FAST-NEXT: andb $1, %al
1121 ; FAST-NEXT: movzbl %al, %eax
1122 ; FAST-NEXT: retq
1123 ;
1124 ; KNL-LABEL: uaddobri64:
1125 ; KNL: ## BB#0:
1126 ; KNL-NEXT: addq %rsi, %rdi
1127 ; KNL-NEXT: jb LBB34_1
1128 ; KNL-NEXT: ## BB#2: ## %continue
1129 ; KNL-NEXT: movb $1, %al
1130 ; KNL-NEXT: retq
1131 ; KNL-NEXT: LBB34_1: ## %overflow
1132 ; KNL-NEXT: xorl %eax, %eax
1133 ; KNL-NEXT: retq
1134 %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %v1, i64 %v2)
1135 %val = extractvalue {i64, i1} %t, 0
1136 %obit = extractvalue {i64, i1} %t, 1
1137 br i1 %obit, label %overflow, label %continue, !prof !0
1139 overflow:
1140 ret i1 false
1142 continue:
1143 ret i1 true
1144 }
1146 define zeroext i1 @ssubobri32(i32 %v1, i32 %v2) {
1147 ; SDAG-LABEL: ssubobri32:
1148 ; SDAG: ## BB#0:
1149 ; SDAG-NEXT: cmpl %esi, %edi
1150 ; SDAG-NEXT: jo LBB35_1
1151 ; SDAG-NEXT: ## BB#2: ## %continue
1152 ; SDAG-NEXT: movb $1, %al
1153 ; SDAG-NEXT: retq
1154 ; SDAG-NEXT: LBB35_1: ## %overflow
1155 ; SDAG-NEXT: xorl %eax, %eax
1156 ; SDAG-NEXT: retq
1157 ;
1158 ; FAST-LABEL: ssubobri32:
1159 ; FAST: ## BB#0:
1160 ; FAST-NEXT: cmpl %esi, %edi
1161 ; FAST-NEXT: jo LBB35_1
1162 ; FAST-NEXT: ## BB#2: ## %continue
1163 ; FAST-NEXT: movb $1, %al
1164 ; FAST-NEXT: andb $1, %al
1165 ; FAST-NEXT: movzbl %al, %eax
1166 ; FAST-NEXT: retq
1167 ; FAST-NEXT: LBB35_1: ## %overflow
1168 ; FAST-NEXT: xorl %eax, %eax
1169 ; FAST-NEXT: andb $1, %al
1170 ; FAST-NEXT: movzbl %al, %eax
1171 ; FAST-NEXT: retq
1172 ;
1173 ; KNL-LABEL: ssubobri32:
1174 ; KNL: ## BB#0:
1175 ; KNL-NEXT: cmpl %esi, %edi
1176 ; KNL-NEXT: jo LBB35_1
1177 ; KNL-NEXT: ## BB#2: ## %continue
1178 ; KNL-NEXT: movb $1, %al
1179 ; KNL-NEXT: retq
1180 ; KNL-NEXT: LBB35_1: ## %overflow
1181 ; KNL-NEXT: xorl %eax, %eax
1182 ; KNL-NEXT: retq
1183 %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %v1, i32 %v2)
1184 %val = extractvalue {i32, i1} %t, 0
1185 %obit = extractvalue {i32, i1} %t, 1
1186 br i1 %obit, label %overflow, label %continue, !prof !0
1188 overflow:
1189 ret i1 false
1191 continue:
1192 ret i1 true
1193 }
1195 define zeroext i1 @ssubobri64(i64 %v1, i64 %v2) {
1196 ; SDAG-LABEL: ssubobri64:
1197 ; SDAG: ## BB#0:
1198 ; SDAG-NEXT: cmpq %rsi, %rdi
1199 ; SDAG-NEXT: jo LBB36_1
1200 ; SDAG-NEXT: ## BB#2: ## %continue
1201 ; SDAG-NEXT: movb $1, %al
1202 ; SDAG-NEXT: retq
1203 ; SDAG-NEXT: LBB36_1: ## %overflow
1204 ; SDAG-NEXT: xorl %eax, %eax
1205 ; SDAG-NEXT: retq
1206 ;
1207 ; FAST-LABEL: ssubobri64:
1208 ; FAST: ## BB#0:
1209 ; FAST-NEXT: cmpq %rsi, %rdi
1210 ; FAST-NEXT: jo LBB36_1
1211 ; FAST-NEXT: ## BB#2: ## %continue
1212 ; FAST-NEXT: movb $1, %al
1213 ; FAST-NEXT: andb $1, %al
1214 ; FAST-NEXT: movzbl %al, %eax
1215 ; FAST-NEXT: retq
1216 ; FAST-NEXT: LBB36_1: ## %overflow
1217 ; FAST-NEXT: xorl %eax, %eax
1218 ; FAST-NEXT: andb $1, %al
1219 ; FAST-NEXT: movzbl %al, %eax
1220 ; FAST-NEXT: retq
1221 ;
1222 ; KNL-LABEL: ssubobri64:
1223 ; KNL: ## BB#0:
1224 ; KNL-NEXT: cmpq %rsi, %rdi
1225 ; KNL-NEXT: jo LBB36_1
1226 ; KNL-NEXT: ## BB#2: ## %continue
1227 ; KNL-NEXT: movb $1, %al
1228 ; KNL-NEXT: retq
1229 ; KNL-NEXT: LBB36_1: ## %overflow
1230 ; KNL-NEXT: xorl %eax, %eax
1231 ; KNL-NEXT: retq
1232 %t = call {i64, i1} @llvm.ssub.with.overflow.i64(i64 %v1, i64 %v2)
1233 %val = extractvalue {i64, i1} %t, 0
1234 %obit = extractvalue {i64, i1} %t, 1
1235 br i1 %obit, label %overflow, label %continue, !prof !0
1237 overflow:
1238 ret i1 false
1240 continue:
1241 ret i1 true
1242 }
1244 define zeroext i1 @usubobri32(i32 %v1, i32 %v2) {
1245 ; SDAG-LABEL: usubobri32:
1246 ; SDAG: ## BB#0:
1247 ; SDAG-NEXT: cmpl %esi, %edi
1248 ; SDAG-NEXT: jb LBB37_1
1249 ; SDAG-NEXT: ## BB#2: ## %continue
1250 ; SDAG-NEXT: movb $1, %al
1251 ; SDAG-NEXT: retq
1252 ; SDAG-NEXT: LBB37_1: ## %overflow
1253 ; SDAG-NEXT: xorl %eax, %eax
1254 ; SDAG-NEXT: retq
1255 ;
1256 ; FAST-LABEL: usubobri32:
1257 ; FAST: ## BB#0:
1258 ; FAST-NEXT: cmpl %esi, %edi
1259 ; FAST-NEXT: jb LBB37_1
1260 ; FAST-NEXT: ## BB#2: ## %continue
1261 ; FAST-NEXT: movb $1, %al
1262 ; FAST-NEXT: andb $1, %al
1263 ; FAST-NEXT: movzbl %al, %eax
1264 ; FAST-NEXT: retq
1265 ; FAST-NEXT: LBB37_1: ## %overflow
1266 ; FAST-NEXT: xorl %eax, %eax
1267 ; FAST-NEXT: andb $1, %al
1268 ; FAST-NEXT: movzbl %al, %eax
1269 ; FAST-NEXT: retq
1270 ;
1271 ; KNL-LABEL: usubobri32:
1272 ; KNL: ## BB#0:
1273 ; KNL-NEXT: cmpl %esi, %edi
1274 ; KNL-NEXT: jb LBB37_1
1275 ; KNL-NEXT: ## BB#2: ## %continue
1276 ; KNL-NEXT: movb $1, %al
1277 ; KNL-NEXT: retq
1278 ; KNL-NEXT: LBB37_1: ## %overflow
1279 ; KNL-NEXT: xorl %eax, %eax
1280 ; KNL-NEXT: retq
1281 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %v1, i32 %v2)
1282 %val = extractvalue {i32, i1} %t, 0
1283 %obit = extractvalue {i32, i1} %t, 1
1284 br i1 %obit, label %overflow, label %continue, !prof !0
1286 overflow:
1287 ret i1 false
1289 continue:
1290 ret i1 true
1291 }
1293 define zeroext i1 @usubobri64(i64 %v1, i64 %v2) {
1294 ; SDAG-LABEL: usubobri64:
1295 ; SDAG: ## BB#0:
1296 ; SDAG-NEXT: cmpq %rsi, %rdi
1297 ; SDAG-NEXT: jb LBB38_1
1298 ; SDAG-NEXT: ## BB#2: ## %continue
1299 ; SDAG-NEXT: movb $1, %al
1300 ; SDAG-NEXT: retq
1301 ; SDAG-NEXT: LBB38_1: ## %overflow
1302 ; SDAG-NEXT: xorl %eax, %eax
1303 ; SDAG-NEXT: retq
1304 ;
1305 ; FAST-LABEL: usubobri64:
1306 ; FAST: ## BB#0:
1307 ; FAST-NEXT: cmpq %rsi, %rdi
1308 ; FAST-NEXT: jb LBB38_1
1309 ; FAST-NEXT: ## BB#2: ## %continue
1310 ; FAST-NEXT: movb $1, %al
1311 ; FAST-NEXT: andb $1, %al
1312 ; FAST-NEXT: movzbl %al, %eax
1313 ; FAST-NEXT: retq
1314 ; FAST-NEXT: LBB38_1: ## %overflow
1315 ; FAST-NEXT: xorl %eax, %eax
1316 ; FAST-NEXT: andb $1, %al
1317 ; FAST-NEXT: movzbl %al, %eax
1318 ; FAST-NEXT: retq
1319 ;
1320 ; KNL-LABEL: usubobri64:
1321 ; KNL: ## BB#0:
1322 ; KNL-NEXT: cmpq %rsi, %rdi
1323 ; KNL-NEXT: jb LBB38_1
1324 ; KNL-NEXT: ## BB#2: ## %continue
1325 ; KNL-NEXT: movb $1, %al
1326 ; KNL-NEXT: retq
1327 ; KNL-NEXT: LBB38_1: ## %overflow
1328 ; KNL-NEXT: xorl %eax, %eax
1329 ; KNL-NEXT: retq
1330 %t = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %v1, i64 %v2)
1331 %val = extractvalue {i64, i1} %t, 0
1332 %obit = extractvalue {i64, i1} %t, 1
1333 br i1 %obit, label %overflow, label %continue, !prof !0
1335 overflow:
1336 ret i1 false
1338 continue:
1339 ret i1 true
1340 }
1342 define {i64, i1} @uaddoovf(i64 %a, i64 %b) {
1343 ; SDAG-LABEL: uaddoovf:
1344 ; SDAG: ## BB#0:
1345 ; SDAG-NEXT: movzbl %dil, %ecx
1346 ; SDAG-NEXT: movzbl %sil, %eax
1347 ; SDAG-NEXT: addq %rcx, %rax
1348 ; SDAG-NEXT: xorl %edx, %edx
1349 ; SDAG-NEXT: retq
1350 ;
1351 ; FAST-LABEL: uaddoovf:
1352 ; FAST: ## BB#0:
1353 ; FAST-NEXT: movzbl %dil, %ecx
1354 ; FAST-NEXT: movzbl %sil, %eax
1355 ; FAST-NEXT: addq %rcx, %rax
1356 ; FAST-NEXT: xorl %edx, %edx
1357 ; FAST-NEXT: retq
1358 ;
1359 ; KNL-LABEL: uaddoovf:
1360 ; KNL: ## BB#0:
1361 ; KNL-NEXT: movzbl %dil, %ecx
1362 ; KNL-NEXT: movzbl %sil, %eax
1363 ; KNL-NEXT: addq %rcx, %rax
1364 ; KNL-NEXT: xorl %edx, %edx
1365 ; KNL-NEXT: retq
1366 %1 = and i64 %a, 255
1367 %2 = and i64 %b, 255
1368 %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %1, i64 %2)
1369 ret {i64, i1} %t
1370 }
1372 define {i64, i1} @usuboovf(i64 %a, i64 %b) {
1373 ; SDAG-LABEL: usuboovf:
1374 ; SDAG: ## BB#0:
1375 ; SDAG-NEXT: notq %rsi
1376 ; SDAG-NEXT: xorl %edx, %edx
1377 ; SDAG-NEXT: movq %rsi, %rax
1378 ; SDAG-NEXT: retq
1379 ;
1380 ; FAST-LABEL: usuboovf:
1381 ; FAST: ## BB#0:
1382 ; FAST-NEXT: notq %rsi
1383 ; FAST-NEXT: xorl %edx, %edx
1384 ; FAST-NEXT: movq %rsi, %rax
1385 ; FAST-NEXT: retq
1386 ;
1387 ; KNL-LABEL: usuboovf:
1388 ; KNL: ## BB#0:
1389 ; KNL-NEXT: notq %rsi
1390 ; KNL-NEXT: xorl %edx, %edx
1391 ; KNL-NEXT: movq %rsi, %rax
1392 ; KNL-NEXT: retq
1393 %t0 = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %a, i64 %a)
1394 %v0 = extractvalue {i64, i1} %t0, 0
1395 %o0 = extractvalue {i64, i1} %t0, 1
1396 %t1 = call {i64, i1} @llvm.usub.with.overflow.i64(i64 -1, i64 %b)
1397 %v1 = extractvalue {i64, i1} %t1, 0
1398 %o1 = extractvalue {i64, i1} %t1, 1
1399 %oo = or i1 %o0, %o1
1400 %t2 = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %v1, i64 %v0)
1401 %v2 = extractvalue {i64, i1} %t2, 0
1402 %o2 = extractvalue {i64, i1} %t2, 1
1403 %ooo = or i1 %oo, %o2
1404 %t = insertvalue {i64, i1} %t2, i1 %ooo, 1
1405 ret {i64, i1} %t
1406 }
1408 declare {i8, i1} @llvm.sadd.with.overflow.i8 (i8, i8 ) nounwind readnone
1409 declare {i16, i1} @llvm.sadd.with.overflow.i16(i16, i16) nounwind readnone
1410 declare {i32, i1} @llvm.sadd.with.overflow.i32(i32, i32) nounwind readnone
1411 declare {i64, i1} @llvm.sadd.with.overflow.i64(i64, i64) nounwind readnone
1412 declare {i8, i1} @llvm.uadd.with.overflow.i8 (i8, i8 ) nounwind readnone
1413 declare {i16, i1} @llvm.uadd.with.overflow.i16(i16, i16) nounwind readnone
1414 declare {i32, i1} @llvm.uadd.with.overflow.i32(i32, i32) nounwind readnone
1415 declare {i64, i1} @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone
1416 declare {i32, i1} @llvm.ssub.with.overflow.i32(i32, i32) nounwind readnone
1417 declare {i64, i1} @llvm.ssub.with.overflow.i64(i64, i64) nounwind readnone
1418 declare {i32, i1} @llvm.usub.with.overflow.i32(i32, i32) nounwind readnone
1419 declare {i64, i1} @llvm.usub.with.overflow.i64(i64, i64) nounwind readnone
1421 !0 = !{!"branch_weights", i32 0, i32 2147483647}