45 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -o - %s -mtriple=thumbv8.1m.main-none-none-eabi -run-pass=prologepilog | FileCheck %s3--- |4 ; Function Attrs: noinline nounwind optnone5 define dso_local i64 @f() #0 {6 entry:7 %a = alloca [10 x i64], align 88 %arrayidx = getelementptr inbounds [10 x i64], ptr %a, i32 0, i32 19 store volatile i64 1, ptr %arrayidx, align 810 %arrayidx1 = getelementptr inbounds [10 x i64], ptr %a, i32 0, i32 111 %0 = load volatile i64, ptr %arrayidx1, align 812 ret i64 %013 }14 15...16---17name: f18alignment: 219tracksRegLiveness: true20frameInfo:21 maxAlignment: 822 maxCallFrameSize: 023 localFrameSize: 8024stack:25 - { id: 0, name: a, size: 80, alignment: 8, local-offset: -80 }26machineFunctionInfo: {}27body: |28 bb.0.entry:29 ; CHECK-LABEL: name: f30 ; CHECK: $sp = frame-setup tSUBspi $sp, 20, 14 /* CC::al */, $noreg31 ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8032 ; CHECK: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg33 ; CHECK: renamable $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg34 ; CHECK: t2STRDi8 killed $r1, killed $r0, $sp, 8, 14 /* CC::al */, $noreg :: (volatile store (s64) into %ir.arrayidx)35 ; CHECK: $r0, $r1 = t2LDRDi8 $sp, 8, 14 /* CC::al */, $noreg :: (volatile dereferenceable load (s64) from %ir.arrayidx1)36 ; CHECK: $sp = frame-destroy tADDspi $sp, 20, 14 /* CC::al */, $noreg37 ; CHECK: tBX_RET 14 /* CC::al */, $noreg, implicit $r0, implicit $r138 renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg39 renamable $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg40 t2STRDi8 killed $r1, killed $r0, %stack.0.a, 8, 14 /* CC::al */, $noreg :: (volatile store (s64) into %ir.arrayidx)41 $r0, $r1 = t2LDRDi8 %stack.0.a, 8, 14 /* CC::al */, $noreg :: (volatile dereferenceable load (s64) from %ir.arrayidx1)42 tBX_RET 14 /* CC::al */, $noreg, implicit $r0, implicit $r143 44...45