isl_box.c File Reference

#include <isl/val.h>
#include <isl/space.h>
#include <isl_map_private.h>
#include <isl_aff_private.h>
#include <isl/constraint.h>
#include <isl/ilp.h>
#include <isl/fixed_box.h>
#include "print_yaml_field_templ.c"
#include <print_templ_yaml.c>

Go to the source code of this file.

Classes
struct	isl_fixed_box
struct	isl_size_info

Macros
#define	BASE   multi_val
#define	BASE   multi_aff
#define	BASE   fixed_box

Functions
__isl_null isl_fixed_box *	isl_fixed_box_free (__isl_take isl_fixed_box *box)
static __isl_give isl_fixed_box *	isl_fixed_box_alloc (__isl_take isl_multi_aff *offset, __isl_take isl_multi_val *size)
static __isl_give isl_fixed_box *	isl_fixed_box_init (__isl_take isl_space *space)
__isl_give isl_fixed_box *	isl_fixed_box_copy (__isl_keep isl_fixed_box *box)
static __isl_give isl_fixed_box *	isl_fixed_box_set_extent (__isl_take isl_fixed_box *box, int pos, __isl_keep isl_aff *offset, __isl_keep isl_val *size)
static __isl_give isl_fixed_box *	isl_fixed_box_set_valid_extent (__isl_take isl_fixed_box *box, int pos, __isl_keep isl_aff *offset, __isl_keep isl_val *size)
static __isl_give isl_fixed_box *	isl_fixed_box_invalidate (__isl_take isl_fixed_box *box)
static __isl_give isl_fixed_box *	isl_fixed_box_project_domain_on_params (__isl_take isl_fixed_box *box)
isl_ctx *	isl_fixed_box_get_ctx (__isl_keep isl_fixed_box *box)
__isl_give isl_space *	isl_fixed_box_get_space (__isl_keep isl_fixed_box *box)
isl_bool	isl_fixed_box_is_valid (__isl_keep isl_fixed_box *box)
__isl_give isl_multi_aff *	isl_fixed_box_get_offset (__isl_keep isl_fixed_box *box)
__isl_give isl_multi_val *	isl_fixed_box_get_size (__isl_keep isl_fixed_box *box)
static isl_bool	is_suitable_bound (__isl_keep isl_constraint *c, unsigned pos)
static isl_stat	compute_size_in_direction (__isl_take isl_constraint *c, void *user)
static __isl_give isl_fixed_box *	set_dim_extent (__isl_take isl_fixed_box *box, __isl_keep isl_map *map, int pos)
__isl_give isl_fixed_box *	isl_map_get_range_simple_fixed_box_hull (__isl_keep isl_map *map)
static __isl_give isl_fixed_box *	fixed_box_as_map (__isl_keep isl_set *set, __isl_give isl_fixed_box *(*map_box)(__isl_keep isl_map *map))
__isl_give isl_fixed_box *	isl_set_get_simple_fixed_box_hull (__isl_keep isl_set *set)
__isl_give isl_fixed_box *	isl_map_get_range_lattice_tile (__isl_keep isl_map *map)
__isl_give isl_fixed_box *	isl_set_get_lattice_tile (__isl_keep isl_set *set)
__isl_give isl_printer *	isl_printer_print_fixed_box (__isl_take isl_printer *p, __isl_keep isl_fixed_box *box)

Macro Definition Documentation

BASE [1/3]

#define BASE   multi_val

Definition at line 527 of file isl_box.c.

BASE [2/3]

#define BASE   multi_aff

Definition at line 527 of file isl_box.c.

BASE [3/3]

#define BASE   fixed_box

Definition at line 527 of file isl_box.c.

Function Documentation

compute_size_in_direction()

static isl_stat compute_size_in_direction ( __isl_take isl_constraint *  c, void *  user  )

static

Definition at line 274 of file isl_box.c.

References aff, isl_size_info::bset, is_bound(), is_suitable_bound(), isl_aff_add_coefficient_si(), isl_aff_ceil(), isl_aff_copy(), isl_aff_domain_factor_domain(), isl_aff_free(), isl_aff_neg(), isl_basic_set_max_val(), isl_constraint_free(), isl_constraint_get_bound(), isl_dim_in, isl_dim_set, isl_stat_error, isl_stat_ok, isl_val_add_ui(), isl_val_copy(), isl_val_free(), isl_val_lt(), isl_size_info::offset, isl_size_info::pos, isl_size_info::size, and user.

Referenced by set_dim_extent().

fixed_box_as_map()

static __isl_give isl_fixed_box * fixed_box_as_map ( __isl_keep isl_set *  set, __isl_give isl_fixed_box *(*)(__isl_keep isl_map *map)  map_box  )

