Use isl_schedule_get_ctx
authorTobias Grosser <tobias@grosser.es>
Fri, 21 Nov 2014 19:39:42 +0000 (19:39 +0000)
committerTobias Grosser <tobias@grosser.es>
Fri, 21 Nov 2014 19:39:42 +0000 (19:39 +0000)
llvm-svn: 222560

polly/lib/Support/GICHelper.cpp

index 3ad4e501b71f56a5e18aaaf7603b72f83cf9a32f..0b7abc24a06877f476022b60c97cb6e566d4a5f1 100644 (file)
@@ -80,10 +80,6 @@ static inline std::string stringFromIslObjInternal(__isl_keep ISLTy *isl_obj,
   return string;
 }
 
-static inline isl_ctx *schedule_get_ctx(__isl_keep isl_schedule *schedule) {
-  return isl_union_map_get_ctx(isl_schedule_get_map(schedule));
-}
-
 std::string polly::stringFromIslObj(__isl_keep isl_map *map) {
   return stringFromIslObjInternal(map, isl_map_get_ctx, isl_printer_print_map);
 }
@@ -103,7 +99,7 @@ std::string polly::stringFromIslObj(__isl_keep isl_union_set *uset) {
 }
 
 std::string polly::stringFromIslObj(__isl_keep isl_schedule *schedule) {
-  return stringFromIslObjInternal(schedule, schedule_get_ctx,
+  return stringFromIslObjInternal(schedule, isl_schedule_get_ctx,
                                   isl_printer_print_schedule);
 }