Investigate repairing SSA after RBO
Open
area-CodeGen-coreclr
- Dominant language
- C#
- Stars
- 18.3k
- Forks
- 5.6k
- PR merge metrics
- PR metrics pending
Description
We have had a number of bugs caused by stale SSA left after RBO, both memory and local SSA. I think we should spend some effort to investigate if we can fully repair SSA after RBO. Either by rebuilding it entirely, or by doing the IR walk to find local occurrences and trying for some more surgical repairing. It seems worth it to me to pay some TP cost when this is leading to actual bad codegen bugs in the product.
A list of issues we have seen from this (purely as a list of test cases we would want to look at if we went with the repair approach):
- #88159
- #116326
- #125093
- #127307
- #130190
cc @dotnet/jit-contrib
Contributor guide
Assessment
This issue has not been assessed yet.