| Owen Anderson | c004eec | 2010-09-21 18:41:19 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86 | FileCheck %s |
| 2 | ; <rdar://problem/8449754> |
| 3 | |
| Chris Lattner | c19d1c3 | 2010-12-19 22:08:31 +0000 | [diff] [blame] | 4 | define i32 @test1(i32 %sum, i32 %x) nounwind readnone ssp { |
| Owen Anderson | c004eec | 2010-09-21 18:41:19 +0000 | [diff] [blame] | 5 | entry: |
| Chris Lattner | c19d1c3 | 2010-12-19 22:08:31 +0000 | [diff] [blame] | 6 | ; CHECK: test1: |
| Benjamin Kramer | f51190b | 2011-05-08 18:36:07 +0000 | [diff] [blame^] | 7 | ; CHECK: cmpl %ecx, %eax |
| Owen Anderson | c004eec | 2010-09-21 18:41:19 +0000 | [diff] [blame] | 8 | ; CHECK-NOT: addl |
| Benjamin Kramer | f51190b | 2011-05-08 18:36:07 +0000 | [diff] [blame^] | 9 | ; CHECK: adcl $0, %eax |
| Owen Anderson | c004eec | 2010-09-21 18:41:19 +0000 | [diff] [blame] | 10 | %add4 = add i32 %x, %sum |
| 11 | %cmp = icmp ult i32 %add4, %x |
| 12 | %inc = zext i1 %cmp to i32 |
| 13 | %z.0 = add i32 %add4, %inc |
| 14 | ret i32 %z.0 |
| 15 | } |
| Chris Lattner | c19d1c3 | 2010-12-19 22:08:31 +0000 | [diff] [blame] | 16 | |
| 17 | ; Instcombine transforms test1 into test2: |
| 18 | ; CHECK: test2: |
| 19 | ; CHECK: movl |
| 20 | ; CHECK-NEXT: addl |
| Benjamin Kramer | f51190b | 2011-05-08 18:36:07 +0000 | [diff] [blame^] | 21 | ; CHECK-NEXT: adcl $0 |
| Chris Lattner | c19d1c3 | 2010-12-19 22:08:31 +0000 | [diff] [blame] | 22 | ; CHECK-NEXT: ret |
| 23 | define i32 @test2(i32 %sum, i32 %x) nounwind readnone ssp { |
| 24 | entry: |
| 25 | %uadd = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %x, i32 %sum) |
| 26 | %0 = extractvalue { i32, i1 } %uadd, 0 |
| 27 | %cmp = extractvalue { i32, i1 } %uadd, 1 |
| 28 | %inc = zext i1 %cmp to i32 |
| 29 | %z.0 = add i32 %0, %inc |
| 30 | ret i32 %z.0 |
| 31 | } |
| 32 | |
| 33 | declare { i32, i1 } @llvm.uadd.with.overflow.i32(i32, i32) nounwind readnone |