58 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52; RUN: llc -stop-after=prologepilog -simplify-mir -o - %s | FileCheck %s3target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"4target triple = "arm64e-apple-ios18.0"5 6declare void @spam()7; This test checks that the live-in flags for LR are correctly set when LR is reserved, but live for a call.8define i32 @check_lr_liveness(ptr %arg) #1 {9 ; CHECK-LABEL: name: check_lr_liveness10 ; CHECK: bb.0.bb:11 ; CHECK-NEXT: successors: %bb.4(0x20000000), %bb.1(0x60000000)12 ; CHECK-NEXT: liveins: $x0, $lr13 ; CHECK-NEXT: {{ $}}14 ; CHECK-NEXT: renamable $x8 = COPY $x015 ; CHECK-NEXT: renamable $w0 = MOVi32imm -53687020616 ; CHECK-NEXT: CBNZX killed renamable $x8, %bb.117 ; CHECK-NEXT: {{ $}}18 ; CHECK-NEXT: bb.4:19 ; CHECK-NEXT: liveins: $w0, $lr20 ; CHECK-NEXT: {{ $}}21 ; CHECK-NEXT: B %bb.322 ; CHECK-NEXT: {{ $}}23 ; CHECK-NEXT: bb.1.bb:24 ; CHECK-NEXT: successors: %bb.3(0x2aaaaaab), %bb.2(0x55555555)25 ; CHECK-NEXT: liveins: $w0, $lr26 ; CHECK-NEXT: {{ $}}27 ; CHECK-NEXT: CBNZW $wzr, %bb.328 ; CHECK-NEXT: B %bb.229 ; CHECK-NEXT: {{ $}}30 ; CHECK-NEXT: bb.2.bb1:31 ; CHECK-NEXT: liveins: $lr32 ; CHECK-NEXT: {{ $}}33 ; CHECK-NEXT: early-clobber $sp = frame-setup STPXpre killed $fp, killed $lr, $sp, -2 :: (store (s64) into %stack.1), (store (s64) into %stack.0)34 ; CHECK-NEXT: BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp35 ; CHECK-NEXT: renamable $w0 = COPY $wzr36 ; CHECK-NEXT: early-clobber $sp, $fp, $lr = frame-destroy LDPXpost $sp, 2 :: (load (s64) from %stack.1), (load (s64) from %stack.0)37 ; CHECK-NEXT: {{ $}}38 ; CHECK-NEXT: bb.3.bb2:39 ; CHECK-NEXT: liveins: $w0, $lr40 ; CHECK-NEXT: {{ $}}41 ; CHECK-NEXT: RET_ReallyLR implicit $w042bb:43 %icmp = icmp eq ptr %arg, null44 %or = or i1 %icmp, false45 br i1 %or, label %bb2, label %bb146 47bb1: ; preds = %bb48 call void @spam()49 br label %bb250 51bb2: ; preds = %bb1, %bb52 %phi = phi i32 [ -536870206, %bb ], [ 0, %bb1 ]53 ret i32 %phi54}55 56attributes #1 = { minsize nounwind "target-features"="+aes,+crc,+fp-armv8,+fullfp16,+lse,+neon,+ras,+rcpc,+rdm,+reserve-lr-for-ra,+sha2,+v8.1a,+v8.2a,+v8.3a,+v8a" }57 58