[llvm] [ConstraintElim] Use constraints from bounded memory accesses (PR #155253)

[Yingwei Zheng via llvm-commits]

================
@@ -2018,10 +2108,12 @@ PreservedAnalyses ConstraintEliminationPass::run(Function &F,
   auto &LI = AM.getResult<LoopAnalysis>(F);
   auto &SE = AM.getResult<ScalarEvolutionAnalysis>(F);
   auto &ORE = AM.getResult<OptimizationRemarkEmitterAnalysis>(F);
-  if (!eliminateConstraints(F, DT, LI, SE, ORE))
+  auto &TLI = AM.getResult<TargetLibraryAnalysis>(F);
+  if (!eliminateConstraints(F, DT, LI, SE, ORE, TLI))
     return PreservedAnalyses::all();
 
   PreservedAnalyses PA;
+  PA.preserve<TargetLibraryAnalysis>();
----------------
dtcxzyw wrote:

Is it unnecessary?

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