On Tue, 2 Jun 2026 08:46:43 GMT, Manuel Hässig <[email protected]> wrote:
> C1 has rudimentary conditional expression elimination and graph > canonicalization. However, those optimizations on If nodes currently fold > substitutability checks to pointer comparisons loosing value object semantics > for acmp. This PR fixes this. > > Testing: > - [x] tier1,tier2,tier3,valhalla-comp-stress with `--enable-preview` > > A lot of credit for this PR goes to @TobiHartmann who developed the inital > fix. > > --------- > - [x] I confirm that I make this contribution in accordance with the [OpenJDK > Interim AI Policy](https://openjdk.org/legal/ai). This pull request has now been integrated. Changeset: 5c8673b0 Author: Manuel Hässig <[email protected]> Committer: Tobias Hartmann <[email protected]> URL: https://git.openjdk.org/valhalla/commit/5c8673b096444ebdebe180a67243cbc6c2a68d5a Stats: 94 lines in 3 files changed: 90 ins; 0 del; 4 mod 8384871: [lworld] C1's conditional expression elimination does not preserve substitutability at acmp Co-authored-by: Tobias Hartmann <[email protected]> Reviewed-by: thartmann ------------- PR: https://git.openjdk.org/valhalla/pull/2500
