[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