103 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2--- |3 ; RUN: llc --run-pass=prologepilog -o - %s | FileCheck %s4 5 target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"6 target triple = "thumbv7-none-none-eabi"7 define void @foo() #0 {8 entry:9 %v = alloca [4000 x i8], align 110 %s = alloca ptr, align 411 %0 = bitcast ptr %v to ptr12 store ptr %0, ptr %s, align 413 %1 = load ptr, ptr %s, align 414 call void @bar(ptr %1)15 ret void16 }17 declare void @bar(ptr) #118 ; Function Attrs: nounwind19 declare void @llvm.stackprotector(ptr, ptr) #220 21 attributes #0 = { noinline nounwind optnone "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+armv7-a,+d32,+dsp,+fp64,+fpregs,+neon,+strict-align,+thumb-mode,+vfp2,+vfp2sp,+vfp3,+vfp3d16,+vfp3d16sp,+vfp3sp" "unsafe-fp-math"="false" "use-soft-float"="false" }22 attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+armv7-a,+d32,+dsp,+fp64,+fpregs,+neon,+strict-align,+thumb-mode,+vfp2,+vfp2sp,+vfp3,+vfp3d16,+vfp3d16sp,+vfp3sp" "unsafe-fp-math"="false" "use-soft-float"="false" }23 attributes #2 = { nounwind }24 25 !llvm.module.flags = !{!0, !1}26 !llvm.ident = !{!2}27 28 !0 = !{i32 1, !"wchar_size", i32 4}29 !1 = !{i32 1, !"min_enum_size", i32 4}30 !2 = !{!"clang version 10.0.0 (git@github.com:llvm/llvm-project.git ee219345881bdf2c144d40731f055e7b36bc8bce)"}31 32...33---34name: foo35alignment: 236exposesReturnsTwice: false37legalized: false38regBankSelected: false39selected: false40failedISel: false41tracksRegLiveness: true42hasWinCFI: false43registers: []44liveins: []45frameInfo:46 isFrameAddressTaken: false47 isReturnAddressTaken: false48 hasStackMap: false49 hasPatchPoint: false50 stackSize: 051 offsetAdjustment: 052 maxAlignment: 453 adjustsStack: true54 hasCalls: true55 stackProtector: ''56 maxCallFrameSize: 057 cvBytesOfCalleeSavedRegisters: 058 hasOpaqueSPAdjustment: false59 hasVAStart: false60 hasMustTailInVarArgFunc: false61 localFrameSize: 400462 savePoint: []63 restorePoint: []64fixedStack: []65stack:66 - { id: 0, name: v, type: default, offset: 0, size: 4000, alignment: 1,67 stack-id: default, callee-saved-register: '', callee-saved-restored: true,68 local-offset: -4000, debug-info-variable: '', debug-info-expression: '',69 debug-info-location: '' }70 - { id: 1, name: s, type: default, offset: 0, size: 4, alignment: 4,71 stack-id: default, callee-saved-register: '', callee-saved-restored: true,72 local-offset: -4004, debug-info-variable: '', debug-info-expression: '',73 debug-info-location: '' }74callSites: []75constants: []76machineFunctionInfo: {}77body: |78 bb.0.entry:79 ; CHECK-LABEL: name: foo80 ; CHECK: liveins: $lr81 ; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr82 ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 883 ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -484 ; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -885 ; CHECK: $r7 = frame-setup tMOVr killed $sp, 14 /* CC::al */, $noreg86 ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_register $r787 ; CHECK: $sp = frame-setup t2SUBspImm12 killed $sp, 4008, 14 /* CC::al */, $noreg88 ; CHECK: renamable $r0 = t2ADDri $sp, 8, 14 /* CC::al */, $noreg, $noreg89 ; CHECK: t2STRi12 killed renamable $r0, $sp, 4, 14 /* CC::al */, $noreg :: (store (s32) into %ir.s)90 ; CHECK: renamable $r0 = t2LDRi12 $sp, 4, 14 /* CC::al */, $noreg :: (dereferenceable load (s32) from %ir.s)91 ; CHECK: tBL 14 /* CC::al */, $noreg, @bar, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit $r0, implicit-def $sp92 ; CHECK: $sp = frame-destroy t2ADDspImm12 killed $sp, 4008, 14 /* CC::al */, $noreg93 ; CHECK: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc94 renamable $r0 = t2ADDri %stack.0.v, 0, 14, $noreg, $noreg95 t2STRi12 killed renamable $r0, %stack.1.s, 0, 14, $noreg :: (store (s32) into %ir.s)96 renamable $r0 = t2LDRi12 %stack.1.s, 0, 14, $noreg :: (dereferenceable load (s32) from %ir.s)97 ADJCALLSTACKDOWN 0, 0, 14, $noreg, implicit-def dead $sp, implicit $sp98 tBL 14, $noreg, @bar, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit $r0, implicit-def $sp99 ADJCALLSTACKUP 0, 0, 14, $noreg, implicit-def dead $sp, implicit $sp100 tBX_RET 14, $noreg101 102...103