Skip to content

JIT: fold trivial redundant comparisons on loop induction variables #130205

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
EgorBo wants to merge 2 commits into
base: main
Choose a base branch
from
+5 −3
Open

JIT: fold trivial redundant comparisons on loop induction variables #130205

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2209358
bump budget
EgorBo Jul 5, 2026
d412812
Merge branch 'main' into jit-rangecheck-budget
EgorBo Jul 5, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions src/coreclr/jit/assertionprop.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,14 +52,16 @@ static Range GetRange(Compiler* comp, GenTree* tree, BasicBlock* block, ASSERT_V
assert(block != nullptr);
assert(tree != nullptr);

int budget = 64;
// TryGetRange walks the SSA use-def chain up to three times per query (range computation, the overflow check,
// and a monotonicity-driven re-walk in Widen that recovers loop lower bounds), all sharing this budget.
int budget = 256;
#ifdef DEBUG
// JIT stress: always take the slow, SSA-based range walk (with a larger budget) to maximize
Comment thread
EgorBo marked this conversation as resolved.
// coverage of TryGetRange and shake out correctness issues in the range computation.
if (comp->compStressCompile(Compiler::STRESS_GET_RANGE, 50))
{
fast = false;
budget = 512;
fast = false;
budget *= 16;
}
#endif

Expand Down
Loading