test/Transforms/InstCombine/sub.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3 ; RUN: opt < %s -instcombine -S | \
   4 ; RUN:   grep -v {sub i32 %Cok, %Bok} | grep -v {sub i32 0, %Aok} | not grep sub
   5
   6 define i32 @test1(i32 %A) {
   7         %B = sub i32 %A, %A             ; <i32> [#uses=1]
   8         ret i32 %B
   9 }
  10
  11 define i32 @test2(i32 %A) {
  12         %B = sub i32 %A, 0              ; <i32> [#uses=1]
  13         ret i32 %B
  14 }
  15
  16 define i32 @test3(i32 %A) {
  17         %B = sub i32 0, %A              ; <i32> [#uses=1]
  18         %C = sub i32 0, %B              ; <i32> [#uses=1]
  19         ret i32 %C
  20 }
  21
  22 define i32 @test4(i32 %A, i32 %x) {
  23         %B = sub i32 0, %A              ; <i32> [#uses=1]
  24         %C = sub i32 %x, %B             ; <i32> [#uses=1]
  25         ret i32 %C
  26 }
  27
  28 define i32 @test5(i32 %A, i32 %Bok, i32 %Cok) {
  29         %D = sub i32 %Bok, %Cok         ; <i32> [#uses=1]
  30         %E = sub i32 %A, %D             ; <i32> [#uses=1]
  31         ret i32 %E
  32 }
  33
  34 define i32 @test6(i32 %A, i32 %B) {
  35         %C = and i32 %A, %B             ; <i32> [#uses=1]
  36         %D = sub i32 %A, %C             ; <i32> [#uses=1]
  37         ret i32 %D
  38 }
  39
  40 define i32 @test7(i32 %A) {
  41         %B = sub i32 -1, %A             ; <i32> [#uses=1]
  42         ret i32 %B
  43 }
  44
  45 define i32 @test8(i32 %A) {
  46         %B = mul i32 9, %A              ; <i32> [#uses=1]
  47         %C = sub i32 %B, %A             ; <i32> [#uses=1]
  48         ret i32 %C
  49 }
  50
  51 define i32 @test9(i32 %A) {
  52         %B = mul i32 3, %A              ; <i32> [#uses=1]
  53         %C = sub i32 %A, %B             ; <i32> [#uses=1]
  54         ret i32 %C
  55 }
  56
  57 define i32 @test10(i32 %A, i32 %B) {
  58         %C = sub i32 0, %A              ; <i32> [#uses=1]
  59         %D = sub i32 0, %B              ; <i32> [#uses=1]
  60         %E = mul i32 %C, %D             ; <i32> [#uses=1]
  61         ret i32 %E
  62 }
  63
  64 define i32 @test10.upgrd.1(i32 %A) {
  65         %C = sub i32 0, %A              ; <i32> [#uses=1]
  66         %E = mul i32 %C, 7              ; <i32> [#uses=1]
  67         ret i32 %E
  68 }
  69
  70 define i1 @test11(i8 %A, i8 %B) {
  71         %C = sub i8 %A, %B              ; <i8> [#uses=1]
  72         %cD = icmp ne i8 %C, 0          ; <i1> [#uses=1]
  73         ret i1 %cD
  74 }
  75
  76 define i32 @test12(i32 %A) {
  77         %B = ashr i32 %A, 31            ; <i32> [#uses=1]
  78         %C = sub i32 0, %B              ; <i32> [#uses=1]
  79         ret i32 %C
  80 }
  81
  82 define i32 @test13(i32 %A) {
  83         %B = lshr i32 %A, 31            ; <i32> [#uses=1]
  84         %C = sub i32 0, %B              ; <i32> [#uses=1]
  85         ret i32 %C
  86 }
  87
  88 define i32 @test14(i32 %A) {
  89         %B = lshr i32 %A, 31            ; <i32> [#uses=1]
  90         %C = bitcast i32 %B to i32              ; <i32> [#uses=1]
  91         %D = sub i32 0, %C              ; <i32> [#uses=1]
  92         ret i32 %D
  93 }
  94
  95 define i32 @test15(i32 %A, i32 %B) {
  96         %C = sub i32 0, %A              ; <i32> [#uses=1]
  97         %D = srem i32 %B, %C            ; <i32> [#uses=1]
  98         ret i32 %D
  99 }
 100
 101 define i32 @test16(i32 %A) {
 102         %X = sdiv i32 %A, 1123          ; <i32> [#uses=1]
 103         %Y = sub i32 0, %X              ; <i32> [#uses=1]
 104         ret i32 %Y
 105 }
 106
 107 ; Can't fold subtract here because negation it might oveflow.
 108 ; PR3142
 109 define i32 @test17(i32 %Aok) {
 110         %B = sub i32 0, %Aok            ; <i32> [#uses=1]
 111         %C = sdiv i32 %B, 1234          ; <i32> [#uses=1]
 112         ret i32 %C
 113 }
 114
 115 define i64 @test18(i64 %Y) {
 116         %tmp.4 = shl i64 %Y, 2          ; <i64> [#uses=1]
 117         %tmp.12 = shl i64 %Y, 2         ; <i64> [#uses=1]
 118         %tmp.8 = sub i64 %tmp.4, %tmp.12                ; <i64> [#uses=1]
 119         ret i64 %tmp.8
 120 }
 121
 122 define i32 @test19(i32 %X, i32 %Y) {
 123         %Z = sub i32 %X, %Y             ; <i32> [#uses=1]
 124         %Q = add i32 %Z, %Y             ; <i32> [#uses=1]
 125         ret i32 %Q
 126 }
 127
 128 define i1 @test20(i32 %g, i32 %h) {
 129         %tmp.2 = sub i32 %g, %h         ; <i32> [#uses=1]
 130         %tmp.4 = icmp ne i32 %tmp.2, %g         ; <i1> [#uses=1]
 131         ret i1 %tmp.4
 132 }
 133
 134 define i1 @test21(i32 %g, i32 %h) {
 135         %tmp.2 = sub i32 %g, %h         ; <i32> [#uses=1]
 136         %tmp.4 = icmp ne i32 %tmp.2, %g         ; <i1> [#uses=1]
 137         ret i1 %tmp.4
 138 }
 139
 140 ; PR2298
 141 define i8 @test22(i32 %a, i32 %b) zeroext nounwind  {
 142         %tmp2 = sub i32 0, %a           ; <i32> [#uses=1]
 143         %tmp4 = sub i32 0, %b           ; <i32> [#uses=1]
 144         %tmp5 = icmp eq i32 %tmp2, %tmp4                ; <i1> [#uses=1]
 145         %retval89 = zext i1 %tmp5 to i8         ; <i8> [#uses=1]
 146         ret i8 %retval89
 147 }
 148