147 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 42# RUN: llc -run-pass=prologepilog %s -o - | FileCheck %s3# Regression test for a crash when the probing instruction4# to replace is last in the block.5--- |6 source_filename = "tt.ll"7 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"8 target triple = "aarch64-linux"9 10 declare i1 @g(ptr)11 12 define void @f(ptr %out) #0 {13 entry:14 %p = alloca i32, i32 50000, align 415 br label %loop16 17 loop: ; preds = %loop, %entry18 %c = call i1 @g(ptr %p)19 br i1 %c, label %loop, label %exit20 21 exit: ; preds = %loop22 ret void23 }24 25 attributes #0 = { uwtable "frame-pointer"="none" "probe-stack"="inline-asm" "target-features"="+sve" }26 27...28---29name: f30alignment: 431exposesReturnsTwice: false32legalized: false33regBankSelected: false34selected: false35failedISel: false36tracksRegLiveness: true37hasWinCFI: false38callsEHReturn: false39callsUnwindInit: false40hasEHContTarget: false41hasEHScopes: false42hasEHFunclets: false43isOutlined: false44debugInstrRef: false45failsVerification: false46tracksDebugUserValues: true47registers: []48liveins: []49frameInfo:50 isFrameAddressTaken: false51 isReturnAddressTaken: false52 hasStackMap: false53 hasPatchPoint: false54 stackSize: 055 offsetAdjustment: 056 maxAlignment: 457 adjustsStack: true58 hasCalls: true59 stackProtector: ''60 functionContext: ''61 maxCallFrameSize: 062 cvBytesOfCalleeSavedRegisters: 063 hasOpaqueSPAdjustment: false64 hasVAStart: false65 hasMustTailInVarArgFunc: false66 hasTailCall: false67 localFrameSize: 20000068 savePoint: []69 restorePoint: []70fixedStack: []71stack:72 - { id: 0, name: p, type: default, offset: 0, size: 200000, alignment: 4,73 stack-id: default, callee-saved-register: '', callee-saved-restored: true,74 local-offset: -200000, debug-info-variable: '', debug-info-expression: '',75 debug-info-location: '' }76entry_values: []77callSites: []78debugValueSubstitutions: []79constants: []80machineFunctionInfo: {}81body: |82 ; CHECK-LABEL: name: f83 ; CHECK: bb.0.entry:84 ; CHECK-NEXT: successors: %bb.3(0x80000000)85 ; CHECK-NEXT: liveins: $lr, $fp86 ; CHECK-NEXT: {{ $}}87 ; CHECK-NEXT: early-clobber $sp = frame-setup STPXpre killed $fp, killed $lr, $sp, -2 :: (store (s64) into %stack.2), (store (s64) into %stack.1)88 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 1689 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $w30, -890 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $w29, -1691 ; CHECK-NEXT: $x9 = frame-setup SUBXri $sp, 48, 1292 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa $w9, 19662493 ; CHECK-NEXT: {{ $}}94 ; CHECK-NEXT: bb.3.entry:95 ; CHECK-NEXT: successors: %bb.4(0x40000000), %bb.3(0x40000000)96 ; CHECK-NEXT: liveins: $x997 ; CHECK-NEXT: {{ $}}98 ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 1, 1299 ; CHECK-NEXT: frame-setup STRXui $xzr, $sp, 0100 ; CHECK-NEXT: $xzr = frame-setup SUBSXrx64 $sp, $x9, 24, implicit-def $nzcv101 ; CHECK-NEXT: frame-setup Bcc 1, %bb.3, implicit $nzcv102 ; CHECK-NEXT: {{ $}}103 ; CHECK-NEXT: bb.4.entry:104 ; CHECK-NEXT: successors: %bb.1(0x80000000)105 ; CHECK-NEXT: {{ $}}106 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_register $wsp107 ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 3392, 0108 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 200016109 ; CHECK-NEXT: frame-setup STRXui $xzr, $sp, 0110 ; CHECK-NEXT: {{ $}}111 ; CHECK-NEXT: bb.1.loop:112 ; CHECK-NEXT: successors: %bb.1(0x7c000000), %bb.2(0x04000000)113 ; CHECK-NEXT: {{ $}}114 ; CHECK-NEXT: $x0 = ADDXri $sp, 0, 0115 ; CHECK-NEXT: BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $w0116 ; CHECK-NEXT: TBNZW killed renamable $w0, 0, %bb.1117 ; CHECK-NEXT: B %bb.2118 ; CHECK-NEXT: {{ $}}119 ; CHECK-NEXT: bb.2.exit:120 ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 48, 12121 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa_offset 3408122 ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 3392, 0123 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa_offset 16124 ; CHECK-NEXT: early-clobber $sp, $fp, $lr = frame-destroy LDPXpost $sp, 2 :: (load (s64) from %stack.2), (load (s64) from %stack.1)125 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa_offset 0126 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION restore $w30127 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION restore $w29128 ; CHECK-NEXT: RET_ReallyLR129 bb.0.entry:130 successors: %bb.1(0x80000000)131 132 133 bb.1.loop:134 successors: %bb.1(0x7c000000), %bb.2(0x04000000)135 136 ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp137 $x0 = ADDXri %stack.0.p, 0, 0138 BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $w0139 ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp140 TBNZW killed renamable $w0, 0, %bb.1141 B %bb.2142 143 bb.2.exit:144 RET_ReallyLR145 146...147