6 files changed, 51 insertions, 0 deletions
diff --git a/polly/lib/External/isl/include/isl/maybe.h b/polly/lib/External/isl/include/isl/maybe.h
new file mode 100644
index 00000000000..1fb35737fca
--- /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
index 00000000000..260fa345be2
--- /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
index 00000000000..1dc0881e9d5
--- /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
index 00000000000..24ea308623b
--- /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
index 00000000000..bc0dd9ca516
--- /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
index 00000000000..4dac253f652
--- /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);