test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll

   1 ; RUN: opt < %s -gvn -S | FileCheck %s
   2 ;
   3
   4 %0 = type { i64, i1 }
   5
   6 define i64 @test1(i64 %a, i64 %b) nounwind ssp {
   7 entry:
   8   %uadd = tail call %0 @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
   9   %uadd.0 = extractvalue %0 %uadd, 0
  10   %add1 = add i64 %a, %b
  11   ret i64 %add1
  12 }
  13
  14 ; CHECK: @test1
  15 ; CHECK-NOT: add1
  16 ; CHECK: ret
  17
  18 define i64 @test2(i64 %a, i64 %b) nounwind ssp {
  19 entry:
  20   %usub = tail call %0 @llvm.usub.with.overflow.i64(i64 %a, i64 %b)
  21   %usub.0 = extractvalue %0 %usub, 0
  22   %sub1 = sub i64 %a, %b
  23   ret i64 %sub1
  24 }
  25
  26 ; CHECK: @test2
  27 ; CHECK-NOT: sub1
  28 ; CHECK: ret
  29
  30 define i64 @test3(i64 %a, i64 %b) nounwind ssp {
  31 entry:
  32   %umul = tail call %0 @llvm.umul.with.overflow.i64(i64 %a, i64 %b)
  33   %umul.0 = extractvalue %0 %umul, 0
  34   %mul1 = mul i64 %a, %b
  35   ret i64 %mul1
  36 }
  37
  38 ; CHECK: @test3
  39 ; CHECK-NOT: mul1
  40 ; CHECK: ret
  41
  42
  43 declare void @exit(i32) noreturn
  44 declare %0 @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone
  45 declare %0 @llvm.usub.with.overflow.i64(i64, i64) nounwind readnone
  46 declare %0 @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone
  47