mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 12:12:47 +01:00
5efe040582
Initialize all AArch64-specific passes in the TargetMachine so they can be run by llc. This can lead to conflicts in opt with some command line options that share the same name as the pass, so I took this opportunity to do some cleanups: * rename all relevant command line options from "aarch64-blah" to "aarch64-enable-blah" and update the tests accordingly * run clang-format on their declarations * move all these declarations to a common place (the TargetMachine) as opposed to having them scattered around (AArch64BranchRelaxation and AArch64AddressTypePromotion were the only offenders) llvm-svn: 277322
107 lines
3.4 KiB
LLVM
107 lines
3.4 KiB
LLVM
; RUN: llc < %s -mtriple arm64-apple-darwin -aarch64-enable-ldst-opt=false -asm-verbose=false -disable-post-ra | FileCheck %s
|
|
; Disable the load/store optimizer to avoid having LDP/STPs and simplify checks.
|
|
|
|
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
|
|
|
; Check that we don't try to tail-call with a non-forwarded sret parameter.
|
|
declare void @test_explicit_sret(i1024* sret) #0
|
|
|
|
; This is the only OK case, where we forward the explicit sret pointer.
|
|
|
|
; CHECK-LABEL: _test_tailcall_explicit_sret:
|
|
; CHECK-NEXT: b _test_explicit_sret
|
|
define void @test_tailcall_explicit_sret(i1024* sret %arg) #0 {
|
|
tail call void @test_explicit_sret(i1024* %arg)
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _test_call_explicit_sret:
|
|
; CHECK-NOT: mov x8
|
|
; CHECK: bl _test_explicit_sret
|
|
; CHECK: ret
|
|
define void @test_call_explicit_sret(i1024* sret %arg) #0 {
|
|
call void @test_explicit_sret(i1024* %arg)
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _test_tailcall_explicit_sret_alloca_unused:
|
|
; CHECK: mov x8, sp
|
|
; CHECK-NEXT: bl _test_explicit_sret
|
|
; CHECK: ret
|
|
define void @test_tailcall_explicit_sret_alloca_unused() #0 {
|
|
%l = alloca i1024, align 8
|
|
tail call void @test_explicit_sret(i1024* %l)
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _test_tailcall_explicit_sret_alloca_dummyusers:
|
|
; CHECK: ldr [[PTRLOAD1:x[0-9]+]], [x0]
|
|
; CHECK: str [[PTRLOAD1]], [sp]
|
|
; CHECK: mov x8, sp
|
|
; CHECK-NEXT: bl _test_explicit_sret
|
|
; CHECK: ret
|
|
define void @test_tailcall_explicit_sret_alloca_dummyusers(i1024* %ptr) #0 {
|
|
%l = alloca i1024, align 8
|
|
%r = load i1024, i1024* %ptr, align 8
|
|
store i1024 %r, i1024* %l, align 8
|
|
tail call void @test_explicit_sret(i1024* %l)
|
|
ret void
|
|
}
|
|
|
|
; This is too conservative, but doesn't really happen in practice.
|
|
|
|
; CHECK-LABEL: _test_tailcall_explicit_sret_gep:
|
|
; CHECK: add x8, x0, #128
|
|
; CHECK-NEXT: bl _test_explicit_sret
|
|
; CHECK: ret
|
|
define void @test_tailcall_explicit_sret_gep(i1024* %ptr) #0 {
|
|
%ptr2 = getelementptr i1024, i1024* %ptr, i32 1
|
|
tail call void @test_explicit_sret(i1024* %ptr2)
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _test_tailcall_explicit_sret_alloca_returned:
|
|
; CHECK: mov x[[CALLERX8NUM:[0-9]+]], x8
|
|
; CHECK: mov x8, sp
|
|
; CHECK-NEXT: bl _test_explicit_sret
|
|
; CHECK-NEXT: ldr [[CALLERSRET1:x[0-9]+]], [sp]
|
|
; CHECK: str [[CALLERSRET1:x[0-9]+]], [x[[CALLERX8NUM]]]
|
|
; CHECK: ret
|
|
define i1024 @test_tailcall_explicit_sret_alloca_returned() #0 {
|
|
%l = alloca i1024, align 8
|
|
tail call void @test_explicit_sret(i1024* %l)
|
|
%r = load i1024, i1024* %l, align 8
|
|
ret i1024 %r
|
|
}
|
|
|
|
; CHECK-LABEL: _test_indirect_tailcall_explicit_sret_nosret_arg:
|
|
; CHECK-DAG: mov x[[CALLERX8NUM:[0-9]+]], x8
|
|
; CHECK-DAG: mov [[FPTR:x[0-9]+]], x0
|
|
; CHECK: mov x0, sp
|
|
; CHECK-NEXT: blr [[FPTR]]
|
|
; CHECK-NEXT: ldr [[CALLERSRET1:x[0-9]+]], [sp]
|
|
; CHECK: str [[CALLERSRET1:x[0-9]+]], [x[[CALLERX8NUM]]]
|
|
; CHECK: ret
|
|
define void @test_indirect_tailcall_explicit_sret_nosret_arg(i1024* sret %arg, void (i1024*)* %f) #0 {
|
|
%l = alloca i1024, align 8
|
|
tail call void %f(i1024* %l)
|
|
%r = load i1024, i1024* %l, align 8
|
|
store i1024 %r, i1024* %arg, align 8
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _test_indirect_tailcall_explicit_sret_:
|
|
; CHECK: mov x[[CALLERX8NUM:[0-9]+]], x8
|
|
; CHECK: mov x8, sp
|
|
; CHECK-NEXT: blr x0
|
|
; CHECK-NEXT: ldr [[CALLERSRET1:x[0-9]+]], [sp]
|
|
; CHECK: str [[CALLERSRET1:x[0-9]+]], [x[[CALLERX8NUM]]]
|
|
; CHECK: ret
|
|
define void @test_indirect_tailcall_explicit_sret_(i1024* sret %arg, i1024 ()* %f) #0 {
|
|
%ret = tail call i1024 %f()
|
|
store i1024 %ret, i1024* %arg, align 8
|
|
ret void
|
|
}
|
|
|
|
attributes #0 = { nounwind }
|