All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class harpoon.Analysis.QuadSSA.SCC.SCCAnalysis

java.lang.Object
   |
   +----harpoon.Analysis.QuadSSA.SCC.SCCAnalysis

public class SCCAnalysis
extends Object
implements TypeMap, ConstMap, ExecMap
SCCAnalysis implements Sparse Conditional Constant Propagation, with extensions to allow type and bitwidth analysis. Fun, fun, fun.

Version:
$Id: SCCAnalysis.java,v 1.15 1998/11/18 05:27:14 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>

Constructor Index

 o SCCAnalysis(UseDefMap)
Creates a SCC.

Method Index

 o constMap(HCode, Temp)
Determine the constant value of Temp t in HMethod m.
 o execMap(HCode, HCodeEdge)
Determine whether Edge e in HMethod m is executable.
 o execMap(HCode, HCodeElement)
Determine whether Quad q in HMethod m is executable.
 o isConst(HCode, Temp)
Determine whether Temp t in HMethod m has a constant value.
 o minusWidthMap(HCode, Temp)
Determine the negative bit width of Temp t in HMethod m.
 o plusWidthMap(HCode, Temp)
Determine the positive bit width of Temp t in HMethod m.
 o typeMap(HCode, Temp)
Determine the static type of Temp t in HMethod m.

Constructors

 o SCCAnalysis
 public SCCAnalysis(UseDefMap usedef)
Creates a SCC.

Methods

 o execMap
 public boolean execMap(HCode hc,
                        HCodeElement quad)
Determine whether Quad q in HMethod m is executable.

 o execMap
 public boolean execMap(HCode hc,
                        HCodeEdge edge)
Determine whether Edge e in HMethod m is executable.

 o typeMap
 public HClass typeMap(HCode hc,
                       Temp t)
Determine the static type of Temp t in HMethod m.

 o isConst
 public boolean isConst(HCode hc,
                        Temp t)
Determine whether Temp t in HMethod m has a constant value.

 o constMap
 public Object constMap(HCode hc,
                        Temp t)
Determine the constant value of Temp t in HMethod m.

Throws: Error
if Temp t is not a constant.
 o plusWidthMap
 public int plusWidthMap(HCode hc,
                         Temp t)
Determine the positive bit width of Temp t in HMethod m.

 o minusWidthMap
 public int minusWidthMap(HCode hc,
                          Temp t)
Determine the negative bit width of Temp t in HMethod m.


All Packages  Class Hierarchy  This Package  Previous  Next  Index