test/Transforms/InstCombine/sub.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3
   4 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep sub | not grep -v 'sub int %Cok, %Bok'
   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 }