org.graalvm.compiler.core.match

Annotation Type MatchableNode

@Retention(value=RUNTIME)
 @Target(value=TYPE)
 @Repeatable(value=MatchableNodes.class)
public @interface MatchableNode

Describes the properties of a node for use when building a MatchPattern. These declarations are required when parsing a MatchRule. They are expected to be found on a super type of the holder of the method declaring the MatchRule.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Class<? extends ValueNode>	nodeClass The ValueNode subclass this annotation describes.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
boolean	commutative Can a pattern be matched with the operands swapped.
boolean	consumable Can a node be consumed by a matched rule regardless of whether it is shareable.
boolean	ignoresSideEffects
String[]	inputs The names of the inputs in the order they should appear in the match.
boolean	shareable Can a node with multiple uses be safely matched by a rule.

Element Detail

nodeClass

public abstract Class<? extends ValueNode> nodeClass

The ValueNode subclass this annotation describes. These annotations might work better if they were directly on the node being described but that may complicate the annotation processing.

inputs

public abstract String[] inputs

The names of the inputs in the order they should appear in the match.

Default:

{}

commutative

public abstract boolean commutative

Can a pattern be matched with the operands swapped. This will cause swapped versions of patterns to be automatically generated.

Default:

false

shareable

public abstract boolean shareable

Can a node with multiple uses be safely matched by a rule.

Default:

false

ignoresSideEffects

public abstract boolean ignoresSideEffects

Default:

false

consumable

public abstract boolean consumable

Can a node be consumed by a matched rule regardless of whether it is shareable.

Default:

true