diff options
Diffstat (limited to 'polly/lib/Support/GICHelper.cpp')
| -rw-r--r-- | polly/lib/Support/GICHelper.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/polly/lib/Support/GICHelper.cpp b/polly/lib/Support/GICHelper.cpp index ac23e4c9a18..e92ea39d45e 100644 --- a/polly/lib/Support/GICHelper.cpp +++ b/polly/lib/Support/GICHelper.cpp @@ -16,6 +16,7 @@ #include "isl/map.h" #include "isl/schedule.h" #include "isl/set.h" +#include "isl/space.h" #include "isl/union_map.h" #include "isl/union_set.h" #include "isl/val.h" @@ -128,6 +129,11 @@ std::string polly::stringFromIslObj(__isl_keep isl_pw_aff *pwaff) { isl_printer_print_pw_aff); } +std::string polly::stringFromIslObj(__isl_keep isl_space *space) { + return stringFromIslObjInternal(space, isl_space_get_ctx, + isl_printer_print_space); +} + static void replace(std::string &str, const std::string &find, const std::string &replace) { size_t pos = 0; |
