diff options
Diffstat (limited to 'test/CodeGen/AArch64/alloca.ll')
| -rw-r--r-- | test/CodeGen/AArch64/alloca.ll | 170 |
1 files changed, 0 insertions, 170 deletions
diff --git a/test/CodeGen/AArch64/alloca.ll b/test/CodeGen/AArch64/alloca.ll deleted file mode 100644 index ab7a631dc248..000000000000 --- a/test/CodeGen/AArch64/alloca.ll +++ /dev/null @@ -1,170 +0,0 @@ -; RUN: llc -mtriple=aarch64-linux-gnu -disable-post-ra -verify-machineinstrs -o - %s | FileCheck %s -; RUN: llc -mtriple=arm64-apple-ios -disable-post-ra -verify-machineinstrs -o - %s | FileCheck %s --check-prefix=CHECK-MACHO -; RUN: llc -mtriple=aarch64-none-linux-gnu -disable-post-ra -mattr=-fp-armv8 -verify-machineinstrs < %s | FileCheck --check-prefix=CHECK-NOFP-ARM64 %s - -declare void @use_addr(i8*) - -define void @test_simple_alloca(i64 %n) { -; CHECK-LABEL: test_simple_alloca: - - %buf = alloca i8, i64 %n - ; Make sure we align the stack change to 16 bytes: -; CHECK: {{mov|add}} x29 -; CHECK: mov [[TMP:x[0-9]+]], sp -; CHECK: add [[SPDELTA_TMP:x[0-9]+]], x0, #15 -; CHECK: and [[SPDELTA:x[0-9]+]], [[SPDELTA_TMP]], #0xfffffffffffffff0 - - ; Make sure we change SP. It would be surprising if anything but x0 were used - ; for the final sp, but it could be if it was then moved into x0. -; CHECK: sub [[NEWSP:x[0-9]+]], [[TMP]], [[SPDELTA]] -; CHECK: mov sp, [[NEWSP]] - - call void @use_addr(i8* %buf) -; CHECK: bl use_addr - - ret void - ; Make sure epilogue restores sp from fp -; CHECK: {{sub|mov}} sp, x29 -; CHECK: ret -} - -declare void @use_addr_loc(i8*, i64*) - -define i64 @test_alloca_with_local(i64 %n) { -; CHECK-LABEL: test_alloca_with_local: -; CHECK-DAG: sub sp, sp, [[LOCAL_STACK:#[0-9]+]] -; CHECK-DAG: {{mov|add}} x29, sp - - %loc = alloca i64 - %buf = alloca i8, i64 %n - ; Make sure we align the stack change to 16 bytes: -; CHECK: mov [[TMP:x[0-9]+]], sp -; CHECK: add [[SPDELTA_TMP:x[0-9]+]], x0, #15 -; CHECK: and [[SPDELTA:x[0-9]+]], [[SPDELTA_TMP]], #0xfffffffffffffff0 - - ; Make sure we change SP. It would be surprising if anything but x0 were used - ; for the final sp, but it could be if it was then moved into x0. -; CHECK: sub [[NEWSP:x[0-9]+]], [[TMP]], [[SPDELTA]] -; CHECK: mov sp, [[NEWSP]] - -; CHECK: sub {{x[0-9]+}}, x29, #[[LOC_FROM_FP:[0-9]+]] - - call void @use_addr_loc(i8* %buf, i64* %loc) -; CHECK: bl use_addr - - %val = load i64, i64* %loc - -; CHECK: ldur x0, [x29, #-[[LOC_FROM_FP]]] - - ret i64 %val - ; Make sure epilogue restores sp from fp -; CHECK: {{sub|mov}} sp, x29 -; CHECK: ret -} - -define void @test_variadic_alloca(i64 %n, ...) { -; CHECK-LABEL: test_variadic_alloca: - -; [...] - - -; CHECK-NOFP-AARCH64: sub sp, sp, #80 -; CHECK-NOFP-AARCH64: stp x29, x30, [sp, #64] -; CHECK-NOFP-AARCH64: add x29, sp, #64 -; CHECK-NOFP-AARCH64: sub [[TMP:x[0-9]+]], x29, #64 -; CHECK-NOFP-AARCH64: add x8, [[TMP]], #0 - - -; CHECK: stp x29, x30, [sp, #-16]! -; CHECK: mov x29, sp -; CHECK: sub sp, sp, #192 -; CHECK: stp q6, q7, [x29, #-96] -; [...] -; CHECK: stp q0, q1, [x29, #-192] - -; CHECK: stp x6, x7, [x29, #-16] -; [...] -; CHECK: stp x2, x3, [x29, #-48] - -; CHECK-NOFP-ARM64: stp x29, x30, [sp, #-16]! -; CHECK-NOFP-ARM64: mov x29, sp -; CHECK-NOFP-ARM64: sub sp, sp, #64 -; CHECK-NOFP-ARM64: stp x6, x7, [x29, #-16] -; [...] -; CHECK-NOFP-ARM64: stp x4, x5, [x29, #-32] -; [...] -; CHECK-NOFP-ARM64: stp x2, x3, [x29, #-48] -; [...] -; CHECK-NOFP-ARM64: mov x8, sp - - %addr = alloca i8, i64 %n - - call void @use_addr(i8* %addr) -; CHECK: bl use_addr - - ret void - -; CHECK-NOFP-AARCH64: sub sp, x29, #64 -; CHECK-NOFP-AARCH64: ldp x29, x30, [sp, #64] -; CHECK-NOFP-AARCH64: add sp, sp, #80 - -; CHECK-NOFP-ARM64: mov sp, x29 -; CHECK-NOFP-ARM64: ldp x29, x30, [sp], #16 -} - -define void @test_alloca_large_frame(i64 %n) { -; CHECK-LABEL: test_alloca_large_frame: -; CHECK-MACHO-LABEL: test_alloca_large_frame: - - -; CHECK: stp x28, x19, [sp, #-32]! -; CHECK: stp x29, x30, [sp, #16] -; CHECK: add x29, sp, #16 -; CHECK: sub sp, sp, #1953, lsl #12 -; CHECK: sub sp, sp, #512 - -; CHECK-MACHO: stp x20, x19, [sp, #-32]! -; CHECK-MACHO: stp x29, x30, [sp, #16] -; CHECK-MACHO: add x29, sp, #16 -; CHECK-MACHO: sub sp, sp, #1953, lsl #12 -; CHECK-MACHO: sub sp, sp, #512 - - %addr1 = alloca i8, i64 %n - %addr2 = alloca i64, i64 1000000 - - call void @use_addr_loc(i8* %addr1, i64* %addr2) - - ret void - -; CHECK: sub sp, x29, #16 -; CHECK: ldp x29, x30, [sp, #16] -; CHECK: ldp x28, x19, [sp], #32 - -; CHECK-MACHO: sub sp, x29, #16 -; CHECK-MACHO: ldp x29, x30, [sp, #16] -; CHECK-MACHO: ldp x20, x19, [sp], #32 -} - -declare i8* @llvm.stacksave() -declare void @llvm.stackrestore(i8*) - -define void @test_scoped_alloca(i64 %n) { -; CHECK-LABEL: test_scoped_alloca: - - %sp = call i8* @llvm.stacksave() -; CHECK: mov [[SAVED_SP:x[0-9]+]], sp -; CHECK: mov [[OLDSP:x[0-9]+]], sp - - %addr = alloca i8, i64 %n -; CHECK: and [[SPDELTA:x[0-9]+]], {{x[0-9]+}}, #0xfffffffffffffff0 -; CHECK-DAG: sub [[NEWSP:x[0-9]+]], [[OLDSP]], [[SPDELTA]] -; CHECK: mov sp, [[NEWSP]] - - call void @use_addr(i8* %addr) -; CHECK: bl use_addr - - call void @llvm.stackrestore(i8* %sp) -; CHECK: mov sp, [[SAVED_SP]] - - ret void -} |
