llvm/test/CodeGen/SystemZ/int-cmp-21.ll

   1 ; Test 64-bit ordered comparisons that are really between a memory byte
   2 ; and a constant.
   3 ;
   4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   5
   6 ; Check unsigned comparison near the low end of the CLI range, using zero
   7 ; extension.
   8 define double @f1(double %a, double %b, ptr %ptr) {
   9 ; CHECK-LABEL: f1:
  10 ; CHECK: cli 0(%r2), 1
  11 ; CHECK-NEXT: bhr %r14
  12 ; CHECK: br %r14
  13   %val = load i8, ptr %ptr
  14   %ext = zext i8 %val to i64
  15   %cond = icmp ugt i64 %ext, 1
  16   %res = select i1 %cond, double %a, double %b
  17   ret double %res
  18 }
  19
  20 ; Check unsigned comparison near the low end of the CLI range, using sign
  21 ; extension.
  22 define double @f2(double %a, double %b, ptr %ptr) {
  23 ; CHECK-LABEL: f2:
  24 ; CHECK: cli 0(%r2), 1
  25 ; CHECK-NEXT: bhr %r14
  26 ; CHECK: br %r14
  27   %val = load i8, ptr %ptr
  28   %ext = sext i8 %val to i64
  29   %cond = icmp ugt i64 %ext, 1
  30   %res = select i1 %cond, double %a, double %b
  31   ret double %res
  32 }
  33
  34 ; Check unsigned comparison near the high end of the CLI range, using zero
  35 ; extension.
  36 define double @f3(double %a, double %b, ptr %ptr) {
  37 ; CHECK-LABEL: f3:
  38 ; CHECK: cli 0(%r2), 254
  39 ; CHECK-NEXT: blr %r14
  40 ; CHECK: br %r14
  41   %val = load i8, ptr %ptr
  42   %ext = zext i8 %val to i64
  43   %cond = icmp ult i64 %ext, 254
  44   %res = select i1 %cond, double %a, double %b
  45   ret double %res
  46 }
  47
  48 ; Check unsigned comparison near the high end of the CLI range, using sign
  49 ; extension.
  50 define double @f4(double %a, double %b, ptr %ptr) {
  51 ; CHECK-LABEL: f4:
  52 ; CHECK: cli 0(%r2), 254
  53 ; CHECK-NEXT: blr %r14
  54 ; CHECK: br %r14
  55   %val = load i8, ptr %ptr
  56   %ext = sext i8 %val to i64
  57   %cond = icmp ult i64 %ext, -2
  58   %res = select i1 %cond, double %a, double %b
  59   ret double %res
  60 }
  61
  62 ; Check unsigned comparison above the high end of the CLI range, using zero
  63 ; extension.  The condition is always true.
  64 define double @f5(double %a, double %b, ptr %ptr) {
  65 ; CHECK-LABEL: f5:
  66 ; CHECK-NOT: cli
  67 ; CHECK: br %r14
  68   %val = load i8, ptr %ptr
  69   %ext = zext i8 %val to i64
  70   %cond = icmp ult i64 %ext, 256
  71   %res = select i1 %cond, double %a, double %b
  72   ret double %res
  73 }
  74
  75 ; When using unsigned comparison with sign extension, equality with values
  76 ; in the range [128, MAX-129] is impossible, and ordered comparisons with
  77 ; those values are effectively sign tests.  Since such comparisons are
  78 ; unlikely to occur in practice, we don't bother optimizing the second case,
  79 ; and simply ignore CLI for this range.  First check the low end of the range.
  80 define double @f6(double %a, double %b, ptr %ptr) {
  81 ; CHECK-LABEL: f6:
  82 ; CHECK-NOT: cli
  83 ; CHECK: br %r14
  84   %val = load i8, ptr %ptr
  85   %ext = sext i8 %val to i64
  86   %cond = icmp ult i64 %ext, 128
  87   %res = select i1 %cond, double %a, double %b
  88   ret double %res
  89 }
  90
  91 ; ...and then the high end.
  92 define double @f7(double %a, double %b, ptr %ptr) {
  93 ; CHECK-LABEL: f7:
  94 ; CHECK-NOT: cli
  95 ; CHECK: br %r14
  96   %val = load i8, ptr %ptr
  97   %ext = sext i8 %val to i64
  98   %cond = icmp ult i64 %ext, -129
  99   %res = select i1 %cond, double %a, double %b
 100   ret double %res
 101 }
 102
 103 ; Check signed comparison near the low end of the CLI range, using zero
 104 ; extension.  This is equivalent to unsigned comparison.
 105 define double @f8(double %a, double %b, ptr %ptr) {
 106 ; CHECK-LABEL: f8:
 107 ; CHECK: cli 0(%r2), 1
 108 ; CHECK-NEXT: bhr %r14
 109 ; CHECK: br %r14
 110   %val = load i8, ptr %ptr
 111   %ext = zext i8 %val to i64
 112   %cond = icmp sgt i64 %ext, 1
 113   %res = select i1 %cond, double %a, double %b
 114   ret double %res
 115 }
 116
 117 ; Check signed comparison near the low end of the CLI range, using sign
 118 ; extension.  This cannot use CLI.
 119 define double @f9(double %a, double %b, ptr %ptr) {
 120 ; CHECK-LABEL: f9:
 121 ; CHECK-NOT: cli
 122 ; CHECK: br %r14
 123   %val = load i8, ptr %ptr
 124   %ext = sext i8 %val to i64
 125   %cond = icmp sgt i64 %ext, 1
 126   %res = select i1 %cond, double %a, double %b
 127   ret double %res
 128 }
 129
 130 ; Check signed comparison near the high end of the CLI range, using zero
 131 ; extension.  This is equivalent to unsigned comparison.
 132 define double @f10(double %a, double %b, ptr %ptr) {
 133 ; CHECK-LABEL: f10:
 134 ; CHECK: cli 0(%r2), 254
 135 ; CHECK-NEXT: blr %r14
 136 ; CHECK: br %r14
 137   %val = load i8, ptr %ptr
 138   %ext = zext i8 %val to i64
 139   %cond = icmp slt i64 %ext, 254
 140   %res = select i1 %cond, double %a, double %b
 141   ret double %res
 142 }
 143
 144 ; Check signed comparison near the high end of the CLI range, using sign
 145 ; extension.  This cannot use CLI.
 146 define double @f11(double %a, double %b, ptr %ptr) {
 147 ; CHECK-LABEL: f11:
 148 ; CHECK-NOT: cli
 149 ; CHECK: br %r14
 150   %val = load i8, ptr %ptr
 151   %ext = sext i8 %val to i64
 152   %cond = icmp slt i64 %ext, -2
 153   %res = select i1 %cond, double %a, double %b
 154   ret double %res
 155 }
 156
 157 ; Check signed comparison above the high end of the CLI range, using zero
 158 ; extension.  The condition is always true.
 159 define double @f12(double %a, double %b, ptr %ptr) {
 160 ; CHECK-LABEL: f12:
 161 ; CHECK-NOT: cli
 162 ; CHECK: br %r14
 163   %val = load i8, ptr %ptr
 164   %ext = zext i8 %val to i64
 165   %cond = icmp slt i64 %ext, 256
 166   %res = select i1 %cond, double %a, double %b
 167   ret double %res
 168 }
 169
 170 ; Check tests for nonnegative values.
 171 define double @f13(double %a, double %b, ptr %ptr) {
 172 ; CHECK-LABEL: f13:
 173 ; CHECK: cli 0(%r2), 128
 174 ; CHECK-NEXT: blr %r14
 175 ; CHECK: br %r14
 176   %val = load i8, ptr %ptr
 177   %ext = sext i8 %val to i64
 178   %cond = icmp sge i64 %ext, 0
 179   %res = select i1 %cond, double %a, double %b
 180   ret double %res
 181 }
 182
 183 ; ...and another form
 184 define double @f14(double %a, double %b, ptr %ptr) {
 185 ; CHECK-LABEL: f14:
 186 ; CHECK: cli 0(%r2), 128
 187 ; CHECK-NEXT: blr %r14
 188 ; CHECK: br %r14
 189   %val = load i8, ptr %ptr
 190   %ext = sext i8 %val to i64
 191   %cond = icmp sgt i64 %ext, -1
 192   %res = select i1 %cond, double %a, double %b
 193   ret double %res
 194 }
 195
 196 ; Check tests for negative values.
 197 define double @f15(double %a, double %b, ptr %ptr) {
 198 ; CHECK-LABEL: f15:
 199 ; CHECK: cli 0(%r2), 127
 200 ; CHECK-NEXT: bhr %r14
 201 ; CHECK: br %r14
 202   %val = load i8, ptr %ptr
 203   %ext = sext i8 %val to i64
 204   %cond = icmp slt i64 %ext, 0
 205   %res = select i1 %cond, double %a, double %b
 206   ret double %res
 207 }
 208
 209 ; ...and another form
 210 define double @f16(double %a, double %b, ptr %ptr) {
 211 ; CHECK-LABEL: f16:
 212 ; CHECK: cli 0(%r2), 127
 213 ; CHECK-NEXT: bhr %r14
 214 ; CHECK: br %r14
 215   %val = load i8, ptr %ptr
 216   %ext = sext i8 %val to i64
 217   %cond = icmp sle i64 %ext, -1
 218   %res = select i1 %cond, double %a, double %b
 219   ret double %res
 220 }