reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

   81   void addParameters(__isl_take isl_set *Context);
  196   bool materializeParameters(__isl_take isl_set *Set);
  296   Value *preloadUnconditionally(__isl_take isl_set *AccessRange,
  310                               __isl_take isl_set *Domain);

  160                           __isl_keep isl_set *Domain,
  162                           SmallVectorImpl<__isl_give isl_set *> &ConditionSets);
  173                           Loop *L, __isl_keep isl_set *Domain,
  175                           SmallVectorImpl<__isl_give isl_set *> &ConditionSets);
  183                           __isl_keep isl_set *Domain,
  185                           SmallVectorImpl<__isl_give isl_set *> &ConditionSets);
  195   __isl_give isl_set *buildUnsignedConditionSets(
  196       BasicBlock *BB, Value *Condition, __isl_keep isl_set *Domain,

 1654                         Instruction *TI, Loop *L, __isl_keep isl_set *Domain,
 1656                         SmallVectorImpl<__isl_give isl_set *> &ConditionSets);
 1666 __isl_give isl_set *
 1668                            __isl_keep isl_set *Domain, const SCEV *SCEV_TestVal,
 1679                         __isl_keep isl_set *Domain,
 1681                         SmallVectorImpl<__isl_give isl_set *> &ConditionSets);

  155 std::string stringFromIslObj(__isl_keep isl_set *set);
  180                                      __isl_keep isl_set *Set) {

  541 void dumpPw(__isl_keep isl_set *Set);
  587 void dumpExpanded(__isl_keep isl_set *Set);

  135       isl_set *domcp = Stmt.getDomain().release();
  534       isl_set *AccDomW = isl_map_wrap(MA->getAccessRelation().release());
  580       isl_set *AccDomW = isl_map_wrap(MA->getAccessRelation().release());
  695   isl_set *Deltas, *Distance;

  360 __isl_give isl_set *ScopBuilder::buildUnsignedConditionSets(
  361     BasicBlock *BB, Value *Condition, __isl_keep isl_set *Domain,
  373   isl_set *First =
  378   isl_set *Second;
  386   isl_set *ConsequenceCondSet = isl_set_intersect(First, Second);
  391     BasicBlock *BB, SwitchInst *SI, Loop *L, __isl_keep isl_set *Domain,
  393     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {
  407     isl_set *CaseConditionSet =
  416   isl_set *ConditionSetUnion = isl_set_copy(ConditionSets[1]);
  429     __isl_keep isl_set *Domain,
  431     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {
  432   isl_set *ConsequenceCondSet = nullptr;
  471     isl_set *ConsCondPart0 = ConditionSets.pop_back_val();
  473     isl_set *ConsCondPart1 = ConditionSets.pop_back_val();
  536   isl_set *AlternativeCondSet = nullptr;
  562     BasicBlock *BB, Instruction *TI, Loop *L, __isl_keep isl_set *Domain,
  564     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {
  756       SmallVector<isl_set *, 8> ConditionSets;
  929     SmallVector<isl_set *, 8> ConditionSets;
 1500     isl_set *Dom = scop->getDomainConditions(AS.BB).release();
 1513     isl_set *S = AS.Set.copy();
 1556     SmallVector<isl_set *, 2> ConditionSets;
 1569     isl_set *AssumptionCtx = nullptr;

 1099 bool IslNodeBuilder::materializeParameters(isl_set *Set) {
 1196 Value *IslNodeBuilder::preloadUnconditionally(isl_set *AccessRange,
 1228                                             isl_set *Domain) {
 1229   isl_set *AccessRange = isl_map_range(MA.getAddressFunction().release());
 1240   isl_set *Universe = isl_set_universe(isl_set_get_space(Domain));
 1524 void IslNodeBuilder::addParameters(__isl_take isl_set *Context) {

  462           isl_set *NewAccessSet = isl_map_range(isl_map_copy(NewAccessMap));
  463           isl_set *CurrentAccessSet =

  135 	__isl_take isl_set *context);
  137 	__isl_take isl_set *context);
  154 __isl_give isl_set *isl_aff_eq_set(__isl_take isl_aff *aff1,
  157 __isl_give isl_set *isl_aff_ne_set(__isl_take isl_aff *aff1,
  162 __isl_give isl_set *isl_aff_le_set(__isl_take isl_aff *aff1,
  167 __isl_give isl_set *isl_aff_lt_set(__isl_take isl_aff *aff1,
  172 __isl_give isl_set *isl_aff_ge_set(__isl_take isl_aff *aff1,
  177 __isl_give isl_set *isl_aff_gt_set(__isl_take isl_aff *aff1,
  195 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
  202 __isl_give isl_pw_aff *isl_pw_aff_val_on_domain(__isl_take isl_set *domain,
  205 __isl_give isl_pw_aff *isl_set_indicator_function(__isl_take isl_set *set);
  263 __isl_give isl_set *isl_pw_aff_params(__isl_take isl_pw_aff *pwa);
  264 __isl_give isl_set *isl_pw_aff_domain(__isl_take isl_pw_aff *pwaff);
  302 	__isl_take isl_set *set);
  304 	__isl_take isl_set *set);
  306 	__isl_take isl_set *set);
  331 	__isl_take isl_set *context);
  333 	__isl_take isl_set *context);
  350 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_aff *aff,
  353 __isl_give isl_set *isl_set_from_pw_aff(__isl_take isl_pw_aff *pwaff);
  356 __isl_give isl_set *isl_pw_aff_pos_set(__isl_take isl_pw_aff *pa);
  357 __isl_give isl_set *isl_pw_aff_nonneg_set(__isl_take isl_pw_aff *pwaff);
  358 __isl_give isl_set *isl_pw_aff_zero_set(__isl_take isl_pw_aff *pwaff);
  359 __isl_give isl_set *isl_pw_aff_non_zero_set(__isl_take isl_pw_aff *pwaff);
  362 __isl_give isl_set *isl_pw_aff_eq_set(__isl_take isl_pw_aff *pwaff1,
  365 __isl_give isl_set *isl_pw_aff_ne_set(__isl_take isl_pw_aff *pwaff1,
  368 __isl_give isl_set *isl_pw_aff_le_set(__isl_take isl_pw_aff *pwaff1,
  371 __isl_give isl_set *isl_pw_aff_lt_set(__isl_take isl_pw_aff *pwaff1,
  374 __isl_give isl_set *isl_pw_aff_ge_set(__isl_take isl_pw_aff *pwaff1,
  377 __isl_give isl_set *isl_pw_aff_gt_set(__isl_take isl_pw_aff *pwaff1,
  397 __isl_give isl_set *isl_pw_aff_list_eq_set(__isl_take isl_pw_aff_list *list1,
  399 __isl_give isl_set *isl_pw_aff_list_ne_set(__isl_take isl_pw_aff_list *list1,
  401 __isl_give isl_set *isl_pw_aff_list_le_set(__isl_take isl_pw_aff_list *list1,
  403 __isl_give isl_set *isl_pw_aff_list_lt_set(__isl_take isl_pw_aff_list *list1,
  405 __isl_give isl_set *isl_pw_aff_list_ge_set(__isl_take isl_pw_aff_list *list1,
  407 __isl_give isl_set *isl_pw_aff_list_gt_set(__isl_take isl_pw_aff_list *list1,
  431 	__isl_take isl_multi_aff *maff, __isl_take isl_set *context);
  433 	__isl_take isl_set *context);
  446 __isl_give isl_set *isl_multi_aff_lex_lt_set(__isl_take isl_multi_aff *ma1,
  448 __isl_give isl_set *isl_multi_aff_lex_le_set(__isl_take isl_multi_aff *ma1,
  450 __isl_give isl_set *isl_multi_aff_lex_gt_set(__isl_take isl_multi_aff *ma1,
  452 __isl_give isl_set *isl_multi_aff_lex_ge_set(__isl_take isl_multi_aff *ma1,
  483 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_alloc(__isl_take isl_set *set,
  528 __isl_give isl_set *isl_pw_multi_aff_domain(__isl_take isl_pw_multi_aff *pma);
  532 	__isl_take isl_set *set);
  535 	__isl_take isl_set *domain, __isl_take isl_multi_val *mv);
  597 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  599 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  601 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  614 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  616 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_set *set);
  627 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff,
  631 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma);
  637 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_from_set(__isl_take isl_set *set);
  700 	__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *context);
  761 	__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_set *set);
  798 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
  800 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
  802 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
  807 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
  809 	__isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
  830 __isl_give isl_set *isl_set_from_multi_pw_aff(__isl_take isl_multi_pw_aff *mpa);
  928 	__isl_take isl_union_pw_aff *upa, __isl_take isl_set *context);
  949 	__isl_take isl_union_pw_aff *upa, __isl_take isl_set *set);
  999 	__isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *params);
 1001 	__isl_take isl_multi_union_pw_aff *mupa, __isl_take isl_set *set);
 1012 	__isl_take isl_multi_union_pw_aff *aff, __isl_take isl_set *context);

   51 __isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *set);
   59 	__isl_take isl_ast_build *build, __isl_take isl_set *set);
   99 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);

   67 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
   67 __isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,

   33 	__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
   33 	__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
   35 	__isl_take isl_set *source_restr);
   40 	__isl_keep isl_map *source_map, __isl_keep isl_set *sink,

   26 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
   29 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,

 2623 inline set manage(__isl_take isl_set *ptr);
 2624 inline set manage_copy(__isl_keep isl_set *ptr);
 2627   friend inline set manage(__isl_take isl_set *ptr);
 2628   friend inline set manage_copy(__isl_keep isl_set *ptr);
 2630   isl_set *ptr = nullptr;
 2632   inline explicit set(__isl_take isl_set *ptr);
 2644   inline __isl_give isl_set *copy() const &;
 2645   inline __isl_give isl_set *copy() && = delete;
 2646   inline __isl_keep isl_set *get() const;
 2647   inline __isl_give isl_set *release();
14449 set manage(__isl_take isl_set *ptr) {
14452 set manage_copy(__isl_keep isl_set *ptr) {
14469 set::set(__isl_take isl_set *ptr)
14503 __isl_give isl_set *set::copy() const & {
14507 __isl_keep isl_set *set::get() const {
14511 __isl_give isl_set *set::release() {
14512   isl_set *tmp = ptr;

  236 		__isl_give isl_set **empty);
  239 		__isl_give isl_set **empty);
  241 		__isl_take isl_map *map, __isl_take isl_set *dom,
  242 		__isl_give isl_set **empty);
  244 		__isl_take isl_map *map, __isl_take isl_set *dom,
  245 		__isl_give isl_set **empty);
  256 	__isl_give isl_set **empty);
  259 	__isl_give isl_set **empty);
  311 		__isl_take isl_set *set);
  315 		__isl_take isl_set *set);
  374 		__isl_take isl_set *params);
  380 	__isl_take isl_set *dom);
  382 	__isl_take isl_set *dom);
  398 __isl_give isl_set *isl_map_deltas(__isl_take isl_map *map);
  466 __isl_give isl_map *isl_set_identity(__isl_take isl_set *set);
  471 isl_bool isl_set_is_wrapping(__isl_keep isl_set *set);
  473 __isl_give isl_set *isl_map_wrap(__isl_take isl_map *map);
  475 __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set);
  493 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
  493 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set);
  494 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set);
  495 __isl_give isl_set *isl_map_params(__isl_take isl_map *map);
  496 __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);
  497 __isl_give isl_set *isl_map_range(__isl_take isl_map *map);
  500 __isl_give isl_map *isl_set_wrapped_domain_map(__isl_take isl_set *set);
  503 __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set);
  508 __isl_give isl_map *isl_map_from_range(__isl_take isl_set *set);
  511 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
  512 	__isl_take isl_set *range);
  601 	__isl_take isl_set *context);
  603 	__isl_take isl_set *context);
  605 	__isl_take isl_set *context);

  119 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *context);
  121 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *context);
  143 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set *set,
  179 __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial *pwqp);
  181 	__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
  183 	__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
  185 	__isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
  246 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
  250 	isl_stat (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
  271 	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
  273 	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
  330 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);
  332 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);
  357 	__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
  394 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
  397 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
  399 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
  401 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
  438 	isl_stat (*fn)(__isl_take isl_set *set,
  442 	isl_stat (*fn)(__isl_take isl_set *set,
  454 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
  456 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
  468 	__isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf,
  531 	__isl_take isl_set *set);
  567 	__isl_take isl_set *context);
  629 	__isl_take isl_set *set);
  672 	__isl_take isl_set *context);

   60 	__isl_take isl_schedule_constraints *sc, __isl_take isl_set *context);
   88 __isl_give isl_set *isl_schedule_constraints_get_context(
  159 	__isl_take isl_schedule *schedule, __isl_take isl_set *context);
  164 	__isl_take isl_schedule *schedule, __isl_take isl_set *guard);
  172 	__isl_take isl_schedule *schedule, __isl_take isl_set *context);

  116 __isl_give isl_set *isl_schedule_node_band_get_ast_isolate_option(
  151 __isl_give isl_set *isl_schedule_node_context_get_context(
  163 __isl_give isl_set *isl_schedule_node_guard_get_guard(
  194 	__isl_take isl_schedule_node *node, __isl_take isl_set *context);
  201 	__isl_take isl_schedule_node *node, __isl_take isl_set *context);

   34 unsigned isl_set_n_dim(__isl_keep isl_set *set);
   35 unsigned isl_set_n_param(__isl_keep isl_set *set);
   36 unsigned isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type);
   39 isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set);
   41 __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set);
   42 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
   42 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,
   52 isl_bool isl_set_has_tuple_name(__isl_keep isl_set *set);
   53 const char *isl_set_get_tuple_name(__isl_keep isl_set *set);
   56 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
   56 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,
   63 isl_bool isl_set_has_dim_name(__isl_keep isl_set *set,
   65 const char *isl_set_get_dim_name(__isl_keep isl_set *set,
   67 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
   67 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,
   74 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
   74 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,
   76 isl_bool isl_set_has_dim_id(__isl_keep isl_set *set,
   78 __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set,
   80 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
   80 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,
   82 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set);
   82 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set);
   83 isl_bool isl_set_has_tuple_id(__isl_keep isl_set *set);
   84 __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set);
   85 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set);
   85 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set);
   87 int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type,
   89 int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type type,
  129 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set);
  129 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set);
  133 __isl_give isl_set *isl_set_list_union(__isl_take isl_set_list *list);
  140 __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, FILE *input);
  142 __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, const char *str);
  144 void isl_set_dump(__isl_keep isl_set *set);
  148 	__isl_keep isl_set *map);
  153 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
  153 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,
  155 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
  155 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,
  160 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
  160 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,
  162 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
  162 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,
  167 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
  167 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,
  170 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
  170 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,
  179 __isl_give isl_set *isl_basic_set_partial_lexmin(
  181 		__isl_give isl_set **empty);
  182 __isl_give isl_set *isl_basic_set_partial_lexmax(
  184 		__isl_give isl_set **empty);
  185 __isl_give isl_set *isl_set_partial_lexmin(
  186 		__isl_take isl_set *set, __isl_take isl_set *dom,
  186 		__isl_take isl_set *set, __isl_take isl_set *dom,
  187 		__isl_give isl_set **empty);
  188 __isl_give isl_set *isl_set_partial_lexmax(
  189 		__isl_take isl_set *set, __isl_take isl_set *dom,
  189 		__isl_take isl_set *set, __isl_take isl_set *dom,
  190 		__isl_give isl_set **empty);
  192 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset);
  194 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset);
  196 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
  196 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
  198 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
  198 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
  201 	__isl_give isl_set **empty);
  204 	__isl_give isl_set **empty);
  206 	__isl_take isl_set *set);
  208 	__isl_take isl_set *set);
  211 __isl_give isl_set *isl_basic_set_union(
  217 int isl_set_follows_at(__isl_keep isl_set *set1,
  218 	__isl_keep isl_set *set2, int pos);
  223 __isl_give isl_set *isl_set_params(__isl_take isl_set *set);
  223 __isl_give isl_set *isl_set_params(__isl_take isl_set *set);
  224 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set);
  224 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set);
  241 __isl_give isl_set *isl_set_empty(__isl_take isl_space *space);
  242 __isl_give isl_set *isl_set_universe(__isl_take isl_space *space);
  243 __isl_give isl_set *isl_set_nat_universe(__isl_take isl_space *dim);
  244 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set);
  244 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set);
  245 __isl_null isl_set *isl_set_free(__isl_take isl_set *set);
  245 __isl_null isl_set *isl_set_free(__isl_take isl_set *set);
  247 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset);
  249 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set);
  253 __isl_give isl_point *isl_set_sample_point(__isl_take isl_set *set);
  255 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
  255 __isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
  257 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set);
  258 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set);
  260 __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set);
  261 __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set);
  264 	__isl_take isl_set *set);
  266 	__isl_take isl_set *set);
  268 	__isl_take isl_set *set, __isl_take isl_set_list *list);
  269 __isl_give isl_basic_set *isl_set_bounded_simple_hull(__isl_take isl_set *set);
  271 __isl_give isl_set *isl_set_union_disjoint(
  272 	__isl_take isl_set *set1, __isl_take isl_set *set2);
  272 	__isl_take isl_set *set1, __isl_take isl_set *set2);
  274 __isl_give isl_set *isl_set_union(
  275 		__isl_take isl_set *set1,
  276 		__isl_take isl_set *set2);
  277 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,
  277 __isl_give isl_set *isl_set_product(__isl_take isl_set *set1,
  278 	__isl_take isl_set *set2);
  281 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
  281 __isl_give isl_set *isl_set_flat_product(__isl_take isl_set *set1,
  282 	__isl_take isl_set *set2);
  284 __isl_give isl_set *isl_set_intersect(
  285 		__isl_take isl_set *set1,
  286 		__isl_take isl_set *set2);
  288 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
  288 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,
  289 		__isl_take isl_set *params);
  291 __isl_give isl_set *isl_set_subtract(
  292 		__isl_take isl_set *set1,
  293 		__isl_take isl_set *set2);
  295 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set);
  295 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set);
  297 __isl_give isl_set *isl_set_apply(
  298 		__isl_take isl_set *set,
  300 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
  300 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,
  302 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
  302 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,
  304 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,
  304 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,
  306 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
  306 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,
  313 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
  313 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,
  317 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
  317 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,
  322 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
  322 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,
  328 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
  328 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
  330 __isl_give isl_map *isl_set_project_onto_map(__isl_take isl_set *set,
  337 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
  337 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
  339 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
  339 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,
  341 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
  341 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
  346 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
  346 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
  350 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);
  350 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);
  351 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set);
  351 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set);
  352 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
  352 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,
  361 __isl_give isl_set *isl_set_drop_constraints_involving_dims(
  362 	__isl_take isl_set *set,
  364 __isl_give isl_set *isl_set_drop_constraints_not_involving_dims(
  365 	__isl_take isl_set *set,
  370 isl_bool isl_set_involves_dims(__isl_keep isl_set *set,
  373 void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent);
  374 isl_bool isl_set_plain_is_empty(__isl_keep isl_set *set);
  375 isl_bool isl_set_plain_is_universe(__isl_keep isl_set *set);
  376 isl_bool isl_set_is_params(__isl_keep isl_set *set);
  378 isl_bool isl_set_is_empty(__isl_keep isl_set *set);
  379 isl_bool isl_set_is_bounded(__isl_keep isl_set *set);
  381 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  381 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  383 isl_bool isl_set_is_strict_subset(__isl_keep isl_set *set1,
  384 	__isl_keep isl_set *set2);
  386 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  386 isl_bool isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  388 isl_bool isl_set_is_disjoint(__isl_keep isl_set *set1,
  389 	__isl_keep isl_set *set2);
  390 isl_bool isl_set_is_singleton(__isl_keep isl_set *set);
  391 isl_bool isl_set_is_box(__isl_keep isl_set *set);
  392 isl_bool isl_set_has_equal_space(__isl_keep isl_set *set1,
  393 	__isl_keep isl_set *set2);
  395 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
  395 __isl_give isl_set *isl_set_sum(__isl_take isl_set *set1,
  396 	__isl_take isl_set *set2);
  398 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
  398 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
  400 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
  400 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
  401 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset);
  402 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
  402 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
  404 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
  404 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
  406 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
  408 isl_bool isl_set_dim_is_bounded(__isl_keep isl_set *set,
  410 isl_bool isl_set_dim_has_lower_bound(__isl_keep isl_set *set,
  412 isl_bool isl_set_dim_has_upper_bound(__isl_keep isl_set *set,
  414 isl_bool isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,
  416 isl_bool isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,
  422 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
  422 __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
  425 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
  425 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
  426 	__isl_take isl_set *context);
  427 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
  427 __isl_give isl_set *isl_set_gist_params(__isl_take isl_set *set,
  428 	__isl_take isl_set *context);
  429 isl_stat isl_set_dim_residue_class_val(__isl_keep isl_set *set,
  432 __isl_give isl_stride_info *isl_set_get_stride_info(__isl_keep isl_set *set,
  435 __isl_give isl_val *isl_set_get_stride(__isl_keep isl_set *set, int pos);
  438 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
  438 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
  440 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  440 int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
  441 isl_bool isl_set_plain_is_equal(__isl_keep isl_set *set1,
  442 	__isl_keep isl_set *set2);
  443 isl_bool isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
  444 	__isl_keep isl_set *set2);
  448 int isl_set_n_basic_set(__isl_keep isl_set *set);
  450 isl_stat isl_set_foreach_basic_set(__isl_keep isl_set *set,
  453 	__isl_keep isl_set *set);
  455 isl_stat isl_set_foreach_point(__isl_keep isl_set *set,
  457 __isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set);
  462 __isl_give isl_set *isl_set_from_point(__isl_take isl_point *pnt);
  465 __isl_give isl_set *isl_set_box_from_points(__isl_take isl_point *pnt1,
  469 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set);
  469 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set);
  471 __isl_give isl_map *isl_set_lex_le_set(__isl_take isl_set *set1,
  472 	__isl_take isl_set *set2);
  473 __isl_give isl_map *isl_set_lex_lt_set(__isl_take isl_set *set1,
  474 	__isl_take isl_set *set2);
  475 __isl_give isl_map *isl_set_lex_ge_set(__isl_take isl_set *set1,
  476 	__isl_take isl_set *set2);
  477 __isl_give isl_map *isl_set_lex_gt_set(__isl_take isl_set *set1,
  478 	__isl_take isl_set *set2);
  480 int isl_set_size(__isl_keep isl_set *set);
  484 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
  484 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,
  488 __isl_give isl_set *isl_set_drop_unused_params(__isl_take isl_set *set);
  488 __isl_give isl_set *isl_set_drop_unused_params(__isl_take isl_set *set);
  504 __isl_give isl_set *isl_set_from_multi_aff(__isl_take isl_multi_aff *ma);
  512 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set);
  515 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set);
  517 __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos);
  518 __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos);
  521 __isl_give char *isl_set_to_str(__isl_keep isl_set *set);

   80 __isl_give isl_set *isl_stream_read_set(__isl_keep isl_stream *s);

   43 __isl_give isl_set *isl_union_map_params(__isl_take isl_union_map *umap);
  100 	__isl_take isl_union_map *umap, __isl_take isl_set *set);
  137 	__isl_take isl_union_map *umap, __isl_take isl_set *set);

   18 __isl_give isl_union_set *isl_union_set_from_set(__isl_take isl_set *set);
   31 __isl_give isl_set *isl_union_set_params(__isl_take isl_union_set *uset);
   58 	__isl_take isl_set *set);
   70 	__isl_take isl_union_set *uset, __isl_take isl_set *set);
   78 	__isl_take isl_union_set *uset, __isl_take isl_set *set);
  121 	isl_stat (*fn)(__isl_take isl_set *set, void *user), void *user);
  128 __isl_give isl_set *isl_union_set_extract_set(__isl_keep isl_union_set *uset,
  130 __isl_give isl_set *isl_set_from_union_set(__isl_take isl_union_set *uset);

   55 	isl_set *set;

   33 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
  100 	isl_set *dom = build->domain;
  115 __isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *set)
  163 	isl_set *context;
  694 	isl_set *set;
  718 static isl_stat extract_single_piece(__isl_take isl_set *set,
  731 static __isl_give isl_set *intersect_stride_constraint(__isl_take isl_set *set,
  731 static __isl_give isl_set *intersect_stride_constraint(__isl_take isl_set *set,
  734 	isl_set *stride;
  769 	isl_set *set;
  839 	isl_set *set;
  920 	__isl_take isl_ast_build *build, __isl_take isl_set *set)
  944 	__isl_take isl_ast_build *build, __isl_take isl_set *set)
  971 	__isl_take isl_ast_build *build, __isl_take isl_set *guard)
  993 	__isl_take isl_ast_build *build, __isl_take isl_set *set)
 1116 __isl_give isl_set *isl_ast_build_get_domain(__isl_keep isl_ast_build *build)
 1123 __isl_give isl_set *isl_ast_build_get_pending(
 1131 __isl_give isl_set *isl_ast_build_get_generated(
 1300 __isl_give isl_set *isl_ast_build_get_stride_constraint(
 1304 	isl_set *set;
 1372 	isl_set *set;
 1404 	__isl_take isl_ast_build *build, __isl_take isl_set *set)
 1821 	isl_set *set;
 1895 	isl_set *test;
 2039 __isl_give isl_set *isl_ast_build_compute_gist(
 2040 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
 2064 __isl_give isl_set *isl_ast_build_specialize(__isl_keep isl_ast_build *build,
 2065 	__isl_take isl_set *set)
 2182 __isl_give isl_set *isl_ast_build_get_option_domain(
 2188 	isl_set *domain;
 2263 	isl_set *isolated;
 2316 __isl_give isl_set *isl_ast_build_get_isolated(__isl_keep isl_ast_build *build)
 2370 __isl_give isl_set *isl_ast_build_eliminate_inner(
 2371 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
 2394 __isl_give isl_set *isl_ast_build_eliminate_divs(
 2395 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
 2415 __isl_give isl_set *isl_ast_build_eliminate(
 2416 	__isl_keep isl_ast_build *build, __isl_take isl_set *domain)

  131 	isl_set *domain;
 1451 	isl_set *set;
 1511 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
 1516 	isl_set *domain;
 1539 		isl_set *rest;
 1571 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
 1618 	isl_set *set;
 1637 	isl_set *dom;
 1698 	__isl_take isl_set *set, __isl_take isl_aff *aff)
 1709 	__isl_take isl_set *set, __isl_take isl_aff *aff)
 1725 	__isl_take isl_set *set, __isl_take isl_aff *aff)
 1743 	__isl_take isl_set *set, __isl_take isl_aff *aff, int replace)
 1746 	isl_set *set_n;
 1827 	isl_set *set, *gist;
 1955 	__isl_keep isl_set *set)
 1958 	isl_set *set_n;
 2018 	__isl_keep isl_set *set, __isl_keep isl_aff *aff,
 2025 	isl_set *dom;
 2043 		isl_set *valid;
 2044 		isl_set *dom, *required;
 2082 	__isl_keep isl_set *set,  __isl_keep isl_aff *aff)
 2095 	__isl_keep isl_set *set,  __isl_keep isl_aff *aff)
 2118 static isl_stat ast_expr_from_pw_aff(__isl_take isl_set *set,
 2128 		isl_set *eq;

   10 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);

  153 	isl_set *domain;
  154 	isl_set *generated;
  155 	isl_set *pending;
  199 	isl_set *isolated;
  227 	__isl_take isl_ast_build *build, __isl_take isl_set *set);
  237 __isl_give isl_set *isl_ast_build_get_domain(
  239 __isl_give isl_set *isl_ast_build_get_pending(
  241 __isl_give isl_set *isl_ast_build_get_generated(
  244 	__isl_take isl_ast_build *build, __isl_take isl_set *set);
  246 	__isl_take isl_ast_build *build, __isl_take isl_set *guard);
  271 __isl_give isl_set *isl_ast_build_get_isolated(
  278 __isl_give isl_set *isl_ast_build_specialize(__isl_keep isl_ast_build *build,
  279 	__isl_take isl_set *set);
  280 __isl_give isl_set *isl_ast_build_compute_gist(
  281 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);
  302 __isl_give isl_set *isl_ast_build_get_stride_constraint(
  309 __isl_give isl_set *isl_ast_build_get_option_domain(
  313 __isl_give isl_set *isl_ast_build_eliminate(
  314 	__isl_keep isl_ast_build *build, __isl_take isl_set *domain);
  315 __isl_give isl_set *isl_ast_build_eliminate_inner(
  316 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);
  317 __isl_give isl_set *isl_ast_build_eliminate_divs(
  318 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);
  324 	__isl_keep isl_ast_build *build, __isl_take isl_set *set);

   35 static __isl_give isl_set *isl_set_coalesce_preserve(__isl_take isl_set *set)
   35 static __isl_give isl_set *isl_set_coalesce_preserve(__isl_take isl_set *set)
  159 	isl_set *guard, *pending;
  221 	isl_set *domain;
  282 	isl_set *guard;
  481 static __isl_give isl_pw_aff *exact_bound(__isl_keep isl_set *domain,
  484 	isl_set *stride;
  533 	isl_set *domain;
  547 		isl_set *domain_i;
  555 			isl_set *better;
  599 	__isl_keep isl_set *domain, __isl_keep isl_ast_build *build)
  641 	__isl_keep isl_set *domain, __isl_keep isl_ast_build *build)
  735 static __isl_give isl_set *add_implied_guards(__isl_take isl_set *guard,
  735 static __isl_give isl_set *add_implied_guards(__isl_take isl_set *guard,
  741 	isl_set *dom, *set;
  803 static __isl_give isl_set *intersect_constraints(
  857 	__isl_keep isl_pw_aff_list *lower, int pos, __isl_keep isl_set *upper)
  876 		isl_set *enforced_i;
  909 	isl_set *cond;
  923 static isl_stat aff_constant_is_negative(__isl_take isl_set *set,
 1045 	__isl_take isl_ast_graft *graft, __isl_keep isl_set *set,
 1101 	__isl_keep isl_set *domain, int depth)
 1120 	__isl_keep isl_set *upper_set, __isl_keep isl_ast_build *build)
 1181 	__isl_keep isl_set *domain, __isl_keep isl_ast_build *build)
 1187 	isl_set *upper_set = NULL;
 1284 	__isl_keep isl_set *domain, __isl_keep isl_ast_build *build)
 1326 	__isl_keep isl_basic_set *bounds, __isl_keep isl_set *domain,
 1389 static __isl_give isl_set *extract_pending(__isl_keep isl_ast_build *build,
 1392 	isl_set *guard, *context;
 1475 	__isl_take isl_basic_set *bounds, __isl_take isl_set *domain,
 1483 	isl_set *guard, *hoisted;
 1687 	__isl_take isl_basic_set *bounds, __isl_take isl_set *domain,
 1771 	__isl_take isl_set *set)
 1810 	isl_set *domain = NULL;
 1895 		isl_set *set1, *set2;
 2204 	isl_set *domain;
 2212 static __isl_give isl_set *implicit_bounds(__isl_take isl_map *map,
 2215 	isl_set *domain;
 2231 static __isl_give isl_set *explicit_bounds(__isl_take isl_map *map,
 2234 	isl_set *domain;
 2261 	isl_set *domain;
 2262 	isl_set *d1, *d2;
 2288 static __isl_give isl_set *separate_schedule_domains(
 2324 	isl_set *domain;
 2349 static isl_stat update_n_div(__isl_take isl_set *set,
 2376 	isl_set *set;
 2545 	__isl_keep isl_ast_build *build, __isl_keep isl_set *domain,
 2603 static int foreach_iteration(__isl_take isl_set *domain,
 2644 		isl_set *set;
 2690 	isl_set *schedule_domain;
 2692 	isl_set *option[4];
 2695 	isl_set *done;
 2706 	isl_set *class_domain;
 2707 	isl_set *unroll_domain;
 2719 	isl_set *set;
 2745 static __isl_give isl_set *do_unroll(struct isl_codegen_domains *domains,
 2746 	__isl_take isl_set *domain, __isl_take isl_set *class_domain)
 2746 	__isl_take isl_set *domain, __isl_take isl_set *class_domain)
 2784 static __isl_give isl_set *compute_unroll_domains(
 2785 	struct isl_codegen_domains *domains, __isl_take isl_set *class_domain)
 2787 	isl_set *unroll_domain;
 2843 static __isl_give isl_set *compute_atomic_domain(
 2844 	struct isl_codegen_domains *domains, __isl_take isl_set *class_domain)
 2848 	isl_set *domain, *atomic_domain;
 2890 	__isl_keep isl_set *class_domain)
 2893 	isl_set *domain;
 2956 	__isl_take isl_set *class_domain)
 2959 	isl_set *domain;
 3007 	isl_set *class_set;
 3008 	isl_set *domain;
 3034 static void compute_domains_init_options(isl_set *option[4],
 3038 	isl_set *unroll;
 3080 	isl_set *domain;
 3082 	isl_set *classes;
 3170 	isl_set *domain;
 3233 	__isl_take isl_union_map *executed, __isl_take isl_set *domain,
 3255 static isl_bool has_pure_outer_disjunction(__isl_keep isl_set *domain,
 3259 	isl_set *shared, *inner;
 3318 	isl_set *domain;
 3374 static __isl_give isl_set *extract_disjunction(__isl_take isl_set *domain,
 3374 static __isl_give isl_set *extract_disjunction(__isl_take isl_set *domain,
 3377 	isl_set *hull;
 3401 	__isl_take isl_ast_graft_list *list, __isl_keep isl_set *guard,
 3428 	__isl_keep isl_union_map *executed, __isl_take isl_set *domain,
 3476 	__isl_take isl_union_map *executed, __isl_take isl_set *before,
 3477 	__isl_take isl_set *isolated, __isl_take isl_set *after,
 3477 	__isl_take isl_set *isolated, __isl_take isl_set *after,
 3478 	__isl_take isl_set *other, __isl_take isl_ast_build *build)
 3499 static isl_bool only_intersects_first(__isl_keep isl_set *set,
 3500 	__isl_keep isl_set *first, __isl_keep isl_set *second)
 3500 	__isl_keep isl_set *first, __isl_keep isl_set *second)
 3523 	__isl_take isl_union_map *executed, __isl_take isl_set *isolated,
 3524 	__isl_take isl_set *after, __isl_take isl_ast_build *build,
 3525 	__isl_take isl_set *dead1, __isl_take isl_set *dead2)
 3525 	__isl_take isl_set *dead1, __isl_take isl_set *dead2)
 3527 	isl_set *empty;
 3571 	isl_set *domain;
 3573 	isl_set *isolated, *before, *after, *test;
 3652 	isl_set *set;
 3696 static int dim_is_fixed(__isl_keep isl_set *set, int pos)
 4124 	isl_set *deltas;
 4323 	isl_set *context;
 4888 	__isl_take isl_set *set, __isl_take isl_space *space)
 4903 		isl_set *domain;
 4938 static isl_stat generate_code_set(__isl_take isl_set *set, void *user)
 5167 	isl_set *guard;
 5232 	isl_set *context;
 5328 	isl_set *set;
 5434 	isl_set *guard, *hoisted;
 5705 	isl_set *set;

  151 static __isl_give isl_set *hoist_guard(__isl_take isl_set *guard,
  151 static __isl_give isl_set *hoist_guard(__isl_take isl_set *guard,
  193 __isl_give isl_set *isl_ast_graft_list_extract_hoistable_guard(
  199 	isl_set *guard;
  233 		isl_set *guard_i;
  275 	__isl_take isl_ast_node *node, __isl_take isl_set *guard,
  313 	isl_set *set;
  327 	__isl_take isl_ast_graft *graft, __isl_take isl_set *guard,
  507 	isl_set *guard;
  508 	isl_set *complement;
  570 		isl_set *guard;
  581 			isl_set *test;
  622 			isl_set *set;
  667 	isl_set *universe;
  763 	__isl_take isl_set *guard, __isl_keep isl_ast_build *build)
  795 	__isl_take isl_ast_graft_list *list, __isl_keep isl_set *context)
  825 	__isl_take isl_ast_graft_list *list, __isl_take isl_set *context)
  844 	__isl_take isl_ast_graft_list *list, __isl_take isl_set *guard,
  891 	isl_set *guard;
 1041 __isl_give isl_set *isl_ast_graft_get_guard(__isl_keep isl_ast_graft *graft)
 1050 	__isl_take isl_set *guard, __isl_keep isl_ast_build *build)

   32 	isl_set *guard;
   48 	__isl_take isl_ast_graft_list *list, __isl_take isl_set *guard,
   69 __isl_give isl_set *isl_ast_graft_get_guard(__isl_keep isl_ast_graft *graft);
   75 	__isl_take isl_set *guard, __isl_keep isl_ast_build *build);
   94 __isl_give isl_set *isl_ast_graft_list_extract_hoistable_guard(
   97 	__isl_take isl_ast_graft_list *list, __isl_take isl_set *context);

   40 	isl_set *source;
   41 	isl_set *sink;
   88 	__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr)
   88 	__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr)
  116 	__isl_take isl_set *source_restr)
  205 	isl_set			*must_no_source;
  206 	isl_set			*may_no_source;
  579 	int source, __isl_take isl_set *sink, __isl_give isl_set **empty)
  579 	int source, __isl_take isl_set *sink, __isl_give isl_set **empty)
  583 	isl_set *sink_domain;
  584 	isl_set *sink_restr;
  778 				    __isl_take isl_set *set_C, int j, int level)
  807 	isl_set *set_C;
  863 			isl_set *ran;
  914 	isl_set *set_C;
 1038 	isl_set *mustdo;
 1039 	isl_set *maydo;
 1132 	isl_set *mustdo = NULL;
 1133 	isl_set *maydo = NULL;
 1219 			isl_set *ran;

   80 __isl_give isl_set *isl_morph_set(__isl_take isl_morph *morph,
   81 	__isl_take isl_set *set);

  161 	__isl_keep isl_set *dom,
  183 	__isl_take isl_set *set, __isl_take isl_qpolynomial *qp);
  191 	__isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max);
  204 	__isl_keep isl_set *set,
  208 	__isl_keep isl_set *set,
  216 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max);
  240 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context);

  263 	isl_set *set;
  493 	isl_set *set = NULL;

  426 	__isl_take isl_schedule *schedule, __isl_take isl_set *context)
  525 	__isl_take isl_schedule *schedule, __isl_take isl_set *context)
  544 	__isl_take isl_schedule *schedule, __isl_take isl_set *guard)

  537 		isl_set *option;
  578 	isl_stat (*is)(__isl_take isl_set *set, void *user))
  596 static isl_stat is_isolate(__isl_take isl_set *set, void *user)
  624 static isl_stat is_loop_type_option(__isl_take isl_set *set, void *user)
  653 static isl_stat is_isolate_loop_type_option(__isl_take isl_set *set, void *user)
  715 		isl_set *option;
  809 		isl_set *set;
  917 __isl_give isl_set *isl_schedule_band_get_ast_isolate_option(
  921 	isl_set *isolate;
  941 	__isl_take isl_schedule_band *band, __isl_take isl_set *drop,
  942 	__isl_take isl_set *add)

   83 __isl_give isl_set *isl_schedule_band_get_ast_isolate_option(
   86 	__isl_take isl_schedule_band *band, __isl_take isl_set *drop,
   87 	__isl_take isl_set *add);

   43 	isl_set *context;
  163 	__isl_take isl_schedule_constraints *sc, __isl_take isl_set *context)
  277 __isl_give isl_set *isl_schedule_constraints_get_context(
  591 		isl_set *context;

 1729 __isl_give isl_set *isl_schedule_node_band_get_ast_isolate_option(
 2033 __isl_give isl_set *isl_schedule_node_context_get_context(
 2195 __isl_give isl_set *isl_schedule_node_guard_get_guard(
 2451 	__isl_take isl_schedule_node *node, __isl_take isl_set *context)
 2530 	__isl_take isl_schedule_node *node, __isl_take isl_set *guard)
 3132 		isl_set *set;
 3610 	__isl_take isl_schedule_node *node, __isl_take isl_set *context)

   58 	__isl_take isl_schedule_node *node, __isl_take isl_set *context);

   68 	isl_set *context = NULL;
  347 	isl_set *guard = NULL;

  261 	__isl_take isl_set *context)
  392 	__isl_take isl_set *guard)
  875 	__isl_take isl_schedule_tree *tree, __isl_take isl_set *context)
  977 	__isl_take isl_schedule_tree *tree, __isl_take isl_set *guard)
 1296 __isl_give isl_set *isl_schedule_tree_band_get_ast_isolate_option(
 1311 __isl_give isl_set *isl_schedule_tree_context_get_context(
 1499 __isl_give isl_set *isl_schedule_tree_guard_get_guard(
 2204 static __isl_give isl_set *isolate_initial(__isl_keep isl_set *isolate,
 2204 static __isl_give isl_set *isolate_initial(__isl_keep isl_set *isolate,
 2243 static __isl_give isl_set *isolate_final(__isl_keep isl_set *isolate,
 2243 static __isl_give isl_set *isolate_final(__isl_keep isl_set *isolate,
 2280 	isl_set *isolate, *tree_isolate, *child_isolate;

   61 		isl_set *context;
   69 		isl_set *guard;
   93 	__isl_take isl_set *context);
  104 	__isl_take isl_set *guard);
  145 __isl_give isl_set *isl_schedule_tree_band_get_ast_isolate_option(
  147 __isl_give isl_set *isl_schedule_tree_context_get_context(
  171 __isl_give isl_set *isl_schedule_tree_guard_get_guard(
  200 	__isl_take isl_schedule_tree *tree, __isl_take isl_set *context);
  215 	__isl_take isl_schedule_tree *tree, __isl_take isl_set *guard);

    5 static __isl_give isl_set *set_from_map(__isl_take isl_map *map)

    7 static __isl_give isl_map *set_to_map(__isl_take isl_set *set)

  260 __isl_give pet_context *pet_context_alloc(__isl_take isl_set *domain);
  378 	isl_set *domain;
  455 	isl_set *context;
  456 	isl_set *extent;
  457 	isl_set *value_bounds;
  516 	isl_set *context;
  517 	isl_set *context_value;
  581 __isl_give isl_set *pet_scop_get_context(__isl_keep pet_scop *scop);

  111 static __isl_give isl_set *compute_extent(struct pet_array *array,
  112 	__isl_keep isl_set *accessed)
  116 	isl_set *outer;
  117 	isl_set *extent;
  143 	isl_set *space;
  193 	isl_set *accessed, *extent;
  298 		isl_set *set;
  446 __isl_give isl_set *gpu_array_positive_size_guard(struct gpu_array_info *array)
  450 	isl_set *guard;
  460 		isl_set *guard_i, *zero;
  478 	isl_set *res;
  485 static isl_stat extract_size_of_type(__isl_take isl_set *size, void *user)
  504 static __isl_give isl_set *extract_sizes(__isl_keep isl_union_map *sizes,
  508 	isl_set *dom;
  532 static void read_sizes_from_set(__isl_take isl_set *set, int *sizes, int *len)
  597 	isl_set *size;
  618 	isl_set *size;
  647 	isl_set *size;
  709 __isl_give isl_set *add_bounded_parameters(__isl_take isl_set *set,
  709 __isl_give isl_set *add_bounded_parameters(__isl_take isl_set *set,
  739 static __isl_give isl_set *add_bounded_parameters_dynamic(
  740 	__isl_take isl_set *set, __isl_keep isl_multi_pw_aff *size,
  763 		isl_set *bound;
  805 static __isl_give isl_set *array_extent(struct gpu_array_info *array)
  811 	isl_set *extent;
  821 		isl_set *lt;
  872 	isl_set *local;
  873 	isl_set *extent;
 1038 	isl_set *grid;
 1039 	isl_set *context;
 1071 static void extract_fixed_size(__isl_take isl_set *set, int *size)
 1117 	isl_set *block;
 1304 	__isl_keep isl_set *host_domain)
 1307 	isl_set *context;
 2024 		isl_set *extent;
 2653 		isl_set *writes_i;
 2829 static __isl_give isl_set *extract_context(__isl_keep isl_schedule_node *node,
 2834 	isl_set *context;
 3057 	isl_set *context;
 3085 	__isl_take isl_schedule_node *node, __isl_keep isl_set *context,
 3089 	isl_set *guard;
 3843 	isl_set *host_domain;
 4234 		isl_set *set;
 4305 		isl_set *set;
 4638 		isl_set *accessed_i;
 4697 		isl_set *domain, *guard;
 4776 		isl_set *set;
 5286 	isl_set *context;
 5287 	isl_set *guard;
 5555 	isl_set *left;
 5766 		isl_set *extent;

   70 	isl_set *declared_extent;
   74 	isl_set *extent;
  168 	isl_set *context;
  397 	isl_set *context;
  429 __isl_give isl_set *gpu_array_positive_size_guard(struct gpu_array_info *array);

  473 	isl_set *privatization;
  521 	isl_set *accessed;
  579 	isl_set *param;
  607 	isl_set *par;
 1568 	isl_set *set;

  352 	isl_set *set;

  176 	isl_set *set1, *set2;
  393 		isl_set *set;

  252 	isl_set *hex;
  353 	isl_set *domain;
  391 static __isl_give isl_set *ppcg_ht_phase_get_domain(ppcg_ht_phase *phase)
  600 static __isl_give isl_set *compute_hexagon(__isl_take isl_space *space,
 1259 static __isl_give isl_val_list *min_max_dist(__isl_keep isl_set *dist, int pos)
 1321 	isl_set *dist;
 1758 static __isl_give isl_set *compute_full_tile(__isl_keep ppcg_ht_phase *phase)
 1763 	isl_set *all, *partial, *all_el;
 1843 	isl_set *tile;
 1845 	isl_set *set;

  225 	isl_set *domain_i;
  820 static __isl_give isl_set *set_intersect_str(__isl_take isl_set *set,
  820 static __isl_give isl_set *set_intersect_str(__isl_take isl_set *set,
  824 	isl_set *set2;
  899 		isl_set *nn = isl_set_nat_universe(space);

   80 	isl_set *context;

   24 static __isl_give isl_set *add_params(__isl_take isl_set *set,
   24 static __isl_give isl_set *add_params(__isl_take isl_set *set,
   49 static __isl_give isl_set *parametrize(__isl_take isl_set *set,
   49 static __isl_give isl_set *parametrize(__isl_take isl_set *set,
   71 __isl_give isl_set *parametrization(__isl_take isl_space *space,
   74 	isl_set *set;

   11 __isl_give isl_set *parametrization(__isl_take isl_space *space,

   73 __isl_give isl_multi_pw_aff *ppcg_size_from_extent(__isl_take isl_set *set)

   20 __isl_give isl_multi_pw_aff *ppcg_size_from_extent(__isl_take isl_set *set);

  109 std::string polly::stringFromIslObj(__isl_keep isl_set *set) {

  823 LLVM_DUMP_METHOD void polly::dumpPw(__isl_keep isl_set *Set) {
  855 LLVM_DUMP_METHOD void polly::dumpExpanded(__isl_keep isl_set *Set) {

   42 static isl_stat addNumBasicSets(__isl_take isl_set *Domain,
   76                                                      __isl_take isl_set *Dom) {
  212     isl_set *Domain = isl_set_universe(isl_space_copy(Space));