Skip to content

[release/11.0] JIT: handle redefined enumerators in conditional escape analysis - #134709

Open
github-actions[bot] wants to merge 2 commits into
release/11.0from
backport/pr-134658-to-release/11.0
Open

github-actions[bot] wants to merge 2 commits into
release/11.0from
backport/pr-134658-to-release/11.0

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 26, 2026 •

Copy link
Copy Markdown
Contributor

Backport of #134658 to release/11.0

/cc @AndyAyersMS

Customer Impact

  • Customer reported
  • Found internally

#134605

Regression

  • Yes
  • No

Silent bad code gen. Bug in CEA since its inception (.NET 10)

Testing

Verified on repro case, no SPMI diffs.

Risk

Low, disqualifies an optimization when there is a potentially second reaching definition.
.

…4658)

Fix conditional escape analysis when an enumerator local has multiple
guarded definitions.

The RPO walk now rejects an earlier cloning candidate when a later
definition may reach its guarded uses, while preserving dominated
sequential redefinitions.

Validated with class and boxed-struct regressions, the disjoint
zero-allocation case, Runtime_127075, and Runtime_131713.

Resolves #134605

> [!NOTE]
> This pull request description was generated with GitHub Copilot.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: ed9b45e3-0af5-4425-a189-1d0e0cbce294
@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines:
Successfully started running 3 pipeline(s).
13 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.

@github-actions github-actions Bot added the area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI label Sep 26, 2026
@dotnet-policy-service

Copy link
Copy Markdown
Contributor

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

@AndyAyersMS

Copy link
Copy Markdown
Member

@EgorBo PTAL

@AndyAyersMS AndyAyersMS added the Servicing-consider Issue for next servicing release review label Sep 26, 2026
@AndyAyersMS
AndyAyersMS requested a review from EgorBo September 26, 2026 14:56
@jkotas

jkotas commented Sep 27, 2026

Copy link
Copy Markdown
Member

The new test is failing on NAOT - #134746. The fix for the test failure should be included in the backport.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 21c4f665-ddd2-4e24-82c9-476e45ed964e
@jakobbotsch

Copy link
Copy Markdown
Member

The new test is failing on NAOT - #134746. The fix for the test failure should be included in the backport.

I pushed a commit to fix the test.
@EgorBo Can you reapprove this PR and #134710?

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI Servicing-consider Issue for next servicing release review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants