From c6039479e47e56743657355184c5f249e5137743 Mon Sep 17 00:00:00 2001
From: David Nadlinger <code@klickverbot.at>
Date: Sat, 27 Nov 2021 04:43:52 +0000
Subject: [PATCH] compiler: Add lit test for call site attributes [nfc]

---
 artiq/test/lit/embedding/syscall_arg_attrs.py | 30 +++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 artiq/test/lit/embedding/syscall_arg_attrs.py

diff --git a/artiq/test/lit/embedding/syscall_arg_attrs.py b/artiq/test/lit/embedding/syscall_arg_attrs.py
new file mode 100644
index 000000000..67207dc32
--- /dev/null
+++ b/artiq/test/lit/embedding/syscall_arg_attrs.py
@@ -0,0 +1,30 @@
+# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s
+# RUN: OutputCheck %s --file-to-check=%t.ll
+
+from artiq.language.core import *
+from artiq.language.types import *
+
+# Make sure `byval` and `sret` are specified both at the call site and the
+# declaration. This isn't caught by the LLVM IR validator, but mismatches
+# lead to miscompilations (at least in LLVM 11).
+
+
+@kernel
+def entrypoint():
+    # CHECK: call void @accept_str\({ i8\*, i32 }\* nonnull byval
+    accept_str("foo")
+
+    # CHECK: call void @return_str\({ i8\*, i32 }\* nonnull sret
+    return_str()
+
+
+# CHECK: declare void @accept_str\({ i8\*, i32 }\* byval\)
+@syscall
+def accept_str(name: TStr) -> TNone:
+    pass
+
+
+# CHECK: declare void @return_str\({ i8\*, i32 }\* sret\)
+@syscall
+def return_str() -> TStr:
+    pass