Vendor import of llvm trunk r305575: - src

diff options


context:
space:
mode:

author	Dimitry Andric <dim@FreeBSD.org>	2017-06-16 21:03:24 +0000
committer	Dimitry Andric <dim@FreeBSD.org>	2017-06-16 21:03:24 +0000
commit	7c7aba6e5fef47a01a136be655b0a92cfd7090f6 (patch)
tree	99ec531924f6078534b100ab9d7696abce848099 /test/CodeGen/AArch64/fast-isel-sp-adjust.ll
parent	7ab83427af0f77b59941ceba41d509d7d097b065 (diff)

vendor/llvm/llvm-trunk-r305575

Notes

Diffstat (limited to 'test/CodeGen/AArch64/fast-isel-sp-adjust.ll')

-rw-r--r--

test/CodeGen/AArch64/fast-isel-sp-adjust.ll

288

1 files changed, 288 insertions, 0 deletions

diff --git a/test/CodeGen/AArch64/fast-isel-sp-adjust.ll b/test/CodeGen/AArch64/fast-isel-sp-adjust.ll
new file mode 100644
index 000000000000..9201d1be6a9c
--- /dev/null
+++ b/test/CodeGen/AArch64/fast-isel-sp-adjust.ll

@@ -0,0 +1,288 @@

+; RUN: llc -O0 -mtriple=aarch64-apple-ios -o - %s | FileCheck %s

+; RUN: not llc -O0 -mtriple=aarch64-apple-ios -o /dev/null -fast-isel-abort=3 %s 2> %t

+; RUN: FileCheck %s --check-prefix=CHECK-ERRORS < %t

+; The issue here is that FastISel cannot emit an ADDrr where one of the inputs

+; is SP. This only ever crops up with function calls, and then only if the

+; argument is at an offset > 2^12 * size from SP.

+; If FastISel ever starts coping with this and emits an "add xD, sp, xM" it's

+; critical to check the encoding as well as the textual assembly. An ADDXrs with

+; SP as an operand will still print with SP, but will actually mean XZR.

+; CHECK-ERRORS: LLVM ERROR: FastISel missed call

+; CHECK-LABEL: foo:

+; CHECK-DAG: mov x[[SP:[0-9]+]], sp

+; CHECK-DAG: mov [[TMP:w[0-9]+]], #4104

+; CHECK: mov w[[OFFSET:[0-9]+]], [[TMP]]

+; CHECK: strb w0, [x[[SP]], x[[OFFSET]]]

+define void @foo(i8 %in) {

+ call void @bar(i64 undef, i64 undef, i64 undef, i64 undef,

+ i64 undef, i64 undef, i64 undef, i64 undef, ; All regs gone.

+ i64 undef, i64 undef, i64 undef, i64 undef, ; sp + 32

+ i64 undef, i64 undef, i64 undef, i64 undef, ; sp + 64