test/Transforms/GVN/pr12979.ll

   1 ; RUN: opt -gvn -S < %s | FileCheck %s
   2
   3 define i32 @test1(i32 %x, i32 %y) {
   4 ; CHECK: @test1(i32 %x, i32 %y)
   5 ; CHECK: %add1 = add i32 %x, %y
   6 ; CHECK: %foo = add i32 %add1, %add1
   7
   8   %add1 = add nsw i32 %x, %y
   9   %add2 = add     i32 %x, %y
  10   %foo = add i32 %add1, %add2
  11   ret i32 %foo
  12 }
  13
  14 define i32 @test2(i32 %x, i32 %y) {
  15 ; CHECK: @test2(i32 %x, i32 %y)
  16 ; CHECK: %add1 = add i32 %x, %y
  17 ; CHECK: %foo = add i32 %add1, %add1
  18
  19   %add1 = add nuw i32 %x, %y
  20   %add2 = add     i32 %x, %y
  21   %foo = add i32 %add1, %add2
  22   ret i32 %foo
  23 }
  24
  25 define i32 @test3(i32 %x, i32 %y) {
  26 ; CHECK: @test3(i32 %x, i32 %y)
  27 ; CHECK: %add1 = add i32 %x, %y
  28 ; CHECK: %foo = add i32 %add1, %add1
  29
  30   %add1 = add nuw nsw i32 %x, %y
  31   %add2 = add     i32 %x, %y
  32   %foo = add i32 %add1, %add2
  33   ret i32 %foo
  34 }
  35
  36 define i32 @test4(i32 %x, i32 %y) {
  37 ; CHECK: @test4(i32 %x, i32 %y)
  38 ; CHECK: %add1 = add nsw i32 %x, %y
  39 ; CHECK: %foo = add i32 %add1, %add1
  40
  41   %add1 = add nsw i32 %x, %y
  42   %add2 = add nsw i32 %x, %y
  43   %foo = add i32 %add1, %add2
  44   ret i32 %foo
  45 }
  46
  47 define i32 @test5(i32 %x, i32 %y) {
  48 ; CHECK: @test5(i32 %x, i32 %y)
  49 ; CHECK: %add1 = add i32 %x, %y
  50 ; CHECK: %foo = add i32 %add1, %add1
  51
  52   %add1 = add nuw i32 %x, %y
  53   %add2 = add nsw i32 %x, %y
  54   %foo = add i32 %add1, %add2
  55   ret i32 %foo
  56 }
  57
  58 define i32 @test6(i32 %x, i32 %y) {
  59 ; CHECK: @test6(i32 %x, i32 %y)
  60 ; CHECK: %add1 = add nsw i32 %x, %y
  61 ; CHECK: %foo = add i32 %add1, %add1
  62
  63   %add1 = add nuw nsw i32 %x, %y
  64   %add2 = add nsw i32 %x, %y
  65   %foo = add i32 %add1, %add2
  66   ret i32 %foo
  67 }
  68
  69 define i32 @test7(i32 %x, i32 %y) {
  70 ; CHECK: @test7(i32 %x, i32 %y)
  71 ; CHECK: %add1 = add i32 %x, %y
  72 ; CHECK-NOT: what_is_this
  73 ; CHECK: %foo = add i32 %add1, %add1
  74
  75   %add1 = add i32 %x, %y, !what_is_this !{}
  76   %add2 = add i32 %x, %y
  77   %foo = add i32 %add1, %add2
  78   ret i32 %foo
  79 }
  80
  81 declare void @mumble(i2, i2)
  82
  83 define void @test8(i2 %x) {
  84 ; CHECK-LABEL: @test8(
  85 ; CHECK:      %[[ashr:.*]] = ashr i2 %x, 1
  86 ; CHECK-NEXT: call void @mumble(i2 %[[ashr]], i2 %[[ashr]])
  87 ; CHECK-NEXT: ret void
  88
  89   %ashr0 = ashr exact i2 %x, 1
  90   %ashr1 = ashr i2 %x, 1
  91   call void @mumble(i2 %ashr0, i2 %ashr1)
  92   ret void
  93 }