diff --git a/artiq/test/lit/embedding/syscall_flags.py b/artiq/test/lit/embedding/syscall_flags.py new file mode 100644 index 000000000..aa4398fc7 --- /dev/null +++ b/artiq/test/lit/embedding/syscall_flags.py @@ -0,0 +1,18 @@ +# 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 * + +# CHECK: call void @foo\(\), !dbg !\d+, !tbaa !\d+ + +# CHECK-L: ; Function Attrs: nounwind +# CHECK-NEXT-L: declare void @foo() + +@syscall("foo", flags={"nounwind", "nowrite"}) +def foo() -> TNone: + pass + +@kernel +def entrypoint(): + foo()