1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2--- | 3 ; RUN: llc --run-pass=prologepilog -o - %s | FileCheck %s 4 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 1 10 %s = alloca i8*, align 4 11 %0 = bitcast [4000 x i8]* %v to i8* 12 store i8* %0, i8** %s, align 4 13 %1 = load i8*, i8** %s, align 4 14 call void @bar(i8* %1) 15 ret void 16 } 17 declare void @bar(i8*) #1 18 ; Function Attrs: nounwind 19 declare void @llvm.stackprotector(i8*, i8**) #2 20 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: foo 35alignment: 2 36exposesReturnsTwice: false 37legalized: false 38regBankSelected: false 39selected: false 40failedISel: false 41tracksRegLiveness: true 42hasWinCFI: false 43registers: [] 44liveins: [] 45frameInfo: 46 isFrameAddressTaken: false 47 isReturnAddressTaken: false 48 hasStackMap: false 49 hasPatchPoint: false 50 stackSize: 0 51 offsetAdjustment: 0 52 maxAlignment: 4 53 adjustsStack: true 54 hasCalls: true 55 stackProtector: '' 56 maxCallFrameSize: 0 57 cvBytesOfCalleeSavedRegisters: 0 58 hasOpaqueSPAdjustment: false 59 hasVAStart: false 60 hasMustTailInVarArgFunc: false 61 localFrameSize: 4004 62 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: foo 80 ; CHECK: liveins: $lr 81 ; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr 82 ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 83 ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4 84 ; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8 85 ; CHECK: $r7 = frame-setup tMOVr killed $sp, 14 /* CC::al */, $noreg 86 ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_register $r7 87 ; CHECK: $sp = frame-setup t2SUBspImm12 killed $sp, 4008, 14 /* CC::al */, $noreg 88 ; CHECK: renamable $r0 = t2ADDri $sp, 8, 14 /* CC::al */, $noreg, $noreg 89 ; CHECK: t2STRi12 killed renamable $r0, $sp, 4, 14 /* CC::al */, $noreg :: (store 4 into %ir.s) 90 ; CHECK: renamable $r0 = t2LDRi12 $sp, 4, 14 /* CC::al */, $noreg :: (dereferenceable load 4 from %ir.s) 91 ; CHECK: tBL 14 /* CC::al */, $noreg, @bar, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit $r0, implicit-def $sp 92 ; CHECK: $sp = frame-destroy t2ADDspImm12 killed $sp, 4008, 14 /* CC::al */, $noreg 93 ; CHECK: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc 94 renamable $r0 = t2ADDri %stack.0.v, 0, 14, $noreg, $noreg 95 t2STRi12 killed renamable $r0, %stack.1.s, 0, 14, $noreg :: (store 4 into %ir.s) 96 renamable $r0 = t2LDRi12 %stack.1.s, 0, 14, $noreg :: (dereferenceable load 4 from %ir.s) 97 ADJCALLSTACKDOWN 0, 0, 14, $noreg, implicit-def dead $sp, implicit $sp 98 tBL 14, $noreg, @bar, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit $r0, implicit-def $sp 99 ADJCALLSTACKUP 0, 0, 14, $noreg, implicit-def dead $sp, implicit $sp 100 tBX_RET 14, $noreg 101 102... 103