#include <isl/id.h>
#include <isl/val.h>
#include <isl/schedule.h>
#include <isl/stream.h>
#include <isl_schedule_private.h>
#include <isl_schedule_tree.h>
#include "extract_key.c"
#include <isl_list_read_yaml_templ.c>
#include "isl_read_from_str_templ.c"

Macros
#define	KEY enum isl_schedule_key

#define	KEY_ERROR isl_schedule_key_error

#define	KEY_END isl_schedule_key_end

#define	KEY_STR key_str

#define	KEY_EXTRACT extract_key

#define	KEY_GET get_key

#define	EL_BASE val

#define	EL_BASE schedule_tree

#define	TYPE_BASE schedule

Functions
static __isl_give isl_schedule_tree *	isl_stream_read_schedule_tree (__isl_keep isl_stream *s)

static __isl_give isl_schedule_tree *	read_context (__isl_keep isl_stream *s)

static __isl_give isl_schedule_tree *	read_domain (__isl_keep isl_stream *s)

static __isl_give isl_schedule_tree *	read_expansion (isl_stream *s)

static __isl_give isl_schedule_tree *	read_extension (isl_stream *s)

static __isl_give isl_schedule_tree *	read_filter (__isl_keep isl_stream *s)

static __isl_give isl_schedule_tree *	read_guard (isl_stream *s)

static __isl_give isl_schedule_tree *	read_mark (isl_stream *s)

static __isl_give isl_val_list *	read_coincident (__isl_keep isl_stream *s)

static __isl_give isl_schedule_band *	set_coincident (__isl_take isl_schedule_band band, __isl_take isl_val_list coincident)

static __isl_give isl_schedule_tree *	read_band (isl_stream *s)

static __isl_give isl_schedule_tree *	read_children (isl_stream *s, enum isl_schedule_node_type type)

static __isl_give isl_schedule_tree *	read_sequence (isl_stream *s)

static __isl_give isl_schedule_tree *	read_set (isl_stream *s)

static __isl_give isl_schedule_tree *	isl_stream_read_schedule_tree (struct isl_stream *s)

__isl_give isl_schedule *	isl_stream_read_schedule (isl_stream *s)

__isl_give isl_schedule *	isl_schedule_read_from_file (isl_ctx ctx, FILE input)

Variables
static char *	key_str []

Macro Definition Documentation

◆ EL_BASE [1/2]

#define EL_BASE val

Definition at line 593 of file isl_schedule_read.c.

◆ EL_BASE [2/2]

#define EL_BASE schedule_tree

Definition at line 593 of file isl_schedule_read.c.

◆ KEY

#define KEY enum isl_schedule_key

Definition at line 54 of file isl_schedule_read.c.

◆ KEY_END

#define KEY_END isl_schedule_key_end

Definition at line 58 of file isl_schedule_read.c.

◆ KEY_ERROR

#define KEY_ERROR isl_schedule_key_error

Definition at line 56 of file isl_schedule_read.c.

◆ KEY_EXTRACT

#define KEY_EXTRACT extract_key

Definition at line 62 of file isl_schedule_read.c.

◆ KEY_GET

#define KEY_GET get_key

Definition at line 64 of file isl_schedule_read.c.

◆ KEY_STR

#define KEY_STR key_str

Definition at line 60 of file isl_schedule_read.c.

◆ TYPE_BASE

#define TYPE_BASE schedule

Definition at line 743 of file isl_schedule_read.c.

Enumeration Type Documentation

◆ isl_schedule_key

enum isl_schedule_key

Enumerator
isl_schedule_key_error
isl_schedule_key_child
isl_schedule_key_coincident
isl_schedule_key_context
isl_schedule_key_contraction
isl_schedule_key_domain
isl_schedule_key_expansion
isl_schedule_key_extension
isl_schedule_key_filter
isl_schedule_key_guard
isl_schedule_key_leaf
isl_schedule_key_mark
isl_schedule_key_options
isl_schedule_key_permutable
isl_schedule_key_schedule
isl_schedule_key_sequence
isl_schedule_key_set
isl_schedule_key_end

Definition at line 11 of file isl_schedule_read.c.

Function Documentation

◆ isl_schedule_read_from_file()

__isl_give isl_schedule * isl_schedule_read_from_file	(	isl_ctx *	ctx,
		FILE *	input
	)

Definition at line 728 of file isl_schedule_read.c.

References isl_stream::ctx, isl_stream_free(), isl_stream_new_file(), isl_stream_read_schedule(), and schedule.

Referenced by main().

◆ isl_stream_read_schedule()

__isl_give isl_schedule * isl_stream_read_schedule ( isl_stream * s )

Definition at line 713 of file isl_schedule_read.c.

References isl_schedule_from_schedule_tree(), isl_stream_get_ctx(), isl_stream_read_schedule_tree(), isl_token::s, and tree.

