Add files forgotten in r264452

llvm-svn: 264460

diff --git a/polly/lib/External/isl/include/isl/maybe.h b/polly/lib/External/isl/include/isl/maybe.h
new file mode 100644 (file)
index 0000000..1fb3573
--- /dev/null
+++ b/polly/lib/External/isl/include/isl/maybe.h
@@ -0,0 +1,7 @@
+#ifndef ISL_MAYBE_H
+#define ISL_MAYBE_H
+
+#define ISL_xMAYBE(TYPE)       isl_maybe_ ## TYPE
+#define ISL_MAYBE(TYPE)                ISL_xMAYBE(TYPE)
+
+#endif

diff --git a/polly/lib/External/isl/include/isl/maybe_ast_expr.h b/polly/lib/External/isl/include/isl/maybe_ast_expr.h
new file mode 100644 (file)
index 0000000..260fa34
--- /dev/null
+++ b/polly/lib/External/isl/include/isl/maybe_ast_expr.h
@@ -0,0 +1,8 @@
+#ifndef ISL_MAYBE_AST_EXPR_H
+#define ISL_MAYBE_AST_EXPR_H
+
+#define ISL_TYPE       isl_ast_expr
+#include <isl/maybe_templ.h>
+#undef ISL_TYPE
+
+#endif

diff --git a/polly/lib/External/isl/include/isl/maybe_basic_set.h b/polly/lib/External/isl/include/isl/maybe_basic_set.h
new file mode 100644 (file)
index 0000000..1dc0881
--- /dev/null
+++ b/polly/lib/External/isl/include/isl/maybe_basic_set.h
@@ -0,0 +1,8 @@
+#ifndef ISL_MAYBE_BASIC_SET_H
+#define ISL_MAYBE_BASIC_SET_H
+
+#define ISL_TYPE       isl_basic_set
+#include <isl/maybe_templ.h>
+#undef ISL_TYPE
+
+#endif

diff --git a/polly/lib/External/isl/include/isl/maybe_id.h b/polly/lib/External/isl/include/isl/maybe_id.h
new file mode 100644 (file)
index 0000000..24ea308
--- /dev/null
+++ b/polly/lib/External/isl/include/isl/maybe_id.h
@@ -0,0 +1,8 @@
+#ifndef ISL_MAYBE_ID_H
+#define ISL_MAYBE_ID_H
+
+#define ISL_TYPE       isl_id
+#include <isl/maybe_templ.h>
+#undef ISL_TYPE
+
+#endif

diff --git a/polly/lib/External/isl/include/isl/maybe_pw_aff.h b/polly/lib/External/isl/include/isl/maybe_pw_aff.h
new file mode 100644 (file)
index 0000000..bc0dd9c
--- /dev/null
+++ b/polly/lib/External/isl/include/isl/maybe_pw_aff.h
@@ -0,0 +1,8 @@
+#ifndef ISL_MAYBE_PW_AFF_H
+#define ISL_MAYBE_PW_AFF_H
+
+#define ISL_TYPE       isl_pw_aff
+#include <isl/maybe_templ.h>
+#undef ISL_TYPE
+
+#endif

diff --git a/polly/lib/External/isl/include/isl/maybe_templ.h b/polly/lib/External/isl/include/isl/maybe_templ.h
new file mode 100644 (file)
index 0000000..4dac253
--- /dev/null
+++ b/polly/lib/External/isl/include/isl/maybe_templ.h
@@ -0,0 +1,12 @@
+#include <isl/ctx.h>
+#include <isl/maybe.h>
+
+/* A structure that possibly contains a pointer to an object of type ISL_TYPE.
+ * The pointer in "value" is only valid if "valid" is isl_bool_true.
+ * Otherwise, "value" is set to NULL.
+ */
+struct ISL_MAYBE(ISL_TYPE) {
+       isl_bool        valid;
+       ISL_TYPE        *value;
+};
+typedef struct ISL_MAYBE(ISL_TYPE) ISL_MAYBE(ISL_TYPE);