test/Transforms/InstCombine/apint-sub.ll

   1 ; This test makes sure that sub instructions are properly eliminated
   2 ; even with arbitrary precision integers.
   3 ;
   4
   5 ; RUN:  llvm-as < %s | opt -instcombine | llvm-dis | \
   6 ; RUN:   grep -v 'sub i19 %Cok, %Bok' | not grep sub
   7
   8 define i23 @test1(i23 %A) {
   9         %B = sub i23 %A, %A             ; <i23> [#uses=1]
  10         ret i23 %B
  11 }
  12
  13 define i47 @test2(i47 %A) {
  14         %B = sub i47 %A, 0              ; <i47> [#uses=1]
  15         ret i47 %B
  16 }
  17
  18 define i97 @test3(i97 %A) {
  19         %B = sub i97 0, %A              ; <i97> [#uses=1]
  20         %C = sub i97 0, %B              ; <i97> [#uses=1]
  21         ret i97 %C
  22 }
  23
  24 define i108 @test4(i108 %A, i108 %x) {
  25         %B = sub i108 0, %A             ; <i108> [#uses=1]
  26         %C = sub i108 %x, %B            ; <i108> [#uses=1]
  27         ret i108 %C
  28 }
  29
  30 define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) {
  31         %D = sub i19 %Bok, %Cok         ; <i19> [#uses=1]
  32         %E = sub i19 %A, %D             ; <i19> [#uses=1]
  33         ret i19 %E
  34 }
  35
  36 define i57 @test6(i57 %A, i57 %B) {
  37         %C = and i57 %A, %B             ; <i57> [#uses=1]
  38         %D = sub i57 %A, %C             ; <i57> [#uses=1]
  39         ret i57 %D
  40 }
  41
  42 define i77 @test7(i77 %A) {
  43         %B = sub i77 -1, %A             ; <i77> [#uses=1]
  44         ret i77 %B
  45 }
  46
  47 define i27 @test8(i27 %A) {
  48         %B = mul i27 9, %A              ; <i27> [#uses=1]
  49         %C = sub i27 %B, %A             ; <i27> [#uses=1]
  50         ret i27 %C
  51 }
  52
  53 define i42 @test9(i42 %A) {
  54         %B = mul i42 3, %A              ; <i42> [#uses=1]
  55         %C = sub i42 %A, %B             ; <i42> [#uses=1]
  56         ret i42 %C
  57 }
  58
  59 define i124 @test10(i124 %A, i124 %B) {
  60         %C = sub i124 0, %A             ; <i124> [#uses=1]
  61         %D = sub i124 0, %B             ; <i124> [#uses=1]
  62         %E = mul i124 %C, %D            ; <i124> [#uses=1]
  63         ret i124 %E
  64 }
  65
  66 define i55 @test10a(i55 %A) {
  67         %C = sub i55 0, %A              ; <i55> [#uses=1]
  68         %E = mul i55 %C, 7              ; <i55> [#uses=1]
  69         ret i55 %E
  70 }
  71
  72 define i1 @test11(i9 %A, i9 %B) {
  73         %C = sub i9 %A, %B              ; <i9> [#uses=1]
  74         %cD = icmp ne i9 %C, 0          ; <i1> [#uses=1]
  75         ret i1 %cD
  76 }
  77
  78 define i43 @test12(i43 %A) {
  79         %B = ashr i43 %A, 42            ; <i43> [#uses=1]
  80         %C = sub i43 0, %B              ; <i43> [#uses=1]
  81         ret i43 %C
  82 }
  83
  84 define i79 @test13(i79 %A) {
  85         %B = lshr i79 %A, 78            ; <i79> [#uses=1]
  86         %C = sub i79 0, %B              ; <i79> [#uses=1]
  87         ret i79 %C
  88 }
  89
  90 define i1024 @test14(i1024 %A) {
  91         %B = lshr i1024 %A, 1023        ; <i1024> [#uses=1]
  92         %C = bitcast i1024 %B to i1024  ; <i1024> [#uses=1]
  93         %D = sub i1024 0, %C            ; <i1024> [#uses=1]
  94         ret i1024 %D
  95 }
  96
  97 define i14 @test15(i14 %A, i14 %B) {
  98         %C = sub i14 0, %A              ; <i14> [#uses=1]
  99         %D = srem i14 %B, %C            ; <i14> [#uses=1]
 100         ret i14 %D
 101 }
 102
 103 define i51 @test16(i51 %A) {
 104         %X = sdiv i51 %A, 1123          ; <i51> [#uses=1]
 105         %Y = sub i51 0, %X              ; <i51> [#uses=1]
 106         ret i51 %Y
 107 }
 108
 109 define i25 @test17(i25 %A) {
 110         %B = sub i25 0, %A              ; <i25> [#uses=1]
 111         %C = sdiv i25 %B, 1234          ; <i25> [#uses=1]
 112         ret i25 %C
 113 }
 114
 115 define i128 @test18(i128 %Y) {
 116         %tmp.4 = shl i128 %Y, 2         ; <i128> [#uses=1]
 117         %tmp.12 = shl i128 %Y, 2        ; <i128> [#uses=1]
 118         %tmp.8 = sub i128 %tmp.4, %tmp.12       ; <i128> [#uses=1]
 119         ret i128 %tmp.8
 120 }
 121
 122 define i39 @test19(i39 %X, i39 %Y) {
 123         %Z = sub i39 %X, %Y             ; <i39> [#uses=1]
 124         %Q = add i39 %Z, %Y             ; <i39> [#uses=1]
 125         ret i39 %Q
 126 }
 127
 128 define i1 @test20(i33 %g, i33 %h) {
 129         %tmp.2 = sub i33 %g, %h         ; <i33> [#uses=1]
 130         %tmp.4 = icmp ne i33 %tmp.2, %g         ; <i1> [#uses=1]
 131         ret i1 %tmp.4
 132 }
 133
 134 define i1 @test21(i256 %g, i256 %h) {
 135         %tmp.2 = sub i256 %g, %h        ; <i256> [#uses=1]
 136         %tmp.4 = icmp ne i256 %tmp.2, %g; <i1> [#uses=1]
 137         ret i1 %tmp.4
 138 }