test/CodeGen/X86/umul-with-overflow.ll

   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 }