Polly: isl_factorization.c File Reference

Polly 20.0.0git

#include <isl_map_private.h>
#include <isl_factorization.h>
#include <isl_space_private.h>
#include <isl_mat_private.h>

Go to the source code of this file.

Classes
struct	isl_factor_groups

Functions
isl_ctx *	isl_factorizer_get_ctx (__isl_keep isl_factorizer *f)

static __isl_give isl_factorizer *	isl_factorizer_alloc (__isl_keep isl_basic_set bset, __isl_take isl_morph morph, int n_group)

__isl_null isl_factorizer *	isl_factorizer_free (__isl_take isl_factorizer *f)

void	isl_factorizer_dump (__isl_take isl_factorizer *f)

__isl_give isl_factorizer *	isl_factorizer_identity (__isl_keep isl_basic_set *bset)

__isl_give isl_factorizer *	isl_factorizer_groups (__isl_keep isl_basic_set bset, __isl_take isl_mat Q, __isl_take isl_mat U, int n, int len)

static int	init_groups (struct isl_factor_groups g, __isl_keep isl_mat H)

static void	update_group (struct isl_factor_groups *g, int k)

static int	update_group_i_with_row_j (struct isl_factor_groups g, int i, int j, __isl_keep isl_mat H)

static int	update_groups (struct isl_factor_groups g, __isl_keep isl_mat H)

static void	clear_groups (struct isl_factor_groups *g)

__isl_give isl_factorizer *	isl_basic_set_factorizer (__isl_keep isl_basic_set *bset)

__isl_give isl_bool	isl_factorizer_every_factor_basic_set (__isl_keep isl_factorizer f, isl_bool(test)(__isl_keep isl_basic_set bset, void user), void *user)

Function Documentation

◆ clear_groups()

static void clear_groups ( struct isl_factor_groups * g )

static

Definition at line 251 of file isl_factorization.c.

References isl_factor_groups::cnt, isl_factor_groups::group, isl_factor_groups::pos, and isl_factor_groups::rowgroup.

Referenced by isl_basic_set_factorizer().

◆ init_groups()

static int init_groups	(	struct isl_factor_groups *	g,
		__isl_keep isl_mat *	H
	)

static

Definition at line 147 of file isl_factorization.c.

References isl_factor_groups::cnt, for(), isl_factor_groups::group, isl_alloc_array, isl_int_is_zero, isl_factor_groups::pos, and isl_factor_groups::rowgroup.

Referenced by isl_basic_set_factorizer().

◆ isl_basic_set_factorizer()

__isl_give isl_factorizer * isl_basic_set_factorizer ( __isl_keep isl_basic_set * bset )

◆ isl_factorizer_alloc()

static __isl_give isl_factorizer * isl_factorizer_alloc	(	__isl_keep isl_basic_set *	bset,
		__isl_take isl_morph *	morph,
		int	n_group
	)

static

Definition at line 30 of file isl_factorization.c.

References f, isl_alloc_array, isl_alloc_type, isl_basic_set_copy(), and isl_morph_free().

Referenced by isl_factorizer_groups(), and isl_factorizer_identity().

◆ isl_factorizer_dump()

void isl_factorizer_dump ( __isl_take isl_factorizer * f )

Definition at line 74 of file isl_factorization.c.

References f, and isl_morph_print_internal().

◆ isl_factorizer_every_factor_basic_set()

__isl_give isl_bool isl_factorizer_every_factor_basic_set	(	__isl_keep isl_factorizer *	f,
		isl_bool()(__isl_keep isl_basic_set bset, void *user)	test,
		void *	user
	)

Definition at line 346 of file isl_factorization.c.

References f, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_drop(), isl_basic_set_drop_constraints_involving(), isl_basic_set_free(), isl_bool_error, isl_bool_true, isl_dim_param, isl_dim_set, isl_morph_basic_set(), isl_morph_copy(), n, test, and user.

Referenced by compressed_multiplicative_call(), factored_sample(), and isl_basic_set_coefficients_product().

◆ isl_factorizer_free()

__isl_null isl_factorizer * isl_factorizer_free ( __isl_take isl_factorizer * f )

Definition at line 62 of file isl_factorization.c.

References f, isl_basic_set_free(), and isl_morph_free().

Referenced by basic_set_coefficients(), bernstein_coefficients_factors(), compressed_multiplicative_call(), factored_sample(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_coefficients_product(), sample_bounded(), and test_factorize().

◆ isl_factorizer_get_ctx()

isl_ctx * isl_factorizer_get_ctx ( __isl_keep isl_factorizer * f )

Definition at line 23 of file isl_factorization.c.

References f, and isl_basic_set_get_ctx().

Referenced by isl_basic_set_coefficients_product().

◆ isl_factorizer_groups()

__isl_give isl_factorizer * isl_factorizer_groups	(	__isl_keep isl_basic_set *	bset,
		__isl_take isl_mat *	Q,
		__isl_take isl_mat *	U,
		int	n,
		int *	len
	)

Definition at line 96 of file isl_factorization.c.

References f, id, isl_basic_set_dim(), isl_basic_set_get_space(), isl_basic_set_universe(), isl_dim_set, isl_factorizer_alloc(), isl_mat_copy(), isl_mat_diagonal(), isl_mat_free(), isl_mat_identity(), isl_morph_alloc(), isl_space_add_dims(), isl_space_copy(), isl_space_drop_dims(), isl_space_offset(), and n.

Referenced by isl_basic_set_factorizer().

◆ isl_factorizer_identity()

__isl_give isl_factorizer * isl_factorizer_identity ( __isl_keep isl_basic_set * bset )

Definition at line 91 of file isl_factorization.c.

References isl_factorizer_alloc(), and isl_morph_identity().

Referenced by isl_basic_set_factorizer().

◆ update_group()

static void update_group	(	struct isl_factor_groups *	g,
		int	k
	)

static

Definition at line 184 of file isl_factorization.c.

References isl_factor_groups::cnt, isl_factor_groups::group, and p.

Referenced by update_group_i_with_row_j(), and update_groups().

◆ update_group_i_with_row_j()

static int update_group_i_with_row_j	(	struct isl_factor_groups *	g,
		int	i,
		int	j,
		__isl_keep isl_mat *	H
	)

static

Definition at line 197 of file isl_factorization.c.

References isl_factor_groups::cnt, isl_factor_groups::group, isl_assert, isl_int_is_zero, isl_factor_groups::pos, isl_factor_groups::rowgroup, and update_group().

Referenced by update_groups().

◆ update_groups()

static int update_groups	(	struct isl_factor_groups *	g,
		__isl_keep isl_mat *	H
	)

static

Definition at line 227 of file isl_factorization.c.

References isl_factor_groups::cnt, isl_int_is_zero, isl_factor_groups::pos, isl_factor_groups::rowgroup, update_group(), and update_group_i_with_row_j().

Referenced by isl_basic_set_factorizer().