xref: /llvm-project/llvm/test/CodeGen/ARM/sink-store-pre-load-dependency.mir (revision 446a426436c0b7e457992981d3a1f2b4fda19992)
17810e6a3SAntonio Frighetto# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
27810e6a3SAntonio Frighetto# RUN: llc -o - %s -mtriple=armv7-- -run-pass=machine-sink | FileCheck %s
37810e6a3SAntonio Frighetto
47810e6a3SAntonio Frighettoname: sink-store-load-dep
57810e6a3SAntonio FrighettotracksRegLiveness: true
67810e6a3SAntonio Frighettostack:
77810e6a3SAntonio Frighetto  - { id: 0, type: default, size: 8, alignment: 8 }
87810e6a3SAntonio Frighettobody: |
97810e6a3SAntonio Frighetto  bb.0:
107810e6a3SAntonio Frighetto    ; CHECK-LABEL: name: sink-store-load-dep
117810e6a3SAntonio Frighetto    ; CHECK:       bb.0:
127810e6a3SAntonio Frighetto    ; CHECK:         [[LDRi12_:%[0-9]+]]:gpr = LDRi12 %stack.0, 0, 14 /* CC::al */, $noreg :: (load (s32))
137810e6a3SAntonio Frighetto    ; CHECK-NEXT:    [[MOVi:%[0-9]+]]:gpr = MOVi 55296, 14 /* CC::al */, $noreg, $noreg
14*446a4264SAntonio Frighetto    ; CHECK-NEXT:    [[ADDri1:%[0-9]+]]:gpr = ADDri [[LDRi12_:%[0-9]+]], 0, 14 /* CC::al */, $noreg, $noreg
15*446a4264SAntonio Frighetto    ; CHECK-NEXT:    [[LDRH:%[0-9]+]]:gpr = LDRH killed [[ADDri1:%[0-9]+]], $noreg, 0, 14 /* CC::al */, $noreg :: (load (s16))
167810e6a3SAntonio Frighetto    ; CHECK-NEXT:    [[MOVi1:%[0-9]+]]:gpr = MOVi 0, 14 /* CC::al */, $noreg, $noreg
177810e6a3SAntonio Frighetto    ; CHECK-NEXT:    early-clobber %5:gpr = STRH_PRE [[MOVi:%[0-9]+]], [[LDRi12_:%[0-9]+]], [[MOVi1:%[0-9]+]], 0, 14 /* CC::al */, $noreg
18*446a4264SAntonio Frighetto    ; CHECK-NEXT:    [[SUBri:%.*]]:gpr = SUBri killed [[LDRi12_:%[0-9]+]], 0, 14 /* CC::al */, $noreg, $noreg
197810e6a3SAntonio Frighetto    ; CHECK:       bb.2:
207810e6a3SAntonio Frighetto    ; CHECK-NEXT:    [[MOVi2:%[0-9]+]]:gpr = MOVi [[LDRH:%[0-9]+]], 14 /* CC::al */, $noreg, $noreg
217810e6a3SAntonio Frighetto    %0:gpr = LDRi12 %stack.0, 0, 14, $noreg :: (load (s32))
227810e6a3SAntonio Frighetto    %1:gpr = MOVi 55296, 14, $noreg, $noreg
237810e6a3SAntonio Frighetto    %2:gpr = ADDri %0:gpr, 0, 14, $noreg, $noreg
247810e6a3SAntonio Frighetto    %3:gpr = LDRH killed %2:gpr, $noreg, 0, 14, $noreg :: (load (s16))
257810e6a3SAntonio Frighetto    %4:gpr = MOVi 0, 14, $noreg, $noreg
267810e6a3SAntonio Frighetto    early-clobber %5:gpr = STRH_PRE %1:gpr, %0:gpr, %4:gpr, 0, 14, $noreg
277810e6a3SAntonio Frighetto    %6:gpr = SUBri killed %0:gpr, 0, 14, $noreg, $noreg
287810e6a3SAntonio Frighetto    CMPri %6:gpr, 0, 14, $noreg, implicit-def $cpsr
297810e6a3SAntonio Frighetto    Bcc %bb.2, 3, $cpsr
307810e6a3SAntonio Frighetto    B %bb.1
317810e6a3SAntonio Frighetto
327810e6a3SAntonio Frighetto  bb.1:
337810e6a3SAntonio Frighetto    %8:gpr = MOVi 0, 14, $noreg, $noreg
347810e6a3SAntonio Frighetto    $r0 = COPY %8:gpr
357810e6a3SAntonio Frighetto    BX_RET 14, $noreg, implicit $r0
367810e6a3SAntonio Frighetto
377810e6a3SAntonio Frighetto  bb.2:
387810e6a3SAntonio Frighetto    %9:gpr = MOVi %3:gpr, 14, $noreg, $noreg
397810e6a3SAntonio Frighetto    $r0 = COPY %9:gpr
407810e6a3SAntonio Frighetto    BX_RET 14, $noreg, implicit $r0
417810e6a3SAntonio Frighetto...
42