scale.score.expr
Class ExprPhiExpr

java.lang.Object
  scale.common.Root
      scale.score.Note
          scale.score.expr.Expr
              scale.score.expr.NaryExpr
                  scale.score.expr.PhiExpr
                      scale.score.expr.ExprPhiExpr

All Implemented Interfaces:

AnnotationInterface, DisplayNode

public class ExprPhiExpr
extends PhiExpr

This class represents a ExprPhi operation in static single assignment form.

$Id: ExprPhiExpr.java,v 1.37 2006-02-28 16:37:11 burrill Exp $

Copyright 2008 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

It is used by PRE.

See Also:

PRE

Field Summary

Fields inherited from class scale.score.expr.Expr

fpReorder, SE_DOMAIN, SE_NONE, SE_OVERFLOW, SE_STATE

Constructor Summary

ExprPhiExpr(int ver)

ExprPhiExpr(int ver, Type type, Vector<Expr> operands)

ExprPhiExpr(Type type, Vector<Expr> operands)
All in-coming values should be of the same type.

Method Summary

Expr	copy() Perform a deep copy of the expression tree.
boolean	getCanBeAvail()
java.lang.String	getDisplayLabel(java.lang.Object extra)
boolean	getDownSafe()
boolean	getLater()
int	getVersion()
boolean	getWillBeAvail()
void	setCanBeAvail(boolean canBeAvail)
void	setDownSafe(boolean downSafe)
void	setLater(boolean later)
void	setVersion(int version)
void	setWillBeAvail(boolean willBeAvail)
java.lang.String	toStringSpecial() Return any special information of a node that is not a child or annotation.
void	visit(Predicate p) Process a node by calling its associated routine.

Methods inherited from class scale.score.expr.PhiExpr

clearEdge, clearEdgeMarkers, dependsOnDeclaration, edgeMarked, executionCostEstimate, findCriticalChord, findLinearCoefficient, getAffineRepresentation, getConstantValue, getDisplayLabel, isLoopInvariant, markEdge, optimizationCandidate, removeOperand, sideEffects, validate

Methods inherited from class scale.score.expr.NaryExpr

addOperand, containsDeclaration, equivalent, getDeclList, getExprList, getLoadExprList, getOperand, getOperandArray, loopClean, numOperands, pushOperands, recordRefs, removeRefs, removeUseDef, replaceDecl, setOperand, unlinkExpression

Methods inherited from class scale.score.expr.Expr

addCast, addCast, canonical, changeInDataEdge, conditionalCopy, conditionalUnlinkExpression, deleteOutDataEdge, executionOrder, executionOrdinal, findSubscriptExpr, getAffineExpr, getAliasAnnote, getCall, getConstantValue, getCoreType, getCriticalChord, getDefExpr, getDisplayColorHint, getDisplayShapeHint, getDualExpr, getInDataEdge, getInDataEdgeArray, getLoopHeader, getLow, getLValue, getOutDataEdge, getPointedToCore, getReference, getReuseLevel, getRValue, getType, getUseDef, hasTrueFalseResult, isCast, isDefined, isDefined, isLiteralExpr, isMatchExpr, isMemoryDef, isMemRefExpr, isScalar, isSimpleExpr, mayGenerateCall, numInDataEdges, reduce, removeDualExprs, setCrossloopReuse, setOutDataEdge, setSpatialReuse, setStep, setTemporalReuse, setType, setUseDef, validLValue

Methods inherited from class scale.score.Note

getChord, getEssentialUse, setAnnotationLevel, setReportLevel, toString

Methods inherited from class scale.common.Root

addAnnotation, allAnnotations, allMatchingAnnotations, getAnnotation, getDisplayName, getDisplayString, getNodeCount, getNodeID, hasAnnotation, hasEqualAnnotation, hashCode, removeAnnotation, removeAnnotations, toStringAnnotations, toStringClass, trace, trace, trace

Methods inherited from class java.lang.Object

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

Constructor Detail

ExprPhiExpr

public ExprPhiExpr(Type type,
                   Vector<Expr> operands)

All in-coming values should be of the same type. The result type is the same as that of the incoming data.

Parameters:

type - of the result and each in-coming value

operands - a vector in-coming values

ExprPhiExpr

public ExprPhiExpr(int ver)

ExprPhiExpr

public ExprPhiExpr(int ver,
                   Type type,
                   Vector<Expr> operands)

Method Detail

setVersion

public void setVersion(int version)

getVersion

public int getVersion()

getCanBeAvail

public boolean getCanBeAvail()

setCanBeAvail

public void setCanBeAvail(boolean canBeAvail)

getLater

public boolean getLater()

setLater

public void setLater(boolean later)

getDownSafe

public boolean getDownSafe()

setDownSafe

public void setDownSafe(boolean downSafe)

getWillBeAvail

public boolean getWillBeAvail()

setWillBeAvail

public void setWillBeAvail(boolean willBeAvail)

copy

public Expr copy()

Description copied from class: Expr

Perform a deep copy of the expression tree. By deep copy, we mean that copies are made of the expression tree.

Overrides:

copy in class PhiExpr

Returns:

a copy of this expression

visit

public void visit(Predicate p)

Description copied from class: Note

Process a node by calling its associated routine. See the "visitor" design pattern in Design Patterns: Elements of Reusable Object-Oriented Software by E. Gamma, et al, Addison Wesley, ISBN 0-201-63361-2.

Each class has a visit(Predicate p) method. For example, in class ABC:

   public void visit(Predicate p)
   {
     p.visitABC(this);
   }
 

and the class that implements Predicate has a method

   public void visitABC(Note n)
   {
     ABC a = (ABC) n;
     ...
   }
 

Thus, the class that implements Predicate can call

   n.visit(this);
 

where n is a Note sub-class without determining which specific sub-class n is. The visit pattern basically avoids implementing a large switch statement or defining different methods in each class for some purpose.

Overrides:

visit in class PhiExpr

See Also:

Predicate

getDisplayLabel

public java.lang.String getDisplayLabel(java.lang.Object extra)

toStringSpecial

public java.lang.String toStringSpecial()

Description copied from class: Root

Return any special information of a node that is not a child or annotation. This method is meant to be overridden by nodes that need to provide special output.

Overrides:

toStringSpecial in class Expr