Skip to content

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
@ghost ghost added the area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI label Dec 3, 2024
@dotnet-policy-service
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