1 ; RUN: llc < %s -mtriple aarch64--none-eabi -verify-machineinstrs | FileCheck %s 2 3 ; CHECK-LABEL: Str64Ldr64 4 ; CHECK: mov x0, x1 5 define i64 @Str64Ldr64(i64* nocapture %P, i64 %v, i64 %n) { 6 entry: 7 %0 = bitcast i64* %P to i64* 8 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 9 store i64 %v, i64* %arrayidx0 10 %arrayidx1 = getelementptr inbounds i64, i64* %0, i64 1 11 %1 = load i64, i64* %arrayidx1 12 ret i64 %1 13 } 14 15 ; CHECK-LABEL: Str64Ldr32_0 16 ; CHECK: and x0, x1, #0xffffffff 17 define i32 @Str64Ldr32_0(i64* nocapture %P, i64 %v, i64 %n) { 18 entry: 19 %0 = bitcast i64* %P to i32* 20 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 21 store i64 %v, i64* %arrayidx0 22 %arrayidx1 = getelementptr inbounds i32, i32* %0, i64 2 23 %1 = load i32, i32* %arrayidx1 24 ret i32 %1 25 } 26 27 ; CHECK-LABEL: Str64Ldr32_1 28 ; CHECK: lsr x0, x1, #32 29 define i32 @Str64Ldr32_1(i64* nocapture %P, i64 %v, i64 %n) { 30 entry: 31 %0 = bitcast i64* %P to i32* 32 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 33 store i64 %v, i64* %arrayidx0 34 %arrayidx1 = getelementptr inbounds i32, i32* %0, i64 3 35 %1 = load i32, i32* %arrayidx1 36 ret i32 %1 37 } 38 39 ; CHECK-LABEL: Str64Ldr16_0 40 ; CHECK: and x0, x1, #0xffff 41 define i16 @Str64Ldr16_0(i64* nocapture %P, i64 %v, i64 %n) { 42 entry: 43 %0 = bitcast i64* %P to i16* 44 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 45 store i64 %v, i64* %arrayidx0 46 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 4 47 %1 = load i16, i16* %arrayidx1 48 ret i16 %1 49 } 50 51 ; CHECK-LABEL: Str64Ldr16_1 52 ; CHECK: ubfx x0, x1, #16, #16 53 define i16 @Str64Ldr16_1(i64* nocapture %P, i64 %v, i64 %n) { 54 entry: 55 %0 = bitcast i64* %P to i16* 56 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 57 store i64 %v, i64* %arrayidx0 58 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 5 59 %1 = load i16, i16* %arrayidx1 60 ret i16 %1 61 } 62 63 ; CHECK-LABEL: Str64Ldr16_2 64 ; CHECK: ubfx x0, x1, #32, #16 65 define i16 @Str64Ldr16_2(i64* nocapture %P, i64 %v, i64 %n) { 66 entry: 67 %0 = bitcast i64* %P to i16* 68 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 69 store i64 %v, i64* %arrayidx0 70 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 6 71 %1 = load i16, i16* %arrayidx1 72 ret i16 %1 73 } 74 75 ; CHECK-LABEL: Str64Ldr16_3 76 ; CHECK: lsr x0, x1, #48 77 define i16 @Str64Ldr16_3(i64* nocapture %P, i64 %v, i64 %n) { 78 entry: 79 %0 = bitcast i64* %P to i16* 80 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 81 store i64 %v, i64* %arrayidx0 82 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 7 83 %1 = load i16, i16* %arrayidx1 84 ret i16 %1 85 } 86 87 ; CHECK-LABEL: Str64Ldr8_0 88 ; CHECK: and x0, x1, #0xff 89 define i8 @Str64Ldr8_0(i64* nocapture %P, i64 %v, i64 %n) { 90 entry: 91 %0 = bitcast i64* %P to i8* 92 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 93 store i64 %v, i64* %arrayidx0 94 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 8 95 %1 = load i8, i8* %arrayidx1 96 ret i8 %1 97 } 98 99 ; CHECK-LABEL: Str64Ldr8_1 100 ; CHECK: ubfx x0, x1, #8, #8 101 define i8 @Str64Ldr8_1(i64* nocapture %P, i64 %v, i64 %n) { 102 entry: 103 %0 = bitcast i64* %P to i8* 104 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 105 store i64 %v, i64* %arrayidx0 106 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 9 107 %1 = load i8, i8* %arrayidx1 108 ret i8 %1 109 } 110 111 ; CHECK-LABEL: Str64Ldr8_2 112 ; CHECK: ubfx x0, x1, #16, #8 113 define i8 @Str64Ldr8_2(i64* nocapture %P, i64 %v, i64 %n) { 114 entry: 115 %0 = bitcast i64* %P to i8* 116 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 117 store i64 %v, i64* %arrayidx0 118 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 10 119 %1 = load i8, i8* %arrayidx1 120 ret i8 %1 121 } 122 123 ; CHECK-LABEL: Str64Ldr8_3 124 ; CHECK: ubfx x0, x1, #24, #8 125 define i8 @Str64Ldr8_3(i64* nocapture %P, i64 %v, i64 %n) { 126 entry: 127 %0 = bitcast i64* %P to i8* 128 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 129 store i64 %v, i64* %arrayidx0 130 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 11 131 %1 = load i8, i8* %arrayidx1 132 ret i8 %1 133 } 134 135 ; CHECK-LABEL: Str64Ldr8_4 136 ; CHECK: ubfx x0, x1, #32, #8 137 define i8 @Str64Ldr8_4(i64* nocapture %P, i64 %v, i64 %n) { 138 entry: 139 %0 = bitcast i64* %P to i8* 140 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 141 store i64 %v, i64* %arrayidx0 142 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 12 143 %1 = load i8, i8* %arrayidx1 144 ret i8 %1 145 } 146 147 ; CHECK-LABEL: Str64Ldr8_5 148 ; CHECK: ubfx x0, x1, #40, #8 149 define i8 @Str64Ldr8_5(i64* nocapture %P, i64 %v, i64 %n) { 150 entry: 151 %0 = bitcast i64* %P to i8* 152 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 153 store i64 %v, i64* %arrayidx0 154 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 13 155 %1 = load i8, i8* %arrayidx1 156 ret i8 %1 157 } 158 159 ; CHECK-LABEL: Str64Ldr8_6 160 ; CHECK: ubfx x0, x1, #48, #8 161 define i8 @Str64Ldr8_6(i64* nocapture %P, i64 %v, i64 %n) { 162 entry: 163 %0 = bitcast i64* %P to i8* 164 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 165 store i64 %v, i64* %arrayidx0 166 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 14 167 %1 = load i8, i8* %arrayidx1 168 ret i8 %1 169 } 170 171 ; CHECK-LABEL: Str64Ldr8_7 172 ; CHECK: lsr x0, x1, #56 173 define i8 @Str64Ldr8_7(i64* nocapture %P, i64 %v, i64 %n) { 174 entry: 175 %0 = bitcast i64* %P to i8* 176 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 1 177 store i64 %v, i64* %arrayidx0 178 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 15 179 %1 = load i8, i8* %arrayidx1 180 ret i8 %1 181 } 182 183 ; CHECK-LABEL: Str32Ldr32 184 ; CHECK: mov w0, w1 185 define i32 @Str32Ldr32(i32* nocapture %P, i32 %v, i64 %n) { 186 entry: 187 %0 = bitcast i32* %P to i32* 188 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 189 store i32 %v, i32* %arrayidx0 190 %arrayidx1 = getelementptr inbounds i32, i32* %0, i64 1 191 %1 = load i32, i32* %arrayidx1 192 ret i32 %1 193 } 194 195 ; CHECK-LABEL: Str32Ldr16_0 196 ; CHECK: and w0, w1, #0xffff 197 define i16 @Str32Ldr16_0(i32* nocapture %P, i32 %v, i64 %n) { 198 entry: 199 %0 = bitcast i32* %P to i16* 200 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 201 store i32 %v, i32* %arrayidx0 202 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 2 203 %1 = load i16, i16* %arrayidx1 204 ret i16 %1 205 } 206 207 ; CHECK-LABEL: Str32Ldr16_1 208 ; CHECK: lsr w0, w1, #16 209 define i16 @Str32Ldr16_1(i32* nocapture %P, i32 %v, i64 %n) { 210 entry: 211 %0 = bitcast i32* %P to i16* 212 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 213 store i32 %v, i32* %arrayidx0 214 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 3 215 %1 = load i16, i16* %arrayidx1 216 ret i16 %1 217 } 218 219 ; CHECK-LABEL: Str32Ldr8_0 220 ; CHECK: and w0, w1, #0xff 221 define i8 @Str32Ldr8_0(i32* nocapture %P, i32 %v, i64 %n) { 222 entry: 223 %0 = bitcast i32* %P to i8* 224 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 225 store i32 %v, i32* %arrayidx0 226 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 4 227 %1 = load i8, i8* %arrayidx1 228 ret i8 %1 229 } 230 231 ; CHECK-LABEL: Str32Ldr8_1 232 ; CHECK: ubfx w0, w1, #8, #8 233 define i8 @Str32Ldr8_1(i32* nocapture %P, i32 %v, i64 %n) { 234 entry: 235 %0 = bitcast i32* %P to i8* 236 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 237 store i32 %v, i32* %arrayidx0 238 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 5 239 %1 = load i8, i8* %arrayidx1 240 ret i8 %1 241 } 242 243 ; CHECK-LABEL: Str32Ldr8_2 244 ; CHECK: ubfx w0, w1, #16, #8 245 define i8 @Str32Ldr8_2(i32* nocapture %P, i32 %v, i64 %n) { 246 entry: 247 %0 = bitcast i32* %P to i8* 248 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 249 store i32 %v, i32* %arrayidx0 250 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 6 251 %1 = load i8, i8* %arrayidx1 252 ret i8 %1 253 } 254 255 ; CHECK-LABEL: Str32Ldr8_3 256 ; CHECK: lsr w0, w1, #24 257 define i8 @Str32Ldr8_3(i32* nocapture %P, i32 %v, i64 %n) { 258 entry: 259 %0 = bitcast i32* %P to i8* 260 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 261 store i32 %v, i32* %arrayidx0 262 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 7 263 %1 = load i8, i8* %arrayidx1 264 ret i8 %1 265 } 266 267 ; CHECK-LABEL: Str16Ldr16 268 ; CHECK: and w0, w1, #0xffff 269 define i16 @Str16Ldr16(i16* nocapture %P, i16 %v, i64 %n) { 270 entry: 271 %0 = bitcast i16* %P to i16* 272 %arrayidx0 = getelementptr inbounds i16, i16* %P, i64 1 273 store i16 %v, i16* %arrayidx0 274 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 1 275 %1 = load i16, i16* %arrayidx1 276 ret i16 %1 277 } 278 279 ; CHECK-LABEL: Str16Ldr8_0 280 ; CHECK: and w0, w1, #0xff 281 define i8 @Str16Ldr8_0(i16* nocapture %P, i16 %v, i64 %n) { 282 entry: 283 %0 = bitcast i16* %P to i8* 284 %arrayidx0 = getelementptr inbounds i16, i16* %P, i64 1 285 store i16 %v, i16* %arrayidx0 286 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 2 287 %1 = load i8, i8* %arrayidx1 288 ret i8 %1 289 } 290 291 ; CHECK-LABEL: Str16Ldr8_1 292 ; CHECK: ubfx w0, w1, #8, #8 293 define i8 @Str16Ldr8_1(i16* nocapture %P, i16 %v, i64 %n) { 294 entry: 295 %0 = bitcast i16* %P to i8* 296 %arrayidx0 = getelementptr inbounds i16, i16* %P, i64 1 297 store i16 %v, i16* %arrayidx0 298 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 3 299 %1 = load i8, i8* %arrayidx1 300 ret i8 %1 301 } 302 303 304 ; CHECK-LABEL: Unscaled_Str64Ldr64 305 ; CHECK: mov x0, x1 306 define i64 @Unscaled_Str64Ldr64(i64* nocapture %P, i64 %v, i64 %n) { 307 entry: 308 %0 = bitcast i64* %P to i64* 309 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 310 store i64 %v, i64* %arrayidx0 311 %arrayidx1 = getelementptr inbounds i64, i64* %0, i64 -1 312 %1 = load i64, i64* %arrayidx1 313 ret i64 %1 314 } 315 316 ; CHECK-LABEL: Unscaled_Str64Ldr32_0 317 ; CHECK: and x0, x1, #0xffffffff 318 define i32 @Unscaled_Str64Ldr32_0(i64* nocapture %P, i64 %v, i64 %n) { 319 entry: 320 %0 = bitcast i64* %P to i32* 321 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 322 store i64 %v, i64* %arrayidx0 323 %arrayidx1 = getelementptr inbounds i32, i32* %0, i64 -2 324 %1 = load i32, i32* %arrayidx1 325 ret i32 %1 326 } 327 328 ; CHECK-LABEL: Unscaled_Str64Ldr32_1 329 ; CHECK: lsr x0, x1, #32 330 define i32 @Unscaled_Str64Ldr32_1(i64* nocapture %P, i64 %v, i64 %n) { 331 entry: 332 %0 = bitcast i64* %P to i32* 333 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 334 store i64 %v, i64* %arrayidx0 335 %arrayidx1 = getelementptr inbounds i32, i32* %0, i64 -1 336 %1 = load i32, i32* %arrayidx1 337 ret i32 %1 338 } 339 340 ; CHECK-LABEL: Unscaled_Str64Ldr16_0 341 ; CHECK: and x0, x1, #0xffff 342 define i16 @Unscaled_Str64Ldr16_0(i64* nocapture %P, i64 %v, i64 %n) { 343 entry: 344 %0 = bitcast i64* %P to i16* 345 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 346 store i64 %v, i64* %arrayidx0 347 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -4 348 %1 = load i16, i16* %arrayidx1 349 ret i16 %1 350 } 351 352 ; CHECK-LABEL: Unscaled_Str64Ldr16_1 353 ; CHECK: ubfx x0, x1, #16, #16 354 define i16 @Unscaled_Str64Ldr16_1(i64* nocapture %P, i64 %v, i64 %n) { 355 entry: 356 %0 = bitcast i64* %P to i16* 357 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 358 store i64 %v, i64* %arrayidx0 359 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -3 360 %1 = load i16, i16* %arrayidx1 361 ret i16 %1 362 } 363 364 ; CHECK-LABEL: Unscaled_Str64Ldr16_2 365 ; CHECK: ubfx x0, x1, #32, #16 366 define i16 @Unscaled_Str64Ldr16_2(i64* nocapture %P, i64 %v, i64 %n) { 367 entry: 368 %0 = bitcast i64* %P to i16* 369 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 370 store i64 %v, i64* %arrayidx0 371 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -2 372 %1 = load i16, i16* %arrayidx1 373 ret i16 %1 374 } 375 376 ; CHECK-LABEL: Unscaled_Str64Ldr16_3 377 ; CHECK: lsr x0, x1, #48 378 define i16 @Unscaled_Str64Ldr16_3(i64* nocapture %P, i64 %v, i64 %n) { 379 entry: 380 %0 = bitcast i64* %P to i16* 381 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 382 store i64 %v, i64* %arrayidx0 383 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -1 384 %1 = load i16, i16* %arrayidx1 385 ret i16 %1 386 } 387 388 ; CHECK-LABEL: Unscaled_Str64Ldr8_0 389 ; CHECK: and x0, x1, #0xff 390 define i8 @Unscaled_Str64Ldr8_0(i64* nocapture %P, i64 %v, i64 %n) { 391 entry: 392 %0 = bitcast i64* %P to i8* 393 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 394 store i64 %v, i64* %arrayidx0 395 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -8 396 %1 = load i8, i8* %arrayidx1 397 ret i8 %1 398 } 399 400 ; CHECK-LABEL: Unscaled_Str64Ldr8_1 401 ; CHECK: ubfx x0, x1, #8, #8 402 define i8 @Unscaled_Str64Ldr8_1(i64* nocapture %P, i64 %v, i64 %n) { 403 entry: 404 %0 = bitcast i64* %P to i8* 405 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 406 store i64 %v, i64* %arrayidx0 407 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -7 408 %1 = load i8, i8* %arrayidx1 409 ret i8 %1 410 } 411 412 ; CHECK-LABEL: Unscaled_Str64Ldr8_2 413 ; CHECK: ubfx x0, x1, #16, #8 414 define i8 @Unscaled_Str64Ldr8_2(i64* nocapture %P, i64 %v, i64 %n) { 415 entry: 416 %0 = bitcast i64* %P to i8* 417 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 418 store i64 %v, i64* %arrayidx0 419 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -6 420 %1 = load i8, i8* %arrayidx1 421 ret i8 %1 422 } 423 424 ; CHECK-LABEL: Unscaled_Str64Ldr8_3 425 ; CHECK: ubfx x0, x1, #24, #8 426 define i8 @Unscaled_Str64Ldr8_3(i64* nocapture %P, i64 %v, i64 %n) { 427 entry: 428 %0 = bitcast i64* %P to i8* 429 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 430 store i64 %v, i64* %arrayidx0 431 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -5 432 %1 = load i8, i8* %arrayidx1 433 ret i8 %1 434 } 435 436 ; CHECK-LABEL: Unscaled_Str64Ldr8_4 437 ; CHECK: ubfx x0, x1, #32, #8 438 define i8 @Unscaled_Str64Ldr8_4(i64* nocapture %P, i64 %v, i64 %n) { 439 entry: 440 %0 = bitcast i64* %P to i8* 441 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 442 store i64 %v, i64* %arrayidx0 443 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -4 444 %1 = load i8, i8* %arrayidx1 445 ret i8 %1 446 } 447 448 ; CHECK-LABEL: Unscaled_Str64Ldr8_5 449 ; CHECK: ubfx x0, x1, #40, #8 450 define i8 @Unscaled_Str64Ldr8_5(i64* nocapture %P, i64 %v, i64 %n) { 451 entry: 452 %0 = bitcast i64* %P to i8* 453 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 454 store i64 %v, i64* %arrayidx0 455 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -3 456 %1 = load i8, i8* %arrayidx1 457 ret i8 %1 458 } 459 460 ; CHECK-LABEL: Unscaled_Str64Ldr8_6 461 ; CHECK: ubfx x0, x1, #48, #8 462 define i8 @Unscaled_Str64Ldr8_6(i64* nocapture %P, i64 %v, i64 %n) { 463 entry: 464 %0 = bitcast i64* %P to i8* 465 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 466 store i64 %v, i64* %arrayidx0 467 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -2 468 %1 = load i8, i8* %arrayidx1 469 ret i8 %1 470 } 471 472 ; CHECK-LABEL: Unscaled_Str64Ldr8_7 473 ; CHECK: lsr x0, x1, #56 474 define i8 @Unscaled_Str64Ldr8_7(i64* nocapture %P, i64 %v, i64 %n) { 475 entry: 476 %0 = bitcast i64* %P to i8* 477 %arrayidx0 = getelementptr inbounds i64, i64* %P, i64 -1 478 store i64 %v, i64* %arrayidx0 479 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -1 480 %1 = load i8, i8* %arrayidx1 481 ret i8 %1 482 } 483 484 ; CHECK-LABEL: Unscaled_Str32Ldr32 485 ; CHECK: mov w0, w1 486 define i32 @Unscaled_Str32Ldr32(i32* nocapture %P, i32 %v, i64 %n) { 487 entry: 488 %0 = bitcast i32* %P to i32* 489 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 490 store i32 %v, i32* %arrayidx0 491 %arrayidx1 = getelementptr inbounds i32, i32* %0, i64 -1 492 %1 = load i32, i32* %arrayidx1 493 ret i32 %1 494 } 495 496 ; CHECK-LABEL: Unscaled_Str32Ldr16_0 497 ; CHECK: and w0, w1, #0xffff 498 define i16 @Unscaled_Str32Ldr16_0(i32* nocapture %P, i32 %v, i64 %n) { 499 entry: 500 %0 = bitcast i32* %P to i16* 501 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 502 store i32 %v, i32* %arrayidx0 503 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -2 504 %1 = load i16, i16* %arrayidx1 505 ret i16 %1 506 } 507 508 ; CHECK-LABEL: Unscaled_Str32Ldr16_1 509 ; CHECK: lsr w0, w1, #16 510 define i16 @Unscaled_Str32Ldr16_1(i32* nocapture %P, i32 %v, i64 %n) { 511 entry: 512 %0 = bitcast i32* %P to i16* 513 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 514 store i32 %v, i32* %arrayidx0 515 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -1 516 %1 = load i16, i16* %arrayidx1 517 ret i16 %1 518 } 519 520 ; CHECK-LABEL: Unscaled_Str32Ldr8_0 521 ; CHECK: and w0, w1, #0xff 522 define i8 @Unscaled_Str32Ldr8_0(i32* nocapture %P, i32 %v, i64 %n) { 523 entry: 524 %0 = bitcast i32* %P to i8* 525 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 526 store i32 %v, i32* %arrayidx0 527 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -4 528 %1 = load i8, i8* %arrayidx1 529 ret i8 %1 530 } 531 532 ; CHECK-LABEL: Unscaled_Str32Ldr8_1 533 ; CHECK: ubfx w0, w1, #8, #8 534 define i8 @Unscaled_Str32Ldr8_1(i32* nocapture %P, i32 %v, i64 %n) { 535 entry: 536 %0 = bitcast i32* %P to i8* 537 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 538 store i32 %v, i32* %arrayidx0 539 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -3 540 %1 = load i8, i8* %arrayidx1 541 ret i8 %1 542 } 543 544 ; CHECK-LABEL: Unscaled_Str32Ldr8_2 545 ; CHECK: ubfx w0, w1, #16, #8 546 define i8 @Unscaled_Str32Ldr8_2(i32* nocapture %P, i32 %v, i64 %n) { 547 entry: 548 %0 = bitcast i32* %P to i8* 549 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 550 store i32 %v, i32* %arrayidx0 551 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -2 552 %1 = load i8, i8* %arrayidx1 553 ret i8 %1 554 } 555 556 ; CHECK-LABEL: Unscaled_Str32Ldr8_3 557 ; CHECK: lsr w0, w1, #24 558 define i8 @Unscaled_Str32Ldr8_3(i32* nocapture %P, i32 %v, i64 %n) { 559 entry: 560 %0 = bitcast i32* %P to i8* 561 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 562 store i32 %v, i32* %arrayidx0 563 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -1 564 %1 = load i8, i8* %arrayidx1 565 ret i8 %1 566 } 567 568 ; CHECK-LABEL: Unscaled_Str16Ldr16 569 ; CHECK: and w0, w1, #0xffff 570 define i16 @Unscaled_Str16Ldr16(i16* nocapture %P, i16 %v, i64 %n) { 571 entry: 572 %0 = bitcast i16* %P to i16* 573 %arrayidx0 = getelementptr inbounds i16, i16* %P, i64 -1 574 store i16 %v, i16* %arrayidx0 575 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -1 576 %1 = load i16, i16* %arrayidx1 577 ret i16 %1 578 } 579 580 ; CHECK-LABEL: Unscaled_Str16Ldr8_0 581 ; CHECK: and w0, w1, #0xff 582 define i8 @Unscaled_Str16Ldr8_0(i16* nocapture %P, i16 %v, i64 %n) { 583 entry: 584 %0 = bitcast i16* %P to i8* 585 %arrayidx0 = getelementptr inbounds i16, i16* %P, i64 -1 586 store i16 %v, i16* %arrayidx0 587 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -2 588 %1 = load i8, i8* %arrayidx1 589 ret i8 %1 590 } 591 592 ; CHECK-LABEL: Unscaled_Str16Ldr8_1 593 ; CHECK: ubfx w0, w1, #8, #8 594 define i8 @Unscaled_Str16Ldr8_1(i16* nocapture %P, i16 %v, i64 %n) { 595 entry: 596 %0 = bitcast i16* %P to i8* 597 %arrayidx0 = getelementptr inbounds i16, i16* %P, i64 -1 598 store i16 %v, i16* %arrayidx0 599 %arrayidx1 = getelementptr inbounds i8, i8* %0, i64 -1 600 %1 = load i8, i8* %arrayidx1 601 ret i8 %1 602 } 603 604 ; CHECK-LABEL: StrVolatileLdr 605 ; CHECK: ldrh 606 define i16 @StrVolatileLdr(i32* nocapture %P, i32 %v, i64 %n) { 607 entry: 608 %0 = bitcast i32* %P to i16* 609 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 610 store i32 %v, i32* %arrayidx0 611 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 2 612 %1 = load volatile i16, i16* %arrayidx1 613 ret i16 %1 614 } 615 616 ; CHECK-LABEL: StrNotInRangeLdr 617 ; CHECK: ldrh 618 define i16 @StrNotInRangeLdr(i32* nocapture %P, i32 %v, i64 %n) { 619 entry: 620 %0 = bitcast i32* %P to i16* 621 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 622 store i32 %v, i32* %arrayidx0 623 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 1 624 %1 = load i16, i16* %arrayidx1 625 ret i16 %1 626 } 627 628 ; CHECK-LABEL: Unscaled_StrNotInRangeLdr 629 ; CHECK: ldurh 630 define i16 @Unscaled_StrNotInRangeLdr(i32* nocapture %P, i32 %v, i64 %n) { 631 entry: 632 %0 = bitcast i32* %P to i16* 633 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 -1 634 store i32 %v, i32* %arrayidx0 635 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 -3 636 %1 = load i16, i16* %arrayidx1 637 ret i16 %1 638 } 639 640 ; CHECK-LABEL: StrCallLdr 641 ; CHECK: ldrh 642 define i16 @StrCallLdr(i32* nocapture %P, i32 %v, i64 %n) { 643 entry: 644 %0 = bitcast i32* %P to i16* 645 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 646 store i32 %v, i32* %arrayidx0 647 %c = call i1 @test_dummy() 648 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 1 649 %1 = load i16, i16* %arrayidx1 650 ret i16 %1 651 } 652 653 declare i1 @test_dummy() 654 655 ; CHECK-LABEL: StrStrLdr 656 ; CHECK: ldrh 657 define i16 @StrStrLdr(i32 %v, i32* %P, i32* %P2, i32 %n) { 658 entry: 659 %0 = bitcast i32* %P to i16* 660 %arrayidx0 = getelementptr inbounds i32, i32* %P, i64 1 661 store i32 %v, i32* %arrayidx0 662 store i32 %n, i32* %P2 663 %arrayidx1 = getelementptr inbounds i16, i16* %0, i64 2 664 %1 = load i16, i16* %arrayidx1 665 ret i16 %1 666 } 667
