1 ; RUN: llc < %s -march=x86 | FileCheck %s 2 3 declare {i32, i1} @llvm.umul.with.overflow.i32(i32 %a, i32 %b) 4 define zeroext i1 @a(i32 %x) 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 8 9 ; CHECK-LABEL: a: 10 ; CHECK: mull 11 ; CHECK: seto %al 12 ; CHECK: movzbl %al, %eax 13 ; CHECK: ret 14 } 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-LABEL: 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-LABEL: test3: 35 ; CHECK: addl 36 ; CHECK: mull 37 ; CHECK-NEXT: ret 38 } 39