static

Definition at line 416 of file isl_box.c.

References isl_fixed_box_project_domain_on_params(), isl_map_free(), isl_map_from_range(), isl_set_copy(), map, and set.

Referenced by isl_set_get_lattice_tile(), and isl_set_get_simple_fixed_box_hull().

is_suitable_bound()

static isl_bool is_suitable_bound ( __isl_keep isl_constraint *  c, unsigned  pos  )

static

Definition at line 251 of file isl_box.c.

References is_bound(), isl_bool_error, isl_bool_not(), isl_constraint_dim(), isl_constraint_involves_dims(), isl_constraint_is_lower_bound(), isl_dim_div, isl_dim_set, and pos().

Referenced by compute_size_in_direction().

isl_fixed_box_alloc()

static __isl_give isl_fixed_box * isl_fixed_box_alloc ( __isl_take isl_multi_aff *  offset, __isl_take isl_multi_val *  size  )

static

Definition at line 47 of file isl_box.c.

References isl_alloc_type, isl_fixed_box::offset, offset, isl_fixed_box::size, and size.

Referenced by isl_fixed_box_copy(), and isl_fixed_box_init().

isl_fixed_box_copy()

__isl_give isl_fixed_box * isl_fixed_box_copy

(

__isl_keep isl_fixed_box *

box

)

Definition at line 86 of file isl_box.c.

References isl_fixed_box_alloc(), isl_fixed_box_get_offset(), isl_fixed_box_get_size(), offset, and size.

Referenced by isl::fixed_box::copy().

isl_fixed_box_free()

__isl_null isl_fixed_box * isl_fixed_box_free

(

__isl_take isl_fixed_box *

box

)

Definition at line 35 of file isl_box.c.

Referenced by isl_fixed_box_invalidate(), isl_fixed_box_project_domain_on_params(), isl_fixed_box_set_extent(), set_dim_extent(), test_box_hull(), and isl::fixed_box::~fixed_box().

isl_fixed_box_get_ctx()

isl_ctx * isl_fixed_box_get_ctx

(

__isl_keep isl_fixed_box *

box

)

Definition at line 182 of file isl_box.c.

Referenced by isl::fixed_box::ctx(), and isl_fixed_box_invalidate().

isl_fixed_box_get_offset()

__isl_give isl_multi_aff * isl_fixed_box_get_offset

(

__isl_keep isl_fixed_box *

box

)

Definition at line 209 of file isl_box.c.

Referenced by isl_fixed_box_copy(), isl::fixed_box::offset(), and test_box_hull().

isl_fixed_box_get_size()

__isl_give isl_multi_val * isl_fixed_box_get_size

(

__isl_keep isl_fixed_box *

box

)

Definition at line 219 of file isl_box.c.

Referenced by isl_fixed_box_copy(), isl::fixed_box::size(), and test_box_hull().

isl_fixed_box_get_space()

__isl_give isl_space * isl_fixed_box_get_space

(

__isl_keep isl_fixed_box *

box

)

Definition at line 191 of file isl_box.c.

Referenced by isl_fixed_box_invalidate(), and isl::fixed_box::space().

isl_fixed_box_init()

static __isl_give isl_fixed_box * isl_fixed_box_init ( __isl_take isl_space *  space )

static

Definition at line 72 of file isl_box.c.

References isl_fixed_box_alloc(), isl_space_copy(), isl_space_drop_all_params(), isl_space_range(), offset, and size.

Referenced by isl_map_get_range_lattice_tile(), and isl_map_get_range_simple_fixed_box_hull().

isl_fixed_box_invalidate()

static __isl_give isl_fixed_box * isl_fixed_box_invalidate ( __isl_take isl_fixed_box *  box )

static

Definition at line 131 of file isl_box.c.

References isl_aff_free(), isl_aff_nan_on_domain(), isl_dim_set, isl_fixed_box_free(), isl_fixed_box_get_ctx(), isl_fixed_box_get_space(), isl_fixed_box_set_extent(), isl_local_space_from_space(), isl_space_domain(), isl_val_free(), isl_val_infty(), and n.

Referenced by set_dim_extent().

isl_fixed_box_is_valid()

isl_bool isl_fixed_box_is_valid

(

__isl_keep isl_fixed_box *

box

)

Definition at line 200 of file isl_box.c.

References isl_bool_error, and isl_bool_not().

Referenced by isl::fixed_box::is_valid(), isl_fixed_box_project_domain_on_params(), isl_fixed_box_set_valid_extent(), and isl_map_get_range_simple_fixed_box_hull().

isl_fixed_box_project_domain_on_params()

