Skip to content

Comments

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

Closed
jakobbotsch wants to merge 3 commits intodotnet:mainfrom
jakobbotsch:enhance-eval-relop
Closed

JIT: Enhance IV opts relop evaluation to use range check#110352
jakobbotsch wants to merge 3 commits intodotnet:mainfrom
jakobbotsch:enhance-eval-relop

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