1 ; Test 8-bit unsigned comparisons between memory and constants. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5 ; Check ordered comparisons near the low end of the unsigned 8-bit range. 6 define double @f1(double %a, double %b, i8 *%ptr) { 7 ; CHECK-LABEL: f1: 8 ; CHECK: cli 0(%r2), 1 9 ; CHECK-NEXT: jh 10 ; CHECK: br %r14 11 %val = load i8 *%ptr 12 %cond = icmp ugt i8 %val, 1 13 %res = select i1 %cond, double %a, double %b 14 ret double %res 15 } 16 17 ; Check ordered comparisons near the high end of the unsigned 8-bit range. 18 define double @f2(double %a, double %b, i8 *%ptr) { 19 ; CHECK-LABEL: f2: 20 ; CHECK: cli 0(%r2), 254 21 ; CHECK-NEXT: jl 22 ; CHECK: br %r14 23 %val = load i8 *%ptr 24 %cond = icmp ult i8 %val, 254 25 %res = select i1 %cond, double %a, double %b 26 ret double %res 27 } 28 29 ; Check tests for negative bytes. 30 define double @f3(double %a, double %b, i8 *%ptr) { 31 ; CHECK-LABEL: f3: 32 ; CHECK: cli 0(%r2), 127 33 ; CHECK-NEXT: jh 34 ; CHECK: br %r14 35 %val = load i8 *%ptr 36 %cond = icmp slt i8 %val, 0 37 %res = select i1 %cond, double %a, double %b 38 ret double %res 39 } 40 41 ; ...and an alternative form. 42 define double @f4(double %a, double %b, i8 *%ptr) { 43 ; CHECK-LABEL: f4: 44 ; CHECK: cli 0(%r2), 127 45 ; CHECK-NEXT: jh 46 ; CHECK: br %r14 47 %val = load i8 *%ptr 48 %cond = icmp sle i8 %val, -1 49 %res = select i1 %cond, double %a, double %b 50 ret double %res 51 } 52 53 ; Check tests for non-negative bytes. 54 define double @f5(double %a, double %b, i8 *%ptr) { 55 ; CHECK-LABEL: f5: 56 ; CHECK: cli 0(%r2), 128 57 ; CHECK-NEXT: jl 58 ; CHECK: br %r14 59 %val = load i8 *%ptr 60 %cond = icmp sge i8 %val, 0 61 %res = select i1 %cond, double %a, double %b 62 ret double %res 63 } 64 65 ; ...and an alternative form. 66 define double @f6(double %a, double %b, i8 *%ptr) { 67 ; CHECK-LABEL: f6: 68 ; CHECK: cli 0(%r2), 128 69 ; CHECK-NEXT: jl 70 ; CHECK: br %r14 71 %val = load i8 *%ptr 72 %cond = icmp sgt i8 %val, -1 73 %res = select i1 %cond, double %a, double %b 74 ret double %res 75 } 76 77 ; Check equality comparisons at the low end of the signed 8-bit range. 78 define double @f7(double %a, double %b, i8 *%ptr) { 79 ; CHECK-LABEL: f7: 80 ; CHECK: cli 0(%r2), 128 81 ; CHECK-NEXT: je 82 ; CHECK: br %r14 83 %val = load i8 *%ptr 84 %cond = icmp eq i8 %val, -128 85 %res = select i1 %cond, double %a, double %b 86 ret double %res 87 } 88 89 ; Check equality comparisons at the low end of the unsigned 8-bit range. 90 define double @f8(double %a, double %b, i8 *%ptr) { 91 ; CHECK-LABEL: f8: 92 ; CHECK: cli 0(%r2), 0 93 ; CHECK-NEXT: je 94 ; CHECK: br %r14 95 %val = load i8 *%ptr 96 %cond = icmp eq i8 %val, 0 97 %res = select i1 %cond, double %a, double %b 98 ret double %res 99 } 100 101 ; Check equality comparisons at the high end of the signed 8-bit range. 102 define double @f9(double %a, double %b, i8 *%ptr) { 103 ; CHECK-LABEL: f9: 104 ; CHECK: cli 0(%r2), 127 105 ; CHECK-NEXT: je 106 ; CHECK: br %r14 107 %val = load i8 *%ptr 108 %cond = icmp eq i8 %val, 127 109 %res = select i1 %cond, double %a, double %b 110 ret double %res 111 } 112 113 ; Check equality comparisons at the high end of the unsigned 8-bit range. 114 define double @f10(double %a, double %b, i8 *%ptr) { 115 ; CHECK-LABEL: f10: 116 ; CHECK: cli 0(%r2), 255 117 ; CHECK-NEXT: je 118 ; CHECK: br %r14 119 %val = load i8 *%ptr 120 %cond = icmp eq i8 %val, 255 121 %res = select i1 %cond, double %a, double %b 122 ret double %res 123 } 124 125 ; Check the high end of the CLI range. 126 define double @f11(double %a, double %b, i8 *%src) { 127 ; CHECK-LABEL: f11: 128 ; CHECK: cli 4095(%r2), 127 129 ; CHECK: br %r14 130 %ptr = getelementptr i8 *%src, i64 4095 131 %val = load i8 *%ptr 132 %cond = icmp ult i8 %val, 127 133 %res = select i1 %cond, double %a, double %b 134 ret double %res 135 } 136 137 ; Check the next byte up, which should use CLIY instead of CLI. 138 define double @f12(double %a, double %b, i8 *%src) { 139 ; CHECK-LABEL: f12: 140 ; CHECK: cliy 4096(%r2), 127 141 ; CHECK: br %r14 142 %ptr = getelementptr i8 *%src, i64 4096 143 %val = load i8 *%ptr 144 %cond = icmp ult i8 %val, 127 145 %res = select i1 %cond, double %a, double %b 146 ret double %res 147 } 148 149 ; Check the high end of the CLIY range. 150 define double @f13(double %a, double %b, i8 *%src) { 151 ; CHECK-LABEL: f13: 152 ; CHECK: cliy 524287(%r2), 127 153 ; CHECK: br %r14 154 %ptr = getelementptr i8 *%src, i64 524287 155 %val = load i8 *%ptr 156 %cond = icmp ult i8 %val, 127 157 %res = select i1 %cond, double %a, double %b 158 ret double %res 159 } 160 161 ; Check the next byte up, which needs separate address logic. 162 ; Other sequences besides this one would be OK. 163 define double @f14(double %a, double %b, i8 *%src) { 164 ; CHECK-LABEL: f14: 165 ; CHECK: agfi %r2, 524288 166 ; CHECK: cli 0(%r2), 127 167 ; CHECK: br %r14 168 %ptr = getelementptr i8 *%src, i64 524288 169 %val = load i8 *%ptr 170 %cond = icmp ult i8 %val, 127 171 %res = select i1 %cond, double %a, double %b 172 ret double %res 173 } 174 175 ; Check the high end of the negative CLIY range. 176 define double @f15(double %a, double %b, i8 *%src) { 177 ; CHECK-LABEL: f15: 178 ; CHECK: cliy -1(%r2), 127 179 ; CHECK: br %r14 180 %ptr = getelementptr i8 *%src, i64 -1 181 %val = load i8 *%ptr 182 %cond = icmp ult i8 %val, 127 183 %res = select i1 %cond, double %a, double %b 184 ret double %res 185 } 186 187 ; Check the low end of the CLIY range. 188 define double @f16(double %a, double %b, i8 *%src) { 189 ; CHECK-LABEL: f16: 190 ; CHECK: cliy -524288(%r2), 127 191 ; CHECK: br %r14 192 %ptr = getelementptr i8 *%src, i64 -524288 193 %val = load i8 *%ptr 194 %cond = icmp ult i8 %val, 127 195 %res = select i1 %cond, double %a, double %b 196 ret double %res 197 } 198 199 ; Check the next byte down, which needs separate address logic. 200 ; Other sequences besides this one would be OK. 201 define double @f17(double %a, double %b, i8 *%src) { 202 ; CHECK-LABEL: f17: 203 ; CHECK: agfi %r2, -524289 204 ; CHECK: cli 0(%r2), 127 205 ; CHECK: br %r14 206 %ptr = getelementptr i8 *%src, i64 -524289 207 %val = load i8 *%ptr 208 %cond = icmp ult i8 %val, 127 209 %res = select i1 %cond, double %a, double %b 210 ret double %res 211 } 212 213 ; Check that CLI does not allow an index 214 define double @f18(double %a, double %b, i64 %base, i64 %index) { 215 ; CHECK-LABEL: f18: 216 ; CHECK: agr %r2, %r3 217 ; CHECK: cli 4095(%r2), 127 218 ; CHECK: br %r14 219 %add1 = add i64 %base, %index 220 %add2 = add i64 %add1, 4095 221 %ptr = inttoptr i64 %add2 to i8 * 222 %val = load i8 *%ptr 223 %cond = icmp ult i8 %val, 127 224 %res = select i1 %cond, double %a, double %b 225 ret double %res 226 } 227 228 ; Check that CLIY does not allow an index 229 define double @f19(double %a, double %b, i64 %base, i64 %index) { 230 ; CHECK-LABEL: f19: 231 ; CHECK: agr %r2, %r3 232 ; CHECK: cliy 4096(%r2), 127 233 ; CHECK: br %r14 234 %add1 = add i64 %base, %index 235 %add2 = add i64 %add1, 4096 236 %ptr = inttoptr i64 %add2 to i8 * 237 %val = load i8 *%ptr 238 %cond = icmp ult i8 %val, 127 239 %res = select i1 %cond, double %a, double %b 240 ret double %res 241 } 242
