isl_local.h File Reference

#include <isl/mat.h>
#include <isl_reordering.h>

Go to the source code of this file.

Typedefs
typedef isl_mat	isl_local

Functions
__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_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)

Typedef Documentation

isl_local

typedef isl_mat isl_local

Definition at line 7 of file isl_local.h.

Function Documentation

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_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_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().