SCEVLoopGuardRewriter Class Reference

A rewriter to replace SCEV expressions in Map with the corresponding entry in the map. More...

Inheritance diagram for SCEVLoopGuardRewriter:

Collaboration diagram for SCEVLoopGuardRewriter:

Public Member Functions
	SCEVLoopGuardRewriter (ScalarEvolution &SE, DenseMap< const SCEV *, const SCEV * > &M)
const SCEV *	visitAddRecExpr (const SCEVAddRecExpr *Expr)
const SCEV *	visitUnknown (const SCEVUnknown *Expr)
const SCEV *	visitZeroExtendExpr (const SCEVZeroExtendExpr *Expr)
Public Member Functions inherited from llvm::SCEVRewriteVisitor< SCEVLoopGuardRewriter >
	SCEVRewriteVisitor (ScalarEvolution &SE)
const SCEV *	visit (const SCEV *S)
const SCEV *	visitConstant (const SCEVConstant *Constant)
const SCEV *	visitPtrToIntExpr (const SCEVPtrToIntExpr *Expr)
const SCEV *	visitTruncateExpr (const SCEVTruncateExpr *Expr)
const SCEV *	visitZeroExtendExpr (const SCEVZeroExtendExpr *Expr)
const SCEV *	visitSignExtendExpr (const SCEVSignExtendExpr *Expr)
const SCEV *	visitAddExpr (const SCEVAddExpr *Expr)
const SCEV *	visitMulExpr (const SCEVMulExpr *Expr)
const SCEV *	visitUDivExpr (const SCEVUDivExpr *Expr)
const SCEV *	visitAddRecExpr (const SCEVAddRecExpr *Expr)
const SCEV *	visitSMaxExpr (const SCEVSMaxExpr *Expr)
const SCEV *	visitUMaxExpr (const SCEVUMaxExpr *Expr)
const SCEV *	visitSMinExpr (const SCEVSMinExpr *Expr)
const SCEV *	visitUMinExpr (const SCEVUMinExpr *Expr)
const SCEV *	visitSequentialUMinExpr (const SCEVSequentialUMinExpr *Expr)
const SCEV *	visitUnknown (const SCEVUnknown *Expr)
const SCEV *	visitCouldNotCompute (const SCEVCouldNotCompute *Expr)
Public Member Functions inherited from llvm::SCEVVisitor< SCEVLoopGuardRewriter, const SCEV * >
const SCEV *	visit (const SCEV *S)
const SCEV *	visitCouldNotCompute (const SCEVCouldNotCompute *S)

Additional Inherited Members
Protected Attributes inherited from llvm::SCEVRewriteVisitor< SCEVLoopGuardRewriter >
ScalarEvolution &	SE
DenseMap< const SCEV *, const SCEV * >	RewriteResults

Detailed Description

A rewriter to replace SCEV expressions in Map with the corresponding entry in the map.

It skips AddRecExpr because we cannot guarantee that the replacement is loop invariant in the loop of the AddRec.

At the moment only rewriting SCEVUnknown and SCEVZeroExtendExpr is supported.

Definition at line 14358 of file ScalarEvolution.cpp.

Constructor & Destructor Documentation

SCEVLoopGuardRewriter()

SCEVLoopGuardRewriter::SCEVLoopGuardRewriter ( ScalarEvolution &  SE, DenseMap< const SCEV *, const SCEV * > &  M  )

inline

Definition at line 14362 of file ScalarEvolution.cpp.

References M.

Member Function Documentation

visitAddRecExpr()

const SCEV* SCEVLoopGuardRewriter::visitAddRecExpr ( const SCEVAddRecExpr *  Expr )

inline

Definition at line 14366 of file ScalarEvolution.cpp.

visitUnknown()

const SCEV* SCEVLoopGuardRewriter::visitUnknown ( const SCEVUnknown *  Expr )

inline

Definition at line 14368 of file ScalarEvolution.cpp.

References I.

visitZeroExtendExpr()

const SCEV* SCEVLoopGuardRewriter::visitZeroExtendExpr ( const SCEVZeroExtendExpr *  Expr )

inline

Definition at line 14375 of file ScalarEvolution.cpp.

References I, and llvm::SCEVRewriteVisitor< SC >::visitZeroExtendExpr().

---

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

• lib/Analysis/ScalarEvolution.cpp