llvm/test/CodeGen/ARM/shifter_operand.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc < %s -mtriple=armv7-none-eabi -mcpu=cortex-a8 | FileCheck %s -check-prefix=CHECK-ARM
   3 ; RUN: llc < %s -mtriple=armv7-none-eabi -mcpu=cortex-a9 | FileCheck %s -check-prefix=CHECK-ARM
   4 ; RUN: llc < %s -mtriple=thumbv7m-none-eabi | FileCheck %s -check-prefix=CHECK-THUMB
   5 ; rdar://8576755
   6
   7
   8 define i32 @test1(i32 %X, i32 %Y, i8 %sh) {
   9 ; CHECK-ARM-LABEL: test1:
  10 ; CHECK-ARM:       @ %bb.0:
  11 ; CHECK-ARM-NEXT:    uxtb r2, r2
  12 ; CHECK-ARM-NEXT:    add r0, r0, r1, lsl r2
  13 ; CHECK-ARM-NEXT:    bx lr
  14 ;
  15 ; CHECK-THUMB-LABEL: test1:
  16 ; CHECK-THUMB:       @ %bb.0:
  17 ; CHECK-THUMB-NEXT:    uxtb r2, r2
  18 ; CHECK-THUMB-NEXT:    lsls r1, r2
  19 ; CHECK-THUMB-NEXT:    add r0, r1
  20 ; CHECK-THUMB-NEXT:    bx lr
  21         %shift.upgrd.1 = zext i8 %sh to i32
  22         %A = shl i32 %Y, %shift.upgrd.1
  23         %B = add i32 %X, %A
  24         ret i32 %B
  25 }
  26
  27 define i32 @test2(i32 %X, i32 %Y, i8 %sh) {
  28 ; CHECK-ARM-LABEL: test2:
  29 ; CHECK-ARM:       @ %bb.0:
  30 ; CHECK-ARM-NEXT:    uxtb r2, r2
  31 ; CHECK-ARM-NEXT:    bic r0, r0, r1, asr r2
  32 ; CHECK-ARM-NEXT:    bx lr
  33 ;
  34 ; CHECK-THUMB-LABEL: test2:
  35 ; CHECK-THUMB:       @ %bb.0:
  36 ; CHECK-THUMB-NEXT:    uxtb r2, r2
  37 ; CHECK-THUMB-NEXT:    asrs r1, r2
  38 ; CHECK-THUMB-NEXT:    bics r0, r1
  39 ; CHECK-THUMB-NEXT:    bx lr
  40         %shift.upgrd.2 = zext i8 %sh to i32
  41         %A = ashr i32 %Y, %shift.upgrd.2
  42         %B = xor i32 %A, -1
  43         %C = and i32 %X, %B
  44         ret i32 %C
  45 }
  46
  47 define i32 @test3(i32 %base, i32 %base2, i32 %offset) {
  48 ; CHECK-ARM-LABEL: test3:
  49 ; CHECK-ARM:       @ %bb.0: @ %entry
  50 ; CHECK-ARM-NEXT:    ldr r0, [r0, r2, lsl #2]
  51 ; CHECK-ARM-NEXT:    ldr r1, [r1, r2, lsl #2]
  52 ; CHECK-ARM-NEXT:    add r0, r1, r0
  53 ; CHECK-ARM-NEXT:    bx lr
  54 ;
  55 ; CHECK-THUMB-LABEL: test3:
  56 ; CHECK-THUMB:       @ %bb.0: @ %entry
  57 ; CHECK-THUMB-NEXT:    ldr.w r0, [r0, r2, lsl #2]
  58 ; CHECK-THUMB-NEXT:    ldr.w r1, [r1, r2, lsl #2]
  59 ; CHECK-THUMB-NEXT:    add r0, r1
  60 ; CHECK-THUMB-NEXT:    bx lr
  61 entry:
  62         %tmp1 = shl i32 %offset, 2
  63         %tmp2 = add i32 %base, %tmp1
  64         %tmp3 = inttoptr i32 %tmp2 to ptr
  65         %tmp4 = add i32 %base2, %tmp1
  66         %tmp5 = inttoptr i32 %tmp4 to ptr
  67         %tmp6 = load i32, ptr %tmp3
  68         %tmp7 = load i32, ptr %tmp5
  69         %tmp8 = add i32 %tmp7, %tmp6
  70         ret i32 %tmp8
  71 }
  72
  73 declare ptr @malloc(...)
  74
  75 define fastcc void @test4(i16 %addr) nounwind {
  76 ; CHECK-ARM-LABEL: test4:
  77 ; CHECK-ARM:       @ %bb.0: @ %entry
  78 ; CHECK-ARM-NEXT:    .save {r4, lr}
  79 ; CHECK-ARM-NEXT:    push {r4, lr}
  80 ; CHECK-ARM-NEXT:    mov r4, r0
  81 ; CHECK-ARM-NEXT:    bl malloc
  82 ; CHECK-ARM-NEXT:    sxth r1, r4
  83 ; CHECK-ARM-NEXT:    ldr r2, [r0, r1, lsl #2]
  84 ; CHECK-ARM-NEXT:    add r2, r2, #1
  85 ; CHECK-ARM-NEXT:    str r2, [r0, r1, lsl #2]
  86 ; CHECK-ARM-NEXT:    pop {r4, pc}
  87 ;
  88 ; CHECK-THUMB-LABEL: test4:
  89 ; CHECK-THUMB:       @ %bb.0: @ %entry
  90 ; CHECK-THUMB-NEXT:    .save {r4, lr}
  91 ; CHECK-THUMB-NEXT:    push {r4, lr}
  92 ; CHECK-THUMB-NEXT:    mov r4, r0
  93 ; CHECK-THUMB-NEXT:    bl malloc
  94 ; CHECK-THUMB-NEXT:    sxth r1, r4
  95 ; CHECK-THUMB-NEXT:    ldr.w r2, [r0, r1, lsl #2]
  96 ; CHECK-THUMB-NEXT:    adds r2, #1
  97 ; CHECK-THUMB-NEXT:    str.w r2, [r0, r1, lsl #2]
  98 ; CHECK-THUMB-NEXT:    pop {r4, pc}
  99 entry:
 100   %0 = tail call ptr (...) @malloc(i32 undef) nounwind
 101   %1 = sext i16 %addr to i32
 102   %2 = getelementptr inbounds i32, ptr %0, i32 %1
 103   %3 = load i32, ptr %2, align 4
 104   %4 = add nsw i32 %3, 1
 105   store i32 %4, ptr %2, align 4
 106   ret void
 107 }
 108
 109 define i32 @test_orr_extract_from_mul_1(i32 %x, i32 %y) {
 110 ; CHECK-ARM-LABEL: test_orr_extract_from_mul_1:
 111 ; CHECK-ARM:       @ %bb.0: @ %entry
 112 ; CHECK-ARM-NEXT:    movw r2, #63767
 113 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 114 ; CHECK-ARM-NEXT:    orr r0, r1, r0
 115 ; CHECK-ARM-NEXT:    bx lr
 116 ;
 117 ; CHECK-THUMB-LABEL: test_orr_extract_from_mul_1:
 118 ; CHECK-THUMB:       @ %bb.0: @ %entry
 119 ; CHECK-THUMB-NEXT:    movw r2, #63767
 120 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 121 ; CHECK-THUMB-NEXT:    orrs r0, r1
 122 ; CHECK-THUMB-NEXT:    bx lr
 123 entry:
 124 ; CHECk-THUMB: orrs r0, r1
 125   %mul = mul i32 %y, 63767
 126   %or = or i32 %mul, %x
 127   ret i32 %or
 128 }
 129
 130 define i32 @test_orr_extract_from_mul_2(i32 %x, i32 %y) {
 131 ; CHECK-ARM-LABEL: test_orr_extract_from_mul_2:
 132 ; CHECK-ARM:       @ %bb.0: @ %entry
 133 ; CHECK-ARM-NEXT:    movw r2, #63767
 134 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 135 ; CHECK-ARM-NEXT:    orr r0, r0, r1, lsl #1
 136 ; CHECK-ARM-NEXT:    bx lr
 137 ;
 138 ; CHECK-THUMB-LABEL: test_orr_extract_from_mul_2:
 139 ; CHECK-THUMB:       @ %bb.0: @ %entry
 140 ; CHECK-THUMB-NEXT:    movw r2, #63767
 141 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 142 ; CHECK-THUMB-NEXT:    orr.w r0, r0, r1, lsl #1
 143 ; CHECK-THUMB-NEXT:    bx lr
 144 entry:
 145   %mul1 = mul i32 %y, 127534
 146   %or = or i32 %mul1, %x
 147   ret i32 %or
 148 }
 149
 150 define i32 @test_orr_extract_from_mul_3(i32 %x, i32 %y) {
 151 ; CHECK-ARM-LABEL: test_orr_extract_from_mul_3:
 152 ; CHECK-ARM:       @ %bb.0: @ %entry
 153 ; CHECK-ARM-NEXT:    movw r2, #63767
 154 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 155 ; CHECK-ARM-NEXT:    orr r0, r0, r1, lsl #2
 156 ; CHECK-ARM-NEXT:    bx lr
 157 ;
 158 ; CHECK-THUMB-LABEL: test_orr_extract_from_mul_3:
 159 ; CHECK-THUMB:       @ %bb.0: @ %entry
 160 ; CHECK-THUMB-NEXT:    movw r2, #63767
 161 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 162 ; CHECK-THUMB-NEXT:    orr.w r0, r0, r1, lsl #2
 163 ; CHECK-THUMB-NEXT:    bx lr
 164 entry:
 165   %mul1 = mul i32 %y, 255068
 166   %or = or i32 %mul1, %x
 167   ret i32 %or
 168 }
 169
 170 define i32 @test_orr_extract_from_mul_4(i32 %x, i32 %y) {
 171 ; CHECK-ARM-LABEL: test_orr_extract_from_mul_4:
 172 ; CHECK-ARM:       @ %bb.0: @ %entry
 173 ; CHECK-ARM-NEXT:    movw r2, #63767
 174 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 175 ; CHECK-ARM-NEXT:    orr r0, r0, r1, lsl #3
 176 ; CHECK-ARM-NEXT:    bx lr
 177 ;
 178 ; CHECK-THUMB-LABEL: test_orr_extract_from_mul_4:
 179 ; CHECK-THUMB:       @ %bb.0: @ %entry
 180 ; CHECK-THUMB-NEXT:    movw r2, #63767
 181 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 182 ; CHECK-THUMB-NEXT:    orr.w r0, r0, r1, lsl #3
 183 ; CHECK-THUMB-NEXT:    bx lr
 184 entry:
 185   %mul1 = mul i32 %y, 510136
 186   %or = or i32 %mul1, %x
 187   ret i32 %or
 188 }
 189
 190 define i32 @test_orr_extract_from_mul_5(i32 %x, i32 %y) {
 191 ; CHECK-ARM-LABEL: test_orr_extract_from_mul_5:
 192 ; CHECK-ARM:       @ %bb.0: @ %entry
 193 ; CHECK-ARM-NEXT:    movw r2, #63767
 194 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 195 ; CHECK-ARM-NEXT:    orr r0, r0, r1, lsl #4
 196 ; CHECK-ARM-NEXT:    bx lr
 197 ;
 198 ; CHECK-THUMB-LABEL: test_orr_extract_from_mul_5:
 199 ; CHECK-THUMB:       @ %bb.0: @ %entry
 200 ; CHECK-THUMB-NEXT:    movw r2, #63767
 201 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 202 ; CHECK-THUMB-NEXT:    orr.w r0, r0, r1, lsl #4
 203 ; CHECK-THUMB-NEXT:    bx lr
 204 entry:
 205   %mul1 = mul i32 %y, 1020272
 206   %or = or i32 %mul1, %x
 207   ret i32 %or
 208 }
 209
 210 define i32 @test_orr_extract_from_mul_6(i32 %x, i32 %y) {
 211 ; CHECK-ARM-LABEL: test_orr_extract_from_mul_6:
 212 ; CHECK-ARM:       @ %bb.0: @ %entry
 213 ; CHECK-ARM-NEXT:    movw r2, #63767
 214 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 215 ; CHECK-ARM-NEXT:    orr r0, r0, r1, lsl #16
 216 ; CHECK-ARM-NEXT:    bx lr
 217 ;
 218 ; CHECK-THUMB-LABEL: test_orr_extract_from_mul_6:
 219 ; CHECK-THUMB:       @ %bb.0: @ %entry
 220 ; CHECK-THUMB-NEXT:    movw r2, #63767
 221 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 222 ; CHECK-THUMB-NEXT:    orr.w r0, r0, r1, lsl #16
 223 ; CHECK-THUMB-NEXT:    bx lr
 224 entry:
 225   %mul = mul i32 %y, -115933184
 226   %or = or i32 %mul, %x
 227   ret i32 %or
 228 }
 229
 230 define i32 @test_load_extract_from_mul_1(ptr %x, i32 %y) {
 231 ; CHECK-ARM-LABEL: test_load_extract_from_mul_1:
 232 ; CHECK-ARM:       @ %bb.0: @ %entry
 233 ; CHECK-ARM-NEXT:    movw r2, #63767
 234 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 235 ; CHECK-ARM-NEXT:    ldrb r0, [r0, r1]
 236 ; CHECK-ARM-NEXT:    bx lr
 237 ;
 238 ; CHECK-THUMB-LABEL: test_load_extract_from_mul_1:
 239 ; CHECK-THUMB:       @ %bb.0: @ %entry
 240 ; CHECK-THUMB-NEXT:    movw r2, #63767
 241 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 242 ; CHECK-THUMB-NEXT:    ldrb r0, [r0, r1]
 243 ; CHECK-THUMB-NEXT:    bx lr
 244 entry:
 245   %mul = mul i32 %y, 63767
 246   %arrayidx = getelementptr inbounds i8, ptr %x, i32 %mul
 247   %0 = load i8, ptr %arrayidx, align 1
 248   %conv = zext i8 %0 to i32
 249   ret i32 %conv
 250 }
 251
 252 define i32 @test_load_extract_from_mul_2(ptr %x, i32 %y) {
 253 ; CHECK-ARM-LABEL: test_load_extract_from_mul_2:
 254 ; CHECK-ARM:       @ %bb.0: @ %entry
 255 ; CHECK-ARM-NEXT:    movw r2, #63767
 256 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 257 ; CHECK-ARM-NEXT:    ldrb r0, [r0, r1, lsl #1]
 258 ; CHECK-ARM-NEXT:    bx lr
 259 ;
 260 ; CHECK-THUMB-LABEL: test_load_extract_from_mul_2:
 261 ; CHECK-THUMB:       @ %bb.0: @ %entry
 262 ; CHECK-THUMB-NEXT:    movw r2, #63767
 263 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 264 ; CHECK-THUMB-NEXT:    ldrb.w r0, [r0, r1, lsl #1]
 265 ; CHECK-THUMB-NEXT:    bx lr
 266 entry:
 267   %mul1 = mul i32 %y, 127534
 268   %arrayidx = getelementptr inbounds i8, ptr %x, i32 %mul1
 269   %0 = load i8, ptr %arrayidx, align 1
 270   %conv = zext i8 %0 to i32
 271   ret i32 %conv
 272 }
 273
 274 define i32 @test_load_extract_from_mul_3(ptr %x, i32 %y) {
 275 ; CHECK-ARM-LABEL: test_load_extract_from_mul_3:
 276 ; CHECK-ARM:       @ %bb.0: @ %entry
 277 ; CHECK-ARM-NEXT:    movw r2, #63767
 278 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 279 ; CHECK-ARM-NEXT:    ldrb r0, [r0, r1, lsl #2]
 280 ; CHECK-ARM-NEXT:    bx lr
 281 ;
 282 ; CHECK-THUMB-LABEL: test_load_extract_from_mul_3:
 283 ; CHECK-THUMB:       @ %bb.0: @ %entry
 284 ; CHECK-THUMB-NEXT:    movw r2, #63767
 285 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 286 ; CHECK-THUMB-NEXT:    ldrb.w r0, [r0, r1, lsl #2]
 287 ; CHECK-THUMB-NEXT:    bx lr
 288 entry:
 289   %mul1 = mul i32 %y, 255068
 290   %arrayidx = getelementptr inbounds i8, ptr %x, i32 %mul1
 291   %0 = load i8, ptr %arrayidx, align 1
 292   %conv = zext i8 %0 to i32
 293   ret i32 %conv
 294 }
 295
 296 define i32 @test_load_extract_from_mul_4(ptr %x, i32 %y) {
 297 ; CHECK-ARM-LABEL: test_load_extract_from_mul_4:
 298 ; CHECK-ARM:       @ %bb.0: @ %entry
 299 ; CHECK-ARM-NEXT:    movw r2, #63767
 300 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 301 ; CHECK-ARM-NEXT:    ldrb r0, [r0, r1, lsl #3]
 302 ; CHECK-ARM-NEXT:    bx lr
 303 ;
 304 ; CHECK-THUMB-LABEL: test_load_extract_from_mul_4:
 305 ; CHECK-THUMB:       @ %bb.0: @ %entry
 306 ; CHECK-THUMB-NEXT:    movw r2, #63767
 307 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 308 ; CHECK-THUMB-NEXT:    ldrb.w r0, [r0, r1, lsl #3]
 309 ; CHECK-THUMB-NEXT:    bx lr
 310 entry:
 311   %mul1 = mul i32 %y, 510136
 312   %arrayidx = getelementptr inbounds i8, ptr %x, i32 %mul1
 313   %0 = load i8, ptr %arrayidx, align 1
 314   %conv = zext i8 %0 to i32
 315   ret i32 %conv
 316 }
 317
 318 define i32 @test_load_extract_from_mul_5(ptr %x, i32 %y) {
 319 ; CHECK-ARM-LABEL: test_load_extract_from_mul_5:
 320 ; CHECK-ARM:       @ %bb.0: @ %entry
 321 ; CHECK-ARM-NEXT:    movw r2, #63767
 322 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 323 ; CHECK-ARM-NEXT:    ldrb r0, [r0, r1, lsl #4]
 324 ; CHECK-ARM-NEXT:    bx lr
 325 ;
 326 ; CHECK-THUMB-LABEL: test_load_extract_from_mul_5:
 327 ; CHECK-THUMB:       @ %bb.0: @ %entry
 328 ; CHECK-THUMB-NEXT:    movw r2, #37232
 329 ; CHECK-THUMB-NEXT:    movt r2, #15
 330 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 331 ; CHECK-THUMB-NEXT:    ldrb r0, [r0, r1]
 332 ; CHECK-THUMB-NEXT:    bx lr
 333 entry:
 334   %mul1 = mul i32 %y, 1020272
 335   %arrayidx = getelementptr inbounds i8, ptr %x, i32 %mul1
 336   %0 = load i8, ptr %arrayidx, align 1
 337   %conv = zext i8 %0 to i32
 338   ret i32 %conv
 339 }
 340
 341 define i32 @test_load_extract_from_mul_6(ptr %x, i32 %y) {
 342 ; CHECK-ARM-LABEL: test_load_extract_from_mul_6:
 343 ; CHECK-ARM:       @ %bb.0: @ %entry
 344 ; CHECK-ARM-NEXT:    movw r2, #63767
 345 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 346 ; CHECK-ARM-NEXT:    ldrb r0, [r0, r1, lsl #16]
 347 ; CHECK-ARM-NEXT:    bx lr
 348 ;
 349 ; CHECK-THUMB-LABEL: test_load_extract_from_mul_6:
 350 ; CHECK-THUMB:       @ %bb.0: @ %entry
 351 ; CHECK-THUMB-NEXT:    movs r2, #0
 352 ; CHECK-THUMB-NEXT:    movt r2, #63767
 353 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 354 ; CHECK-THUMB-NEXT:    ldrb r0, [r0, r1]
 355 ; CHECK-THUMB-NEXT:    bx lr
 356 entry:
 357   %mul = mul i32 %y, -115933184
 358   %arrayidx = getelementptr inbounds i8, ptr %x, i32 %mul
 359   %0 = load i8, ptr %arrayidx, align 1
 360   %conv = zext i8 %0 to i32
 361   ret i32 %conv
 362 }
 363
 364
 365 define void @test_well_formed_dag(i32 %in1, i32 %in2, ptr %addr) {
 366 ; CHECK-ARM-LABEL: test_well_formed_dag:
 367 ; CHECK-ARM:       @ %bb.0:
 368 ; CHECK-ARM-NEXT:    movw r3, #675
 369 ; CHECK-ARM-NEXT:    mul r0, r0, r3
 370 ; CHECK-ARM-NEXT:    add r0, r1, r0, lsl #7
 371 ; CHECK-ARM-NEXT:    str r0, [r2]
 372 ; CHECK-ARM-NEXT:    bx lr
 373 ;
 374 ; CHECK-THUMB-LABEL: test_well_formed_dag:
 375 ; CHECK-THUMB:       @ %bb.0:
 376 ; CHECK-THUMB-NEXT:    movw r3, #675
 377 ; CHECK-THUMB-NEXT:    muls r0, r3, r0
 378 ; CHECK-THUMB-NEXT:    add.w r0, r1, r0, lsl #7
 379 ; CHECK-THUMB-NEXT:    str r0, [r2]
 380 ; CHECK-THUMB-NEXT:    bx lr
 381
 382   %mul.small = mul i32 %in1, 675
 383   store i32 %mul.small, ptr %addr
 384   %mul.big = mul i32 %in1, 86400
 385   %add = add i32 %in2, %mul.big
 386   store i32 %add, ptr %addr
 387   ret void
 388 }
 389
 390 define { i32, i32 } @test_multi_use_add(i32 %base, i32 %offset) {
 391 ; CHECK-ARM-LABEL: test_multi_use_add:
 392 ; CHECK-ARM:       @ %bb.0:
 393 ; CHECK-ARM-NEXT:    movw r2, #28
 394 ; CHECK-ARM-NEXT:    movt r2, #1
 395 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 396 ; CHECK-ARM-NEXT:    ldr r1, [r0, r1]!
 397 ; CHECK-ARM-NEXT:    bx lr
 398 ;
 399 ; CHECK-THUMB-LABEL: test_multi_use_add:
 400 ; CHECK-THUMB:       @ %bb.0:
 401 ; CHECK-THUMB-NEXT:    movs r3, #28
 402 ; CHECK-THUMB-NEXT:    movt r3, #1
 403 ; CHECK-THUMB-NEXT:    mla r2, r1, r3, r0
 404 ; CHECK-THUMB-NEXT:    muls r1, r3, r1
 405 ; CHECK-THUMB-NEXT:    ldr r1, [r0, r1]
 406 ; CHECK-THUMB-NEXT:    mov r0, r2
 407 ; CHECK-THUMB-NEXT:    bx lr
 408
 409   %prod = mul i32 %offset, 65564
 410   %sum = add i32 %base, %prod
 411
 412   %ptr = inttoptr i32 %sum to ptr
 413   %loaded = load i32, ptr %ptr
 414
 415   %ret.tmp = insertvalue { i32, i32 } undef, i32 %sum, 0
 416   %ret = insertvalue { i32, i32 } %ret.tmp, i32 %loaded, 1
 417
 418   ret { i32, i32 } %ret
 419 }
 420
 421 define i32 @test_new(i32 %x, i32 %y) {
 422 ; CHECK-ARM-LABEL: test_new:
 423 ; CHECK-ARM:       @ %bb.0: @ %entry
 424 ; CHECK-ARM-NEXT:    movw r2, #48047
 425 ; CHECK-ARM-NEXT:    mul r1, r1, r2
 426 ; CHECK-ARM-NEXT:    add r0, r0, r1, lsl #1
 427 ; CHECK-ARM-NEXT:    bx lr
 428 ;
 429 ; CHECK-THUMB-LABEL: test_new:
 430 ; CHECK-THUMB:       @ %bb.0: @ %entry
 431 ; CHECK-THUMB-NEXT:    movw r2, #48047
 432 ; CHECK-THUMB-NEXT:    muls r1, r2, r1
 433 ; CHECK-THUMB-NEXT:    add.w r0, r0, r1, lsl #1
 434 ; CHECK-THUMB-NEXT:    bx lr
 435 entry:
 436   %mul = mul i32 %y, 96094
 437   %conv = add i32 %mul, %x
 438   ret i32 %conv
 439 }
 440
 441 ; This test was hitting issues with deleted nodes because ComplexPatternFuncMutatesDAG
 442 ; was not defined.
 443 @arr_9 = external dso_local local_unnamed_addr global [15 x [25 x [18 x i8]]], align 1
 444 define void @test_mutateddag(i32 %b, i32 %c, i32 %d, i1 %cc) {
 445 ; CHECK-THUMB-LABEL: test_mutateddag:
 446 ; CHECK-THUMB:       @ %bb.0: @ %entry
 447 ; CHECK-THUMB-NEXT:    .save {r4, r5, r7, lr}
 448 ; CHECK-THUMB-NEXT:    push {r4, r5, r7, lr}
 449 ; CHECK-THUMB-NEXT:    movw r12, #50608
 450 ; CHECK-THUMB-NEXT:    movw r4, #51512
 451 ; CHECK-THUMB-NEXT:    movt r12, #17917
 452 ; CHECK-THUMB-NEXT:    movt r4, #52
 453 ; CHECK-THUMB-NEXT:    mla r12, r1, r4, r12
 454 ; CHECK-THUMB-NEXT:    mov.w r4, #450
 455 ; CHECK-THUMB-NEXT:    movw r5, :lower16:arr_9
 456 ; CHECK-THUMB-NEXT:    mul lr, r0, r4
 457 ; CHECK-THUMB-NEXT:    movw r0, #12878
 458 ; CHECK-THUMB-NEXT:    movt r0, #13
 459 ; CHECK-THUMB-NEXT:    muls r0, r1, r0
 460 ; CHECK-THUMB-NEXT:    add.w r4, r2, r2, lsl #3
 461 ; CHECK-THUMB-NEXT:    movw r2, #60920
 462 ; CHECK-THUMB-NEXT:    movt r5, :upper16:arr_9
 463 ; CHECK-THUMB-NEXT:    movt r2, #64028
 464 ; CHECK-THUMB-NEXT:    lsls r3, r3, #31
 465 ; CHECK-THUMB-NEXT:    add.w r0, r0, r4, lsl #1
 466 ; CHECK-THUMB-NEXT:    add r0, r5
 467 ; CHECK-THUMB-NEXT:    add r2, r0
 468 ; CHECK-THUMB-NEXT:    movw r0, #25756
 469 ; CHECK-THUMB-NEXT:    movt r0, #26
 470 ; CHECK-THUMB-NEXT:    muls r0, r1, r0
 471 ; CHECK-THUMB-NEXT:    movw r1, #24420
 472 ; CHECK-THUMB-NEXT:    movt r1, #19356
 473 ; CHECK-THUMB-NEXT:    add.w r0, r0, r4, lsl #1
 474 ; CHECK-THUMB-NEXT:    add r0, r5
 475 ; CHECK-THUMB-NEXT:    add r1, r0
 476 ; CHECK-THUMB-NEXT:    movs r0, #0
 477 ; CHECK-THUMB-NEXT:    b .LBB19_2
 478 ; CHECK-THUMB-NEXT:  .LBB19_1: @ %for.cond1.for.cond.cleanup_crit_edge
 479 ; CHECK-THUMB-NEXT:    @ in Loop: Header=BB19_2 Depth=1
 480 ; CHECK-THUMB-NEXT:    add r2, lr
 481 ; CHECK-THUMB-NEXT:    add r1, lr
 482 ; CHECK-THUMB-NEXT:  .LBB19_2: @ %for.cond
 483 ; CHECK-THUMB-NEXT:    @ =>This Loop Header: Depth=1
 484 ; CHECK-THUMB-NEXT:    @ Child Loop BB19_3 Depth 2
 485 ; CHECK-THUMB-NEXT:    movs r4, #0
 486 ; CHECK-THUMB-NEXT:  .LBB19_3: @ %for.cond2.preheader
 487 ; CHECK-THUMB-NEXT:    @ Parent Loop BB19_2 Depth=1
 488 ; CHECK-THUMB-NEXT:    @ => This Inner Loop Header: Depth=2
 489 ; CHECK-THUMB-NEXT:    cmp r3, #0
 490 ; CHECK-THUMB-NEXT:    str r0, [r2, r4]
 491 ; CHECK-THUMB-NEXT:    bne .LBB19_1
 492 ; CHECK-THUMB-NEXT:  @ %bb.4: @ %for.cond2.preheader.2
 493 ; CHECK-THUMB-NEXT:    @ in Loop: Header=BB19_3 Depth=2
 494 ; CHECK-THUMB-NEXT:    str r0, [r1, r4]
 495 ; CHECK-THUMB-NEXT:    add r4, r12
 496 ; CHECK-THUMB-NEXT:    b .LBB19_3
 497 entry:
 498   %0 = add i32 %d, -4
 499   %1 = mul i32 %c, 864846
 500   %2 = add i32 %1, 1367306604
 501   br label %for.cond
 502
 503 for.cond:                                         ; preds = %for.cond1.for.cond.cleanup_crit_edge, %for.cond.preheader
 504   %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %for.cond1.for.cond.cleanup_crit_edge ]
 505   %3 = mul i32 %indvar, %b
 506   %4 = add i32 %3, -2
 507   br label %for.cond2.preheader
 508
 509 for.cond2.preheader:                              ; preds = %for.cond2.preheader.2, %for.cond
 510   %indvar24 = phi i32 [ 0, %for.cond ], [ %indvar.next25.3, %for.cond2.preheader.2 ]
 511   %indvar.next25 = or disjoint i32 %indvar24, 1
 512   %l5 = mul i32 %2, %indvar.next25
 513   %scevgep.1 = getelementptr [15 x [25 x [18 x i8]]], ptr @arr_9, i32 -217196, i32 %4, i32 %0, i32 %l5
 514   store i32 0, ptr %scevgep.1, align 1
 515   br i1 %cc, label %for.cond1.for.cond.cleanup_crit_edge, label %for.cond2.preheader.2
 516
 517 for.cond2.preheader.2:                            ; preds = %for.cond2.preheader
 518   %indvar.next25.1 = or disjoint i32 %indvar24, 2
 519   %l8 = mul i32 %2, %indvar.next25.1
 520   %scevgep.2 = getelementptr [15 x [25 x [18 x i8]]], ptr @arr_9, i32 -217196, i32 %4, i32 %0, i32 %l8
 521   store i32 0, ptr %scevgep.2, align 1
 522   %indvar.next25.3 = add i32 %indvar24, 4
 523   br label %for.cond2.preheader
 524
 525 for.cond1.for.cond.cleanup_crit_edge:             ; preds = %for.cond2.preheader
 526   %indvar.next = add i32 %indvar, 1
 527   br label %for.cond
 528 }