================
@@ -0,0 +1,51 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
UTC_ARGS: --version 6
+; RUN: opt -S -mtriple=x86_64-unknown-linux-gnu -inline-asm-prepare < %s |
FileCheck %s
+
+define void @test1(i32 %x) {
+; CHECK-LABEL: define void @test1(
+; CHECK-SAME: i32 [[X:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[ASM_MEM:%.*]] = alloca i32, align 4
+; CHECK-NEXT: store i32 [[X]], ptr [[ASM_MEM]], align 4
+; CHECK-NEXT: [[TMP0:%.*]] = call i32 asm sideeffect "mov $1, $0",
"=r,rm,~{dirflag},~{fpsr},~{flags}"(ptr [[ASM_MEM]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %0 = call i32 asm sideeffect "mov $1, $0",
"=r,rm,~{dirflag},~{fpsr},~{flags}"(i32 %x)
+ ret void
+}
+
+define void @test2(ptr %p) {
+; CHECK-LABEL: define void @test2(
+; CHECK-SAME: ptr [[P:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[ASM_MEM:%.*]] = alloca i32, align 4
+; CHECK-NEXT: call void asm sideeffect "mov $1, $0",
"=*rm,~{dirflag},~{fpsr},~{flags}"(ptr elementtype(i32) [[ASM_MEM]])
+; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[ASM_MEM]], align 4
+; CHECK-NEXT: store i32 [[TMP0]], ptr [[P]], align 4
+; CHECK-NEXT: ret void
+;
+entry:
+ %0 = call i32 asm sideeffect "mov $1, $0",
"=rm,~{dirflag},~{fpsr},~{flags}"()
----------------
bwendling wrote:
It's meant to test that the output will use memory during `-O2`. That's
indicated by the `'*'` before the `rm` in the IR code. So I think Claude might
be mistaken here, unless you think it should be different...
https://github.com/llvm/llvm-project/pull/181973
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
