isl_ast_private.h

Go to the documentation of this file.

#ifndef ISL_AST_PRIVATE_H
#define ISL_AST_PRIVATE_H
 
#include <isl/aff.h>
#include <isl/ast.h>
#include <isl/set.h>
#include <isl/map.h>
#include <isl/vec.h>
#include <isl/list.h>
#include <isl/stream.h>
 
#undef EL
#define EL isl_ast_expr
 
#include <isl_list_templ.h>
 
/* An expression is either an integer, an identifier or an operation
 * with zero or more arguments.
 */
struct isl_ast_expr {
  int ref;
 
  isl_ctx *ctx;
 
  enum isl_ast_expr_type type;
 
  union {
    isl_val *v;
    isl_id *id;
    struct {
      enum isl_ast_expr_op_type op;
      isl_ast_expr_list *args;
    } op;
  } u;
};
 
__isl_give isl_ast_expr *isl_ast_expr_alloc_int_si(isl_ctx *ctx, int i);
__isl_give isl_ast_expr *isl_ast_expr_alloc_op(isl_ctx *ctx,
  enum isl_ast_expr_op_type op, int n_arg);
__isl_give isl_ast_expr *isl_ast_expr_op_add_arg(__isl_take isl_ast_expr *expr,
  __isl_take isl_ast_expr *arg);
__isl_give isl_ast_expr *isl_ast_expr_alloc_binary(
  enum isl_ast_expr_op_type type,
  __isl_take isl_ast_expr *expr1, __isl_take isl_ast_expr *expr2);
 
__isl_give isl_ast_expr *isl_stream_read_ast_expr(__isl_keep isl_stream *s);
 
#undef EL
#define EL isl_ast_node
 
#include <isl_list_templ.h>
 
/* A node is either a block, an if, a for, a user node or a mark node.
 * "else_node" is NULL if the if node does not have an else branch.
 * "cond" and "inc" are NULL for degenerate for nodes.
 * In case of a mark node, "mark" is the mark and "node" is the marked node.
 */
struct isl_ast_node {
  int ref;
 
  isl_ctx *ctx;
  enum isl_ast_node_type type;
 
  union {
    struct {
      isl_ast_node_list *children;
    } b;
    struct {
      isl_ast_expr *guard;
      isl_ast_node *then;
      isl_ast_node *else_node;
    } i;
    struct {
      unsigned degenerate : 1;
      isl_ast_expr *iterator;
      isl_ast_expr *init;
      isl_ast_expr *cond;
      isl_ast_expr *inc;
      isl_ast_node *body;
    } f;
    struct {
      isl_ast_expr *expr;
    } e;
    struct {
      isl_id *mark;
      isl_ast_node *node;
    } m;
  } u;
 
  isl_id *annotation;
};
 
__isl_give isl_ast_node *isl_ast_node_alloc_for(__isl_take isl_id *id);
__isl_give isl_ast_node *isl_ast_node_for_mark_degenerate(
  __isl_take isl_ast_node *node);
__isl_give isl_ast_node *isl_ast_node_alloc_if(__isl_take isl_ast_expr *guard);
__isl_give isl_ast_node *isl_ast_node_alloc_block(
  __isl_take isl_ast_node_list *list);
__isl_give isl_ast_node *isl_ast_node_alloc_mark(__isl_take isl_id *id,
  __isl_take isl_ast_node *node);
__isl_give isl_ast_node *isl_ast_node_from_ast_node_list(
  __isl_take isl_ast_node_list *list);
__isl_give isl_ast_node *isl_ast_node_for_set_init(
  __isl_take isl_ast_node *node, __isl_take isl_ast_expr *init);
__isl_give isl_ast_node *isl_ast_node_for_set_cond(
  __isl_take isl_ast_node *node, __isl_take isl_ast_expr *init);
__isl_give isl_ast_node *isl_ast_node_for_set_inc(
  __isl_take isl_ast_node *node, __isl_take isl_ast_expr *init);
__isl_give isl_ast_node *isl_ast_node_for_set_body(
  __isl_take isl_ast_node *node, __isl_take isl_ast_node *body);
__isl_give isl_ast_node *isl_ast_node_if_set_then(
  __isl_take isl_ast_node *node, __isl_take isl_ast_node *child);
 
__isl_give isl_ast_node *isl_stream_read_ast_node(__isl_keep isl_stream *s);
 
struct isl_ast_print_options {
  int ref;
  isl_ctx *ctx;
 
  __isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
    __isl_take isl_ast_print_options *options,
    __isl_keep isl_ast_node *node, void *user);
  void *print_for_user;
  __isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
    __isl_take isl_ast_print_options *options,
    __isl_keep isl_ast_node *node, void *user);
  void *print_user_user;
};
 
__isl_give isl_printer *isl_ast_node_list_print(
  __isl_keep isl_ast_node_list *list, __isl_take isl_printer *p,
  __isl_keep isl_ast_print_options *options);
 
#endif