Skip to content
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.

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

JIT: Enhance IV opts relop evaluation to use range check #110352

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

jakobbotsch
Copy link
Member

IV opts sometimes needs to evaluate some relops symbolically. Before this PR that evaluation only makes use of RBO. This PR also teaches the evaluation to make use of range check to evaluate some kinds of relops.

Fix #110315

IV opts sometimes needs to evaluate some relops symbolically. Before
this PR that evaluation only makes use of RBO. This PR also teaches the
evaluation to make use of range check to evaluate some kinds of relops.

Fix dotnet#110315
@dotnet-issue-labeler dotnet-issue-labeler bot added the area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI label Dec 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

JIT: IV opts relop evaluation misses combining facts to prove relops
1 participant