mirror of
https://review.haiku-os.org/buildtools
synced 2024-11-23 07:18:49 +01:00
37 lines
1.0 KiB
C
37 lines
1.0 KiB
C
#ifndef ISL_SCHEDLUE_PRIVATE_H
|
|
#define ISL_SCHEDLUE_PRIVATE_H
|
|
|
|
#include <isl/aff.h>
|
|
#include <isl/schedule.h>
|
|
#include <isl_schedule_tree.h>
|
|
|
|
/* A complete schedule tree.
|
|
*
|
|
* "root" is the root of the schedule tree.
|
|
*
|
|
* "leaf" may be used to represent a leaf of the schedule.
|
|
* It should not appear as a child to any other isl_schedule_tree objects,
|
|
* but an isl_schedule_node may have "leaf" as its tree if it refers to
|
|
* a leaf of this schedule tree.
|
|
*/
|
|
struct isl_schedule {
|
|
int ref;
|
|
|
|
isl_schedule_tree *root;
|
|
|
|
struct isl_schedule_tree *leaf;
|
|
};
|
|
|
|
__isl_give isl_schedule *isl_schedule_from_schedule_tree(isl_ctx *ctx,
|
|
__isl_take isl_schedule_tree *tree);
|
|
__isl_give isl_schedule *isl_schedule_set_root(
|
|
__isl_take isl_schedule *schedule, __isl_take isl_schedule_tree *tree);
|
|
__isl_give isl_space *isl_schedule_get_space(
|
|
__isl_keep isl_schedule *schedule);
|
|
__isl_give isl_union_set *isl_schedule_get_domain(
|
|
__isl_keep isl_schedule *schedule);
|
|
__isl_keep isl_schedule_tree *isl_schedule_peek_leaf(
|
|
__isl_keep isl_schedule *schedule);
|
|
|
|
#endif
|