test/CodeGen/SystemZ/and-04.ll

   1 ; Test 64-bit ANDs in which the second operand is constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Use RISBG for a single bit.
   6 define i64 @f1(i64 %a) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: risbg %r2, %r2, 63, 191, 0
   9 ; CHECK: br %r14
  10   %and = and i64 %a, 1
  11   ret i64 %and
  12 }
  13
  14 ; Likewise 0xfffe.
  15 define i64 @f2(i64 %a) {
  16 ; CHECK-LABEL: f2:
  17 ; CHECK: risbg %r2, %r2, 48, 190, 0
  18 ; CHECK: br %r14
  19   %and = and i64 %a, 65534
  20   ret i64 %and
  21 }
  22
  23 ; ...but 0xffff is a 16-bit zero extension.
  24 define i64 @f3(i64 %a, i64 %b) {
  25 ; CHECK-LABEL: f3:
  26 ; CHECK: llghr %r2, %r3
  27 ; CHECK: br %r14
  28   %and = and i64 %b, 65535
  29   ret i64 %and
  30 }
  31
  32 ; Check the next value up, which can again use RISBG.
  33 define i64 @f4(i64 %a) {
  34 ; CHECK-LABEL: f4:
  35 ; CHECK: risbg %r2, %r2, 47, 175, 0
  36 ; CHECK: br %r14
  37   %and = and i64 %a, 65536
  38   ret i64 %and
  39 }
  40
  41 ; Check 0xfffffffe, which can also use RISBG.
  42 define i64 @f5(i64 %a) {
  43 ; CHECK-LABEL: f5:
  44 ; CHECK: risbg %r2, %r2, 32, 190, 0
  45 ; CHECK: br %r14
  46   %and = and i64 %a, 4294967294
  47   ret i64 %and
  48 }
  49
  50 ; Check the next value up, which is a 32-bit zero extension.
  51 define i64 @f6(i64 %a, i64 %b) {
  52 ; CHECK-LABEL: f6:
  53 ; CHECK: llgfr %r2, %r3
  54 ; CHECK: br %r14
  55   %and = and i64 %b, 4294967295
  56   ret i64 %and
  57 }
  58
  59 ; Check the lowest useful NIHF value (0x00000001_ffffffff).
  60 define i64 @f7(i64 %a) {
  61 ; CHECK-LABEL: f7:
  62 ; CHECK: nihf %r2, 1
  63 ; CHECK: br %r14
  64   %and = and i64 %a, 8589934591
  65   ret i64 %and
  66 }
  67
  68 ; ...but RISBG can be used if a three-address form is useful.
  69 define i64 @f8(i64 %a, i64 %b) {
  70 ; CHECK-LABEL: f8:
  71 ; CHECK: risbg %r2, %r3, 31, 191, 0
  72 ; CHECK: br %r14
  73   %and = and i64 %b, 8589934591
  74   ret i64 %and
  75 }
  76
  77 ; Check the lowest NIHH value outside the RISBG range (0x0002ffff_ffffffff).
  78 define i64 @f9(i64 %a) {
  79 ; CHECK-LABEL: f9:
  80 ; CHECK: nihh %r2, 2
  81 ; CHECK: br %r14
  82   %and = and i64 %a, 844424930131967
  83   ret i64 %and
  84 }
  85
  86 ; Check the highest NIHH value outside the RISBG range (0xfffaffff_ffffffff).
  87 define i64 @f10(i64 %a) {
  88 ; CHECK-LABEL: f10:
  89 ; CHECK: nihh %r2, 65530
  90 ; CHECK: br %r14
  91   %and = and i64 %a, -1407374883553281
  92   ret i64 %and
  93 }
  94
  95 ; Check the highest useful NIHF value (0xfffefffe_ffffffff).
  96 define i64 @f11(i64 %a) {
  97 ; CHECK-LABEL: f11:
  98 ; CHECK: nihf %r2, 4294901758
  99 ; CHECK: br %r14
 100   %and = and i64 %a, -281479271677953
 101   ret i64 %and
 102 }
 103
 104 ; Check the lowest NIHL value outside the RISBG range (0xffff0002_ffffffff).
 105 define i64 @f12(i64 %a) {
 106 ; CHECK-LABEL: f12:
 107 ; CHECK: nihl %r2, 2
 108 ; CHECK: br %r14
 109   %and = and i64 %a, -281462091808769
 110   ret i64 %and
 111 }
 112
 113 ; Check the highest NIHL value outside the RISBG range (0xfffffffa_ffffffff).
 114 define i64 @f13(i64 %a) {
 115 ; CHECK-LABEL: f13:
 116 ; CHECK: nihl %r2, 65530
 117 ; CHECK: br %r14
 118   %and = and i64 %a, -21474836481
 119   ret i64 %and
 120 }
 121
 122 ; Check the lowest NILF value outside the RISBG range (0xffffffff_00000002).
 123 define i64 @f14(i64 %a) {
 124 ; CHECK-LABEL: f14:
 125 ; CHECK: nilf %r2, 2
 126 ; CHECK: br %r14
 127   %and = and i64 %a, -4294967294
 128   ret i64 %and
 129 }
 130
 131 ; Check the lowest NILH value outside the RISBG range (0xffffffff_0002ffff).
 132 define i64 @f15(i64 %a) {
 133 ; CHECK-LABEL: f15:
 134 ; CHECK: nilh %r2, 2
 135 ; CHECK: br %r14
 136   %and = and i64 %a, -4294770689
 137   ret i64 %and
 138 }
 139
 140 ; Check the next value up, which must use NILF.
 141 define i64 @f16(i64 %a) {
 142 ; CHECK-LABEL: f16:
 143 ; CHECK: nilf %r2, 196608
 144 ; CHECK: br %r14
 145   %and = and i64 %a, -4294770688
 146   ret i64 %and
 147 }
 148
 149 ; Check the highest NILH value outside the RISBG range (0xffffffff_fffaffff).
 150 define i64 @f17(i64 %a) {
 151 ; CHECK-LABEL: f17:
 152 ; CHECK: nilh %r2, 65530
 153 ; CHECK: br %r14
 154   %and = and i64 %a, -327681
 155   ret i64 %and
 156 }
 157
 158 ; Check the maximum useful NILF value (0xffffffff_fffefffe).
 159 define i64 @f18(i64 %a) {
 160 ; CHECK-LABEL: f18:
 161 ; CHECK: nilf %r2, 4294901758
 162 ; CHECK: br %r14
 163   %and = and i64 %a, -65538
 164   ret i64 %and
 165 }
 166
 167 ; Check the lowest NILL value outside the RISBG range (0xffffffff_ffff0002).
 168 define i64 @f19(i64 %a) {
 169 ; CHECK-LABEL: f19:
 170 ; CHECK: nill %r2, 2
 171 ; CHECK: br %r14
 172   %and = and i64 %a, -65534
 173   ret i64 %and
 174 }
 175
 176 ; Check the highest NILL value outside the RISBG range.
 177 define i64 @f20(i64 %a) {
 178 ; CHECK-LABEL: f20:
 179 ; CHECK: nill %r2, 65530
 180 ; CHECK: br %r14
 181   %and = and i64 %a, -6
 182   ret i64 %and
 183 }