com.oracle.graal.phases.graph

Class InferStamps

java.lang.Object

com.oracle.graal.phases.graph.InferStamps

public class InferStamps
extends Object

Constructor Summary

Constructors

Constructor and Description
InferStamps()

Method Summary

Modifier and Type	Method and Description
private static boolean	checkNoEmptyStamp(StructuredGraph graph)
static void	inferStamps(StructuredGraph graph) Infer the stamps for all Object nodes in the graph, to make the stamps as precise as possible.

Methods inherited from class java.lang.Object

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

Constructor Detail

InferStamps

public InferStamps()

Method Detail

inferStamps

public static void inferStamps(StructuredGraph graph)

Infer the stamps for all Object nodes in the graph, to make the stamps as precise as possible. For example, this propagates the word-type through phi functions. To handle phi functions at loop headers, the stamp inference is called until a fix point is reached.

This method can be used when it is needed that stamps are inferred before the first run of the canonicalizer. For example, word type rewriting must run before the first run of the canonicalizer because many nodes are not prepared to see the word type during canonicalization.

checkNoEmptyStamp

private static boolean checkNoEmptyStamp(StructuredGraph graph)