projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add isl_qpolynomial_fold_scale_val
[platform/upstream/isl.git]
/
isl_local_space_private.h
diff --git
a/isl_local_space_private.h
b/isl_local_space_private.h
index
990aff8
..
d54c3e3
100644
(file)
--- a/
isl_local_space_private.h
+++ b/
isl_local_space_private.h
@@
-49,6
+49,10
@@
int isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
+__isl_give isl_local_space *isl_local_space_substitute_seq(
+ __isl_take isl_local_space *ls,
+ enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,
+ int first, int n);
__isl_give isl_local_space *isl_local_space_substitute(
__isl_take isl_local_space *ls,
enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
__isl_give isl_local_space *isl_local_space_substitute(
__isl_take isl_local_space *ls,
enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
@@
-56,4
+60,7
@@
__isl_give isl_local_space *isl_local_space_substitute(
__isl_give isl_local_space *isl_local_space_lift(
__isl_take isl_local_space *ls);
__isl_give isl_local_space *isl_local_space_lift(
__isl_take isl_local_space *ls);
+__isl_give isl_local_space *isl_local_space_preimage_multi_aff(
+ __isl_take isl_local_space *ls, __isl_take isl_multi_aff *ma);
+
#endif
#endif