diff options
Diffstat (limited to 'polly/lib/Support/SCEVValidator.cpp')
-rw-r--r-- | polly/lib/Support/SCEVValidator.cpp | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/polly/lib/Support/SCEVValidator.cpp b/polly/lib/Support/SCEVValidator.cpp index 7d35d9e950d..82e8fd6ed7f 100644 --- a/polly/lib/Support/SCEVValidator.cpp +++ b/polly/lib/Support/SCEVValidator.cpp @@ -12,7 +12,7 @@ using namespace polly; #define DEBUG_TYPE "polly-scev-validator" namespace SCEVType { -/// @brief The type of a SCEV +/// The type of a SCEV /// /// To check for the validity of a SCEV we assign to each SCEV a type. The /// possible types are INT, PARAM, IV and INVALID. The order of the types is @@ -34,58 +34,58 @@ enum TYPE { }; } // namespace SCEVType -/// @brief The result the validator returns for a SCEV expression. +/// The result the validator returns for a SCEV expression. class ValidatorResult { - /// @brief The type of the expression + /// The type of the expression SCEVType::TYPE Type; - /// @brief The set of Parameters in the expression. + /// The set of Parameters in the expression. ParameterSetTy Parameters; public: - /// @brief The copy constructor + /// The copy constructor ValidatorResult(const ValidatorResult &Source) { Type = Source.Type; Parameters = Source.Parameters; } - /// @brief Construct a result with a certain type and no parameters. + /// Construct a result with a certain type and no parameters. ValidatorResult(SCEVType::TYPE Type) : Type(Type) { assert(Type != SCEVType::PARAM && "Did you forget to pass the parameter"); } - /// @brief Construct a result with a certain type and a single parameter. + /// Construct a result with a certain type and a single parameter. ValidatorResult(SCEVType::TYPE Type, const SCEV *Expr) : Type(Type) { Parameters.insert(Expr); } - /// @brief Get the type of the ValidatorResult. + /// Get the type of the ValidatorResult. SCEVType::TYPE getType() { return Type; } - /// @brief Is the analyzed SCEV constant during the execution of the SCoP. + /// Is the analyzed SCEV constant during the execution of the SCoP. bool isConstant() { return Type == SCEVType::INT || Type == SCEVType::PARAM; } - /// @brief Is the analyzed SCEV valid. + /// Is the analyzed SCEV valid. bool isValid() { return Type != SCEVType::INVALID; } - /// @brief Is the analyzed SCEV of Type IV. + /// Is the analyzed SCEV of Type IV. bool isIV() { return Type == SCEVType::IV; } - /// @brief Is the analyzed SCEV of Type INT. + /// Is the analyzed SCEV of Type INT. bool isINT() { return Type == SCEVType::INT; } - /// @brief Is the analyzed SCEV of Type PARAM. + /// Is the analyzed SCEV of Type PARAM. bool isPARAM() { return Type == SCEVType::PARAM; } - /// @brief Get the parameters of this validator result. + /// Get the parameters of this validator result. const ParameterSetTy &getParameters() { return Parameters; } - /// @brief Add the parameters of Source to this result. + /// Add the parameters of Source to this result. void addParamsFrom(const ValidatorResult &Source) { Parameters.insert(Source.Parameters.begin(), Source.Parameters.end()); } - /// @brief Merge a result. + /// Merge a result. /// /// This means to merge the parameters and to set the Type to the most /// specific Type that matches both. @@ -387,7 +387,7 @@ public: } }; -/// @brief Check whether a SCEV refers to an SSA name defined inside a region. +/// Check whether a SCEV refers to an SSA name defined inside a region. class SCEVInRegionDependences { const Region *R; Loop *Scope; |