[llvm] Extend MemoryEffects to Support Target-Specific Memory Locations (PR #148650)

Paul Walker via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 24 07:16:57 PDT 2025


================
@@ -78,3 +78,28 @@ declare void @fn_argmem_read_inaccessiblemem_write()
 ; CHECK: @fn_argmem_read_inaccessiblemem_write_reordered()
 declare void @fn_argmem_read_inaccessiblemem_write_reordered()
     memory(inaccessiblemem: write, argmem: read)
+
+; CHECK: Function Attrs: memory(target_mem1: write)
+; CHECK: @fn_inaccessiblemem_write_mem_target1()
+declare void @fn_inaccessiblemem_write_mem_target1()
+    memory(target_mem1: write)
+
+; CHECK: Function Attrs: memory(target_mem1: read)
+; CHECK: @fn_inaccessiblemem_read_mem_target1()
+declare void @fn_inaccessiblemem_read_mem_target1()
+    memory(target_mem1: read)
----------------
paulwalker-arm wrote:

For my OCD brain, can the mem1 tests come after the mem0 ones :)

https://github.com/llvm/llvm-project/pull/148650


More information about the llvm-commits mailing list