1 ; RUN: llc < %s -mtriple=i686-unknown-linux-gnu | 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: ret 13 } 14 15 define i32 @test2(i32 %a, i32 %b) nounwind readnone { 16 entry: 17 %tmp0 = add i32 %b, %a 18 %tmp1 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %tmp0, i32 2) 19 %tmp2 = extractvalue { i32, i1 } %tmp1, 0 20 ret i32 %tmp2 21 ; CHECK-LABEL: test2: 22 ; CHECK: addl 23 ; CHECK-NEXT: addl 24 ; CHECK-NEXT: ret 25 } 26 27 define i32 @test3(i32 %a, i32 %b) nounwind readnone { 28 entry: 29 %tmp0 = add i32 %b, %a 30 %tmp1 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %tmp0, i32 4) 31 %tmp2 = extractvalue { i32, i1 } %tmp1, 0 32 ret i32 %tmp2 33 ; CHECK-LABEL: test3: 34 ; CHECK: addl 35 ; CHECK: mull 36 ; CHECK-NEXT: ret 37 } 38
