test/CodeGen/ARM/load.ll

   1 ; RUN: llc -mtriple=thumbv6m-eabi %s -o - | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-T1
   2 ; RUN: llc -mtriple=thumbv7m-eabi %s -o - | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-T2
   3
   4
   5 ; Register offset
   6
   7 ; CHECK-LABEL: ldrsb_rr
   8 ; CHECK:    ldrsb   r0, [r0, r1]
   9 define i32 @ldrsb_rr(i8* %p, i32 %n) {
  10 entry:
  11   %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
  12   %0 = load i8, i8* %arrayidx, align 1
  13   %conv = sext i8 %0 to i32
  14   ret i32 %conv
  15 }
  16
  17 ; CHECK-LABEL: ldrsh_rr
  18 ; CHECK-T1: lsls    r1, r1, #1
  19 ; CHECK-T1: ldrsh   r0, [r0, r1]
  20 ; CHECK-T2: ldrsh.w r0, [r0, r1, lsl #1]
  21 define i32 @ldrsh_rr(i16* %p, i32 %n) {
  22 entry:
  23   %arrayidx = getelementptr inbounds i16, i16* %p, i32 %n
  24   %0 = load i16, i16* %arrayidx, align 2
  25   %conv = sext i16 %0 to i32
  26   ret i32 %conv
  27 }
  28
  29 ; CHECK-LABEL: ldrb_rr
  30 ; CHECK:    ldrb r0, [r0, r1]
  31 define i32 @ldrb_rr(i8* %p, i32 %n) {
  32 entry:
  33   %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
  34   %0 = load i8, i8* %arrayidx, align 1
  35   %conv = zext i8 %0 to i32
  36   ret i32 %conv
  37 }
  38
  39 ; CHECK-LABEL: ldrh_rr
  40 ; CHECK-T1: lsls    r1, r1, #1
  41 ; CHECK-T1: ldrh    r0, [r0, r1]
  42 ; CHECK-T2: ldrh.w  r0, [r0, r1, lsl #1]
  43 define i32 @ldrh_rr(i16* %p, i32 %n) {
  44 entry:
  45   %arrayidx = getelementptr inbounds i16, i16* %p, i32 %n
  46   %0 = load i16, i16* %arrayidx, align 2
  47   %conv = zext i16 %0 to i32
  48   ret i32 %conv
  49 }
  50
  51 ; CHECK-LABEL: ldr_rr
  52 ; CHECK-T1: lsls    r1, r1, #2
  53 ; CHECK-T1: ldr     r0, [r0, r1]
  54 ; CHECK-T2: ldr.w   r0, [r0, r1, lsl #2]
  55 define i32 @ldr_rr(i32* %p, i32 %n) {
  56 entry:
  57   %arrayidx = getelementptr inbounds i32, i32* %p, i32 %n
  58   %0 = load i32, i32* %arrayidx, align 4
  59   ret i32 %0
  60 }
  61
  62 ; CHECK-LABEL: strb_rr
  63 ; CHECK:    strb    r2, [r0, r1]
  64 define void @strb_rr(i8* %p, i32 %n, i32 %x) {
  65 entry:
  66   %conv = trunc i32 %x to i8
  67   %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
  68   store i8 %conv, i8* %arrayidx, align 1
  69   ret void
  70 }
  71
  72 ; CHECK-LABEL: strh_rr
  73 ; CHECK-T1: lsls    r1, r1, #1
  74 ; CHECK-T1: strh    r2, [r0, r1]
  75 ; CHECK-T2: strh.w  r2, [r0, r1, lsl #1]
  76 define void @strh_rr(i16* %p, i32 %n, i32 %x) {
  77 entry:
  78   %conv = trunc i32 %x to i16
  79   %arrayidx = getelementptr inbounds i16, i16* %p, i32 %n
  80   store i16 %conv, i16* %arrayidx, align 2
  81   ret void
  82 }
  83
  84 ; CHECK-LABEL: str_rr
  85 ; CHECK-T1: lsls    r1, r1, #2
  86 ; CHECK-T1: str     r2, [r0, r1]
  87 ; CHECK-T2: str.w   r2, [r0, r1, lsl #2]
  88 define void @str_rr(i32* %p, i32 %n, i32 %x) {
  89 entry:
  90   %arrayidx = getelementptr inbounds i32, i32* %p, i32 %n
  91   store i32 %x, i32* %arrayidx, align 4
  92   ret void
  93 }
  94
  95
  96 ; Immediate offset of zero
  97
  98 ; CHECK-LABEL: ldrsb_ri_zero
  99 ; CHECK-T1: ldrb    r0, [r0]
 100 ; CHECK-T1: sxtb    r0, r0
 101 ; CHECK-T2: ldrsb.w r0, [r0]
 102 define i32 @ldrsb_ri_zero(i8* %p) {
 103 entry:
 104   %0 = load i8, i8* %p, align 1
 105   %conv = sext i8 %0 to i32
 106   ret i32 %conv
 107 }
 108
 109 ; CHECK-LABEL: ldrsh_ri_zero
 110 ; CHECK-T1: ldrh    r0, [r0]
 111 ; CHECK-T1: sxth    r0, r0
 112 ; CHECK-T2: ldrsh.w r0, [r0]
 113 define i32 @ldrsh_ri_zero(i16* %p) {
 114 entry:
 115   %0 = load i16, i16* %p, align 2
 116   %conv = sext i16 %0 to i32
 117   ret i32 %conv
 118 }
 119
 120 ; CHECK-LABEL: ldrb_ri_zero
 121 ; CHECK:    ldrb    r0, [r0]
 122 define i32 @ldrb_ri_zero(i8* %p) {
 123 entry:
 124   %0 = load i8, i8* %p, align 1
 125   %conv = zext i8 %0 to i32
 126   ret i32 %conv
 127 }
 128
 129 ; CHECK-LABEL: ldrh_ri_zero
 130 ; CHECK:    ldrh    r0, [r0]
 131 define i32 @ldrh_ri_zero(i16* %p) {
 132 entry:
 133   %0 = load i16, i16* %p, align 2
 134   %conv = zext i16 %0 to i32
 135   ret i32 %conv
 136 }
 137
 138 ; CHECK-LABEL: ldr_ri_zero
 139 ; CHECK:    ldr     r0, [r0]
 140 define i32 @ldr_ri_zero(i32* %p) {
 141 entry:
 142   %0 = load i32, i32* %p, align 4
 143   ret i32 %0
 144 }
 145
 146 ; CHECK-LABEL: strb_ri_zero
 147 ; CHECK:    strb    r1, [r0]
 148 define void @strb_ri_zero(i8* %p, i32 %x) {
 149 entry:
 150   %conv = trunc i32 %x to i8
 151   store i8 %conv, i8* %p, align 1
 152   ret void
 153 }
 154
 155 ; CHECK-LABEL: strh_ri_zero
 156 ; CHECK:    strh    r1, [r0]
 157 define void @strh_ri_zero(i16* %p, i32 %x) {
 158 entry:
 159   %conv = trunc i32 %x to i16
 160   store i16 %conv, i16* %p, align 2
 161   ret void
 162 }
 163
 164 ; CHECK-LABEL: str_ri_zero
 165 ; CHECK:    str     r1, [r0]
 166 define void @str_ri_zero(i32* %p, i32 %x) {
 167 entry:
 168   store i32 %x, i32* %p, align 4
 169   ret void
 170 }
 171
 172
 173 ; Maximum Thumb-1 immediate offset
 174
 175 ; CHECK-LABEL: ldrsb_ri_t1_max
 176 ; CHECK-T1: movs    r1, #31
 177 ; CHECK-T1: ldrsb   r0, [r0, r1]
 178 ; CHECK-T2: ldrsb.w r0, [r0, #31]
 179 define i32 @ldrsb_ri_t1_max(i8* %p) {
 180 entry:
 181   %arrayidx = getelementptr inbounds i8, i8* %p, i32 31
 182   %0 = load i8, i8* %arrayidx, align 1
 183   %conv = sext i8 %0 to i32
 184   ret i32 %conv
 185 }
 186
 187 ; CHECK-LABEL: ldrsh_ri_t1_max
 188 ; CHECK-T1: movs    r1, #62
 189 ; CHECK-T1: ldrsh   r0, [r0, r1]
 190 ; CHECK-T2: ldrsh.w r0, [r0, #62]
 191 define i32 @ldrsh_ri_t1_max(i16* %p) {
 192 entry:
 193   %arrayidx = getelementptr inbounds i16, i16* %p, i32 31
 194   %0 = load i16, i16* %arrayidx, align 2
 195   %conv = sext i16 %0 to i32
 196   ret i32 %conv
 197 }
 198
 199 ; CHECK-LABEL: ldrb_ri_t1_max
 200 ; CHECK:    ldrb    r0, [r0, #31]
 201 define i32 @ldrb_ri_t1_max(i8* %p) {
 202 entry:
 203   %arrayidx = getelementptr inbounds i8, i8* %p, i32 31
 204   %0 = load i8, i8* %arrayidx, align 1
 205   %conv = zext i8 %0 to i32
 206   ret i32 %conv
 207 }
 208
 209 ; CHECK-LABEL: ldrh_ri_t1_max
 210 ; CHECK:    ldrh    r0, [r0, #62]
 211 define i32 @ldrh_ri_t1_max(i16* %p) {
 212 entry:
 213   %arrayidx = getelementptr inbounds i16, i16* %p, i32 31
 214   %0 = load i16, i16* %arrayidx, align 2
 215   %conv = zext i16 %0 to i32
 216   ret i32 %conv
 217 }
 218
 219 ; CHECK-LABEL: ldr_ri_t1_max
 220 ; CHECK:    ldr     r0, [r0, #124]
 221 define i32 @ldr_ri_t1_max(i32* %p) {
 222 entry:
 223   %arrayidx = getelementptr inbounds i32, i32* %p, i32 31
 224   %0 = load i32, i32* %arrayidx, align 4
 225   ret i32 %0
 226 }
 227
 228 ; CHECK-LABEL: strb_ri_t1_max
 229 ; CHECK:    strb    r1, [r0, #31]
 230 define void @strb_ri_t1_max(i8* %p, i32 %x) {
 231 entry:
 232   %conv = trunc i32 %x to i8
 233   %arrayidx = getelementptr inbounds i8, i8* %p, i32 31
 234   store i8 %conv, i8* %arrayidx, align 1
 235   ret void
 236 }
 237
 238 ; CHECK-LABEL: strh_ri_t1_max
 239 ; CHECK:    strh    r1, [r0, #62]
 240 define void @strh_ri_t1_max(i16* %p, i32 %x) {
 241 entry:
 242   %conv = trunc i32 %x to i16
 243   %arrayidx = getelementptr inbounds i16, i16* %p, i32 31
 244   store i16 %conv, i16* %arrayidx, align 2
 245   ret void
 246 }
 247
 248 ; CHECK-LABEL: str_ri_t1_max
 249 ; CHECK:    str     r1, [r0, #124]
 250 define void @str_ri_t1_max(i32* %p, i32 %x) {
 251 entry:
 252   %arrayidx = getelementptr inbounds i32, i32* %p, i32 31
 253   store i32 %x, i32* %arrayidx, align 4
 254   ret void
 255 }
 256
 257
 258 ; One past maximum Thumb-1 immediate offset
 259
 260 ; CHECK-LABEL: ldrsb_ri_t1_too_big
 261 ; CHECK-T1: movs    r1, #32
 262 ; CHECK-T1: ldrsb   r0, [r0, r1]
 263 ; CHECK-T2: ldrsb.w r0, [r0, #32]
 264 define i32 @ldrsb_ri_t1_too_big(i8* %p) {
 265 entry:
 266   %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
 267   %0 = load i8, i8* %arrayidx, align 1
 268   %conv = sext i8 %0 to i32
 269   ret i32 %conv
 270 }
 271
 272 ; CHECK-LABEL: ldrsh_ri_t1_too_big
 273 ; CHECK-T1: movs    r1, #64
 274 ; CHECK-T1: ldrsh   r0, [r0, r1]
 275 ; CHECK-T2: ldrsh.w r0, [r0, #64]
 276 define i32 @ldrsh_ri_t1_too_big(i16* %p) {
 277 entry:
 278   %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
 279   %0 = load i16, i16* %arrayidx, align 2
 280   %conv = sext i16 %0 to i32
 281   ret i32 %conv
 282 }
 283
 284 ; CHECK-LABEL: ldrb_ri_t1_too_big
 285 ; CHECK-T1: movs    r1, #32
 286 ; CHECK-T1: ldrb    r0, [r0, r1]
 287 ; CHECK-T2: ldrb.w  r0, [r0, #32]
 288 define i32 @ldrb_ri_t1_too_big(i8* %p) {
 289 entry:
 290   %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
 291   %0 = load i8, i8* %arrayidx, align 1
 292   %conv = zext i8 %0 to i32
 293   ret i32 %conv
 294 }
 295
 296 ; CHECK-LABEL: ldrh_ri_t1_too_big
 297 ; CHECK-T1: movs    r1, #64
 298 ; CHECK-T1: ldrh    r0, [r0, r1]
 299 ; CHECK-T2: ldrh.w  r0, [r0, #64]
 300 define i32 @ldrh_ri_t1_too_big(i16* %p) {
 301 entry:
 302   %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
 303   %0 = load i16, i16* %arrayidx, align 2
 304   %conv = zext i16 %0 to i32
 305   ret i32 %conv
 306 }
 307
 308 ; CHECK-LABEL: ldr_ri_t1_too_big
 309 ; CHECK-T1: movs    r1, #128
 310 ; CHECK-T1: ldr     r0, [r0, r1]
 311 ; CHECK-T2: ldr.w   r0, [r0, #128]
 312 define i32 @ldr_ri_t1_too_big(i32* %p) {
 313 entry:
 314   %arrayidx = getelementptr inbounds i32, i32* %p, i32 32
 315   %0 = load i32, i32* %arrayidx, align 4
 316   ret i32 %0
 317 }
 318
 319 ; CHECK-LABEL: strb_ri_t1_too_big
 320 ; CHECK-T1: movs    r2, #32
 321 ; CHECK-T1: strb    r1, [r0, r2]
 322 ; CHECK-T2: strb.w  r1, [r0, #32]
 323 define void @strb_ri_t1_too_big(i8* %p, i32 %x) {
 324 entry:
 325   %conv = trunc i32 %x to i8
 326   %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
 327   store i8 %conv, i8* %arrayidx, align 1
 328   ret void
 329 }
 330
 331 ; CHECK-LABEL: strh_ri_t1_too_big
 332 ; CHECK-T1: movs    r2, #64
 333 ; CHECK-T1: strh    r1, [r0, r2]
 334 ; CHECK-T2: strh.w  r1, [r0, #64]
 335 define void @strh_ri_t1_too_big(i16* %p, i32 %x) {
 336 entry:
 337   %conv = trunc i32 %x to i16
 338   %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
 339   store i16 %conv, i16* %arrayidx, align 2
 340   ret void
 341 }
 342
 343 ; CHECK-LABEL: str_ri_t1_too_big
 344 ; CHECK-T1: movs    r2, #128
 345 ; CHECK-T1: str     r1, [r0, r2]
 346 ; CHECK-T2: str.w   r1, [r0, #128]
 347 define void @str_ri_t1_too_big(i32* %p, i32 %x) {
 348 entry:
 349   %arrayidx = getelementptr inbounds i32, i32* %p, i32 32
 350   store i32 %x, i32* %arrayidx, align 4
 351   ret void
 352 }
 353
 354
 355 ; Maximum Thumb-2 immediate offset
 356
 357 ; CHECK-LABEL: ldrsb_ri_t2_max
 358 ; CHECK-T1: ldr     r1, .LCP
 359 ; CHECK-T1: ldrsb   r0, [r0, r1]
 360 ; CHECK-T2: ldrsb.w r0, [r0, #4095]
 361 define i32 @ldrsb_ri_t2_max(i8* %p) {
 362 entry:
 363   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 364   %0 = load i8, i8* %add.ptr, align 1
 365   %conv = sext i8 %0 to i32
 366   ret i32 %conv
 367 }
 368
 369 ; CHECK-LABEL: ldrsh_ri_t2_max
 370 ; CHECK-T1: ldr     r1, .LCP
 371 ; CHECK-T1: ldrsh   r0, [r0, r1]
 372 ; CHECK-T2: ldrsh.w r0, [r0, #4095]
 373 define i32 @ldrsh_ri_t2_max(i8* %p) {
 374 entry:
 375   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 376   %0 = bitcast i8* %add.ptr to i16*
 377   %1 = load i16, i16* %0, align 2
 378   %conv = sext i16 %1 to i32
 379   ret i32 %conv
 380 }
 381
 382 ; CHECK-LABEL: ldrb_ri_t2_max
 383 ; CHECK-T1: ldr     r1, .LCP
 384 ; CHECK-T1: ldrb    r0, [r0, r1]
 385 ; CHECK-T2: ldrb.w  r0, [r0, #4095]
 386 define i32 @ldrb_ri_t2_max(i8* %p) {
 387 entry:
 388   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 389   %0 = load i8, i8* %add.ptr, align 1
 390   %conv = zext i8 %0 to i32
 391   ret i32 %conv
 392 }
 393
 394 ; CHECK-LABEL: ldrh_ri_t2_max
 395 ; CHECK-T1: ldr     r1, .LCP
 396 ; CHECK-T1: ldrh    r0, [r0, r1]
 397 ; CHECK-T2: ldrh.w  r0, [r0, #4095]
 398 define i32 @ldrh_ri_t2_max(i8* %p) {
 399 entry:
 400   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 401   %0 = bitcast i8* %add.ptr to i16*
 402   %1 = load i16, i16* %0, align 2
 403   %conv = zext i16 %1 to i32
 404   ret i32 %conv
 405 }
 406
 407 ; CHECK-LABEL: ldr_ri_t2_max
 408 ; CHECK-T1: ldr     r1, .LCP
 409 ; CHECK-T1: ldr     r0, [r0, r1]
 410 ; CHECK-T2: ldr.w   r0, [r0, #4095]
 411 define i32 @ldr_ri_t2_max(i8* %p) {
 412 entry:
 413   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 414   %0 = bitcast i8* %add.ptr to i32*
 415   %1 = load i32, i32* %0, align 4
 416   ret i32 %1
 417 }
 418
 419 ; CHECK-LABEL: strb_ri_t2_max
 420 ; CHECK-T1: ldr     r2, .LCP
 421 ; CHECK-T1: strb    r1, [r0, r2]
 422 ; CHECK-T2: strb.w  r1, [r0, #4095]
 423 define void @strb_ri_t2_max(i8* %p, i32 %x) {
 424 entry:
 425   %conv = trunc i32 %x to i8
 426   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 427   store i8 %conv, i8* %add.ptr, align 1
 428   ret void
 429 }
 430
 431 ; CHECK-LABEL: strh_ri_t2_max
 432 ; CHECK-T1: ldr     r2, .LCP
 433 ; CHECK-T1: strh    r1, [r0, r2]
 434 ; CHECK-T2: strh.w  r1, [r0, #4095]
 435 define void @strh_ri_t2_max(i8* %p, i32 %x) {
 436 entry:
 437   %conv = trunc i32 %x to i16
 438   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 439   %0 = bitcast i8* %add.ptr to i16*
 440   store i16 %conv, i16* %0, align 2
 441   ret void
 442 }
 443
 444 ; CHECK-LABEL: str_ri_t2_max
 445 ; CHECK-T1: ldr     r2, .LCP
 446 ; CHECK-T1: str     r1, [r0, r2]
 447 ; CHECK-T2: str.w   r1, [r0, #4095]
 448 define void @str_ri_t2_max(i8* %p, i32 %x) {
 449 entry:
 450   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
 451   %0 = bitcast i8* %add.ptr to i32*
 452   store i32 %x, i32* %0, align 4
 453   ret void
 454 }
 455
 456
 457 ; One past maximum Thumb-2 immediate offset
 458
 459 ; CHECK-LABEL: ldrsb_ri_t2_too_big
 460 ; CHECK-T1: movs    r1, #1
 461 ; CHECK-T1: lsls    r1, r1, #12
 462 ; CHECK-T2: mov.w   r1, #4096
 463 ; CHECK:    ldrsb   r0, [r0, r1]
 464 define i32 @ldrsb_ri_t2_too_big(i8* %p) {
 465 entry:
 466   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 467   %0 = load i8, i8* %add.ptr, align 1
 468   %conv = sext i8 %0 to i32
 469   ret i32 %conv
 470 }
 471
 472 ; CHECK-LABEL: ldrsh_ri_t2_too_big
 473 ; CHECK-T1: movs    r1, #1
 474 ; CHECK-T1: lsls    r1, r1, #12
 475 ; CHECK-T2: mov.w   r1, #4096
 476 ; CHECK:    ldrsh   r0, [r0, r1]
 477 define i32 @ldrsh_ri_t2_too_big(i8* %p) {
 478 entry:
 479   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 480   %0 = bitcast i8* %add.ptr to i16*
 481   %1 = load i16, i16* %0, align 2
 482   %conv = sext i16 %1 to i32
 483   ret i32 %conv
 484 }
 485
 486 ; CHECK-LABEL: ldrb_ri_t2_too_big
 487 ; CHECK-T1: movs    r1, #1
 488 ; CHECK-T1: lsls    r1, r1, #12
 489 ; CHECK-T2: mov.w   r1, #4096
 490 ; CHECK:    ldrb    r0, [r0, r1]
 491 define i32 @ldrb_ri_t2_too_big(i8* %p) {
 492 entry:
 493   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 494   %0 = load i8, i8* %add.ptr, align 1
 495   %conv = zext i8 %0 to i32
 496   ret i32 %conv
 497 }
 498
 499 ; CHECK-LABEL: ldrh_ri_t2_too_big
 500 ; CHECK-T1: movs    r1, #1
 501 ; CHECK-T1: lsls    r1, r1, #12
 502 ; CHECK-T2: mov.w   r1, #4096
 503 ; CHECK:    ldrh    r0, [r0, r1]
 504 define i32 @ldrh_ri_t2_too_big(i8* %p) {
 505 entry:
 506   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 507   %0 = bitcast i8* %add.ptr to i16*
 508   %1 = load i16, i16* %0, align 2
 509   %conv = zext i16 %1 to i32
 510   ret i32 %conv
 511 }
 512
 513 ; CHECK-LABEL: ldr_ri_t2_too_big
 514 ; CHECK-T1: movs    r1, #1
 515 ; CHECK-T1: lsls    r1, r1, #12
 516 ; CHECK-T2: mov.w   r1, #4096
 517 ; CHECK:    ldr     r0, [r0, r1]
 518 define i32 @ldr_ri_t2_too_big(i8* %p) {
 519 entry:
 520   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 521   %0 = bitcast i8* %add.ptr to i32*
 522   %1 = load i32, i32* %0, align 4
 523   ret i32 %1
 524 }
 525
 526 ; CHECK-LABEL: strb_ri_t2_too_big
 527 ; CHECK-T1: movs    r2, #1
 528 ; CHECK-T1: lsls    r2, r2, #12
 529 ; CHECK-T2: mov.w   r2, #4096
 530 ; CHECK:    strb    r1, [r0, r2]
 531 define void @strb_ri_t2_too_big(i8* %p, i32 %x) {
 532 entry:
 533   %conv = trunc i32 %x to i8
 534   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 535   store i8 %conv, i8* %add.ptr, align 1
 536   ret void
 537 }
 538
 539 ; CHECK-LABEL: strh_ri_t2_too_big
 540 ; CHECK-T1: movs    r2, #1
 541 ; CHECK-T1: lsls    r2, r2, #12
 542 ; CHECK-T2: mov.w   r2, #4096
 543 ; CHECK:    strh    r1, [r0, r2]
 544 define void @strh_ri_t2_too_big(i8* %p, i32 %x) {
 545 entry:
 546   %conv = trunc i32 %x to i16
 547   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 548   %0 = bitcast i8* %add.ptr to i16*
 549   store i16 %conv, i16* %0, align 2
 550   ret void
 551 }
 552
 553 ; CHECK-LABEL: str_ri_t2_too_big
 554 ; CHECK-T1: movs    r2, #1
 555 ; CHECK-T1: lsls    r2, r2, #12
 556 ; CHECK-T2: mov.w   r2, #4096
 557 ; CHECK:    str     r1, [r0, r2]
 558 define void @str_ri_t2_too_big(i8* %p, i32 %x) {
 559 entry:
 560   %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
 561   %0 = bitcast i8* %add.ptr to i32*
 562   store i32 %x, i32* %0, align 4
 563   ret void
 564 }