Polly 22.0.0git
Public Member Functions | Private Attributes | List of all members
SCEVValidator Class Reference

Check if a SCEV is valid in a SCoP. More...

Inheritance diagram for SCEVValidator:
[legend]

Public Member Functions

 SCEVValidator (const Region *R, Loop *Scope, ScalarEvolution &SE, InvariantLoadsSetTy *ILS)
 
ValidatorResult visitConstant (const SCEVConstant *Constant)
 
ValidatorResult visitVScale (const SCEVVScale *VScale)
 
ValidatorResult visitZeroExtendOrTruncateExpr (const SCEV *Expr, const SCEV *Operand)
 
ValidatorResult visitPtrToIntExpr (const SCEVPtrToIntExpr *Expr)
 
ValidatorResult visitTruncateExpr (const SCEVTruncateExpr *Expr)
 
ValidatorResult visitZeroExtendExpr (const SCEVZeroExtendExpr *Expr)
 
ValidatorResult visitSignExtendExpr (const SCEVSignExtendExpr *Expr)
 
ValidatorResult visitAddExpr (const SCEVAddExpr *Expr)
 
ValidatorResult visitMulExpr (const SCEVMulExpr *Expr)
 
ValidatorResult visitAddRecExpr (const SCEVAddRecExpr *Expr)
 
ValidatorResult visitSMaxExpr (const SCEVSMaxExpr *Expr)
 
ValidatorResult visitSMinExpr (const SCEVSMinExpr *Expr)
 
ValidatorResult visitUMaxExpr (const SCEVUMaxExpr *Expr)
 
ValidatorResult visitUMinExpr (const SCEVUMinExpr *Expr)
 
ValidatorResult visitSequentialUMinExpr (const SCEVSequentialUMinExpr *Expr)
 
ValidatorResult visitGenericInst (Instruction *I, const SCEV *S)
 
ValidatorResult visitLoadInstruction (Instruction *I, const SCEV *S)
 
ValidatorResult visitDivision (const SCEV *Dividend, const SCEV *Divisor, const SCEV *DivExpr, Instruction *SDiv=nullptr)
 
ValidatorResult visitUDivExpr (const SCEVUDivExpr *Expr)
 
ValidatorResult visitSDivInstruction (Instruction *SDiv, const SCEV *Expr)
 
ValidatorResult visitSRemInstruction (Instruction *SRem, const SCEV *S)
 
ValidatorResult visitUnknown (const SCEVUnknown *Expr)
 

Private Attributes

const Region * R
 
Loop * Scope
 
ScalarEvolution & SE
 
InvariantLoadsSetTy * ILS
 

Detailed Description

Check if a SCEV is valid in a SCoP.

Definition at line 122 of file SCEVValidator.cpp.

Constructor & Destructor Documentation

◆ SCEVValidator()

SCEVValidator::SCEVValidator ( const Region *  R,
Loop *  Scope,
ScalarEvolution &  SE,
InvariantLoadsSetTy *  ILS 
)
inline

Definition at line 130 of file SCEVValidator.cpp.

Member Function Documentation

◆ visitAddExpr()

ValidatorResult SCEVValidator::visitAddExpr ( const SCEVAddExpr *  Expr)
inline

Definition at line 175 of file SCEVValidator.cpp.

References SCEVType::INT, ValidatorResult::isValid(), and ValidatorResult::merge().

◆ visitAddRecExpr()

ValidatorResult SCEVValidator::visitAddRecExpr ( const SCEVAddRecExpr *  Expr)
inline

Definition at line 226 of file SCEVValidator.cpp.

References ValidatorResult::addParamsFrom(), assert, SCEVType::INVALID, ValidatorResult::isConstant(), ValidatorResult::isINT(), ValidatorResult::isValid(), SCEVType::IV, SCEVType::PARAM, POLLY_DEBUG, R, Scope, and SE.

◆ visitConstant()

ValidatorResult SCEVValidator::visitConstant ( const SCEVConstant *  Constant)
inline

Definition at line 134 of file SCEVValidator.cpp.

References SCEVType::INT.

◆ visitDivision()

ValidatorResult SCEVValidator::visitDivision ( const SCEV *  Dividend,
const SCEV *  Divisor,
const SCEV *  DivExpr,
Instruction *  SDiv = nullptr 
)
inline

Definition at line 377 of file SCEVValidator.cpp.

References SCEVType::INVALID, ValidatorResult::isConstant(), SCEVType::PARAM, POLLY_DEBUG, and visitGenericInst().

Referenced by visitSDivInstruction(), and visitUDivExpr().

◆ visitGenericInst()

ValidatorResult SCEVValidator::visitGenericInst ( Instruction *  I,
const SCEV *  S 
)
inline

Definition at line 358 of file SCEVValidator.cpp.

References SCEVType::INVALID, SCEVType::PARAM, POLLY_DEBUG, and R.

Referenced by visitDivision(), visitLoadInstruction(), visitSRemInstruction(), and visitUnknown().

◆ visitLoadInstruction()

ValidatorResult SCEVValidator::visitLoadInstruction ( Instruction *  I,
const SCEV *  S 
)
inline

Definition at line 368 of file SCEVValidator.cpp.

References ILS, SCEVType::PARAM, R, and visitGenericInst().

Referenced by visitUnknown().

◆ visitMulExpr()

ValidatorResult SCEVValidator::visitMulExpr ( const SCEVMulExpr *  Expr)
inline

Definition at line 190 of file SCEVValidator.cpp.

References SCEVType::INT, SCEVType::INVALID, ValidatorResult::isINT(), ValidatorResult::isIV(), ValidatorResult::isPARAM(), ValidatorResult::isValid(), ValidatorResult::merge(), SCEVType::PARAM, and POLLY_DEBUG.

