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

Arm: Include BBJ_ALWAYS blocks in dominance calculation #59376

Merged
merged 4 commits into from
Sep 29, 2021

Conversation

kunalspathak
Copy link
Member

@kunalspathak kunalspathak commented Sep 20, 2021

For long time in ARM, we have a workaround to add BBJ_ALWAYS in fgEnterBlks so we do not remove that block and convert the finally into BBF_RETLESS_CALL. For that reason, we would not iterate over such blocks while computing the dominance reachability . I double checked and we have enough checks to prevent that from happening. So there is no use of special handling of this scenario during dominance calculation.

Fixes: #59298

@kunalspathak
Copy link
Member Author

/azp run runtime-coreclr jitstress

@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 Sep 20, 2021
@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@ghost
Copy link

ghost commented Sep 20, 2021

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

Issue Details

For long time in ARM, we have a workaround to add BBJ_ALWAYS in fgEnterBlks so we do not remove that block and convert the finally into BBF_RETLESS_CALL. For that reason, we would not iterate over such blocks while computing the dominance reachability . I double checked and we have enough checks to prevent that from happening. So there is not use of special handling of this scenario during dominance calculation where we would skip iterating these blocks leading to hitting an assert.

Fixes: #59298

Author: kunalspathak
Assignees: -
Labels:

area-CodeGen-coreclr

Milestone: -

@kunalspathak
Copy link
Member Author

/azp list

@kunalspathak
Copy link
Member Author

/azp run Antigen

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@kunalspathak
Copy link
Member Author

/azp run runtime-coreclr jitstress

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@kunalspathak
Copy link
Member Author

Failures related to #58481 and #59564

@kunalspathak kunalspathak marked this pull request as ready for review September 28, 2021 16:49
@kunalspathak
Copy link
Member Author

@dotnet/jit-contrib , @BruceForstall

Copy link
Member

@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.

I wish we could make this simpler/easier/cleaner, but for now, this LGTM.

@kunalspathak
Copy link
Member Author

/azp run Antigen

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@kunalspathak kunalspathak merged commit e4a842e into dotnet:main Sep 29, 2021
@kunalspathak kunalspathak deleted the retless branch September 29, 2021 14:57
@ghost ghost locked as resolved and limited conversation to collaborators Nov 3, 2021
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.

Linux/Arm: BBJ_ALWAYS block remains unvisited during dominance computation
2 participants