[llvm] [Attributor]: allow more than one offset for a pass through user in AAPointerInfo (PR #94416)

Johannes Doerfert via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 5 10:58:22 PDT 2024


================
@@ -1607,11 +1607,20 @@ ChangeStatus AAPointerInfoFloating::updateImpl(Attributor &A) {
     //
     // The RHS is a reference that may be invalidated by an insertion caused by
     // the LHS. So we ensure that the side-effect of the LHS happens first.
+
+    if (!OffsetInfoMap.contains(Usr)) {
----------------
jdoerfert wrote:

Why this check? Can't we merge into an empty value?

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


More information about the llvm-commits mailing list