1 files changed, 30 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_stream_read_pw_with_params_templ.c b/polly/lib/External/isl/isl_stream_read_pw_with_params_templ.c
new file mode 100644
index 000000000000..0e889989461f
--- /dev/null
+++ b/polly/lib/External/isl/isl_stream_read_pw_with_params_templ.c
@@ -0,0 +1,30 @@
+/*
+ * Copyright 2011      Sven Verdoolaege
+ *
+ * Use of this software is governed by the MIT license
+ *
+ * Written by Sven Verdoolaege.
+ */
+
+#undef TYPE
+#define TYPE CAT(isl_pw_,BASE)
+
+/* Read an object of type "TYPE" from "s" with parameter domain "dom".
+ * "v" contains a description of the identifiers parsed so far.
+ */
+static __isl_give TYPE *FN(isl_stream_read_with_params_pw,BASE)(
+	__isl_keep isl_stream *s, __isl_keep isl_set *dom, struct vars *v)
+{
+	TYPE *obj;
+
+	obj = FN(read_conditional,BASE)(s, isl_set_copy(dom), v);
+
+	while (isl_stream_eat_if_available(s, ';')) {
+		TYPE *obj2;
+
+		obj2 = FN(read_conditional,BASE)(s, isl_set_copy(dom), v);
+		obj = FN(TYPE,union_add)(obj, obj2);
+	}
+
+	return obj;
+}