com.oracle.graal.pointsto.results

Class StrengthenGraphs

java.lang.Object

com.oracle.graal.pointsto.results.AbstractAnalysisResultsBuilder

com.oracle.graal.pointsto.results.StrengthenGraphs

public abstract class StrengthenGraphs
extends AbstractAnalysisResultsBuilder

This class applies static analysis results directly to the Graal IR used to build the type flow graph. It uses a CanonicalizerPhase.CustomSimplification for the CanonicalizerPhase, because that provides all the framework for iterative stamp propagation and adding/removing control flow nodes while processing the graph. From the single-method view that the compiler has when later compiling the graph, static analysis results appear "out of thin air": At some some random point in the graph, we suddenly have a more precise type (= stamp) for a value. Since many nodes are floating, and even currently fixed nodes might float later, we need to be careful that all information coming from the type flow graph remains properly anchored to the point where the static analysis actually proved the information. So we cannot just change the stamp of, e.g., the parameter of a method invocation, to a more precise stamp. We need to do that indirectly by adding a PiNode that is anchored using a ValueAnchorNode.

Field Summary

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

bb, converter

Constructor Summary

Constructors

Constructor and Description
StrengthenGraphs(PointsToAnalysis bb, Universe converter)

Method Summary

Modifier and Type	Method and Description
protected abstract org.graalvm.compiler.nodes.FixedNode	createUnreachable(org.graalvm.compiler.nodes.StructuredGraph graph, org.graalvm.compiler.nodes.spi.CoreProviders providers, Supplier<String> message)
protected abstract AnalysisType	getSingleImplementorType(AnalysisType originalType)
protected abstract AnalysisType	getStrengthenStampType(AnalysisType originalType)
StaticAnalysisResults	makeOrApplyResults(AnalysisMethod method)
jdk.vm.ci.meta.JavaTypeProfile	makeTypeProfile(AnalysisField field)
protected abstract void	setInvokeProfiles(org.graalvm.compiler.nodes.Invoke invoke, jdk.vm.ci.meta.JavaTypeProfile typeProfile, jdk.vm.ci.meta.JavaMethodProfile methodProfile)

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

getBigBang, makeMethodProfile, makeTypeProfile

Methods inherited from class java.lang.Object

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

Constructor Detail

StrengthenGraphs

public StrengthenGraphs(PointsToAnalysis bb,
                        Universe converter)

Method Detail

makeOrApplyResults

public StaticAnalysisResults makeOrApplyResults(AnalysisMethod method)

Specified by:

makeOrApplyResults in class AbstractAnalysisResultsBuilder

makeTypeProfile

public jdk.vm.ci.meta.JavaTypeProfile makeTypeProfile(AnalysisField field)

Specified by:

makeTypeProfile in class AbstractAnalysisResultsBuilder

getSingleImplementorType

protected abstract AnalysisType getSingleImplementorType(AnalysisType originalType)

getStrengthenStampType

protected abstract AnalysisType getStrengthenStampType(AnalysisType originalType)

createUnreachable

protected abstract org.graalvm.compiler.nodes.FixedNode createUnreachable(org.graalvm.compiler.nodes.StructuredGraph graph,
                                                                          org.graalvm.compiler.nodes.spi.CoreProviders providers,
                                                                          Supplier<String> message)

setInvokeProfiles

protected abstract void setInvokeProfiles(org.graalvm.compiler.nodes.Invoke invoke,
                                          jdk.vm.ci.meta.JavaTypeProfile typeProfile,
                                          jdk.vm.ci.meta.JavaMethodProfile methodProfile)