Polly 22.0.0git
isl_local_space_private.h File Reference
#include <isl/mat.h>
#include <isl/set.h>
#include <isl/local_space.h>

Go to the source code of this file.

Classes

struct  isl_local_space

Functions

isl_stat isl_local_space_check_range (__isl_keep isl_local_space *ls, enum isl_dim_type type, unsigned first, unsigned n)
uint32_t isl_local_space_get_hash (__isl_keep isl_local_space *ls)
__isl_give isl_local_spaceisl_local_space_alloc (__isl_take isl_space *space, unsigned n_div)
__isl_give isl_local_spaceisl_local_space_alloc_div (__isl_take isl_space *space, __isl_take isl_mat *div)
__isl_keep isl_spaceisl_local_space_peek_space (__isl_keep isl_local_space *ls)
__isl_give isl_local_spaceisl_local_space_swap_div (__isl_take isl_local_space *ls, int a, int b)
__isl_give isl_local_spaceisl_local_space_add_div (__isl_take isl_local_space *ls, __isl_take isl_vec *div)
int isl_mat_cmp_div (__isl_keep isl_mat *div, int i, int j)
__isl_give isl_matisl_merge_divs (__isl_keep isl_mat *div1, __isl_keep isl_mat *div2, int *exp1, int *exp2)
isl_size isl_local_space_var_offset (__isl_keep isl_local_space *ls, enum isl_dim_type type)
unsigned isl_local_space_offset (__isl_keep isl_local_space *ls, enum isl_dim_type type)
__isl_give isl_local_spaceisl_local_space_replace_divs (__isl_take isl_local_space *ls, __isl_take isl_mat *div)
isl_bool isl_local_space_div_is_marked_unknown (__isl_keep isl_local_space *ls, int div)
isl_bool isl_local_space_div_is_known (__isl_keep isl_local_space *ls, int div)
isl_bool isl_local_space_divs_known (__isl_keep isl_local_space *ls)
__isl_give isl_basic_setisl_local_space_lift_basic_set (__isl_take isl_local_space *ls, __isl_take isl_basic_set *bset)
__isl_give isl_setisl_local_space_lift_set (__isl_take isl_local_space *ls, __isl_take isl_set *set)
__isl_give isl_local_spaceisl_local_space_substitute_equalities (__isl_take isl_local_space *ls, __isl_take isl_basic_set *eq)
isl_bool isl_local_space_is_named_or_nested (__isl_keep isl_local_space *ls, enum isl_dim_type type)
isl_bool isl_local_space_has_equal_space (__isl_keep isl_local_space *ls1, __isl_keep isl_local_space *ls2)
__isl_give isl_local_spaceisl_local_space_reset_space (__isl_take isl_local_space *ls, __isl_take isl_space *space)
__isl_give isl_local_spaceisl_local_space_realign (__isl_take isl_local_space *ls, __isl_take isl_reordering *r)
isl_bool isl_local_space_is_div_constraint (__isl_keep isl_local_space *ls, isl_int *constraint, unsigned div)
isl_bool isl_local_space_is_div_equality (__isl_keep isl_local_space *ls, isl_int *constraint, unsigned div)
int * isl_local_space_get_active (__isl_keep isl_local_space *ls, isl_int *l)
__isl_give isl_local_spaceisl_local_space_substitute_seq (__isl_take isl_local_space *ls, enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len, int first, int n)
__isl_give isl_local_spaceisl_local_space_substitute (__isl_take isl_local_space *ls, enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs)
__isl_give isl_local_spaceisl_local_space_lift (__isl_take isl_local_space *ls)
__isl_give isl_local_spaceisl_local_space_preimage_multi_aff (__isl_take isl_local_space *ls, __isl_take isl_multi_aff *ma)
__isl_give isl_local_spaceisl_local_space_move_dims (__isl_take isl_local_space *ls, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
int isl_local_space_cmp (__isl_keep isl_local_space *ls1, __isl_keep isl_local_space *ls2)
__isl_give isl_pointisl_local_space_lift_point (__isl_take isl_local_space *ls, __isl_take isl_point *pnt)
isl_bool isl_local_space_has_space (__isl_keep isl_local_space *ls, __isl_keep isl_space *space)

Function Documentation

◆ isl_local_space_add_div()

◆ isl_local_space_alloc()

◆ isl_local_space_alloc_div()

◆ isl_local_space_check_range()

◆ isl_local_space_cmp()

◆ isl_local_space_div_is_known()

isl_bool isl_local_space_div_is_known ( __isl_keep isl_local_space * ls,
int div )

◆ isl_local_space_div_is_marked_unknown()

isl_bool isl_local_space_div_is_marked_unknown ( __isl_keep isl_local_space * ls,
int div )

◆ isl_local_space_divs_known()

isl_bool isl_local_space_divs_known ( __isl_keep isl_local_space * ls)

◆ isl_local_space_get_active()

◆ isl_local_space_get_hash()

uint32_t isl_local_space_get_hash ( __isl_keep isl_local_space * ls)

◆ isl_local_space_has_equal_space()

isl_bool isl_local_space_has_equal_space ( __isl_keep isl_local_space * ls1,
__isl_keep isl_local_space * ls2 )

◆ isl_local_space_has_space()

isl_bool isl_local_space_has_space ( __isl_keep isl_local_space * ls,
__isl_keep isl_space * space )

References __isl_keep.

Referenced by isl_local_space_check_has_space().

◆ isl_local_space_is_div_constraint()

◆ isl_local_space_is_div_equality()

isl_bool isl_local_space_is_div_equality ( __isl_keep isl_local_space * ls,
isl_int * constraint,
unsigned div )

Definition at line 1444 of file isl_local_space.c.

References __isl_keep, is_linear_div_constraint(), and isl_bool_ok().

Referenced by isl_constraint_is_div_equality().

◆ isl_local_space_is_named_or_nested()

◆ isl_local_space_lift()

◆ isl_local_space_lift_basic_set()

◆ isl_local_space_lift_point()

◆ isl_local_space_lift_set()

◆ isl_local_space_move_dims()

◆ isl_local_space_offset()

◆ isl_local_space_peek_space()

◆ isl_local_space_preimage_multi_aff()

◆ isl_local_space_realign()

◆ isl_local_space_replace_divs()

__isl_give isl_local_space * isl_local_space_replace_divs ( __isl_take isl_local_space * ls,
__isl_take isl_mat * div )

◆ isl_local_space_reset_space()

◆ isl_local_space_substitute()

◆ isl_local_space_substitute_equalities()

◆ isl_local_space_substitute_seq()

◆ isl_local_space_swap_div()

◆ isl_local_space_var_offset()

◆ isl_mat_cmp_div()

int isl_mat_cmp_div ( __isl_keep isl_mat * div,
int i,
int j )

Definition at line 743 of file isl_local_space.c.

References __isl_keep, and cmp_row().

Referenced by isl_merge_divs(), and sort_divs().

◆ isl_merge_divs()