Referenced by isl_schedule_read_from_file(), isl_stream_read_union_access_info(), and schedule_read().

◆ isl_stream_read_schedule_tree() [1/2]

static __isl_give isl_schedule_tree * isl_stream_read_schedule_tree ( __isl_keep isl_stream * s )

static

Referenced by isl_stream_read_schedule(), read_band(), read_context(), read_domain(), read_expansion(), read_extension(), read_filter(), read_guard(), and read_mark().

◆ isl_stream_read_schedule_tree() [2/2]

static __isl_give isl_schedule_tree * isl_stream_read_schedule_tree ( struct isl_stream * s )

static

Definition at line 635 of file isl_schedule_read.c.

References isl_die, isl_error_unsupported, isl_schedule_key_child, isl_schedule_key_coincident, isl_schedule_key_context, isl_schedule_key_contraction, isl_schedule_key_domain, isl_schedule_key_end, isl_schedule_key_error, isl_schedule_key_expansion, isl_schedule_key_extension, isl_schedule_key_filter, isl_schedule_key_guard, isl_schedule_key_leaf, isl_schedule_key_mark, isl_schedule_key_options, isl_schedule_key_permutable, isl_schedule_key_schedule, isl_schedule_key_sequence, isl_schedule_key_set, isl_schedule_tree_free(), isl_schedule_tree_leaf(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_push_token(), isl_stream_yaml_next(), isl_stream_yaml_read_end_mapping(), isl_stream_yaml_read_start_mapping(), isl_token_free(), key, read_band(), read_context(), read_domain(), read_expansion(), read_extension(), read_filter(), read_guard(), read_mark(), read_sequence(), read_set(), isl_token::s, and tree.

◆ read_band()

static __isl_give isl_schedule_tree * read_band ( isl_stream * s )

static

Definition at line 495 of file isl_schedule_read.c.

References isl_bool_true, isl_die, isl_error_invalid, isl_multi_union_pw_aff_read_from_str(), isl_schedule_band_from_multi_union_pw_aff(), isl_schedule_band_set_ast_build_options(), isl_schedule_band_set_permutable(), isl_schedule_key_child, isl_schedule_key_coincident, isl_schedule_key_options, isl_schedule_key_permutable, isl_schedule_key_schedule, isl_schedule_tree_free(), isl_schedule_tree_from_band(), isl_schedule_tree_insert_band(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_read_val(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), isl_union_set_free(), isl_union_set_read_from_str(), isl_val_free(), isl_val_is_zero(), key, read_coincident(), isl_token::s, schedule, set_coincident(), str, tree, and isl_token::v.

Referenced by isl_stream_read_schedule_tree().

◆ read_children()

static __isl_give isl_schedule_tree * read_children	(	isl_stream *	s,
		enum isl_schedule_node_type	type
	)

static

Definition at line 600 of file isl_schedule_read.c.

References isl_schedule_tree_from_children(), isl_stream_next_token(), isl_stream_yaml_next(), isl_token_free(), isl_token::s, and type.

Referenced by read_sequence(), and read_set().

◆ read_coincident()

static __isl_give isl_val_list * read_coincident ( __isl_keep isl_stream * s )

static

Definition at line 460 of file isl_schedule_read.c.

References isl_token::s.

Referenced by read_band().

◆ read_context()

static __isl_give isl_schedule_tree * read_context ( __isl_keep isl_stream * s )

static

Definition at line 72 of file isl_schedule_read.c.

References context, isl_die, isl_error_invalid, isl_schedule_key_child, isl_schedule_tree_from_context(), isl_schedule_tree_insert_context(), isl_set_free(), isl_set_read_from_str(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), key, isl_token::s, str, and tree.

Referenced by isl_stream_read_schedule_tree().

◆ read_domain()

static __isl_give isl_schedule_tree * read_domain ( __isl_keep isl_stream * s )

static

Definition at line 123 of file isl_schedule_read.c.

References domain, isl_die, isl_error_invalid, isl_schedule_key_child, isl_schedule_tree_from_domain(), isl_schedule_tree_insert_domain(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), isl_union_set_free(), isl_union_set_read_from_str(), key, isl_token::s, str, and tree.

Referenced by isl_stream_read_schedule_tree().

◆ read_expansion()

static __isl_give isl_schedule_tree * read_expansion ( isl_stream * s )

static

◆ read_extension()

static __isl_give isl_schedule_tree * read_extension ( isl_stream * s )

static

Definition at line 249 of file isl_schedule_read.c.

References isl_die, isl_error_invalid, isl_schedule_key_child, isl_schedule_tree_from_extension(), isl_schedule_tree_insert_extension(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), isl_union_map_free(), isl_union_map_read_from_str(), key, isl_token::s, str, and tree.

Referenced by isl_stream_read_schedule_tree().

◆ read_filter()

static __isl_give isl_schedule_tree * read_filter ( __isl_keep isl_stream * s )

static

Definition at line 300 of file isl_schedule_read.c.

References isl_die, isl_error_invalid, isl_schedule_key_child, isl_schedule_tree_from_filter(), isl_schedule_tree_insert_filter(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), isl_union_set_free(), isl_union_set_read_from_str(), key, isl_token::s, str, and tree.

Referenced by isl_stream_read_schedule_tree().

◆ read_guard()

static __isl_give isl_schedule_tree * read_guard ( isl_stream * s )

static

Definition at line 351 of file isl_schedule_read.c.

References isl_die, isl_error_invalid, isl_schedule_key_child, isl_schedule_tree_from_guard(), isl_schedule_tree_insert_guard(), isl_set_free(), isl_set_read_from_str(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), key, isl_token::s, str, and tree.

Referenced by isl_stream_read_schedule_tree().

◆ read_mark()

static __isl_give isl_schedule_tree * read_mark ( isl_stream * s )

static

Definition at line 402 of file isl_schedule_read.c.

References isl_die, isl_error_invalid, isl_id_alloc(), isl_id_free(), isl_schedule_key_child, isl_schedule_tree_insert_mark(), isl_stream_error(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_token_free(), isl_token_get_str(), key, isl_token::s, str, and tree.

Referenced by isl_stream_read_schedule_tree().

◆ read_sequence()

static __isl_give isl_schedule_tree * read_sequence ( isl_stream * s )

static

Definition at line 617 of file isl_schedule_read.c.

References isl_schedule_node_sequence, read_children(), and isl_token::s.

Referenced by isl_stream_read_schedule_tree().

◆ read_set()

static __isl_give isl_schedule_tree * read_set ( isl_stream * s )

static

Definition at line 624 of file isl_schedule_read.c.

References isl_schedule_node_set, read_children(), and isl_token::s.

Referenced by isl_stream_read_schedule_constraints(), and isl_stream_read_schedule_tree().

◆ set_coincident()

static __isl_give isl_schedule_band * set_coincident	(	__isl_take isl_schedule_band *	band,
		__isl_take isl_val_list *	coincident
	)

static

Definition at line 468 of file isl_schedule_read.c.

References isl_schedule_band_free(), isl_schedule_band_member_set_coincident(), isl_schedule_band_n_member(), isl_val_free(), isl_val_is_zero(), m, n, and isl_token::v.

Referenced by read_band().

Variable Documentation

◆ key_str

char* key_str[]

static

Initial value:

= {
  [isl_schedule_key_child] = "child",
  [isl_schedule_key_coincident] = "coincident",
  [isl_schedule_key_context] = "context",
  [isl_schedule_key_contraction] = "contraction",
  [isl_schedule_key_domain] = "domain",
  [isl_schedule_key_expansion] = "expansion",
  [isl_schedule_key_extension] = "extension",
  [isl_schedule_key_filter] = "filter",
  [isl_schedule_key_guard] = "guard",
  [isl_schedule_key_leaf] = "leaf",
  [isl_schedule_key_mark] = "mark",
  [isl_schedule_key_options] = "options",
  [isl_schedule_key_permutable] = "permutable",
  [isl_schedule_key_schedule] = "schedule",
  [isl_schedule_key_sequence] = "sequence",
  [isl_schedule_key_set] = "set",
}

Definition at line 34 of file isl_schedule_read.c.

Enumerations
enum	isl_schedule_key { isl_schedule_key_error = -1 , isl_schedule_key_child , isl_schedule_key_coincident , isl_schedule_key_context , isl_schedule_key_contraction , isl_schedule_key_domain , isl_schedule_key_expansion , isl_schedule_key_extension , isl_schedule_key_filter , isl_schedule_key_guard , isl_schedule_key_leaf , isl_schedule_key_mark , isl_schedule_key_options , isl_schedule_key_permutable , isl_schedule_key_schedule , isl_schedule_key_sequence , isl_schedule_key_set , isl_schedule_key_end }

Macros

Enumerations

Functions

Variables

Macro Definition Documentation

◆ EL_BASE [1/2]

◆ EL_BASE [2/2]

◆ KEY

◆ KEY_END

◆ KEY_ERROR

◆ KEY_EXTRACT

◆ KEY_GET

◆ KEY_STR

◆ TYPE_BASE

Enumeration Type Documentation

◆ isl_schedule_key

Function Documentation

◆ isl_schedule_read_from_file()

◆ isl_stream_read_schedule()

◆ isl_stream_read_schedule_tree() [1/2]

◆ isl_stream_read_schedule_tree() [2/2]

◆ read_band()

◆ read_children()

◆ read_coincident()

◆ read_context()

◆ read_domain()

◆ read_expansion()

◆ read_extension()

◆ read_filter()

◆ read_guard()

◆ read_mark()

◆ read_sequence()

◆ read_set()

◆ set_coincident()

Variable Documentation

◆ key_str