[llvm] 330ee04 - [DSE] Reuse BatchAA for MSSA clobber queries

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2022-12-06T09:45:58+01:00
New Revision: 330ee040dda1395cdab6150803aada24989cb533

URL: https://github.com/llvm/llvm-project/commit/330ee040dda1395cdab6150803aada24989cb533
DIFF: https://github.com/llvm/llvm-project/commit/330ee040dda1395cdab6150803aada24989cb533.diff

LOG: [DSE] Reuse BatchAA for MSSA clobber queries

This is not NFC because the DSE BatchAA is more powerful than the
default one due to EarliestEscape CaptureInfo, so this might
improve results in some cases.

Added: 
    

Modified: 
    llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
index 95a35e395bc32..5df5af9ba364d 100644
--- a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
+++ b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
@@ -1901,7 +1901,7 @@ struct DSEState {
       // can modify the memory location.
       if (InitC && InitC == StoredConstant)
         return MSSA.isLiveOnEntryDef(
-            MSSA.getSkipSelfWalker()->getClobberingMemoryAccess(Def));
+            MSSA.getSkipSelfWalker()->getClobberingMemoryAccess(Def, BatchAA));
     }
 
     if (!Store)
@@ -1920,7 +1920,7 @@ struct DSEState {
         // does not match LoadAccess.
         SetVector<MemoryAccess *> ToCheck;
         MemoryAccess *Current =
-            MSSA.getWalker()->getClobberingMemoryAccess(Def);
+            MSSA.getWalker()->getClobberingMemoryAccess(Def, BatchAA);
         // We don't want to bail when we run into the store memory def. But,
         // the phi access may point to it. So, pretend like we've already
         // checked it.