LLVM 22.0.0git
Public Member Functions | Protected Attributes | List of all members
llvm::SCEVRewriteVisitor< SC > Class Template Reference

This visitor recursively visits a SCEV expression and re-writes it. More...

#include "llvm/Analysis/ScalarEvolutionExpressions.h"

Inheritance diagram for llvm::SCEVRewriteVisitor< SC >:
[legend]

Public Member Functions

 SCEVRewriteVisitor (ScalarEvolution &SE)
const SCEV * visit (const SCEV *S)
const SCEV * visitConstant (const SCEVConstant *Constant)
const SCEV * visitVScale (const SCEVVScale *VScale)
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< SC, const SCEV * >
const SCEV * visit (const SCEV *S)
const SCEV * visitCouldNotCompute (const SCEVCouldNotCompute *S)

Protected Attributes

ScalarEvolution & SE
SmallDenseMap< const SCEV *, const SCEV * > RewriteResults

Detailed Description

template<typename SC>
class llvm::SCEVRewriteVisitor< SC >

This visitor recursively visits a SCEV expression and re-writes it.

The result from each visit is cached, so it will return the same SCEV for the same input.

Definition at line 750 of file ScalarEvolutionExpressions.h.

Constructor & Destructor Documentation

◆ SCEVRewriteVisitor()

template<typename SC>
llvm::SCEVRewriteVisitor< SC >::SCEVRewriteVisitor ( ScalarEvolution & SE)
inline

Definition at line 761 of file ScalarEvolutionExpressions.h.

References SE.

Member Function Documentation

◆ visit()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visit ( const SCEV * S)
inline

Definition at line 763 of file ScalarEvolutionExpressions.h.

References assert(), RewriteResults, and llvm::SCEVVisitor< SC, RetVal >::visit().

Referenced by llvm::ScalarEvolution::LoopGuards::rewrite(), visitAddExpr(), visitAddRecExpr(), visitMulExpr(), visitSequentialUMinExpr(), visitSMaxExpr(), visitSMinExpr(), visitUMaxExpr(), and visitUMinExpr().

◆ visitAddExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitAddExpr ( const SCEVAddExpr * Expr)
inline

Definition at line 805 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

◆ visitAddRecExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitAddRecExpr ( const SCEVAddRecExpr * Expr)
inline

Definition at line 832 of file ScalarEvolutionExpressions.h.

References Changed, llvm::SCEVAddRecExpr::getLoop(), llvm::SCEVNAryExpr::getNoWrapFlags(), Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

◆ visitConstant()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitConstant ( const SCEVConstant * Constant)
inline

Definition at line 773 of file ScalarEvolutionExpressions.h.

◆ visitCouldNotCompute()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitCouldNotCompute ( const SCEVCouldNotCompute * Expr)
inline

Definition at line 896 of file ScalarEvolutionExpressions.h.

◆ visitMulExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitMulExpr ( const SCEVMulExpr * Expr)
inline

Definition at line 815 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

◆ visitPtrToIntExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitPtrToIntExpr ( const SCEVPtrToIntExpr * Expr)
inline

Definition at line 777 of file ScalarEvolutionExpressions.h.

References llvm::SCEVCastExpr::getOperand(), llvm::SCEVCastExpr::getType(), and SE.

◆ visitSequentialUMinExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitSequentialUMinExpr ( const SCEVSequentialUMinExpr * Expr)
inline

Definition at line 884 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

◆ visitSignExtendExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitSignExtendExpr ( const SCEVSignExtendExpr * Expr)
inline

Definition at line 798 of file ScalarEvolutionExpressions.h.

References llvm::SCEVCastExpr::getOperand(), llvm::SCEVCastExpr::getType(), and SE.

Referenced by llvm::ScalarEvolution::LoopGuards::rewrite().

◆ visitSMaxExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitSMaxExpr ( const SCEVSMaxExpr * Expr)
inline

Definition at line 844 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

◆ visitSMinExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitSMinExpr ( const SCEVSMinExpr * Expr)
inline

Definition at line 864 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

Referenced by llvm::ScalarEvolution::LoopGuards::rewrite().

◆ visitTruncateExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitTruncateExpr ( const SCEVTruncateExpr * Expr)
inline

Definition at line 784 of file ScalarEvolutionExpressions.h.

References llvm::SCEVCastExpr::getOperand(), llvm::SCEVCastExpr::getType(), and SE.

◆ visitUDivExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitUDivExpr ( const SCEVUDivExpr * Expr)
inline

Definition at line 825 of file ScalarEvolutionExpressions.h.

References Changed, llvm::SCEVUDivExpr::getLHS(), llvm::SCEVUDivExpr::getRHS(), LHS, RHS, and SE.

◆ visitUMaxExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitUMaxExpr ( const SCEVUMaxExpr * Expr)
inline

Definition at line 854 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

◆ visitUMinExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitUMinExpr ( const SCEVUMinExpr * Expr)
inline

Definition at line 874 of file ScalarEvolutionExpressions.h.

References Changed, Operands, llvm::SCEVNAryExpr::operands(), SE, and visit().

Referenced by llvm::ScalarEvolution::LoopGuards::rewrite().

◆ visitUnknown()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitUnknown ( const SCEVUnknown * Expr)
inline

Definition at line 894 of file ScalarEvolutionExpressions.h.

◆ visitVScale()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitVScale ( const SCEVVScale * VScale)
inline

Definition at line 775 of file ScalarEvolutionExpressions.h.

◆ visitZeroExtendExpr()

template<typename SC>
const SCEV * llvm::SCEVRewriteVisitor< SC >::visitZeroExtendExpr ( const SCEVZeroExtendExpr * Expr)
inline

Definition at line 791 of file ScalarEvolutionExpressions.h.

References llvm::SCEVCastExpr::getOperand(), llvm::SCEVCastExpr::getType(), and SE.

Referenced by llvm::ScalarEvolution::LoopGuards::rewrite().

Member Data Documentation

◆ RewriteResults

template<typename SC>
SmallDenseMap<const SCEV *, const SCEV *> llvm::SCEVRewriteVisitor< SC >::RewriteResults
protected

Definition at line 758 of file ScalarEvolutionExpressions.h.

Referenced by visit().

◆ SE

template<typename SC>
ScalarEvolution& llvm::SCEVRewriteVisitor< SC >::SE
protected

Definition at line 752 of file ScalarEvolutionExpressions.h.

Referenced by SCEVRewriteVisitor(), visitAddExpr(), visitAddRecExpr(), visitMulExpr(), visitPtrToIntExpr(), visitSequentialUMinExpr(), visitSignExtendExpr(), visitSMaxExpr(), visitSMinExpr(), visitTruncateExpr(), visitUDivExpr(), visitUMaxExpr(), visitUMinExpr(), and visitZeroExtendExpr().

The documentation for this class was generated from the following file:
Generated on for LLVM by doxygen 1.14.0