isl_local.c File Reference

#include <isl/space.h>
#include <isl_vec_private.h>
#include <isl_mat_private.h>
#include <isl_reordering.h>
#include <isl_seq.h>
#include <isl_local_private.h>
#include "check_type_range_templ.c"

Go to the source code of this file.

Macros
#define	TYPE   isl_local

Functions
isl_ctx *	isl_local_get_ctx (__isl_keep isl_local *local)
__isl_give isl_local *	isl_local_alloc_from_mat (__isl_take isl_mat *mat)
__isl_give isl_local *	isl_local_copy (__isl_keep isl_local *local)
__isl_null isl_local *	isl_local_free (__isl_take isl_local *local)
isl_size	isl_local_dim (__isl_keep isl_local *local, enum isl_dim_type type)
static static isl_stat	isl_local_check_pos (__isl_keep isl_local *local, int pos)
isl_bool	isl_local_div_is_marked_unknown (__isl_keep isl_local *local, int pos)
isl_bool	isl_local_div_is_known (__isl_keep isl_local *local, int pos)
isl_bool	isl_local_divs_known (__isl_keep isl_local *local)
int	isl_local_cmp (__isl_keep isl_local *local1, __isl_keep isl_local *local2)
isl_size	isl_local_var_offset (__isl_keep isl_local *local, enum isl_dim_type type)
__isl_give isl_local *	isl_local_reorder (__isl_take isl_local *local, __isl_take isl_reordering *r)
__isl_give isl_local *	isl_local_move_vars (__isl_take isl_local *local, unsigned dst_pos, unsigned src_pos, unsigned n)
__isl_give isl_vec *	isl_local_extend_point_vec (__isl_keep isl_local *local, __isl_take isl_vec *v)

Macro Definition Documentation

TYPE

#define TYPE   isl_local

Definition at line 91 of file isl_local.c.

Function Documentation

isl_local_alloc_from_mat()

__isl_give isl_local * isl_local_alloc_from_mat

(

__isl_take isl_mat *

mat

)

Definition at line 37 of file isl_local.c.

Referenced by isl_basic_map_contains_point(), isl_local_copy(), isl_local_move_vars(), and isl_local_reorder().

isl_local_check_pos()

static static isl_stat isl_local_check_pos ( __isl_keep isl_local *  local, int  pos  )

static

Definition at line 97 of file isl_local.c.

References isl_dim_div, and pos().

Referenced by isl_local_div_is_known(), and isl_local_div_is_marked_unknown().

isl_local_cmp()

int isl_local_cmp	(	__isl_keep isl_local *	local1,
		__isl_keep isl_local *	local2
	)

Definition at line 189 of file isl_local.c.

References cmp(), isl_local_div_is_marked_unknown(), isl_mat_cols(), isl_seq_cmp(), isl_seq_last_non_zero(), isl_mat::n_row, and isl_mat::row.

Referenced by isl_local_space_cmp(), and isl_qpolynomial_plain_cmp().

isl_local_copy()

__isl_give isl_local * isl_local_copy

(

__isl_keep isl_local *

local

)

Definition at line 44 of file isl_local.c.

References isl_local_alloc_from_mat(), and isl_mat_copy().

Referenced by isl_local_space_get_local().

isl_local_dim()

isl_size isl_local_dim	(	__isl_keep isl_local *	local,
		enum isl_dim_type	type
	)

Definition at line 63 of file isl_local.c.

References isl_die, isl_dim_all, isl_dim_div, isl_dim_set, isl_error_unsupported, isl_local_dim(), isl_local_get_ctx(), isl_mat_cols(), isl_mat_rows(), isl_size_error, total(), and type.

Referenced by isl_local_dim(), isl_local_div_is_known(), isl_local_divs_known(), isl_local_extend_point_vec(), and isl_local_var_offset().

isl_local_div_is_known()

isl_bool isl_local_div_is_known	(	__isl_keep isl_local *	local,
		int	pos
	)

Definition at line 126 of file isl_local.c.

