https://github.com/kasuga-fj created https://github.com/llvm/llvm-project/pull/204146
None >From bd4eeed195b8544e6c4703c45b908002decdd9de Mon Sep 17 00:00:00 2001 From: Ryotaro Kasuga <[email protected]> Date: Tue, 16 Jun 2026 13:18:33 +0000 Subject: [PATCH] [SCEVDivision] Add assertion to check operand types match --- llvm/lib/Analysis/ScalarEvolutionDivision.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/llvm/lib/Analysis/ScalarEvolutionDivision.cpp b/llvm/lib/Analysis/ScalarEvolutionDivision.cpp index 710473191f8c6..8bd5cb9d339b2 100644 --- a/llvm/lib/Analysis/ScalarEvolutionDivision.cpp +++ b/llvm/lib/Analysis/ScalarEvolutionDivision.cpp @@ -56,6 +56,8 @@ void SCEVDivision::divide(ScalarEvolution &SE, const SCEV *Numerator, const SCEV *Denominator, const SCEV **Quotient, const SCEV **Remainder) { assert(Numerator && Denominator && "Uninitialized SCEV"); + assert(Numerator->getType() == Denominator->getType() && + "Numerator and Denominator must have the same type"); SCEVDivision D(SE, Numerator, Denominator); _______________________________________________ llvm-branch-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
