llvm::SCEVCouldNotCompute Struct Reference
#include <ScalarEvolution.h>
Public Member Functions | |
| virtual bool | isLoopInvariant (const Loop *L) const |
| virtual const Type * | getType () const |
| virtual bool | hasComputableLoopEvolution (const Loop *L) const |
| virtual void | print (raw_ostream &OS) const |
| virtual bool | hasOperand (const SCEV *Op) 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 SCEVCouldNotCompute *S) |
| Methods for support type inquiry through isa, cast, and dyn_cast:. | |
| static bool | classof (const SCEV *S) |
Detailed Description
SCEVCouldNotCompute - An object of this class is returned by queries that could not be answered. For example, if you ask for the number of iterations of a linked-list traversal loop, you will get one of these. None of the standard SCEV operations are valid on this class, it is just a marker.Member Function Documentation
| virtual bool llvm::SCEVCouldNotCompute::dominates | ( | BasicBlock * | BB, | |
| DominatorTree * | DT | |||
| ) | const [inline, virtual] |
dominates - Return true if elements that makes up this SCEV dominates the specified basic block.
Implements llvm::SCEV.
| virtual const Type* llvm::SCEVCouldNotCompute::getType | ( | ) | const [virtual] |
getType - Return the LLVM type of this SCEV expression.
Implements llvm::SCEV.
| virtual bool llvm::SCEVCouldNotCompute::hasComputableLoopEvolution | ( | const Loop * | L | ) | const [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::SCEVCouldNotCompute::hasOperand | ( | const SCEV * | Op | ) | const [virtual] |
hasOperand - Test whether this SCEV has Op as a direct or indirect operand.
Implements llvm::SCEV.
| virtual bool llvm::SCEVCouldNotCompute::isLoopInvariant | ( | const Loop * | L | ) | const [virtual] |
isLoopInvariant - Return true if the value of this SCEV is unchanging in the specified loop.
Implements llvm::SCEV.
| virtual void llvm::SCEVCouldNotCompute::print | ( | raw_ostream & | OS | ) | const [virtual] |
print - Print out the internal representation of this scalar to the specified stream. This should really only be used for debugging purposes.
Implements llvm::SCEV.
| virtual bool llvm::SCEVCouldNotCompute::properlyDominates | ( | BasicBlock * | BB, | |
| DominatorTree * | DT | |||
| ) | const [inline, virtual] |
properlyDominates - Return true if elements that makes up this SCEV properly dominate the specified basic block.
Implements llvm::SCEV.
The documentation for this struct was generated from the following file:
