RFR: 8327381: Refactor type-improving transformations in BoolNode::Ideal to BoolNode::Value [v14]
Kangcheng Xu
kxu at openjdk.org
Mon Aug 26 17:46:51 UTC 2024
> This PR resolves [JDK-8327381](https://bugs.openjdk.org/browse/JDK-8327381)
>
> Currently the transformations for expressions with patterns `((x & m) u<= m)` or `((m & x) u<= m)` to `true` is in `BoolNode::Ideal` function with a new constant node of value `1` created. However, this is technically a type-improving (reduction in range) transformation that's better suited in `BoolNode::Value` function.
>
> New unit test `test/hotspot/jtreg/compiler/c2/TestBoolNodeGvn.java` asserting on IR nodes and correctness of this transformation is added and passing.
Kangcheng Xu 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 25 additional commits since the last revision:
- Merge branch 'master' into boolnode-refactor
- add a word break to IRNode.CMP_U
- Merge branch 'master' into boolnode-refactor
- spread boolean AND and OR into subcases, update number of expected CMP_U nodes
- Merge branch 'master' into boolnode-refactor
- Merge branch 'master' into boolnode-refactor
- update test values, @run directive, and remove an empty line
- Merge branch 'master' into boolnode-refactor
- move test location, add negative test case, simplify imports
- Merge branch 'master' into boolnode-refactor
- ... and 15 more: https://git.openjdk.org/jdk/compare/898a7c02...719199c2
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/18198/files
- new: https://git.openjdk.org/jdk/pull/18198/files/29655d35..719199c2
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=18198&range=13
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=18198&range=12-13
Stats: 60241 lines in 1888 files changed: 34337 ins; 16939 del; 8965 mod
Patch: https://git.openjdk.org/jdk/pull/18198.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/18198/head:pull/18198
PR: https://git.openjdk.org/jdk/pull/18198
More information about the hotspot-compiler-dev
mailing list