[clang] [llvm] [IR] Memory locations for floating-point operations (PR #226826)

Serge Pavlov via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 12 02:55:20 PDT 2026


================
@@ -285,7 +285,7 @@ static void addMemoryAttrs(const SCCNodeSet &SCCNodes, AARGetterT &&AARGetter,
     ME |= FnME;
     RecursiveArgME |= FnRecursiveArgME;
     // Reached bottom of the lattice, we will not be able to improve the result.
-    if (ME == MemoryEffects::unknown())
+    if (ME == MemoryEffects::unknown_mem())
----------------
spavloff wrote:

Now `unknown_mem` is removed.

FP access has more complicated restrictions. For example read access to FP status bits require setting `strictfp` attribute. The initial intent was to uses `NoModRef` for FP locations as this is the common case. Now it requires more careful treatment in attribute deduction.

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


More information about the cfe-commits mailing list