cl::init(false), cl::ZeroOrMore,
cl::cat(PollyCategory));
-/// @brief Free an IslAstUserPayload object pointed to by @p Ptr
-static void freeIslAstUserPayload(void *Ptr) {
- delete ((IslAstInfo::IslAstUserPayload *)Ptr);
-}
-
-IslAstInfo::IslAstUserPayload::~IslAstUserPayload() {
- isl_ast_build_free(Build);
- isl_pw_aff_free(MinimalDependenceDistance);
-}
-
+namespace polly {
/// @brief Temporary information used when building the ast.
struct AstBuildUserInfo {
/// @brief Construct and initialize the helper struct for AST creation.
/// @brief The last iterator id created for the current SCoP.
isl_id *LastForNodeId;
};
+}
+
+/// @brief Free an IslAstUserPayload object pointed to by @p Ptr
+static void freeIslAstUserPayload(void *Ptr) {
+ delete ((IslAstInfo::IslAstUserPayload *)Ptr);
+}
+
+IslAstInfo::IslAstUserPayload::~IslAstUserPayload() {
+ isl_ast_build_free(Build);
+ isl_pw_aff_free(MinimalDependenceDistance);
+}
/// @brief Print a string @p str in a single line using @p Printer.
static isl_printer *printLine(__isl_take isl_printer *Printer,