7 #include <isl/union_map.h>
9 #if defined(__cplusplus)
14 ISL_ARG_DECL(pet_options
, struct pet_options
, pet_options_args
)
16 /* If autodetect is set, any valid scop is extracted.
17 * Otherwise, the scop needs to be delimited by pragmas.
19 int pet_options_set_autodetect(isl_ctx
*ctx
, int val
);
20 int pet_options_get_autodetect(isl_ctx
*ctx
);
32 /* only compound assignments operators before assignment */
50 /* Index into the pet_expr->args array when pet_expr->type == pet_expr_unary
52 enum pet_un_arg_type
{
56 /* Indices into the pet_expr->args array when
57 * pet_expr->type == pet_expr_binary
59 enum pet_bin_arg_type
{
64 /* Indices into the pet_expr->args array when
65 * pet_expr->type == pet_expr_ternary
67 enum pet_ter_arg_type
{
73 /* d is valid when type == pet_expr_double
74 * acc is valid when type == pet_expr_access
75 * call is valid when type == pet_expr_call
76 * op is valid otherwise
78 * acc.access usually maps an iteration space to a data space.
79 * If the access has arguments, however, then the domain of the
80 * mapping is a wrapped mapping from the iteration space
81 * to a space of dimensionality equal to the number of arguments.
82 * Each dimension in this space corresponds to the value of the
83 * corresponding argument.
85 * If the data space is unnamed (and 1D), then it represents
86 * the set of integers. That is, the access represents a value that
87 * is equal to the index.
90 enum pet_expr_type type
;
93 struct pet_expr
**args
;
107 /* If the statement has arguments, i.e., n_arg != 0, then
108 * "domain" is a wrapped map, mapping the iteration domain
109 * to the values of the arguments for which this statement
111 * Otherwise, it is simply the iteration domain.
117 struct pet_expr
*body
;
120 struct pet_expr
**args
;
123 /* context holds constraints on the parameter that ensure that
124 * this array has a valid (i.e., non-negative) size
126 * extent holds constraints on the indices
128 * value_bounds holds constraints on the elements of the array
129 * and may be NULL if no such constraints were specified by the user
131 * live_out is set if the array appears in a live-out pragma
136 isl_set
*value_bounds
;
141 /* The context describes the set of parameter values for which
142 * the scop can be executed.
143 * context_value describes assignments to the parameters (if any)
144 * outside of the scop.
148 isl_set
*context_value
;
151 struct pet_array
**arrays
;
154 struct pet_stmt
**stmts
;
157 /* Return a textual representation of the operator. */
158 const char *pet_op_str(enum pet_op_type op
);
160 /* Extract a pet_scop from a C source file.
161 * If function is not NULL, then the pet_scop is extracted from
162 * a function with that name.
164 struct pet_scop
*pet_scop_extract_from_C_source(isl_ctx
*ctx
,
165 const char *filename
, const char *function
);
167 /* Update all isl_sets and isl_maps such that they all have the same
168 * parameters in the same order.
170 struct pet_scop
*pet_scop_align_params(struct pet_scop
*scop
);
172 void pet_scop_dump(struct pet_scop
*scop
);
173 void *pet_scop_free(struct pet_scop
*scop
);
175 __isl_give isl_union_set
*pet_scop_collect_domains(struct pet_scop
*scop
);
176 /* Collect all read access relations. */
177 __isl_give isl_union_map
*pet_scop_collect_reads(struct pet_scop
*scop
);
178 /* Collect all write access relations. */
179 __isl_give isl_union_map
*pet_scop_collect_writes(struct pet_scop
*scop
);
180 __isl_give isl_union_map
*pet_scop_collect_schedule(struct pet_scop
*scop
);
182 #if defined(__cplusplus)