222 lines · plain
1# RUN: llc -o - %s -mtriple=aarch64-windows -start-after=prologepilog \2# RUN: -filetype=obj | llvm-readobj --unwind - | FileCheck %s3 4# Check that that the large stack allocation is correctly represented in .xdata.5 6# CHECK: ExceptionData {7# CHECK-NEXT: FunctionLength: 1568# CHECK-NEXT: Version: 09# CHECK-NEXT: ExceptionData: No10# CHECK-NEXT: EpiloguePacked: Yes11# CHECK-NEXT: EpilogueOffset: 1112# CHECK-NEXT: ByteCodeLength: 2413# CHECK-NEXT: Prologue [14# CHECK-NEXT: 0xe002dac9 ; sub sp, #299329615# CHECK-NEXT: 0xe3 ; nop16# CHECK-NEXT: 0xe3 ; nop17# CHECK-NEXT: 0xe3 ; nop18# CHECK-NEXT: 0x42 ; stp x29, x30, [sp, #16]19# CHECK-NEXT: 0xd53f ; str x28, [sp, #-256]!20# CHECK-NEXT: 0xe4 ; end21# CHECK-NEXT: ]22# CHECK-NEXT: Epilogue [23# CHECK-NEXT: 0xe002da00 ; add sp, #299008024# CHECK-NEXT: 0xc0c9 ; add sp, #321625# CHECK-NEXT: 0x42 ; ldp x29, x30, [sp, #16]26# CHECK-NEXT: 0xd53f ; ldr x28, [sp], #25627# CHECK-NEXT: 0xe4 ; end28# CHECK-NEXT: ]29# CHECK-NEXT: }30 31 32--- |33 target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"34 target triple = "aarch64-unknown-windows-msvc19.11.0"35 36 ; Function Attrs: noinline optnone37 define dso_local i32 @"?func@@YAHH@Z"(i32 %i) #0 {38 entry:39 %retval = alloca i32, align 440 %i.addr = alloca i32, align 441 %A = alloca [748193 x i32], align 442 %a = alloca i32, align 443 %B = alloca [123 x i32], align 444 store i32 %i, ptr %i.addr, align 445 %0 = load i32, ptr %i.addr, align 446 %add = add nsw i32 %0, 247 store i32 %add, ptr %a, align 448 %call = call i32 @"?func2@@YAHXZ"()49 %1 = load i32, ptr %i.addr, align 450 %cmp = icmp sgt i32 %1, 251 br i1 %cmp, label %if.then, label %if.else52 53 if.then: ; preds = %entry54 %call1 = call i32 @"?func2@@YAHXZ"()55 store i32 %call1, ptr %retval, align 456 br label %return57 58 if.else: ; preds = %entry59 %arraydecay = getelementptr inbounds [123 x i32], ptr %B, i32 0, i32 060 %call2 = call i32 @"?func3@@YAHPEAH@Z"(ptr %arraydecay)61 store i32 %call2, ptr %retval, align 462 br label %return63 64 return: ; preds = %if.else, %if.then65 %2 = load i32, ptr %retval, align 466 ret i32 %267 }68 69 declare dso_local i32 @"?func2@@YAHXZ"() #170 71 declare dso_local i32 @"?func3@@YAHPEAH@Z"(ptr) #172 73 ; Function Attrs: nounwind74 declare void @llvm.stackprotector(ptr, ptr) #275 76 attributes #0 = { noinline optnone "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="+neon" "use-soft-float"="false" }77 attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="+neon" "use-soft-float"="false" }78 attributes #2 = { nounwind }79 80 !llvm.module.flags = !{!0}81 82 !0 = !{i32 1, !"wchar_size", i32 2}83 84...85---86name: '?func@@YAHH@Z'87alignment: 488exposesReturnsTwice: false89legalized: true90regBankSelected: true91selected: true92failedISel: false93tracksRegLiveness: true94hasWinCFI: true95registers:96liveins:97frameInfo:98 isFrameAddressTaken: false99 isReturnAddressTaken: false100 hasStackMap: false101 hasPatchPoint: false102 stackSize: 2993328103 offsetAdjustment: 0104 maxAlignment: 16105 adjustsStack: true106 hasCalls: true107 stackProtector: ''108 maxCallFrameSize: 0109 hasOpaqueSPAdjustment: false110 hasVAStart: false111 hasMustTailInVarArgFunc: false112 localFrameSize: 2993276113 savePoint: []114 restorePoint: []115fixedStack:116stack:117 - { id: 0, name: retval, type: default, offset: -36, size: 4, alignment: 4,118 stack-id: default, callee-saved-register: '', callee-saved-restored: true,119 local-offset: -4, debug-info-variable: '', debug-info-expression: '',120 debug-info-location: '' }121 - { id: 1, name: i.addr, type: default, offset: -40, size: 4, alignment: 4,122 stack-id: default, callee-saved-register: '', callee-saved-restored: true,123 local-offset: -8, debug-info-variable: '', debug-info-expression: '',124 debug-info-location: '' }125 - { id: 2, name: A, type: default, offset: -2992812, size: 2992772, alignment: 4,126 stack-id: default, callee-saved-register: '', callee-saved-restored: true,127 local-offset: -2992780, debug-info-variable: '', debug-info-expression: '',128 debug-info-location: '' }129 - { id: 3, name: a, type: default, offset: -2992816, size: 4, alignment: 4,130 stack-id: default, callee-saved-register: '', callee-saved-restored: true,131 local-offset: -2992784, debug-info-variable: '', debug-info-expression: '',132 debug-info-location: '' }133 - { id: 4, name: B, type: default, offset: -2993308, size: 492, alignment: 4,134 stack-id: default, callee-saved-register: '', callee-saved-restored: true,135 local-offset: -2993276, debug-info-variable: '', debug-info-expression: '',136 debug-info-location: '' }137 - { id: 5, name: '', type: spill-slot, offset: -2993320, size: 8, alignment: 8,138 stack-id: default, callee-saved-register: '', callee-saved-restored: true,139 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }140 - { id: 6, name: '', type: spill-slot, offset: -2993324, size: 4, alignment: 4,141 stack-id: default, callee-saved-register: '', callee-saved-restored: true,142 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }143 - { id: 7, name: '', type: spill-slot, offset: -8, size: 8, alignment: 8,144 stack-id: default, callee-saved-register: '$fp', callee-saved-restored: true,145 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }146 - { id: 8, name: '', type: spill-slot, offset: -16, size: 8, alignment: 8,147 stack-id: default, callee-saved-register: '$lr', callee-saved-restored: true,148 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }149 - { id: 9, name: '', type: spill-slot, offset: -32, size: 8, alignment: 16,150 stack-id: default, callee-saved-register: '$x28', callee-saved-restored: true,151 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }152constants:153body: |154 bb.1.entry:155 successors: %bb.2(0x40000000), %bb.3(0x40000000)156 liveins: $w0, $x28, $fp, $lr157 158 early-clobber $sp = frame-setup STRXpre killed $x28, $sp, -32 :: (store (s64) into %stack.9)159 frame-setup SEH_SaveReg_X 28, -256160 frame-setup STPXi killed $fp, killed $lr, $sp, 2 :: (store (s64) into %stack.7), (store (s64) into %stack.8)161 frame-setup SEH_SaveFPLR 16162 $x15 = frame-setup MOVZXi 56009, 0163 frame-setup SEH_Nop164 $x15 = frame-setup MOVKXi $x15, 2, 16165 frame-setup SEH_Nop166 frame-setup BL &__chkstk, implicit-def $lr, implicit $sp, implicit $x15167 frame-setup SEH_Nop168 $sp = frame-setup SUBXrx64 killed $sp, killed $x15, 28169 frame-setup SEH_StackAlloc 2993296170 frame-setup SEH_PrologEnd171 $x8 = ADDXri $sp, 730, 12172 $x8 = ADDXri $x8, 3208, 0173 renamable $w9 = MOVi32imm 2174 STRWui killed renamable $w0, renamable $x8, 0 :: (store (s32) into %ir.i.addr)175 renamable $w0 = LDRWui renamable $x8, 0 :: (load (s32) from %ir.i.addr)176 renamable $w0 = ADDWri killed renamable $w0, 2, 0177 STRWui killed renamable $w0, $sp, 128 :: (store (s32) into %ir.a)178 STRXui killed $x8, $sp, 1 :: (store (s64) into %stack.5)179 STRWui killed $w9, $sp, 1 :: (store (s32) into %stack.6)180 BL @"?func2@@YAHXZ", csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit-def $w0181 $x8 = LDRXui $sp, 1 :: (load (s64) from %stack.5)182 renamable $w9 = LDRWui killed renamable $x8, 0 :: (load (s32) from %ir.i.addr)183 $w10 = LDRWui $sp, 1 :: (load (s32) from %stack.6)184 $wzr = SUBSWrr killed renamable $w9, killed renamable $w10, implicit-def $nzcv185 renamable $w9 = CSINCWr $wzr, $wzr, 13, implicit $nzcv186 TBNZW killed renamable $w9, 0, %bb.2187 B %bb.3188 189 bb.2.if.then:190 successors: %bb.4(0x80000000)191 192 BL @"?func2@@YAHXZ", csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit-def $w0193 $x8 = LDRXui $sp, 1 :: (load (s64) from %stack.5)194 STRWui killed renamable $w0, killed renamable $x8, 1 :: (store (s32) into %ir.retval)195 B %bb.4196 197 bb.3.if.else:198 successors: %bb.4(0x80000000)199 200 $x8 = ADDXri $sp, 20, 0201 $x0 = COPY killed renamable $x8202 BL @"?func3@@YAHPEAH@Z", csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit killed $x0, implicit-def $w0203 $x8 = LDRXui $sp, 1 :: (load (s64) from %stack.5)204 STRWui killed renamable $w0, killed renamable $x8, 1 :: (store (s32) into %ir.retval)205 206 bb.4.return:207 $x8 = LDRXui $sp, 1 :: (load (s64) from %stack.5)208 renamable $w0 = LDRWui killed renamable $x8, 1 :: (load (s32) from %ir.retval)209 frame-destroy SEH_EpilogStart210 $sp = frame-destroy ADDXri $sp, 730, 12211 frame-destroy SEH_StackAlloc 2990080212 $sp = frame-destroy ADDXri $sp, 3216, 0213 frame-destroy SEH_StackAlloc 3216214 $fp, $lr = frame-destroy LDPXi $sp, 2 :: (load (s64) from %stack.7), (load (s64) from %stack.8)215 frame-destroy SEH_SaveFPLR 16216 early-clobber $sp, $x28 = frame-destroy LDRXpost $sp, 32 :: (load (s64) from %stack.9)217 frame-destroy SEH_SaveReg_X 28, -256218 frame-destroy SEH_EpilogEnd219 RET_ReallyLR implicit killed $w0220 221...222