109 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 -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: ; preds = %entry13 %0 = icmp sle i32 %n, 114 %v = select i1 %0, i32 0, i32 115 call void @g(ptr %a, i32 %v)16 br label %exit17 18 exit: ; preds = %if.then1, %entry19 ret void20 }21 22 declare void @g(...)23 24 attributes #0 = { nounwind "probe-stack"="inline-asm" "stack-probe-size"="4096" }25 26...27---28name: f29alignment: 430tracksRegLiveness: true31liveins:32 - { reg: '$w0', virtual-reg: '' }33frameInfo:34 adjustsStack: true35 localFrameSize: 15000036stack:37 - { id: 0, name: a, type: default, offset: 0, size: 150000, alignment: 8,38 stack-id: default, callee-saved-register: '', callee-saved-restored: true,39 local-offset: -150000, debug-info-variable: '', debug-info-expression: '',40 debug-info-location: '' }41entry_values: []42callSites: []43debugValueSubstitutions: []44constants: []45machineFunctionInfo: {}46body: |47 ; CHECK-LABEL: name: f48 ; CHECK: bb.0.entry:49 ; CHECK-NEXT: successors: %bb.3(0x80000000)50 ; CHECK-NEXT: liveins: $w0, $lr51 ; CHECK-NEXT: {{ $}}52 ; CHECK-NEXT: early-clobber $sp = frame-setup STPXpre killed $fp, killed $lr, $sp, -2 :: (store (s64) into %stack.2), (store (s64) into %stack.1)53 ; CHECK-NEXT: $x9 = frame-setup SUBXri $sp, 36, 1254 ; CHECK-NEXT: {{ $}}55 ; CHECK-NEXT: bb.3.entry:56 ; CHECK-NEXT: successors: %bb.4(0x40000000), %bb.3(0x40000000)57 ; CHECK-NEXT: liveins: $w0, $x958 ; CHECK-NEXT: {{ $}}59 ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 1, 1260 ; CHECK-NEXT: frame-setup STRXui $xzr, $sp, 061 ; CHECK-NEXT: $xzr = frame-setup SUBSXrx64 $sp, $x9, 24, implicit-def $nzcv62 ; CHECK-NEXT: frame-setup Bcc 1, %bb.3, implicit $nzcv63 ; CHECK-NEXT: {{ $}}64 ; CHECK-NEXT: bb.4.entry:65 ; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000)66 ; CHECK-NEXT: liveins: $w067 ; CHECK-NEXT: {{ $}}68 ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 2544, 069 ; CHECK-NEXT: frame-setup STRXui $xzr, $sp, 070 ; CHECK-NEXT: dead $wzr = SUBSWri killed renamable $w0, 1, 0, implicit-def $nzcv71 ; CHECK-NEXT: Bcc 12, %bb.2, implicit $nzcv72 ; CHECK-NEXT: B %bb.173 ; CHECK-NEXT: {{ $}}74 ; CHECK-NEXT: bb.1.if.then1:75 ; CHECK-NEXT: successors: %bb.2(0x80000000)76 ; CHECK-NEXT: liveins: $nzcv77 ; CHECK-NEXT: {{ $}}78 ; CHECK-NEXT: renamable $w1 = CSINCWr $wzr, $wzr, 13, implicit killed $nzcv79 ; CHECK-NEXT: $x0 = ADDXri $sp, 0, 080 ; CHECK-NEXT: BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit $w1, implicit-def $sp81 ; CHECK-NEXT: {{ $}}82 ; CHECK-NEXT: bb.2.exit:83 ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 36, 1284 ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 2544, 085 ; CHECK-NEXT: early-clobber $sp, $fp, $lr = frame-destroy LDPXpost $sp, 2 :: (load (s64) from %stack.2), (load (s64) from %stack.1)86 ; CHECK-NEXT: RET_ReallyLR87 bb.0.entry:88 successors: %bb.1(0x40000000), %bb.2(0x40000000)89 liveins: $w090 91 dead $wzr = SUBSWri killed renamable $w0, 1, 0, implicit-def $nzcv92 Bcc 12, %bb.2, implicit $nzcv93 B %bb.194 95 bb.1.if.then1:96 successors: %bb.2(0x80000000)97 liveins: $nzcv98 99 renamable $w1 = CSINCWr $wzr, $wzr, 13, implicit killed $nzcv100 ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp101 $x0 = ADDXri %stack.0.a, 0, 0102 BL @g, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit $w1, implicit-def $sp103 ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp104 105 bb.2.exit:106 RET_ReallyLR107 108...109