update pet to version 0.11.4
[ppcg.git] / util.h
blob544d6edc82d3e68bb77449cf485e415d5a20adac
1 #ifndef UTIL_H
2 #define UTIL_H
4 #include <string.h>
6 #include <isl/space.h>
7 #include <isl/val.h>
9 /* Compare the prefix of "s" to "prefix" up to the length of "prefix".
11 static inline int prefixcmp(const char *s, const char *prefix)
13 return strncmp(s, prefix, strlen(prefix));
16 __isl_give isl_multi_val *ppcg_multi_val_from_int(__isl_take isl_space *space,
17 int val);
18 __isl_give isl_multi_val *ppcg_multi_val_from_int_list(
19 __isl_take isl_space *space, int *list);
20 __isl_give isl_multi_pw_aff *ppcg_size_from_extent(__isl_take isl_set *set);
22 #endif