From ec40037776b95cc7f34147398d23aff41bbbe29d Mon Sep 17 00:00:00 2001
From: Daniel Maier <daniel.maier@tu-berlin.de>
Date: Fri, 7 Sep 2018 10:07:21 +0200
Subject: [PATCH] save scop
---
main.cpp | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/main.cpp b/main.cpp
index 64d7e56..c85881e 100644
--- a/main.cpp
+++ b/main.cpp
@@ -32,18 +32,22 @@ int main() {
return -1;
}
scop = osl_scop_read(fp);
- //osl_scop_dump(stdout, scop);
+ fclose(fp);
for(auto s = scop->statement; s; s = s->next) {
auto d = s->domain;
- osl_relation_dump(stdout, d);
+ osl_relation_dump(stdout, s->domain);
auto n = perforate(d);
s->domain = n;
osl_relation_free(d);
}
+
+ fp = fopen("perf.openscop", "w");
+ osl_scop_print(fp, scop);
+ fclose(fp);
// Dump the content of the scop data structure.
--
GitLab