All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----harpoon.Analysis.QuadSSA.SCC.SCCAnalysis
SCCAnalysis
implements Sparse Conditional Constant Propagation,
with extensions to allow type and bitwidth analysis. Fun, fun, fun.
SCC
.
Temp t
in
HMethod m
.
Edge e
in HMethod m
is executable.
Quad q
in HMethod m
is executable.
Temp t
in HMethod m
has a constant value.
Temp t
in
HMethod m
.
Temp t
in
HMethod m
.
Temp t
in
HMethod m
.
public SCCAnalysis(UseDefMap usedef)
SCC
.
public boolean execMap(HCode hc, HCodeElement quad)
Quad q
in HMethod m
is executable.
public boolean execMap(HCode hc, HCodeEdge edge)
Edge e
in HMethod m
is executable.
public HClass typeMap(HCode hc, Temp t)
Temp t
in
HMethod m
.
public boolean isConst(HCode hc, Temp t)
Temp t
in HMethod m
has a constant value.
public Object constMap(HCode hc, Temp t)
Temp t
in
HMethod m
.
Temp t
is not a constant.
public int plusWidthMap(HCode hc, Temp t)
Temp t
in
HMethod m
.
public int minusWidthMap(HCode hc, Temp t)
Temp t
in
HMethod m
.
All Packages Class Hierarchy This Package Previous Next Index