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