◆ visitPtrToIntExpr()

ValidatorResult SCEVValidator::visitPtrToIntExpr ( const SCEVPtrToIntExpr *  Expr)
inline

Definition at line 159 of file SCEVValidator.cpp.

◆ visitSDivInstruction()

ValidatorResult SCEVValidator::visitSDivInstruction ( Instruction *  SDiv,
const SCEV *  Expr 
)
inline

Definition at line 411 of file SCEVValidator.cpp.

References assert, SE, and visitDivision().

Referenced by visitUnknown().

◆ visitSequentialUMinExpr()

ValidatorResult SCEVValidator::visitSequentialUMinExpr ( const SCEVSequentialUMinExpr *  Expr)
inline

Definition at line 341 of file SCEVValidator.cpp.

References SCEVType::INVALID, ValidatorResult::isConstant(), SCEVType::PARAM, and POLLY_DEBUG.

◆ visitSignExtendExpr()

ValidatorResult SCEVValidator::visitSignExtendExpr ( const SCEVSignExtendExpr *  Expr)
inline

Definition at line 171 of file SCEVValidator.cpp.

◆ visitSMaxExpr()

ValidatorResult SCEVValidator::visitSMaxExpr ( const SCEVSMaxExpr *  Expr)
inline

Definition at line 281 of file SCEVValidator.cpp.

References SCEVType::INT, ValidatorResult::isValid(), and ValidatorResult::merge().

◆ visitSMinExpr()

ValidatorResult SCEVValidator::visitSMinExpr ( const SCEVSMinExpr *  Expr)
inline

Definition at line 296 of file SCEVValidator.cpp.

References SCEVType::INT, ValidatorResult::isValid(), and ValidatorResult::merge().

◆ visitSRemInstruction()

ValidatorResult SCEVValidator::visitSRemInstruction ( Instruction *  SRem,
const SCEV *  S 
)
inline

Definition at line 420 of file SCEVValidator.cpp.

References assert, SE, and visitGenericInst().

Referenced by visitUnknown().

◆ visitTruncateExpr()

ValidatorResult SCEVValidator::visitTruncateExpr ( const SCEVTruncateExpr *  Expr)
inline

Definition at line 163 of file SCEVValidator.cpp.

References visitZeroExtendOrTruncateExpr().

◆ visitUDivExpr()

ValidatorResult SCEVValidator::visitUDivExpr ( const SCEVUDivExpr *  Expr)
inline

Definition at line 402 of file SCEVValidator.cpp.

References SCEVType::INVALID, polly::PollyAllowUnsignedOperations, and visitDivision().

◆ visitUMaxExpr()

ValidatorResult SCEVValidator::visitUMaxExpr ( const SCEVUMaxExpr *  Expr)
inline

Definition at line 311 of file SCEVValidator.cpp.

References SCEVType::INVALID, ValidatorResult::isConstant(), SCEVType::PARAM, and POLLY_DEBUG.

◆ visitUMinExpr()

ValidatorResult SCEVValidator::visitUMinExpr ( const SCEVUMinExpr *  Expr)
inline

Definition at line 326 of file SCEVValidator.cpp.

References SCEVType::INVALID, ValidatorResult::isConstant(), SCEVType::PARAM, and POLLY_DEBUG.

◆ visitUnknown()

ValidatorResult SCEVValidator::visitUnknown ( const SCEVUnknown *  Expr)
inline

Definition at line 434 of file SCEVValidator.cpp.

References SCEVType::INT, SCEVType::INVALID, SCEVType::PARAM, POLLY_DEBUG, Scope, SE, polly::Value, visitGenericInst(), visitLoadInstruction(), visitSDivInstruction(), and visitSRemInstruction().

◆ visitVScale()

ValidatorResult SCEVValidator::visitVScale ( const SCEVVScale *  VScale)
inline

Definition at line 138 of file SCEVValidator.cpp.

References SCEVType::INVALID, and POLLY_DEBUG.

◆ visitZeroExtendExpr()

ValidatorResult SCEVValidator::visitZeroExtendExpr ( const SCEVZeroExtendExpr *  Expr)
inline

Definition at line 167 of file SCEVValidator.cpp.

References visitZeroExtendOrTruncateExpr().

◆ visitZeroExtendOrTruncateExpr()

ValidatorResult SCEVValidator::visitZeroExtendOrTruncateExpr ( const SCEV *  Expr,
const SCEV *  Operand 
)
inline

Definition at line 144 of file SCEVValidator.cpp.

References ValidatorResult::getType(), SCEVType::INVALID, SCEVType::IV, SCEVType::PARAM, and polly::PollyAllowUnsignedOperations.

Referenced by visitTruncateExpr(), and visitZeroExtendExpr().

Member Data Documentation

◆ ILS

InvariantLoadsSetTy* SCEVValidator::ILS
private

Definition at line 127 of file SCEVValidator.cpp.

Referenced by visitLoadInstruction().

◆ R

const Region* SCEVValidator::R
private

Definition at line 124 of file SCEVValidator.cpp.

Referenced by visitAddRecExpr(), visitGenericInst(), and visitLoadInstruction().

◆ Scope

Loop* SCEVValidator::Scope
private

Definition at line 125 of file SCEVValidator.cpp.

Referenced by visitAddRecExpr(), and visitUnknown().

◆ SE

ScalarEvolution& SCEVValidator::SE
private

Definition at line 126 of file SCEVValidator.cpp.

Referenced by visitAddRecExpr(), visitSDivInstruction(), visitSRemInstruction(), and visitUnknown().

The documentation for this class was generated from the following file:
Generated on Fri Aug 29 2025 22:12:13 for Polly by doxygen 1.9.6