LLVM API Documentation
#include <ScalarEvolutionExpressions.h>
Inheritance diagram for llvm::SCEVZeroExtendExpr:
Public Member Functions | |
const SCEVHandle & | getOperand () const |
virtual const Type * | getType () const |
virtual bool | isLoopInvariant (const Loop *L) const |
virtual bool | hasComputableLoopEvolution (const Loop *L) const |
virtual ConstantRange | getValueRange () const |
SCEVHandle | replaceSymbolicValuesWithConcrete (const SCEVHandle &Sym, const SCEVHandle &Conc) const |
virtual void | print (std::ostream &OS) const |
Static Public Member Functions | |
static SCEVHandle | get (const SCEVHandle &Op, const Type *Ty) |
static bool | classof (const SCEVZeroExtendExpr *S) |
Methods for support type inquiry through isa, cast, and dyn_cast:. | |
static bool | classof (const SCEV *S) |
Definition at line 123 of file ScalarEvolutionExpressions.h.
static bool llvm::SCEVZeroExtendExpr::classof | ( | const SCEV * | S | ) | [inline, static] |
Definition at line 160 of file ScalarEvolutionExpressions.h.
References llvm::SCEV::getSCEVType(), and llvm::scZeroExtend.
static bool llvm::SCEVZeroExtendExpr::classof | ( | const SCEVZeroExtendExpr * | S | ) | [inline, static] |
Methods for support type inquiry through isa, cast, and dyn_cast:.
Definition at line 159 of file ScalarEvolutionExpressions.h.
SCEVHandle SCEVZeroExtendExpr::get | ( | const SCEVHandle & | Op, | |
const Type * | Ty | |||
) | [static] |
get method - This just gets and returns a new SCEVZeroExtend object
Definition at line 578 of file ScalarEvolution.cpp.
References llvm::SCEVUnknown::get(), llvm::ConstantExpr::getCast(), and SCEVZeroExtends.
Referenced by getTruncateOrZeroExtend(), and replaceSymbolicValuesWithConcrete().
const SCEVHandle& llvm::SCEVZeroExtendExpr::getOperand | ( | ) | const [inline] |
Definition at line 133 of file ScalarEvolutionExpressions.h.
Referenced by getValueRange(), and llvm::SCEVExpander::visitZeroExtendExpr().
virtual const Type* llvm::SCEVZeroExtendExpr::getType | ( | ) | const [inline, virtual] |
getType - Return the LLVM type of this SCEV expression.
Implements llvm::SCEV.
Definition at line 134 of file ScalarEvolutionExpressions.h.
Referenced by getValueRange(), and llvm::SCEVExpander::visitZeroExtendExpr().
ConstantRange SCEVZeroExtendExpr::getValueRange | ( | ) | const [virtual] |
getValueRange - Return the tightest constant bounds that this value is known to have. This method is only valid on integer SCEV objects.
Reimplemented from llvm::SCEV.
Definition at line 241 of file ScalarEvolution.cpp.
References getOperand(), and getType().
virtual bool llvm::SCEVZeroExtendExpr::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.
Definition at line 140 of file ScalarEvolutionExpressions.h.
virtual bool llvm::SCEVZeroExtendExpr::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.
Definition at line 136 of file ScalarEvolutionExpressions.h.
void SCEVZeroExtendExpr::print | ( | std::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.
Definition at line 245 of file ScalarEvolution.cpp.
SCEVHandle llvm::SCEVZeroExtendExpr::replaceSymbolicValuesWithConcrete | ( | const SCEVHandle & | Sym, | |
const SCEVHandle & | Conc | |||
) | const [inline, virtual] |
replaceSymbolicValuesWithConcrete - If this SCEV internally references the symbolic value "Sym", construct and return a new SCEV that produces the same value, but which uses the concrete value Conc instead of the symbolic value. If this SCEV does not use the symbolic value, it returns itself.
Implements llvm::SCEV.
Definition at line 148 of file ScalarEvolutionExpressions.h.