[llvm-branch-commits] [llvm] 9477268 - [AArch64] Add test for #70207 (NFC)

[Tobias Hieta via llvm-branch-commits]

Author: Nikita Popov
Date: 2023-10-31T09:00:30+01:00
New Revision: 9477268e4247c7689b8252659151837f9e11b9d0

URL: https://github.com/llvm/llvm-project/commit/9477268e4247c7689b8252659151837f9e11b9d0
DIFF: https://github.com/llvm/llvm-project/commit/9477268e4247c7689b8252659151837f9e11b9d0.diff

LOG: [AArch64] Add test for #70207 (NFC)

(cherry picked from commit d9cfb82207035fc7382ad02ec827c0dbed96565c)

Added: 
    llvm/test/CodeGen/AArch64/GlobalISel/call-lowering-tail-call-fallback.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/AArch64/GlobalISel/call-lowering-tail-call-fallback.ll b/llvm/test/CodeGen/AArch64/GlobalISel/call-lowering-tail-call-fallback.ll
new file mode 100644
index 000000000000000..fc6eefb4016b66d
--- /dev/null
+++ b/llvm/test/CodeGen/AArch64/GlobalISel/call-lowering-tail-call-fallback.ll
@@ -0,0 +1,33 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3
+; RUN: llc -mtriple=aarch64-unknown-linux-gnu -global-isel < %s | FileCheck %s
+
+declare void @func(i64, i64, i64, i64, i64, i128, i128)
+
+; FIXME: This is a miscompile.
+; Make sure the check for whether a tail call is allowed does not affect the
+; calling convention if it fails.
+; The first i128 argument should be passed in registers, not on the stack.
+define void @pr70207(i128 %arg1, i128 %arg2) nounwind {
+; CHECK-LABEL: pr70207:
+; CHECK:       // %bb.0:
+; CHECK-NEXT:    sub sp, sp, #64
+; CHECK-NEXT:    mov x6, x0
+; CHECK-NEXT:    mov x8, x1
+; CHECK-NEXT:    mov x9, x2
+; CHECK-NEXT:    mov x10, x3
+; CHECK-NEXT:    mov x0, xzr
+; CHECK-NEXT:    mov x1, xzr
+; CHECK-NEXT:    mov x2, xzr
+; CHECK-NEXT:    mov x3, xzr
+; CHECK-NEXT:    mov x4, xzr
+; CHECK-NEXT:    str x30, [sp, #48] // 8-byte Folded Spill
+; CHECK-NEXT:    str x8, [sp]
+; CHECK-NEXT:    str x9, [sp, #16]
+; CHECK-NEXT:    str x10, [sp, #32]
+; CHECK-NEXT:    bl func
+; CHECK-NEXT:    ldr x30, [sp, #48] // 8-byte Folded Reload
+; CHECK-NEXT:    add sp, sp, #64
+; CHECK-NEXT:    ret
+  tail call void @func(i64 0, i64 0, i64 0, i64 0, i64 0, i128 %arg1, i128 %arg2)
+  ret void
+}