llvm::SCEVCastExpr Class Reference

#include <ScalarEvolutionExpressions.h>

Inheritance diagram for llvm::SCEVCastExpr:

llvm::SCEV llvm::SCEVSignExtendExpr llvm::SCEVTruncateExpr llvm::SCEVZeroExtendExpr

List of all members.

Public Member Functions

const SCEVgetOperand () const
virtual const Type * getType () const
virtual bool isLoopInvariant (const Loop *L) const
virtual bool hasComputableLoopEvolution (const Loop *L) const
virtual bool hasOperand (const SCEV *O) const
virtual bool dominates (BasicBlock *BB, DominatorTree *DT) const
virtual bool properlyDominates (BasicBlock *BB, DominatorTree *DT) const

Static Public Member Functions

static bool classof (const SCEVCastExpr *S)
 Methods for support type inquiry through isa, cast, and dyn_cast:.
static bool classof (const SCEV *S)

Protected Member Functions

 SCEVCastExpr (const FoldingSetNodeIDRef ID, unsigned SCEVTy, const SCEV *op, const Type *ty)

Protected Attributes

const SCEVOp
const Type * Ty


Detailed Description

SCEVCastExpr - This is the base class for unary cast operator classes.

Member Function Documentation

virtual bool llvm::SCEVCastExpr::dominates ( BasicBlock *  BB,
DominatorTree DT 
) const [virtual]

dominates - Return true if elements that makes up this SCEV dominates the specified basic block.

Implements llvm::SCEV.

virtual const Type* llvm::SCEVCastExpr::getType (  )  const [inline, virtual]

getType - Return the LLVM type of this SCEV expression.

Implements llvm::SCEV.

virtual bool llvm::SCEVCastExpr::hasComputableLoopEvolution ( const Loop *  L  )  const [inline, virtual]

hasComputableLoopEvolution - Return true if this SCEV changes value in a known way in the specified loop. This property being true implies that the value is variant in the loop AND that we can emit an expression to compute the value of the expression at any particular loop iteration.

Implements llvm::SCEV.

virtual bool llvm::SCEVCastExpr::hasOperand ( const SCEV Op  )  const [inline, virtual]

hasOperand - Test whether this SCEV has Op as a direct or indirect operand.

Implements llvm::SCEV.

virtual bool llvm::SCEVCastExpr::isLoopInvariant ( const Loop *  L  )  const [inline, virtual]

isLoopInvariant - Return true if the value of this SCEV is unchanging in the specified loop.

Implements llvm::SCEV.

virtual bool llvm::SCEVCastExpr::properlyDominates ( BasicBlock *  BB,
DominatorTree DT 
) const [virtual]

properlyDominates - Return true if elements that makes up this SCEV properly dominate the specified basic block.

Implements llvm::SCEV.


The documentation for this class was generated from the following file:

Generated on Fri Mar 19 01:41:25 2010 by  doxygen 1.5.8