-
Enhancement
-
Resolution: Unresolved
-
P4
-
22
The pattern "IR node count > 0" is used a lot throughout our IR tests in different variations:
@IR(counts = {IRNode.LOAD_I, ">=1"})
@IR(counts = {IRNode.LOAD_I, ">0"})
We should introduce a new @IR node attribute "hasAny" that does this check. This makes it easier to write and understand rules that assert the existence of certain IR nodes.
By doing so, we should also bulk update all existing tests and use the new attribute. Additional IR framework internal checks added for "IR node count > 0", for example withJDK-8310308, should also be adopted.
@IR(counts = {IRNode.LOAD_I, ">=1"})
@IR(counts = {IRNode.LOAD_I, ">0"})
We should introduce a new @IR node attribute "hasAny" that does this check. This makes it easier to write and understand rules that assert the existence of certain IR nodes.
By doing so, we should also bulk update all existing tests and use the new attribute. Additional IR framework internal checks added for "IR node count > 0", for example with
- relates to
-
JDK-8310308 IR Framework: check for type and size of vector nodes
-
- Resolved
-