diff options
Diffstat (limited to 'polly/lib/External/isl/isl_map_to_basic_set.c')
| -rw-r--r-- | polly/lib/External/isl/isl_map_to_basic_set.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_map_to_basic_set.c b/polly/lib/External/isl/isl_map_to_basic_set.c new file mode 100644 index 00000000000..6755d52bcdd --- /dev/null +++ b/polly/lib/External/isl/isl_map_to_basic_set.c @@ -0,0 +1,10 @@ +#include <isl/map_to_basic_set.h> +#include <isl/map.h> +#include <isl/set.h> + +#define KEY_BASE map +#define KEY_EQUAL isl_map_plain_is_equal +#define VAL_BASE basic_set +#define VAL_EQUAL isl_basic_set_plain_is_equal + +#include <isl_hmap_templ.c> |