References isl_bool_error, isl_bool_not(), isl_bool_true, isl_dim_div, isl_int_is_zero, isl_local_check_pos(), isl_local_dim(), isl_local_div_is_known(), isl_local_div_is_marked_unknown(), isl_mat_cols(), n, pos(), and isl_mat::row.

Referenced by isl_local_div_is_known(), and isl_local_space_div_is_known().

isl_local_div_is_marked_unknown()

isl_bool isl_local_div_is_marked_unknown	(	__isl_keep isl_local *	local,
		int	pos
	)

Definition at line 110 of file isl_local.c.

References isl_bool_error, isl_bool_ok(), isl_int_is_zero, isl_local_check_pos(), pos(), and isl_mat::row.

Referenced by can_print_div_expr(), isl_local_cmp(), isl_local_div_is_known(), isl_local_divs_known(), and isl_local_space_div_is_marked_unknown().

isl_local_divs_known()

isl_bool isl_local_divs_known

(

__isl_keep isl_local *

local

)

Definition at line 161 of file isl_local.c.

References isl_bool_error, isl_bool_not(), isl_bool_true, isl_dim_div, isl_local_dim(), isl_local_div_is_marked_unknown(), and n.

Referenced by isl_local_extend_point_vec(), and isl_local_space_divs_known().

isl_local_extend_point_vec()

__isl_give isl_vec * isl_local_extend_point_vec	(	__isl_keep isl_local *	local,
		__isl_take isl_vec *	v
	)

Definition at line 329 of file isl_local.c.

References isl_die, isl_dim_div, isl_dim_set, isl_error_invalid, isl_int_fdiv_q, isl_int_is_one, isl_local_dim(), isl_local_divs_known(), isl_local_get_ctx(), isl_seq_inner_product(), isl_vec_add_els(), isl_vec_free(), isl_vec_size(), isl_mat::row, and size.

Referenced by isl_basic_map_contains_point(), isl_local_space_lift_point(), and isl_qpolynomial_eval().

isl_local_free()

__isl_null isl_local * isl_local_free

(

__isl_take isl_local *

local

)

Definition at line 51 of file isl_local.c.

References isl_mat_free().

Referenced by isl_basic_map_contains_point(), isl_local_move_vars(), isl_local_reorder(), and isl_local_space_restore_local().

isl_local_get_ctx()

isl_ctx * isl_local_get_ctx

(

__isl_keep isl_local *

local

)

Definition at line 23 of file isl_local.c.

References isl_mat_get_ctx().

Referenced by isl_local_dim(), isl_local_extend_point_vec(), isl_local_move_vars(), and isl_local_var_offset().

isl_local_move_vars()

__isl_give isl_local * isl_local_move_vars	(	__isl_take isl_local *	local,
		unsigned	dst_pos,
		unsigned	src_pos,
		unsigned	n
	)

Definition at line 300 of file isl_local.c.

References isl_die, isl_dim_div, isl_error_invalid, isl_local_alloc_from_mat(), isl_local_free(), isl_local_get_ctx(), isl_local_var_offset(), isl_mat_move_cols(), and n.

Referenced by isl_local_space_move_dims().

isl_local_reorder()

__isl_give isl_local * isl_local_reorder	(	__isl_take isl_local *	local,
		__isl_take isl_reordering *	r
	)

Definition at line 263 of file isl_local.c.

References isl_int_set, isl_local_alloc_from_mat(), isl_local_free(), isl_mat_alloc(), isl_reordering_free(), isl_seq_clr(), isl_seq_cpy(), isl_mat::n_col, and isl_mat::row.

Referenced by isl_local_space_realign(), and isl_qpolynomial_realign_domain().

isl_local_var_offset()

isl_size isl_local_var_offset	(	__isl_keep isl_local *	local,
		enum isl_dim_type	type
	)

Definition at line 240 of file isl_local.c.

References isl_die, isl_dim_all, isl_dim_div, isl_error_unsupported, isl_local_dim(), isl_local_get_ctx(), isl_size_error, and type.

Referenced by isl_local_move_vars().