1 ; RUN: llc < %s -march=x86 | FileCheck %s
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
12 ; CHECK: movzbl %al, %eax
16 define i32 @test2(i32 %a, i32 %b) nounwind readnone {
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
28 define i32 @test3(i32 %a, i32 %b) nounwind readnone {
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