[llvm] [AA] Refine ModRefInfo taking into account `errnomem` location (PR #157495)

Antonio Frighetto via llvm-commits llvm-commits at lists.llvm.org
Mon Sep 15 06:34:33 PDT 2025


================
@@ -17,7 +17,7 @@ define void @test() {
   ret void
 }
 
-declare void @writeonly_void() memory(write)
+declare void @writeonly_void() memory(write, errnomem: none)
----------------
antoniofrighetto wrote:

We were treating noalias arguments as may alias errno thus writeonly_cse_intervening_noalias_store was failing, now reverted this.

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


More information about the llvm-commits mailing list