test/CodeGen/ARM/prera-ldst-aliasing.mir

   1 # RUN: llc -run-pass arm-prera-ldst-opt %s -o - | FileCheck %s
   2 --- |
   3   target triple = "thumbv7---eabi"
   4
   5   define void @ldrd_strd_aa(i32* noalias nocapture %x, i32* noalias nocapture readonly %y) {
   6   entry:
   7     %0 = load i32, i32* %y, align 4
   8     store i32 %0, i32* %x, align 4
   9     %arrayidx2 = getelementptr inbounds i32, i32* %y, i32 1
  10     %1 = load i32, i32* %arrayidx2, align 4
  11     %arrayidx3 = getelementptr inbounds i32, i32* %x, i32 1
  12     store i32 %1, i32* %arrayidx3, align 4
  13     ret void
  14   }
  15 ...
  16 ---
  17 name:            ldrd_strd_aa
  18 alignment:       2
  19 tracksRegLiveness: true
  20 liveins:
  21   - { reg: '$r0', virtual-reg: '%0' }
  22   - { reg: '$r1', virtual-reg: '%1' }
  23 body:             |
  24   bb.0.entry:
  25     liveins: $r0, $r1
  26
  27     %1 : gpr = COPY $r1
  28     %0 : gpr = COPY $r0
  29     %2 : gpr = t2LDRi12 %1, 0, 14, $noreg :: (load 4 from %ir.y)
  30     t2STRi12 killed %2, %0, 0, 14, $noreg :: (store 4 into %ir.x)
  31     %3 : gpr = t2LDRi12 %1, 4, 14, $noreg :: (load 4 from %ir.arrayidx2)
  32     t2STRi12 killed %3, %0, 4, 14, $noreg :: (store 4 into %ir.arrayidx3)
  33     ; CHECK: t2LDRi12
  34     ; CHECK-NEXT: t2LDRi12
  35     ; CHECK-NEXT: t2STRi12
  36     ; CHECK-NEXT: t2STRi12
  37     tBX_RET 14, $noreg
  38
  39 ...
  40