test/CodeGen/SystemZ/and-02.ll

   1 ; Test 32-bit ANDs in which the second operand is constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; ANDs with 1 should use RISBG
   6 define i32 @f1(i32 %a) {
   7 ; CHECK: f1:
   8 ; CHECK: risbg %r2, %r2, 63, 191, 0
   9 ; CHECK: br %r14
  10   %and = and i32 %a, 1
  11   ret i32 %and
  12 }
  13
  14 ; ...same for 2.
  15 define i32 @f2(i32 %a) {
  16 ; CHECK: f2:
  17 ; CHECK: risbg %r2, %r2, 62, 190, 0
  18 ; CHECK: br %r14
  19   %and = and i32 %a, 2
  20   ret i32 %and
  21 }
  22
  23 ; ...and 3.
  24 define i32 @f3(i32 %a) {
  25 ; CHECK: f3:
  26 ; CHECK: risbg %r2, %r2, 62, 191, 0
  27 ; CHECK: br %r14
  28   %and = and i32 %a, 3
  29   ret i32 %and
  30 }
  31
  32 ; ...and 4.
  33 define i32 @f4(i32 %a) {
  34 ; CHECK: f4:
  35 ; CHECK: risbg %r2, %r2, 61, 189, 0
  36 ; CHECK: br %r14
  37   %and = and i32 %a, 4
  38   ret i32 %and
  39 }
  40
  41 ; Check the lowest useful NILF value.
  42 define i32 @f5(i32 %a) {
  43 ; CHECK: f5:
  44 ; CHECK: nilf %r2, 5
  45 ; CHECK: br %r14
  46   %and = and i32 %a, 5
  47   ret i32 %and
  48 }
  49
  50 ; Check the highest 16-bit constant that must be handled by NILF.
  51 define i32 @f6(i32 %a) {
  52 ; CHECK: f6:
  53 ; CHECK: nilf %r2, 65533
  54 ; CHECK: br %r14
  55   %and = and i32 %a, 65533
  56   ret i32 %and
  57 }
  58
  59 ; ANDs of 0xffff are zero extensions from i16.
  60 define i32 @f7(i32 %a) {
  61 ; CHECK: f7:
  62 ; CHECK: llhr %r2, %r2
  63 ; CHECK: br %r14
  64   %and = and i32 %a, 65535
  65   ret i32 %and
  66 }
  67
  68 ; Check the next value up, which can use RISBG.
  69 define i32 @f8(i32 %a) {
  70 ; CHECK: f8:
  71 ; CHECK: risbg %r2, %r2, 47, 175, 0
  72 ; CHECK: br %r14
  73   %and = and i32 %a, 65536
  74   ret i32 %and
  75 }
  76
  77 ; Check the next value up, which must again use NILF.
  78 define i32 @f9(i32 %a) {
  79 ; CHECK: f9:
  80 ; CHECK: nilf %r2, 65537
  81 ; CHECK: br %r14
  82   %and = and i32 %a, 65537
  83   ret i32 %and
  84 }
  85
  86 ; This value is in range of NILH, but we use RISBG instead.
  87 define i32 @f10(i32 %a) {
  88 ; CHECK: f10:
  89 ; CHECK: risbg %r2, %r2, 47, 191, 0
  90 ; CHECK: br %r14
  91   %and = and i32 %a, 131071
  92   ret i32 %and
  93 }
  94
  95 ; Check the lowest useful NILH value.
  96 define i32 @f11(i32 %a) {
  97 ; CHECK: f11:
  98 ; CHECK: nilh %r2, 2
  99 ; CHECK: br %r14
 100   %and = and i32 %a, 196607
 101   ret i32 %and
 102 }
 103
 104 ; Check the highest useful NILH value.
 105 define i32 @f12(i32 %a) {
 106 ; CHECK: f12:
 107 ; CHECK: nilh %r2, 65530
 108 ; CHECK: br %r14
 109   %and = and i32 %a, -327681
 110   ret i32 %and
 111 }
 112
 113 ; Check the equivalent of NILH of 65531, which can use RISBG.
 114 define i32 @f13(i32 %a) {
 115 ; CHECK: f13:
 116 ; CHECK: risbg %r2, %r2, 46, 172, 0
 117 ; CHECK: br %r14
 118   %and = and i32 %a, -262145
 119   ret i32 %and
 120 }
 121
 122 ; ...same for 65532.
 123 define i32 @f14(i32 %a) {
 124 ; CHECK: f14:
 125 ; CHECK: risbg %r2, %r2, 48, 173, 0
 126 ; CHECK: br %r14
 127   %and = and i32 %a, -196609
 128   ret i32 %and
 129 }
 130
 131 ; ...and 65533.
 132 define i32 @f15(i32 %a) {
 133 ; CHECK: f15:
 134 ; CHECK: risbg %r2, %r2, 47, 173, 0
 135 ; CHECK: br %r14
 136   %and = and i32 %a, -131073
 137   ret i32 %and
 138 }
 139
 140 ; Check the highest useful NILF value.
 141 define i32 @f16(i32 %a) {
 142 ; CHECK: f16:
 143 ; CHECK: nilf %r2, 4294901758
 144 ; CHECK: br %r14
 145   %and = and i32 %a, -65538
 146   ret i32 %and
 147 }
 148
 149 ; Check the next value up, which is the equivalent of an NILH of 65534.
 150 ; We use RISBG instead.
 151 define i32 @f17(i32 %a) {
 152 ; CHECK: f17:
 153 ; CHECK: risbg %r2, %r2, 48, 174, 0
 154 ; CHECK: br %r14
 155   %and = and i32 %a, -65537
 156   ret i32 %and
 157 }
 158
 159 ; Check the next value up, which can also use RISBG.
 160 define i32 @f18(i32 %a) {
 161 ; CHECK: f18:
 162 ; CHECK: risbg %r2, %r2, 32, 175, 0
 163 ; CHECK: br %r14
 164   %and = and i32 %a, -65536
 165   ret i32 %and
 166 }
 167
 168 ; ...and again.
 169 define i32 @f19(i32 %a) {
 170 ; CHECK: f19:
 171 ; CHECK: risbg %r2, %r2, 63, 175, 0
 172 ; CHECK: br %r14
 173   %and = and i32 %a, -65535
 174   ret i32 %and
 175 }
 176
 177 ; Check the next value up again, which is the lowest useful NILL value.
 178 define i32 @f20(i32 %a) {
 179 ; CHECK: f20:
 180 ; CHECK: nill %r2, 2
 181 ; CHECK: br %r14
 182   %and = and i32 %a, -65534
 183   ret i32 %and
 184 }
 185
 186 ; Check the highest useful NILL value.
 187 define i32 @f21(i32 %a) {
 188 ; CHECK: f21:
 189 ; CHECK: nill %r2, 65530
 190 ; CHECK: br %r14
 191   %and = and i32 %a, -6
 192   ret i32 %and
 193 }
 194
 195 ; Check the next value up, which can use RISBG.
 196 define i32 @f22(i32 %a) {
 197 ; CHECK: f22:
 198 ; CHECK: risbg %r2, %r2, 62, 188, 0
 199 ; CHECK: br %r14
 200   %and = and i32 %a, -5
 201   ret i32 %and
 202 }
 203
 204 ; ...and again.
 205 define i32 @f23(i32 %a) {
 206 ; CHECK: f23:
 207 ; CHECK: risbg %r2, %r2, 32, 189, 0
 208 ; CHECK: br %r14
 209   %and = and i32 %a, -4
 210   ret i32 %and
 211 }
 212
 213 ; ...and again.
 214 define i32 @f24(i32 %a) {
 215 ; CHECK: f24:
 216 ; CHECK: risbg %r2, %r2, 63, 189, 0
 217 ; CHECK: br %r14
 218   %and = and i32 %a, -3
 219   ret i32 %and
 220 }
 221
 222 ; Check the last useful mask.
 223 define i32 @f25(i32 %a) {
 224 ; CHECK: f25:
 225 ; CHECK: risbg %r2, %r2, 32, 190, 0
 226 ; CHECK: br %r14
 227   %and = and i32 %a, -2
 228   ret i32 %and
 229 }