static __isl_give isl_fixed_box * isl_fixed_box_project_domain_on_params ( __isl_take isl_fixed_box *  box )

static

Definition at line 162 of file isl_box.c.

References isl_fixed_box_free(), and isl_fixed_box_is_valid().

Referenced by fixed_box_as_map().

isl_fixed_box_set_extent()

static __isl_give isl_fixed_box * isl_fixed_box_set_extent ( __isl_take isl_fixed_box *  box, int  pos, __isl_keep isl_aff *  offset, __isl_keep isl_val *  size  )

static

Definition at line 99 of file isl_box.c.

References isl_aff_copy(), isl_fixed_box_free(), isl_val_copy(), isl_fixed_box::offset, offset, pos(), and size.

Referenced by isl_fixed_box_invalidate(), and isl_fixed_box_set_valid_extent().

isl_fixed_box_set_valid_extent()

static __isl_give isl_fixed_box * isl_fixed_box_set_valid_extent ( __isl_take isl_fixed_box *  box, int  pos, __isl_keep isl_aff *  offset, __isl_keep isl_val *  size  )

static

Definition at line 116 of file isl_box.c.

References isl_fixed_box_is_valid(), isl_fixed_box_set_extent(), offset, pos(), and size.

Referenced by isl_map_get_range_lattice_tile(), and set_dim_extent().

isl_map_get_range_lattice_tile()

__isl_give isl_fixed_box * isl_map_get_range_lattice_tile

(

__isl_keep isl_map *

map

)

Definition at line 454 of file isl_box.c.

References isl_aff_free(), isl_dim_out, isl_fixed_box_init(), isl_fixed_box_set_valid_extent(), isl_map_dim(), isl_map_get_range_stride_info(), isl_map_get_space(), isl_stride_info_free(), isl_stride_info_get_offset(), isl_stride_info_get_stride(), isl_val_free(), map, n, and offset.

Referenced by isl_set_get_lattice_tile(), and isl::map::range_lattice_tile().

isl_map_get_range_simple_fixed_box_hull()

__isl_give isl_fixed_box * isl_map_get_range_simple_fixed_box_hull

(

__isl_keep isl_map *

map

)

Definition at line 384 of file isl_box.c.

References isl_dim_out, isl_fixed_box_init(), isl_fixed_box_is_valid(), isl_map_copy(), isl_map_detect_equalities(), isl_map_dim(), isl_map_free(), isl_map_get_space(), map, n, and set_dim_extent().

Referenced by isl_set_get_simple_fixed_box_hull(), and isl::map::range_simple_fixed_box_hull().

isl_printer_print_fixed_box()

__isl_give isl_printer * isl_printer_print_fixed_box	(	__isl_take isl_printer *	p,
		__isl_keep isl_fixed_box *	box
	)

Definition at line 512 of file isl_box.c.

References isl_printer_free(), isl_printer_yaml_end_mapping(), isl_printer_yaml_start_mapping(), and p.

isl_set_get_lattice_tile()

__isl_give isl_fixed_box * isl_set_get_lattice_tile

(

__isl_keep isl_set *

set

)

Definition at line 496 of file isl_box.c.

References fixed_box_as_map(), isl_map_get_range_lattice_tile(), and set.

isl_set_get_simple_fixed_box_hull()

__isl_give isl_fixed_box * isl_set_get_simple_fixed_box_hull

(

__isl_keep isl_set *

set

)

Definition at line 439 of file isl_box.c.

References fixed_box_as_map(), isl_map_get_range_simple_fixed_box_hull(), and set.

Referenced by isl::set::simple_fixed_box_hull(), and test_box_hull().

set_dim_extent()

static __isl_give isl_fixed_box * set_dim_extent ( __isl_take isl_fixed_box *  box, __isl_keep isl_map *  map, int  pos  )

static

Definition at line 335 of file isl_box.c.

References isl_size_info::bset, compute_size_in_direction(), isl_aff_free(), isl_basic_map_wrap(), isl_basic_set_copy(), isl_basic_set_foreach_constraint(), isl_basic_set_free(), isl_basic_set_remove_unknown_divs(), isl_dim_in, isl_dim_out, isl_fixed_box_free(), isl_fixed_box_invalidate(), isl_fixed_box_set_valid_extent(), isl_map_copy(), isl_map_dim(), isl_map_get_ctx(), isl_map_project_onto(), isl_map_simple_hull(), isl_val_free(), isl_val_infty(), isl_val_is_int(), map, isl_size_info::offset, isl_size_info::pos, pos(), and isl_size_info::size.

Referenced by isl_map_get_range_simple_fixed_box_hull().