Please use GitHub pull requests for new patches. Phabricator shutdown timeline
Changeset View
Changeset View
Standalone View
Standalone View
include/polly/Support/SCEVValidator.h
| //===--- SCEVValidator.h - Detect Scops -------------------------*- C++ -*-===// | //===--- SCEVValidator.h - Detect Scops -------------------------*- C++ -*-===// | ||||
| // | // | ||||
| // The LLVM Compiler Infrastructure | // The LLVM Compiler Infrastructure | ||||
| // | // | ||||
| // This file is distributed under the University of Illinois Open Source | // This file is distributed under the University of Illinois Open Source | ||||
| // License. See LICENSE.TXT for details. | // License. See LICENSE.TXT for details. | ||||
| // | // | ||||
| //===----------------------------------------------------------------------===// | //===----------------------------------------------------------------------===// | ||||
| // Checks if a SCEV expression represents a valid affine expression. | // Checks if a SCEV expression represents a valid affine expression. | ||||
| //===----------------------------------------------------------------------===// | //===----------------------------------------------------------------------===// | ||||
| #ifndef POLLY_SCEV_VALIDATOR_H | #ifndef POLLY_SCEV_VALIDATOR_H | ||||
| #define POLLY_SCEV_VALIDATOR_H | #define POLLY_SCEV_VALIDATOR_H | ||||
| #include "llvm/ADT/SetVector.h" | |||||
| #include <vector> | #include <vector> | ||||
| namespace llvm { | namespace llvm { | ||||
| class Region; | class Region; | ||||
| class SCEV; | class SCEV; | ||||
| class ScalarEvolution; | class ScalarEvolution; | ||||
| class Value; | class Value; | ||||
| class Loop; | |||||
| } | } | ||||
| namespace polly { | namespace polly { | ||||
| /// @brief Find the loops referenced from a SCEV expression. | |||||
| /// | |||||
| /// @param Expr The SCEV expression to scan for loops. | |||||
| /// @param Loops A vector into which the found loops are inserted. | |||||
| void findLoops(const llvm::SCEV *Expr, | |||||
| llvm::SetVector<const llvm::Loop *> &Loops); | |||||
| /// @brief Find the values referenced by SCEVUnknowns in a given SCEV expression. | |||||
| /// | |||||
| /// @param Expr The SCEV expression to scan for SCEVUnknowns. | |||||
| /// @param Expr A vector into which the found values are inserted. | |||||
| void findValues(const llvm::SCEV *Expr, llvm::SetVector<llvm::Value *> &Values); | |||||
| /// Returns true when the SCEV contains references to instructions within the | /// Returns true when the SCEV contains references to instructions within the | ||||
| /// region. | /// region. | ||||
| /// | /// | ||||
| /// @param S The SCEV to analyze. | /// @param S The SCEV to analyze. | ||||
| /// @param R The region in which we look for dependences. | /// @param R The region in which we look for dependences. | ||||
| bool hasScalarDepsInsideRegion(const llvm::SCEV *S, const llvm::Region *R); | bool hasScalarDepsInsideRegion(const llvm::SCEV *S, const llvm::Region *R); | ||||
| bool isAffineExpr(const llvm::Region *R, const llvm::SCEV *Expression, | bool isAffineExpr(const llvm::Region *R, const llvm::SCEV *Expression, | ||||
| llvm::ScalarEvolution &SE, | llvm::ScalarEvolution &SE, | ||||
| const llvm::Value *BaseAddress = 0); | const llvm::Value *BaseAddress = 0); | ||||
| std::vector<const llvm::SCEV *> | std::vector<const llvm::SCEV *> | ||||
| getParamsInAffineExpr(const llvm::Region *R, const llvm::SCEV *Expression, | getParamsInAffineExpr(const llvm::Region *R, const llvm::SCEV *Expression, | ||||
| llvm::ScalarEvolution &SE, | llvm::ScalarEvolution &SE, | ||||
| const llvm::Value *BaseAddress = 0); | const llvm::Value *BaseAddress = 0); | ||||
| } | } | ||||
| #endif | #endif | ||||