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

Closed
wants to merge 3 commits into 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
Copy link
Contributor

Draft Pull Request was automatically closed for 30 days of inactivity. Please let us know if you'd like to reopen it.

@github-actions github-actions bot locked and limited conversation to collaborators Feb 2, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
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