test/Transforms/InstCombine/sub.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3 ; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | \
   4 ; RUN:   grep -v {sub i32 %Cok, %Bok} | not grep sub
   5
   6 implementation
   7
   8 int %test1(int %A) {
   9         %B = sub int %A, %A    ; ISA constant 0
  10         ret int %B
  11 }
  12
  13 int %test2(int %A) {
  14         %B = sub int %A, 0
  15         ret int %B
  16 }
  17
  18 int %test3(int %A) {
  19         %B = sub int 0, %A       ; B = -A
  20         %C = sub int 0, %B       ; C = -B = A
  21         ret int %C
  22 }
  23
  24 int %test4(int %A, int %x) {
  25         %B = sub int 0, %A
  26         %C = sub int %x, %B
  27         ret int %C
  28 }
  29
  30 int %test5(int %A, int %Bok, int %Cok) {
  31         %D = sub int %Bok, %Cok
  32         %E = sub int %A, %D
  33         ret int %E
  34 }
  35
  36 int %test6(int %A, int %B) {
  37         %C = and int %A, %B   ; A - (A & B) => A & ~B
  38         %D = sub int %A, %C
  39         ret int %D
  40 }
  41
  42 int %test7(int %A) {
  43         %B = sub int -1, %A   ; B = ~A
  44         ret int %B
  45 }
  46
  47 int %test8(int %A) {
  48         %B = mul int 9, %A
  49         %C = sub int %B, %A      ; C = 9*A-A == A*8 == A << 3
  50         ret int %C
  51 }
  52
  53 int %test9(int %A) {
  54         %B = mul int 3, %A
  55         %C = sub int %A, %B      ; C = A-3*A == A*-2
  56         ret int %C
  57 }
  58
  59 int %test10(int %A, int %B) {    ; -A*-B == A*B
  60         %C = sub int 0, %A
  61         %D = sub int 0, %B
  62         %E = mul int %C, %D
  63         ret int %E
  64 }
  65
  66 int %test10(int %A) {    ; -A *c1 == A * -c1
  67         %C = sub int 0, %A
  68         %E = mul int %C, 7
  69         ret int %E
  70 }
  71
  72 bool %test11(ubyte %A, ubyte %B) {
  73         %C = sub ubyte %A, %B
  74         %cD = setne ubyte %C, 0    ; == setne A, B
  75         ret bool %cD
  76 }
  77
  78 int %test12(int %A) {
  79         %B = shr int %A, ubyte 31
  80         %C = sub int 0, %B         ; == ushr A, 31
  81         ret int %C
  82 }
  83
  84 uint %test13(uint %A) {
  85         %B = shr uint %A, ubyte 31
  86         %C = sub uint 0, %B        ; == sar A, 31
  87         ret uint %C
  88 }
  89
  90 int %test14(uint %A) {
  91         %B = shr uint %A, ubyte 31
  92         %C = cast uint %B to int
  93         %D = sub int 0, %C
  94         ret int %D
  95 }
  96
  97 int %test15(int %A, int %B) {
  98         %C = sub int 0, %A
  99         %D = rem int %B, %C   ;; X % -Y === X % Y
 100         ret int %D
 101 }
 102
 103 int %test16(int %A) {
 104         %X = div int %A, 1123
 105         %Y = sub int 0, %X
 106         ret int %Y
 107 }
 108
 109 int %test17(int %A) {
 110         %B = sub int 0, %A
 111         %C = div int %B, 1234
 112         ret int %C
 113 }
 114
 115 long %test18(long %Y) {
 116         %tmp.4 = shl long %Y, ubyte 2
 117         %tmp.12 = shl long %Y, ubyte 2
 118         %tmp.8 = sub long %tmp.4, %tmp.12 ;; 0
 119         ret long %tmp.8
 120 }
 121
 122 int %test19(int %X, int %Y) {
 123         %Z = sub int %X, %Y
 124         %Q = add int %Z, %Y
 125         ret int %Q
 126 }
 127
 128 bool %test20(int %g, int %h) {
 129         %tmp.2 = sub int %g, %h
 130         %tmp.4 = setne int %tmp.2, %g
 131         ret bool %tmp.4
 132 }
 133
 134 bool %test21(int %g, int %h) {
 135         %tmp.2 = sub int %g, %h
 136         %tmp.4 = setne int %tmp.2, %g
 137         ret bool %tmp.4
 138 }
 139