70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2; RUN: llc -global-isel -mtriple=arm64-windows -stop-after=irtranslator -o - %s | FileCheck %s3 4define void @local_escape() {5 ; CHECK-LABEL: name: local_escape6 ; CHECK: bb.1 (%ir-block.0):7 ; CHECK-NEXT: LOCAL_ESCAPE <mcsymbol .Llocal_escape$frame_escape_1>, %stack.1.b8 ; CHECK-NEXT: LOCAL_ESCAPE <mcsymbol .Llocal_escape$frame_escape_0>, %stack.0.a9 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4210 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1311 ; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.a12 ; CHECK-NEXT: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.1.b13 ; CHECK-NEXT: G_STORE [[C]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %ir.a)14 ; CHECK-NEXT: G_STORE [[C1]](s32), [[FRAME_INDEX1]](p0) :: (store (s32) into %ir.b)15 ; CHECK-NEXT: RET_ReallyLR16 %a = alloca i3217 %b = alloca i32, i32 218 call void (...) @llvm.localescape(ptr %a, ptr %b)19 store i32 42, ptr %a20 store i32 13, ptr %b21 ret void22}23 24; Try some instructions before the localescape, and use a null25define void @local_escape_insert_point() {26 ; CHECK-LABEL: name: local_escape_insert_point27 ; CHECK: bb.1 (%ir-block.0):28 ; CHECK-NEXT: LOCAL_ESCAPE <mcsymbol .Llocal_escape_insert_point$frame_escape_2>, %stack.1.b29 ; CHECK-NEXT: LOCAL_ESCAPE <mcsymbol .Llocal_escape_insert_point$frame_escape_0>, %stack.0.a30 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4231 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1332 ; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.a33 ; CHECK-NEXT: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.1.b34 ; CHECK-NEXT: G_STORE [[C]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %ir.a)35 ; CHECK-NEXT: G_STORE [[C1]](s32), [[FRAME_INDEX1]](p0) :: (store (s32) into %ir.b)36 ; CHECK-NEXT: RET_ReallyLR37 %a = alloca i3238 %b = alloca i32, i32 239 store i32 42, ptr %a40 store i32 13, ptr %b41 call void (...) @llvm.localescape(ptr %a, ptr null, ptr %b)42 ret void43}44 45declare void @foo(ptr)46 47; Check a cast of an alloca48define void @local_escape_strip_ptr_cast() {49 ; CHECK-LABEL: name: local_escape_strip_ptr_cast50 ; CHECK: bb.1 (%ir-block.0):51 ; CHECK-NEXT: LOCAL_ESCAPE <mcsymbol .Llocal_escape_strip_ptr_cast$frame_escape_0>, %stack.0.a52 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4253 ; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.a54 ; CHECK-NEXT: G_STORE [[C]](s32), [[FRAME_INDEX]](p0) :: (store (s32) into %ir.a)55 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp56 ; CHECK-NEXT: $x0 = COPY [[FRAME_INDEX]](p0)57 ; CHECK-NEXT: BL @foo, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $x058 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp59 ; CHECK-NEXT: RET_ReallyLR60 %a = alloca [128 x i32]61 store i32 42, ptr %a62 call void (...) @llvm.localescape(ptr %a, ptr null)63 call void @foo(ptr %a)64 ret void65}66 67declare void @llvm.localescape(...) #068 69attributes #0 = { nounwind }70