Skip to content

Conversation

@SingleAccretion
Copy link
Contributor

@SingleAccretion SingleAccretion commented May 27, 2022

Instead:
1) For ldelem, import IND/OBJ(INDEX_ADDR).
2) For ldelema, import INDEX_ADDR.

This deletes two usages of ADDR:
1) OBJ(ADDR(INDEX)) from ldelem<struct>.
2) ADDR(INDEX) from ldelema.

It also deletes a case of us creating layout-less IND struct nodes and some amount of auxiliary code.

Diffs: a few in the tests reflecting forward substitution's limit of the amount of nodes it is willing to forward, plus one in libraries tests stemming from this code only looking at ADDRs (fix in progress: #69961). There is also a fairly small TP regression (curiously, 64 bit-only) that has been payed for with the improvements from #69895.

@ghost ghost added area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI community-contribution Indicates that the PR has been added by a community member labels May 27, 2022
@ghost
Copy link

ghost commented May 27, 2022

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

Issue Details

Instead:
1) For ldelem, import IND/OBJ(INDEX_ADDR).
2) For ldelema, import INDEX_ADDR.

This deletes two usages of ADDR:
1) OBJ(ADDR(INDEX)) from ldelem<struct>.
2) ADDR(INDEX) from ldelema.

It also deletes a case of us creating layout-less IND struct nodes and some amount of code.

Author: SingleAccretion
Assignees: -
Labels:

area-CodeGen-coreclr, community-contribution

Milestone: -

@SingleAccretion SingleAccretion force-pushed the Arr-Addr-Index branch 3 times, most recently from 35dfb9f to 2bdb2c0 Compare May 28, 2022 19:47
@SingleAccretion SingleAccretion marked this pull request as ready for review May 29, 2022 10:21
@SingleAccretion
Copy link
Contributor Author

SingleAccretion commented May 29, 2022

@dotnet/jit-contrib

@BruceForstall
Copy link
Contributor

/azp run runtime-coreclr jitstress

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

Copy link
Contributor

@BruceForstall BruceForstall left a comment

Choose a reason for hiding this comment

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

This looks great. I kicked off jitstress to verify with a larger test set.

It is effectively no-CSE already because of how "optIsCSECandidate" works.
Instead:
 1) For "ldelem", import "IND/OBJ(INDEX_ADDR)".
 2) For "ldelema", import "INDEX_ADDR".

This deletes two usages of "ADDR":
 1) "OBJ(ADDR(INDEX))" from "ldelem<struct>".
 2) "ADDR(INDEX)" from "ldelema".
Remove references to things that no longer exist.
@SingleAccretion
Copy link
Contributor Author

Stress was clean.

Force-pushed to resolve a conflict with #70265.

@ghost ghost locked as resolved and limited conversation to collaborators Jul 8, 2022
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 community-contribution Indicates that the PR has been added by a community member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants