Subversion Repositories QNX 8.QNX8 LLVM/Clang compiler suite

Rev

Blame | Last modification | View Log | Download | RSS feed

  1. /*
  2.  * Copyright 2008-2009 Katholieke Universiteit Leuven
  3.  *
  4.  * Use of this software is governed by the MIT license
  5.  *
  6.  * Written by Sven Verdoolaege, K.U.Leuven, Departement
  7.  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
  8.  */
  9.  
  10. #ifndef ISL_CONSTRAINT_H
  11. #define ISL_CONSTRAINT_H
  12.  
  13. #include <isl/local_space.h>
  14. #include <isl/space_type.h>
  15. #include <isl/aff_type.h>
  16. #include <isl/set_type.h>
  17. #include <isl/list.h>
  18. #include <isl/val_type.h>
  19. #include <isl/printer.h>
  20.  
  21. #if defined(__cplusplus)
  22. extern "C" {
  23. #endif
  24.  
  25. struct isl_constraint;
  26. typedef struct isl_constraint isl_constraint;
  27.  
  28. ISL_DECLARE_LIST(constraint)
  29.  
  30. isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);
  31.  
  32. __isl_give isl_constraint *isl_constraint_alloc_equality(
  33.         __isl_take isl_local_space *ls);
  34. __isl_give isl_constraint *isl_constraint_alloc_inequality(
  35.         __isl_take isl_local_space *ls);
  36. __isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls);
  37. __isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls);
  38.  
  39. __isl_give isl_constraint *isl_constraint_copy(__isl_keep isl_constraint *c);
  40. __isl_null isl_constraint *isl_constraint_free(__isl_take isl_constraint *c);
  41.  
  42. isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
  43. isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
  44. isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
  45.         isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
  46. isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
  47.         isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
  48. __isl_give isl_constraint_list *isl_basic_map_get_constraint_list(
  49.         __isl_keep isl_basic_map *bmap);
  50. __isl_give isl_constraint_list *isl_basic_set_get_constraint_list(
  51.         __isl_keep isl_basic_set *bset);
  52. int isl_constraint_is_equal(__isl_keep isl_constraint *constraint1,
  53.                             __isl_keep isl_constraint *constraint2);
  54.  
  55. isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
  56.         enum isl_dim_type type, unsigned pos,
  57.         isl_stat (*fn)(__isl_take isl_constraint *lower,
  58.                   __isl_take isl_constraint *upper,
  59.                   __isl_take isl_basic_set *bset, void *user), void *user);
  60.  
  61. __isl_give isl_basic_map *isl_basic_map_add_constraint(
  62.         __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
  63. __isl_give isl_basic_set *isl_basic_set_add_constraint(
  64.         __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
  65. __isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map,
  66.         __isl_take isl_constraint *constraint);
  67. __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
  68.         __isl_take isl_constraint *constraint);
  69.  
  70. isl_bool isl_basic_map_has_defining_equality(
  71.         __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
  72.         __isl_give isl_constraint **c);
  73. isl_bool isl_basic_set_has_defining_equality(
  74.         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  75.         struct isl_constraint **constraint);
  76. isl_bool isl_basic_set_has_defining_inequalities(
  77.         struct isl_basic_set *bset, enum isl_dim_type type, int pos,
  78.         struct isl_constraint **lower,
  79.         struct isl_constraint **upper);
  80.  
  81. __isl_give isl_space *isl_constraint_get_space(
  82.         __isl_keep isl_constraint *constraint);
  83. __isl_give isl_local_space *isl_constraint_get_local_space(
  84.         __isl_keep isl_constraint *constraint);
  85. isl_size isl_constraint_dim(__isl_keep isl_constraint *constraint,
  86.         enum isl_dim_type type);
  87.  
  88. isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
  89.         enum isl_dim_type type, unsigned first, unsigned n);
  90.  
  91. const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
  92.         enum isl_dim_type type, unsigned pos);
  93. __isl_give isl_val *isl_constraint_get_constant_val(
  94.         __isl_keep isl_constraint *constraint);
  95. __isl_give isl_val *isl_constraint_get_coefficient_val(
  96.         __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
  97. __isl_give isl_constraint *isl_constraint_set_constant_si(
  98.         __isl_take isl_constraint *constraint, int v);
  99. __isl_give isl_constraint *isl_constraint_set_constant_val(
  100.         __isl_take isl_constraint *constraint, __isl_take isl_val *v);
  101. __isl_give isl_constraint *isl_constraint_set_coefficient_si(
  102.         __isl_take isl_constraint *constraint,
  103.         enum isl_dim_type type, int pos, int v);
  104. __isl_give isl_constraint *isl_constraint_set_coefficient_val(
  105.         __isl_take isl_constraint *constraint,
  106.         enum isl_dim_type type, int pos, __isl_take isl_val *v);
  107.  
  108. __isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint,
  109.         int pos);
  110.  
  111. __isl_give isl_constraint *isl_constraint_negate(
  112.         __isl_take isl_constraint *constraint);
  113.  
  114. isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
  115. isl_bool isl_constraint_is_div_constraint(
  116.         __isl_keep isl_constraint *constraint);
  117.  
  118. isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
  119.         enum isl_dim_type type, unsigned pos);
  120. isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
  121.         enum isl_dim_type type, unsigned pos);
  122.  
  123. __isl_give isl_basic_map *isl_basic_map_from_constraint(
  124.         __isl_take isl_constraint *constraint);
  125. __isl_give isl_basic_set *isl_basic_set_from_constraint(
  126.         __isl_take isl_constraint *constraint);
  127.  
  128. __isl_give isl_aff *isl_constraint_get_bound(
  129.         __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
  130. __isl_give isl_aff *isl_constraint_get_aff(
  131.         __isl_keep isl_constraint *constraint);
  132. __isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff);
  133. __isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff);
  134.  
  135. int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1,
  136.         __isl_keep isl_constraint *c2);
  137. int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1,
  138.         __isl_keep isl_constraint *c2);
  139.  
  140. __isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p,
  141.         __isl_keep isl_constraint *c);
  142. void isl_constraint_dump(__isl_keep isl_constraint *c);
  143.  
  144. #if defined(__cplusplus)
  145. }
  146. #endif
  147.  
  148. #endif
  149.