com.oracle.graal.compiler.match

Class MatchPattern

java.lang.Object

com.oracle.graal.compiler.match.MatchPattern

public class MatchPattern
extends Object

A simple recursive pattern matcher for a DAG of nodes.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	MatchPattern.MatchResultCode
(package private) static class	MatchPattern.Result A descriptive result for match failures.

Field Summary

Fields

Modifier and Type	Field and Description
private static MatchPattern[]	EMPTY_PATTERNS
private Position[]	inputs The inputs to match the patterns against.
private String	name An optional name for this node.
private Class<? extends Node>	nodeClass The expected type of the node.
private MatchPattern[]	patterns Patterns to match the inputs.
private boolean	singleUser Can there only be one user of the node.

Constructor Summary

Constructors

Modifier	Constructor and Description
	MatchPattern(Class<? extends Node> nodeClass, String name, boolean singleUser)
private	MatchPattern(Class<? extends Node> nodeClass, String name, boolean singleUser, MatchPattern[] patterns, Position[] inputs)
	MatchPattern(Class<? extends Node> nodeClass, String name, MatchPattern first, MatchPattern second, MatchPattern third, Position[] inputs, boolean singleUser)
	MatchPattern(Class<? extends Node> nodeClass, String name, MatchPattern first, MatchPattern second, Position[] inputs, boolean singleUser)
	MatchPattern(Class<? extends Node> nodeClass, String name, MatchPattern first, Position[] inputs, boolean singleUser)
	MatchPattern(String name, boolean singleUser)

Method Summary

Modifier and Type	Method and Description
String	formatMatch(Node root) For a node starting at root, produce a String showing the inputs that matched against this rule.
private Node	getInput(int index, Node node)
MatchPattern.Result	matchShape(Node node, MatchStatement statement) Recursively match the shape of the tree without worry about named values.
private MatchPattern.Result	matchShape(Node node, MatchStatement statement, boolean atRoot)
private MatchPattern.Result	matchType(Node node)
(package private) MatchPattern.Result	matchUsage(Node node, MatchContext context) Match any named nodes and ensure that the consumed nodes can be safely merged.
private MatchPattern.Result	matchUsage(Node node, MatchContext context, boolean atRoot)
(package private) Class<? extends Node>	nodeClass()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

nodeClass

private final Class<? extends Node> nodeClass

The expected type of the node. It must match exactly.

name

private final String name

An optional name for this node. A name can occur multiple times in a match and that name must always refer to the same node of the match will fail.

patterns

private final MatchPattern[] patterns

Patterns to match the inputs.

inputs

private final Position[] inputs

The inputs to match the patterns against.

singleUser

private final boolean singleUser

Can there only be one user of the node. Constant nodes can be matched even if there are other users.

EMPTY_PATTERNS

private static final MatchPattern[] EMPTY_PATTERNS

Constructor Detail

MatchPattern

public MatchPattern(String name,
                    boolean singleUser)

MatchPattern

public MatchPattern(Class<? extends Node> nodeClass,
                    String name,
                    boolean singleUser)

MatchPattern

private MatchPattern(Class<? extends Node> nodeClass,
                     String name,
                     boolean singleUser,
                     MatchPattern[] patterns,
                     Position[] inputs)

MatchPattern

public MatchPattern(Class<? extends Node> nodeClass,
                    String name,
                    MatchPattern first,
                    Position[] inputs,
                    boolean singleUser)

MatchPattern

public MatchPattern(Class<? extends Node> nodeClass,
                    String name,
                    MatchPattern first,
                    MatchPattern second,
                    Position[] inputs,
                    boolean singleUser)

MatchPattern

public MatchPattern(Class<? extends Node> nodeClass,
                    String name,
                    MatchPattern first,
                    MatchPattern second,
                    MatchPattern third,
                    Position[] inputs,
                    boolean singleUser)

Method Detail

nodeClass

Class<? extends Node> nodeClass()

matchType

private MatchPattern.Result matchType(Node node)

matchUsage

MatchPattern.Result matchUsage(Node node,
                               MatchContext context)

Match any named nodes and ensure that the consumed nodes can be safely merged.

Parameters:

node -

context -

Returns:

Result.OK is the pattern can be safely matched.

matchUsage

private MatchPattern.Result matchUsage(Node node,
                                       MatchContext context,
                                       boolean atRoot)

matchShape

public MatchPattern.Result matchShape(Node node,
                                      MatchStatement statement)

Recursively match the shape of the tree without worry about named values. Most matches fail at this point so it's performed first.

Parameters:

node -

statement -

Returns:

Result.OK if the shape of the pattern matches.

matchShape

private MatchPattern.Result matchShape(Node node,
                                       MatchStatement statement,
                                       boolean atRoot)

formatMatch

public String formatMatch(Node root)

For a node starting at root, produce a String showing the inputs that matched against this rule. It's assumed that a match has already succeeded against this rule, otherwise the printing may produce exceptions.

getInput

private Node getInput(int index,
                      Node node)

toString

public String toString()

Overrides:

toString in class Object