#include <ScalarEvolutionExpressions.h>

Public Member Functions | |
| const SCEV * | getOperand () 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 SCEV * | Op |
| const Type * | Ty |
| 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.
1.5.8