[llvm] [SCCP] Relax two-instruction range checks (PR #158495)

Andreas Jonson via llvm-commits llvm-commits at lists.llvm.org
Mon Sep 15 10:02:25 PDT 2025


================
@@ -284,6 +286,54 @@ static Value *simplifyInstruction(SCCPSolver &Solver,
     return Sub;
   }
 
+  // Relax range checks.
+  if (auto *ICmp = dyn_cast<ICmpInst>(&Inst)) {
+    Value *X;
+    auto MatchTwoInstructionExactRangeCheck =
----------------
andjo403 wrote:

almost the same as MatchRangeCheck in https://github.com/llvm/llvm-project/pull/158498 is it possible to have this common somewhere?

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


More information about the llvm-commits mailing list