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: Fix block morphing/physical promotion self-interference #85887

Merged
merged 3 commits into from
May 9, 2023

Conversation

jakobbotsch
Copy link
Member

Fix a couple of cases where it's possible that the decomposed stores
will modify the address being used as part of the operation too early.
In those cases we must spill the address to a new local ahead of time.

Fix #85874

Fix a couple of cases where it's possible that the decomposed stores
will modify the address being used as part of the operation too early.
In those cases we must spill the address to a new local ahead of time.

Fix dotnet#85874
@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 May 7, 2023
@ghost ghost assigned jakobbotsch May 7, 2023
@ghost
Copy link

ghost commented May 7, 2023

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

Issue Details

Fix a couple of cases where it's possible that the decomposed stores
will modify the address being used as part of the operation too early.
In those cases we must spill the address to a new local ahead of time.

Fix #85874

Author: jakobbotsch
Assignees: -
Labels:

area-CodeGen-coreclr

Milestone: -

e1.Next = &e2;
e1.Value = 1234;
Consume(e1);
e1 = *e1.Next;
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm surprised we haven't stumbled on this one before.

Co-authored-by: SingleAccretion <62474226+SingleAccretion@users.noreply.github.com>
@jakobbotsch
Copy link
Member Author

jakobbotsch commented May 7, 2023

cc @dotnet/jit-contrib PTAL @AndyAyersMS

Minor diffs.

@jakobbotsch jakobbotsch requested a review from AndyAyersMS May 7, 2023 19:19
@jakobbotsch jakobbotsch merged commit aaa1de1 into dotnet:main May 9, 2023
@jakobbotsch jakobbotsch deleted the fix-85874 branch May 9, 2023 07:27
@ghost ghost locked as resolved and limited conversation to collaborators Jun 8, 2023
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: Block morphing does not handle that decomposed writes can affect the destination
3 participants