107 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 42# RUN: llc %s --start-before=shrink-wrap -stop-after=prologepilog -verify-machineinstrs -o - | FileCheck %s3--- |4 target triple = "aarch64-linux"5 6 define void @f(i32 %n) #0 {7 entry:8 %a = alloca i8, i32 150000, align 89 %c0 = icmp sle i32 %n, 110 br i1 %c0, label %if.then1, label %exit11 12 if.then1:13 call void @g(ptr %a)14 br label %exit15 16 exit:17 ret void18 }19 20 declare void @g(...)21 22 attributes #0 = { nounwind "probe-stack"="inline-asm" "stack-probe-size"="4096" }23 24...25---26name: f27alignment: 428tracksRegLiveness: true29liveins:30 - { reg: '$w0', virtual-reg: '' }31frameInfo:32 adjustsStack: true33 localFrameSize: 15000034stack:35 - { id: 0, name: a, type: default, offset: 0, size: 150000, alignment: 8,36 stack-id: default, callee-saved-register: '', callee-saved-restored: true,37 local-offset: -150000, debug-info-variable: '', debug-info-expression: '',38 debug-info-location: '' }39entry_values: []40callSites: []41debugValueSubstitutions: []42constants: []43machineFunctionInfo: {}44body: |45 ; CHECK-LABEL: name: f46 ; CHECK: bb.0.entry:47 ; CHECK-NEXT: successors: %bb.3(0x80000000)48 ; CHECK-NEXT: liveins: $w0, $lr49 ; CHECK-NEXT: {{ $}}50 ; CHECK-NEXT: early-clobber $sp = frame-setup STPXpre killed $fp, killed $lr, $sp, -2 :: (store (s64) into %stack.2), (store (s64) into %stack.1)51 ; CHECK-NEXT: $x9 = frame-setup SUBXri $sp, 36, 1252 ; CHECK-NEXT: {{ $}}53 ; CHECK-NEXT: bb.3.entry:54 ; CHECK-NEXT: successors: %bb.4(0x40000000), %bb.3(0x40000000)55 ; CHECK-NEXT: liveins: $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x16, $x17, $x18, $x19, $x20, $x21, $x22, $x23, $x25, $x27, $x2856 ; CHECK-NEXT: {{ $}}57 ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 1, 1258 ; CHECK-NEXT: frame-setup STRXui $xzr, $sp, 059 ; CHECK-NEXT: $xzr = frame-setup SUBSXrx64 $sp, $x9, 24, implicit-def $nzcv60 ; CHECK-NEXT: frame-setup Bcc 1, %bb.3, implicit $nzcv61 ; CHECK-NEXT: {{ $}}62 ; CHECK-NEXT: bb.4.entry:63 ; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000)64 ; CHECK-NEXT: liveins: $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x10, $x11, $x12, $x13, $x14, $x15, $x16, $x17, $x18, $x19, $x20, $x21, $x22, $x23, $x25, $x27, $x2865 ; CHECK-NEXT: {{ $}}66 ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 2544, 067 ; CHECK-NEXT: frame-setup STRXui $xzr, $sp, 068 ; CHECK-NEXT: $x9 = IMPLICIT_DEF69 ; CHECK-NEXT: dead $wzr = SUBSWri killed renamable $w0, 1, 0, implicit-def $nzcv70 ; CHECK-NEXT: Bcc 12, %bb.2, implicit $nzcv71 ; CHECK-NEXT: B %bb.172 ; CHECK-NEXT: {{ $}}73 ; CHECK-NEXT: bb.1.if.then1:74 ; CHECK-NEXT: successors: %bb.2(0x80000000)75 ; CHECK-NEXT: liveins: $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x16, $x17, $x18, $x19, $x20, $x21, $x22, $x23, $x23, $x25, $x25, $x27, $x2876 ; CHECK-NEXT: {{ $}}77 ; CHECK-NEXT: $x0 = ADDXri $sp, 0, 078 ; CHECK-NEXT: BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp79 ; CHECK-NEXT: {{ $}}80 ; CHECK-NEXT: bb.2.exit:81 ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 36, 1282 ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 2544, 083 ; CHECK-NEXT: early-clobber $sp, $fp, $lr = frame-destroy LDPXpost $sp, 2 :: (load (s64) from %stack.2), (load (s64) from %stack.1)84 ; CHECK-NEXT: RET_ReallyLR85 bb.0.entry:86 successors: %bb.1(0x40000000), %bb.2(0x40000000)87 liveins: $w088 89 $x9 = IMPLICIT_DEF90 dead $wzr = SUBSWri killed renamable $w0, 1, 0, implicit-def $nzcv91 Bcc 12, %bb.2, implicit $nzcv92 B %bb.193 94 bb.1.if.then1:95 successors: %bb.2(0x80000000)96 liveins: $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x16, $x17, $x18, $x19, $x20, $x21, $x22, $x23, $x23, $x25, $x25, $x27, $x2897 98 ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp99 $x0 = ADDXri %stack.0.a, 0, 0100 BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp101 ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp102 103 bb.2.exit:104 RET_ReallyLR105 106...107