com.oracle.graal.pointsto.results

Class StaticAnalysisResultsBuilder

java.lang.Object

com.oracle.graal.pointsto.results.AbstractAnalysisResultsBuilder

com.oracle.graal.pointsto.results.StaticAnalysisResultsBuilder

public class StaticAnalysisResultsBuilder
extends AbstractAnalysisResultsBuilder

Field Summary

Fields inherited from class com.oracle.graal.pointsto.results.AbstractAnalysisResultsBuilder

bb, converter

Constructor Summary

Constructors

Constructor and Description
StaticAnalysisResultsBuilder(PointsToAnalysis bb, Universe converter)

Method Summary

Modifier and Type	Method and Description
protected StaticAnalysisResults.BytecodeEntry	createBytecodeEntry(AnalysisMethod method, int bci, JavaTypeProfile typeProfile, JavaMethodProfile methodProfile, JavaTypeProfile invokeResultTypeProfile, JavaTypeProfile staticTypeProfile)
protected StaticAnalysisResults	createStaticAnalysisResults(AnalysisMethod method, JavaTypeProfile[] parameterTypeProfiles, JavaTypeProfile resultTypeProfile, StaticAnalysisResults.BytecodeEntry first)
protected boolean	hasRuntimeProfiles()
static boolean	isValidBci(Object key) Check if the key, provided by StaticAnalysisResultsBuilder.uniqueKey(Node) above is an actual BCI.
StaticAnalysisResults	makeOrApplyResults(AnalysisMethod method)
JavaTypeProfile	makeTypeProfile(AnalysisField field)
static Object	uniqueKey(org.graalvm.compiler.graph.Node node) This method returns a unique key for the given node, used to store and query invoke and instance-of type flows.

Methods inherited from class com.oracle.graal.pointsto.results.AbstractAnalysisResultsBuilder

getBigBang, makeMethodProfile, makeTypeProfile

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticAnalysisResultsBuilder

public StaticAnalysisResultsBuilder(PointsToAnalysis bb,
                                    Universe converter)

Method Detail

makeOrApplyResults

public StaticAnalysisResults makeOrApplyResults(AnalysisMethod method)

Specified by:

makeOrApplyResults in class AbstractAnalysisResultsBuilder

uniqueKey

public static Object uniqueKey(org.graalvm.compiler.graph.Node node)

This method returns a unique key for the given node, used to store and query invoke and instance-of type flows. Unless the node comes from a substitution, the unique key is the BCI of the node. Every newinstance/newarray/newmultiarray/instanceof/checkcast node coming from a substitution method cannot have a BCI. If one substitution has multiple nodes of the same type, then the BCI would not be unique. In the later case the key is a unique object.

isValidBci

public static boolean isValidBci(Object key)

Check if the key, provided by StaticAnalysisResultsBuilder.uniqueKey(Node) above is an actual BCI.

createBytecodeEntry

protected StaticAnalysisResults.BytecodeEntry createBytecodeEntry(AnalysisMethod method,
                                                                  int bci,
                                                                  JavaTypeProfile typeProfile,
                                                                  JavaMethodProfile methodProfile,
                                                                  JavaTypeProfile invokeResultTypeProfile,
                                                                  JavaTypeProfile staticTypeProfile)

createStaticAnalysisResults

protected StaticAnalysisResults createStaticAnalysisResults(AnalysisMethod method,
                                                            JavaTypeProfile[] parameterTypeProfiles,
                                                            JavaTypeProfile resultTypeProfile,
                                                            StaticAnalysisResults.BytecodeEntry first)

hasRuntimeProfiles

protected boolean hasRuntimeProfiles()

makeTypeProfile

public JavaTypeProfile makeTypeProfile(AnalysisField field)

Specified by:

makeTypeProfile in class AbstractAnalysisResultsBuilder