summaryrefslogtreecommitdiffstats
path: root/polly/lib/Support/SCEVValidator.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'polly/lib/Support/SCEVValidator.cpp')
-rw-r--r--polly/lib/Support/SCEVValidator.cpp34
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;
OpenPOWER on IntegriCloud