[llvm] c867401 - MemCpyOpt: Pass through AssumptionCache

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Mon Sep 19 16:25:38 PDT 2022


Author: Matt Arsenault
Date: 2022-09-19T19:25:22-04:00
New Revision: c8674014072c0b44218776896eb38f9f8fe1abe5

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

LOG: MemCpyOpt: Pass through AssumptionCache

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp b/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp
index fd10f23dec5b..f53f3eb8da75 100644
--- a/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp
+++ b/llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp
@@ -920,7 +920,7 @@ bool MemCpyOptPass::performCallSlotOptzn(Instruction *cpyLoad,
   // trap.  Otherwise the transform is invalid since it might cause a trap
   // to occur earlier than it otherwise would.
   if (!isDereferenceableAndAlignedPointer(cpyDest, Align(1), APInt(64, cpySize),
-                                          DL, C, nullptr, DT)) {
+                                          DL, C, AC, DT)) {
     LLVM_DEBUG(dbgs() << "Call Slot: Dest pointer not dereferenceable\n");
     return false;
   }


        


More information about the llvm-commits mailing list