Polly: SCEVValidator Class Reference

Polly 22.0.0git

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

Inheritance diagram for SCEVValidator:

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.

References ILS, R, Scope, and SE.

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 SCEVValidator(), and visitLoadInstruction().

◆ R

const Region* SCEVValidator::R

private

Definition at line 124 of file SCEVValidator.cpp.

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

◆ Scope

Loop* SCEVValidator::Scope

private

Definition at line 125 of file SCEVValidator.cpp.

Referenced by SCEVValidator(), visitAddRecExpr(), and visitUnknown().

◆ SE

ScalarEvolution& SCEVValidator::SE

private

Definition at line 126 of file SCEVValidator.cpp.

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

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

SCEVValidator.cpp