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-LABEL: @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-LABEL: @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-LABEL: @test3(
  39 ; CHECK-NOT: mul1
  40 ; CHECK: ret
  41
  42 define i64 @test4(i64 %a, i64 %b) nounwind ssp {
  43 entry:
  44   %sadd = tail call %0 @llvm.sadd.with.overflow.i64(i64 %a, i64 %b)
  45   %sadd.0 = extractvalue %0 %sadd, 0
  46   %add1 = add i64 %a, %b
  47   ret i64 %add1
  48 }
  49
  50 ; CHECK-LABEL: @test4(
  51 ; CHECK-NOT: add1
  52 ; CHECK: ret
  53
  54 define i64 @test5(i64 %a, i64 %b) nounwind ssp {
  55 entry:
  56   %ssub = tail call %0 @llvm.ssub.with.overflow.i64(i64 %a, i64 %b)
  57   %ssub.0 = extractvalue %0 %ssub, 0
  58   %sub1 = sub i64 %a, %b
  59   ret i64 %sub1
  60 }
  61
  62 ; CHECK-LABEL: @test5(
  63 ; CHECK-NOT: sub1
  64 ; CHECK: ret
  65
  66 define i64 @test6(i64 %a, i64 %b) nounwind ssp {
  67 entry:
  68   %smul = tail call %0 @llvm.smul.with.overflow.i64(i64 %a, i64 %b)
  69   %smul.0 = extractvalue %0 %smul, 0
  70   %mul1 = mul i64 %a, %b
  71   ret i64 %mul1
  72 }
  73
  74 ; CHECK-LABEL: @test6(
  75 ; CHECK-NOT: mul1
  76 ; CHECK: ret
  77
  78 declare void @exit(i32) noreturn
  79 declare %0 @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone
  80 declare %0 @llvm.usub.with.overflow.i64(i64, i64) nounwind readnone
  81 declare %0 @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone
  82 declare %0 @llvm.sadd.with.overflow.i64(i64, i64) nounwind readnone
  83 declare %0 @llvm.ssub.with.overflow.i64(i64, i64) nounwind readnone
  84 declare %0 @llvm.smul.with.overflow.i64(i64, i64) nounwind readnone
  85