RFR: 8317349: Randomize order of macro node expansion in C2
Roberto Castañeda Lozano
rcastanedalo at openjdk.org
Mon Feb 5 15:11:01 UTC 2024
On Fri, 2 Feb 2024 13:03:53 GMT, Daniel Lundén <dlunden at openjdk.org> wrote:
> This changeset adds a flag `StressMacroExpansion` which randomizes macro expansion ordering for stress testing purposes.
>
> Changes:
> - Implement the flag `StressMacroExpansion`.
> - Add functionality tests for `StressMacroExpansion`, analogous to testing for previous stress flags such as `StressIGVN`.
> - Add `StressMacroExpansion` to a number of tests that already turn on all other stress flags (and therefore should also use `StressMacroExpansion`).
> - Rename the previous compiler phase `MACRO_EXPANSION` to `AFTER_MACRO_EXPANSION`.
> - Add new Ideal phases related to macro expansion, allowing `StressMacroExpansion` testing. Below is a sample phase list screenshot including some of the new phases (IGV print level 4).
> <p align="center">
> <img src="https://github.com/openjdk/jdk/assets/4222397/b65c67a0-13f7-45a6-aef4-5dfe259dab66" width="300">
> </p>
>
>
> Question for the review: are the new macro expansion Ideal phases OK, or should we change anything?
>
> Testing:
> - [GitHub Actions](https://github.com/dlunde/jdk/actions/runs/7756242938)
> - tier1 to tier5 on windows-x64, linux-x64, linux-aarch64, macosx-x64, and macosx-aarch64.
> - Tested that thousands of graphs are correctly opened and visualized with IGV.
Looks good to me, modulo Christian's comments. Regarding whether to randomize macro node elimination, I find it a bit confusing that `PhaseMacroExpand` also eliminates macro nodes, perhaps it would be better to, in a separate RFE, split the phase into `PhaseMacroEliminate` and `PhaseMacroExpand`, and introduce a separate `StressMacroElimination` option and new phase names for the former?
-------------
PR Review: https://git.openjdk.org/jdk/pull/17684#pullrequestreview-1863049642
More information about the hotspot-compiler-dev
mailing list