Loading...

XML

Word

Printable

Type: Sub-task
Resolution: Fixed
Priority: P4
Fix Version/s: 24
Affects Version/s: 24
Component/s: hotspot
Labels:

Subcomponent:
compiler
Resolved In Build:
b25

We currently create Template Assertion Predicates with UCT out of convenience and to reuse existing Loop Predication code. This creates some problems down the line when we need to pattern match these and create copies of the templates when splitting a loop.

After ~~JDK-8341977~~ goes in, we have a unified way to iterate over predicates which enables us to easily replace UCTs with Halt nodes. The only thing left is to be able to unique identify Template Assertion Predicates which still could be confused with non null checks for intrinsics. ~~JDK-8342043~~ will fix this.

So, once ~~JDK-8341977~~ and ~~JDK-8342043~~ are in, we are good to go with this refactoring.

is blocked by

JDK-8341977 Replace predicate walking and cloning code for Loop Peeling with a predicate visitor

Resolved

JDK-8342043 Split Opaque4Node into OpaqueTemplateAssertionPredicateNode and OpaqueNotNullNode

Resolved

JDK-8342943 Replace predicate walking and cloning code for main/post loops with a predicate visitor

Resolved

JDK-8342945 Replace predicate walking code in get_assertion_predicates() used for Loop Unswitching and cleaning useless Template Assertion Predicates with a predicate visitor

Resolved

JDK-8342946 Replace predicate walking code in Loop Unrolling with a predicate visitor

Resolved

links to

Commit(master) openjdk/jdk/c977ef7b

Review(master) openjdk/jdk/22040

(2 links to)

Assignee:: Christian Hagedorn
Reporter:: Christian Hagedorn
Votes:: 0 Vote for this issue
Watchers:: 3 Start watching this issue

Created:: 2024-10-14 04:56
Updated:: 2024-11-27 07:39
Resolved:: 2024-11-13 23:17

Details

Description

Attachments

Issue Links

Activity

People

Dates