SCEVValidator.cpp File Reference

#include "polly/Support/SCEVValidator.h"
#include "polly/ScopDetection.h"
#include "llvm/Analysis/RegionInfo.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/Support/Debug.h"
#include "polly/Support/PollyDebug.h"

Go to the source code of this file.

Classes
class	ValidatorResult
	The result the validator returns for a SCEV expression. More...
class	SCEVValidator
	Check if a SCEV is valid in a SCoP. More...
class	SCEVInRegionDependences
	Check whether a SCEV refers to an SSA name defined inside a region. More...
class	SCEVFindLoops
	Find all loops referenced in SCEVAddRecExprs. More...
class	SCEVFindValues
	Find all values referenced in SCEVUnknowns. More...

Namespaces
namespace	SCEVType

Macros
#define	DEBUG_TYPE   "polly-scev-validator"

Enumerations
enum	SCEVType::TYPE { SCEVType::INT , SCEVType::PARAM , SCEVType::IV , SCEVType::INVALID }
	The type of a SCEV. More...

Functions
raw_ostream &	operator<< (raw_ostream &OS, ValidatorResult &VR)
static bool	isAffineExpr (Value *V, const Region *R, Loop *Scope, ScalarEvolution &SE, ParameterSetTy &Params)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "polly-scev-validator"

Definition at line 13 of file SCEVValidator.cpp.

Function Documentation

isAffineExpr()

bool isAffineExpr ( Value * V, const Region * R, Loop * Scope, ScalarEvolution & SE, ParameterSetTy & Params )

static

Definition at line 624 of file SCEVValidator.cpp.

References ValidatorResult::getParameters(), ValidatorResult::isValid(), and polly::Value.

operator<<()

raw_ostream & operator<<	(	raw_ostream &	OS,
		ValidatorResult &	VR )

Definition at line 116 of file SCEVValidator.cpp.

References ValidatorResult::print().