LLVM 23.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.

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.

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

◆ visitAddExpr()

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

Definition at line 805 of file ScalarEvolutionExpressions.h.

◆ visitAddRecExpr()

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

Definition at line 832 of file ScalarEvolutionExpressions.h.

◆ 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.

◆ visitPtrToIntExpr()

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

Definition at line 777 of file ScalarEvolutionExpressions.h.

◆ visitSequentialUMinExpr()

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

Definition at line 884 of file ScalarEvolutionExpressions.h.

◆ visitSignExtendExpr()

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

Definition at line 798 of file ScalarEvolutionExpressions.h.

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.

◆ visitSMinExpr()

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

Definition at line 864 of file ScalarEvolutionExpressions.h.

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.

◆ visitUDivExpr()

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

Definition at line 825 of file ScalarEvolutionExpressions.h.

◆ visitUMaxExpr()

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

Definition at line 854 of file ScalarEvolutionExpressions.h.

◆ visitUMinExpr()

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

Definition at line 874 of file ScalarEvolutionExpressions.h.

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.

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.

◆ SE

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

Definition at line 752 of file ScalarEvolutionExpressions.h.

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