harpoon.Analysis.Tree
Class AlignmentAnalysis

java.lang.Object
  harpoon.Analysis.Tree.AlignmentAnalysis

public class AlignmentAnalysis
extends Object

AlignmentAnalysis computes the alignment (some offset modulo some number from some base) of every typed pointer in a Tree. It is a dataflow analysis.

Version:

$Id: AlignmentAnalysis.java,v 1.4 2004/02/08 03:20:34 cananian Exp $

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>

Nested Class Summary

static class	AlignmentAnalysis.BaseAndOffset
static class	AlignmentAnalysis.Constant
static class	AlignmentAnalysis.ConstantModuloN
class	AlignmentAnalysis.DefPoint
static class	AlignmentAnalysis.IntegerValue
static class	AlignmentAnalysis.KGroup a k-group is a "phi-function" definition point.
class	AlignmentAnalysis.NameDefPoint
class	AlignmentAnalysis.TempDefPoint
static class	AlignmentAnalysis.Value

Constructor Summary

AlignmentAnalysis(Code c, CFGrapher<Tree> cfg, UseDefer<Tree> udr, TreeDerivation td)
Creates a AlignmentAnalysis.

Method Summary

AlignmentAnalysis.Value	valueDefAt(Temp t, Stm s)
AlignmentAnalysis.Value	valueOf(Exp e, Stm root)
AlignmentAnalysis.Value	valueUseAt(Temp t, Stm s)

Methods inherited from class java.lang.Object

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

Constructor Detail

AlignmentAnalysis

public AlignmentAnalysis(Code c,
                         CFGrapher<Tree> cfg,
                         UseDefer<Tree> udr,
                         TreeDerivation td)

Creates a AlignmentAnalysis.

Method Detail

valueOf

public AlignmentAnalysis.Value valueOf(Exp e,
                                       Stm root)

valueUseAt

public AlignmentAnalysis.Value valueUseAt(Temp t,
                                          Stm s)

valueDefAt

public AlignmentAnalysis.Value valueDefAt(Temp t,
                                          Stm s)