72 lines · plain
1; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s2; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu -frame-pointer=all | FileCheck -check-prefix CHECK-WITHFP-ARM64 %s3 4; Make sure a reasonably sane prologue and epilogue are5; generated. This test is not robust in the face of an frame-handling6; evolving, but still has value for unrelated changes, I7; believe.8;9; In particular, it will fail when ldp/stp are used for frame setup,10; when FP-elim is implemented, and when addressing from FP is11; implemented.12 13@var = global i64 014@local_addr = global ptr null15 16declare void @foo()17 18define void @trivial_func() nounwind {19; CHECK-LABEL: trivial_func: // @trivial_func20; CHECK-NEXT: // %bb.021; CHECK-NEXT: ret22 23 ret void24}25 26define void @trivial_fp_func() uwtable {27; CHECK-LABEL: trivial_fp_func:28; CHECK: str x30, [sp, #-16]!29; CHECK-NOT: mov x29, sp30 31; CHECK-WITHFP-ARM64-LABEL: trivial_fp_func:32; CHECK-WITHFP-ARM64: stp x29, x30, [sp, #-16]!33; CHECK-WITHFP-ARM64-NEXT: .cfi_def_cfa_offset 1634; CHECK-WITHFP-ARM64-NEXT: mov x29, sp35; CHECK-WITHFP-ARM64-NEXT: .cfi_def_cfa w29, 1636; CHECK-WITHFP-ARM64-NEXT: .cfi_offset w30, -837; CHECK-WITHFP-ARM64-NEXT: .cfi_offset w29, -1638 39; Dont't really care, but it would be a Bad Thing if this came after the epilogue.40; CHECK-WITHFP-ARM64: bl foo41; CHECK: bl foo42 call void @foo()43 ret void44 45; CHECK: ldr x30, [sp], #1646; CHECK-NEXT: .cfi_def_cfa_offset 047; CHECK-NEXT: .cfi_restore w3048; CHECK-NEXT: ret49 50; CHECK-WITHFP-ARM64: .cfi_def_cfa wsp, 1651; CHECK-WITHFP-ARM64-NEXT: ldp x29, x30, [sp], #1652; CHECK-WITHFP-ARM64-NEXT: .cfi_def_cfa_offset 053; CHECK-WITHFP-ARM64-NEXT: .cfi_restore w3054; CHECK-WITHFP-ARM64-NEXT: .cfi_restore w2955; CHECK-WITHFP-ARM64-NEXT: ret56}57 58define void @stack_local() {59 %local_var = alloca i6460; CHECK-LABEL: stack_local:61; CHECK: sub sp, sp, #1662 63 %val = load i64, ptr @var64 store i64 %val, ptr %local_var65; CHECK-DAG: str {{x[0-9]+}}, [sp, #{{[0-9]+}}]66 67 store ptr %local_var, ptr @local_addr68; CHECK-DAG: add {{x[0-9]+}}, sp, #{{[0-9]+}}69 70 ret void71}72