| Chris Lattner | b20e0b1 | 2010-12-05 07:30:36 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86 | FileCheck %s |
| Eli Friedman | db3c169 | 2009-06-16 06:58:29 +0000 | [diff] [blame] | 2 | |
| 3 | declare {i32, i1} @llvm.umul.with.overflow.i32(i32 %a, i32 %b) |
| 4 | define i1 @a(i32 %x) zeroext nounwind { |
| 5 | %res = call {i32, i1} @llvm.umul.with.overflow.i32(i32 %x, i32 3) |
| 6 | %obil = extractvalue {i32, i1} %res, 1 |
| 7 | ret i1 %obil |
| Chris Lattner | b20e0b1 | 2010-12-05 07:30:36 +0000 | [diff] [blame] | 8 | |
| 9 | ; CHECK: a: |
| 10 | ; CHECK: mull |
| 11 | ; CHECK: seto %al |
| Bill Wendling | d336de3 | 2011-04-14 01:46:37 +0000 | [diff] [blame] | 12 | ; CHECK: movzbl %al, %eax |
| Chris Lattner | b20e0b1 | 2010-12-05 07:30:36 +0000 | [diff] [blame] | 13 | ; CHECK: ret |
| Eli Friedman | db3c169 | 2009-06-16 06:58:29 +0000 | [diff] [blame] | 14 | } |
| Benjamin Kramer | f55d26e | 2011-05-21 18:31:55 +0000 | [diff] [blame^] | 15 | |
| 16 | define i32 @test2(i32 %a, i32 %b) nounwind readnone { |
| 17 | entry: |
| 18 | %tmp0 = add i32 %b, %a |
| 19 | %tmp1 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %tmp0, i32 2) |
| 20 | %tmp2 = extractvalue { i32, i1 } %tmp1, 0 |
| 21 | ret i32 %tmp2 |
| 22 | ; CHECK: test2: |
| 23 | ; CHECK: addl |
| 24 | ; CHECK-NEXT: addl |
| 25 | ; CHECK-NEXT: ret |
| 26 | } |
| 27 | |
| 28 | define i32 @test3(i32 %a, i32 %b) nounwind readnone { |
| 29 | entry: |
| 30 | %tmp0 = add i32 %b, %a |
| 31 | %tmp1 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %tmp0, i32 4) |
| 32 | %tmp2 = extractvalue { i32, i1 } %tmp1, 0 |
| 33 | ret i32 %tmp2 |
| 34 | ; CHECK: test3: |
| 35 | ; CHECK: addl |
| 36 | ; CHECK: mull |
| 37 | ; CHECK-NEXT: ret |
| 38 | } |