test/Transforms/InstCombine/and.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3
   4 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep and
   5
   6 implementation
   7
   8 int %test1(int %A) {
   9         %B = and int %A, 0     ; zero result
  10         ret int %B
  11 }
  12
  13 int %test2(int %A) {
  14         %B = and int %A, -1    ; noop
  15         ret int %B
  16 }
  17
  18 bool %test3(bool %A) {
  19         %B = and bool %A, false  ; always = false
  20         ret bool %B
  21 }
  22
  23 bool %test4(bool %A) {
  24         %B = and bool %A, true  ; noop
  25         ret bool %B
  26 }
  27
  28 int %test5(int %A) {
  29         %B = and int %A, %A
  30         ret int %B
  31 }
  32
  33 bool %test6(bool %A) {
  34         %B = and bool %A, %A
  35         ret bool %B
  36 }
  37
  38 int %test7(int %A) {         ; A & ~A == 0
  39         %NotA = xor int %A, -1
  40         %B = and int %A, %NotA
  41         ret int %B
  42 }
  43
  44 ubyte %test8(ubyte %A) {    ; AND associates
  45         %B = and ubyte %A, 3
  46         %C = and ubyte %B, 4
  47         ret ubyte %C
  48 }
  49
  50 bool %test9(int %A) {
  51         %B = and int %A, -2147483648   ; Test of sign bit, convert to setle %A, 0
  52         %C = setne int %B, 0
  53         ret bool %C
  54 }
  55
  56 bool %test9(uint %A) {
  57         %B = and uint %A, 2147483648   ; Test of sign bit, convert to setle %A, 0
  58         %C = setne uint %B, 0
  59         ret bool %C
  60 }
  61
  62 uint %test10(uint %A) {
  63         %B = and uint %A, 12
  64         %C = xor uint %B, 15
  65         %D = and uint %C, 1   ; (X ^ C1) & C2 --> (X & C2) ^ (C1&C2)
  66         ret uint %D
  67 }
  68
  69 uint %test11(uint %A, uint* %P) {
  70         %B = or uint %A, 3
  71         %C = xor uint %B, 12
  72         store uint %C, uint* %P    ; additional use of C
  73         %D = and uint %C, 3        ; %C = and uint %B, 3 --> 3
  74         ret uint %D
  75 }
  76
  77 bool %test12(uint %A, uint %B) {
  78         %C1 = setlt uint %A, %B
  79         %C2 = setle uint %A, %B
  80         %D = and bool %C1, %C2      ; (A < B) & (A <= B) === (A < B)
  81         ret bool %D
  82 }
  83
  84 bool %test13(uint %A, uint %B) {
  85         %C1 = setlt uint %A, %B
  86         %C2 = setgt uint %A, %B
  87         %D = and bool %C1, %C2      ; (A < B) & (A > B) === false
  88         ret bool %D
  89 }
  90
  91 bool %test14(ubyte %A) {
  92         %B = and ubyte %A, 128
  93         %C = setne ubyte %B, 0
  94         ret bool %C
  95 }
  96
  97 ubyte %test15(ubyte %A) {
  98         %B = shr ubyte %A, ubyte 7
  99         %C = and ubyte %B, 2        ; Always equals zero
 100         ret ubyte %C
 101 }
 102
 103 ubyte %test16(ubyte %A) {
 104         %B = shl ubyte %A, ubyte 2
 105         %C = and ubyte %B, 3
 106         ret ubyte %C
 107 }