RFR: 8324790: ifnode::fold_compares_helper cleanup [v3]

Christian Hagedorn chagedorn at openjdk.org
Wed Feb 28 09:28:46 UTC 2024


On Mon, 26 Feb 2024 23:59:07 GMT, Joshua Cao <duke at openjdk.org> wrote:

>> I hope my assumptions  in `filtered_int_type` are correct here:
>> 
>> * we assert that `if_proj` is an `IfTrue` or `IfFalse`, so it is safe to assume `if_proj->_in` is an  `IfNode`
>> * the 1'th input of a CmpNode is a BoolNode
>> * Tthe 1'th input of an IfNode is **not always a BoolNode**, it can be a constant. We need to leave this check in.
>> 
>> We also remove a some of the if-checks in `compare_folds_cleanup` which seem unnecessary.
>> 
>> Passes tier1 locally.
>
> Joshua Cao has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:
> 
>  - sanity check that hi and lo are not nullptr
>  - Merge branch 'master' into compare_folds_cleanup
>  - Undo changes in filtered_int_type()
>  - Merge branch 'master' into compare_folds_cleanup
>  - 8324790: ifnode::fold_compares_helper cleanup

The current patch looks good to me.

-------------

Marked as reviewed by chagedorn (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/17601#pullrequestreview-1905727943


More information about the hotspot-compiler-dev mailing list