projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
isl_space_unwrap: fix error message
[platform/upstream/isl.git]
/
isl_local_space_private.h
diff --git
a/isl_local_space_private.h
b/isl_local_space_private.h
index
85ecfe1
..
8d106bd
100644
(file)
--- a/
isl_local_space_private.h
+++ b/
isl_local_space_private.h
@@
-1,7
+1,6
@@
#ifndef ISL_LOCAL_SPACE_PRIVATE_H
#define ISL_LOCAL_SPACE_PRIVATE_H
#ifndef ISL_LOCAL_SPACE_PRIVATE_H
#define ISL_LOCAL_SPACE_PRIVATE_H
-#include <isl/div.h>
#include <isl/mat.h>
#include <isl/set.h>
#include <isl/local_space.h>
#include <isl/mat.h>
#include <isl/set.h>
#include <isl/local_space.h>
@@
-15,6
+14,8
@@
struct isl_local_space {
__isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *dim,
unsigned n_div);
__isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *dim,
unsigned n_div);
+__isl_give isl_local_space *isl_local_space_alloc_div(__isl_take isl_space *dim,
+ __isl_take isl_mat *div);
__isl_give isl_local_space *isl_local_space_add_div(
__isl_take isl_local_space *ls, __isl_take isl_vec *div);
__isl_give isl_local_space *isl_local_space_add_div(
__isl_take isl_local_space *ls, __isl_take isl_vec *div);
@@
-45,4
+46,11
@@
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(
+ __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_lift(
+ __isl_take isl_local_space *ls);
+
#endif
#endif