RFR: 8305638: Refactor Template Assertion Predicate Bool creation and Predicate code in Split If and Loop Unswitching [v2]
Christian Hagedorn
chagedorn at openjdk.org
Thu Feb 15 14:57:59 UTC 2024
On Tue, 6 Feb 2024 15:41:06 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:
>> This patch is intended for JDK 23.
>>
>> While preparing the patch for the full fix for Assertion Predicates [JDK-8288981](https://bugs.openjdk.org/browse/JDK-8288981), I still noticed that some changes are not required for the actual fix and could be split off and reviewed separately in this PR.
>>
>> The patch applies the following cleanup changes:
>> - The complete fix had to add slightly different cloning cases in `PhaseIdealLoop::create_bool_from_template_assertion_predicate()` which already has quite some logic to switch between different cases. Additionally, the algorithm in the method itself was already hard to understand and difficult to adapt. I therefore re-implemented it in a separate class `CloneTemplateAssertionPredicateBool` together with some helper classes like `DFSNodeStack`. To use it, I've added a `TemplateAssertionPredicateBool` class that offers three cloning possibilities:
>> - `clone()`: Clone without modification
>> - `clone_and_replace_opaque_loop_nodes()`: Clone and replace the `OpaqueLoop*Nodes` with a new init and stride node.
>> - `clone_and_replace_init()`: Special case of `clone_and_replace_opaque_loop_nodes()` which only replaces `OpaqueLoopInitNode` and clones `OpaqueLoopStrideNode`.
>>
>> This refactoring could be extracted from the complete fix.
>> - The Split If code to detect (`subgraph_has_opaque()`) and clone Template Assertion Predicate Bools was extracted to a separate class `CloneTemplateAssertionPredicateBoolDown` and uses the new `TemplateAssertionPredicateBool` class to do the actual cloning.
>> - In the process of coding the complete fix, I've refactored the Loop Unswitching code quite a bit. This change could also be extracted into a separate RFE. Changes include:
>> - Renaming
>> - Extracting code to separate classes/methods
>> - Adding comments
>> - Some small refactoring including:
>> - Removing unused parameters
>> - Renaming variables/parameters/methods
>>
>> Thanks,
>> Christian
>
> Christian Hagedorn has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains four commits:
>
> - Merge branch 'master' into JDK-8305638
>
> # Conflicts:
> # src/hotspot/share/opto/loopPredicate.cpp
> # src/hotspot/share/opto/loopUnswitch.cpp
> # src/hotspot/share/opto/split_if.cpp
> - Misc renamings/refactoring
> - Refactor Loop Unswitching
> - Refactor Template Assertion Predicate Bool creation and Split If
Split off Loop Unswitching refactoring into #17842. Will split off more things to simplify the reviews and further update the code.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/16877#issuecomment-1946261755
More information about the hotspot-compiler-dev
mailing list