Polly 22.0.0git
isl_pw_templ.c File Reference

Go to the source code of this file.

Macros

#define TYPE   PW
#define TYPE   PW
#define SUFFIX   set
#define ARG1   PW
#define ARG2   isl_set
#define TYPE   PW

Functions

__isl_give PWFN (PW, alloc_size)
__isl_give PWFN (PW, ZERO)
static __isl_give PWFN (PW, add_dup_piece)
__isl_give PWFN (PW, add_piece)
static isl_bool FN (PW, compatible_domain)
static isl_stat FN (PW, check_compatible_domain)
__isl_give PWFN (PW, alloc)
__isl_give PWFN (PW, dup)
__isl_give PWFN (PW, cow)
__isl_give PWFN (PW, copy)
__isl_null PWFN (PW, free)
__isl_keep isl_spaceFN (PW, peek_space)
__isl_give isl_spaceFN (PW, get_space)
static __isl_give isl_spaceFN (PW, take_space)
static __isl_give PWFN (PW, restore_space)
static isl_stat FN (PW, check_pos)
static __isl_keep isl_setFN (PW, peek_domain_at)
static __isl_give isl_setFN (PW, get_domain_at)
static __isl_give isl_setFN (PW, take_domain_at)
static __isl_give PWFN (PW, restore_domain_at)
__isl_keep ELFN (PW, peek_base_at)
static __isl_give ELFN (PW, get_base_at)
static __isl_give ELFN (PW, take_base_at)
static __isl_give PWFN (PW, restore_base_at_)
static __isl_give PWFN (PW, restore_base_at)
static __isl_give PWFN (PW, restore_base_at_inplace)
static __isl_give PWFN (FN(FN(PW, from), BASE), type_base)
static __isl_give PWFN (FN(FN(PW, from), BASE), type)
__isl_give PWFN (FN(PW, from), BASE)
const char * FN (PW, get_dim_name)
isl_bool FN (PW, has_dim_id)
__isl_give isl_idFN (PW, get_dim_id)
isl_bool FN (PW, has_tuple_name)
const char * FN (PW, get_tuple_name)
isl_bool FN (PW, has_tuple_id)
__isl_give isl_idFN (PW, get_tuple_id)
isl_bool FN (PW, IS_ZERO)
static __isl_give PWFN (PW, realign_domain)
__isl_give PWFN (PW, align_params)
static __isl_give PWFN (PW, union_add_)
__isl_give PWFN (PW, union_add)
static __isl_give PWFN (static __isl_give PW *FN(PW, on_shared_domain_in)
static __isl_give PWFN (static __isl_give PW *FN(PW, on_shared_domain)
__isl_give isl_setFN (PW, params)
__isl_give isl_setFN (PW, domain)
static __isl_give PWFN (PW, exploit_equalities_and_remove_if_empty)
static __isl_give PWFN (PW, restrict_domain)
__isl_give PWFN (PW, intersect_domain)
__isl_give PWFN (PW, intersect_params)
__isl_give PWFN (PW, intersect_domain_wrapped_domain)
__isl_give PWFN (PW, intersect_domain_wrapped_range)
__isl_give PWFN (PW, subtract_domain)
static int FN (PW, sort_field_cmp) const
static __isl_give PWFN (PW, sort_unique)
static __isl_give PWFN (PW, gist_last)
static __isl_give PWFN (PW, gist_fn)
__isl_give PWFN (PW, gist)
__isl_give PWFN (PW, gist_params)
__isl_give PWFN (PW, coalesce)
isl_ctxFN (PW, get_ctx)
isl_bool FN (PW, involves_dims)
__isl_give PWFN (PW, set_dim_name)
__isl_give PWFN (PW, drop_dims)
__isl_give PWFN (PW, project_out)
__isl_give PWFN (PW, project_domain_on_params)
__isl_give PWFN (PW, drop_unused_params)
isl_size FN (PW, dim)
__isl_give isl_spaceFN (PW, get_domain_space)
int FN (PW, find_dim_by_name)
static int FN (PW, find_dim_by_id)
isl_bool FN (PW, involves_param_id)
static __isl_give PWFN (PW, reset_space_and_domain)
__isl_give PWFN (PW, reset_domain_space)
__isl_give PWFN (PW, reset_space)
__isl_give PWFN (PW, set_tuple_id)
__isl_give PWFN (PW, reset_tuple_id)
__isl_give PWFN (PW, set_dim_id)
__isl_give PWFN (PW, reset_user)
isl_size FN (PW, n_piece)
isl_stat FN (PW, foreach_piece)
isl_bool FN (PW, every_piece)
isl_bool FN (FN(PW, isa), BASE)
static __isl_give ELFN (EL, zero_like_type)
static __isl_give ELFN (EL, zero_like)
__isl_give ELFN (FN(PW, as), BASE)
static __isl_give PWFN (PW, negate_type)
__isl_give PWFN (PW, scale_val)
__isl_give PWFN (PW, scale_down_val)
static __isl_give PWFN (PW, normalize)
isl_bool FN (PW, plain_is_equal)
isl_bool FN (PW, involves_nan)

Macro Definition Documentation

◆ ARG1

#define ARG1   PW

Definition at line 663 of file isl_pw_templ.c.

◆ ARG2

#define ARG2   isl_set

Definition at line 665 of file isl_pw_templ.c.

◆ SUFFIX

#define SUFFIX   set

Definition at line 661 of file isl_pw_templ.c.

◆ TYPE [1/3]

#define TYPE   PW

Definition at line 613 of file isl_pw_templ.c.

◆ TYPE [2/3]

#define TYPE   PW

Definition at line 613 of file isl_pw_templ.c.

◆ TYPE [3/3]

#define TYPE   PW

Definition at line 613 of file isl_pw_templ.c.

Function Documentation

◆ FN() [1/91]

__isl_give EL * FN ( EL ,
zero_like  )
static

Definition at line 1644 of file isl_pw_templ.c.

References __isl_give, __isl_take, EL, FN, and PW.

◆ FN() [2/91]

__isl_give EL * FN ( EL ,
zero_like_type  )
static

Definition at line 1632 of file isl_pw_templ.c.

References __isl_give, __isl_take, EL, FN, NO_LOC, OPT_TYPE_ARG, OPT_TYPE_PARAM, and PW.

◆ FN() [3/91]

__isl_give PW * FN ( FN(FN(PW, from), BASE) ,
type  )
static

◆ FN() [4/91]

__isl_give PW * FN ( FN(FN(PW, from), BASE) ,
type_base  )
static

◆ FN() [5/91]

__isl_give EL * FN ( FN(PW, as) ,
BASE  )

Definition at line 1678 of file isl_pw_templ.c.

References __isl_give, __isl_take, BASE, EL, FN, isl_die, isl_error_invalid, n, and PW.

◆ FN() [6/91]

__isl_give PW * FN ( FN(PW, from) ,
BASE  )

Definition at line 527 of file isl_pw_templ.c.

References __isl_give, __isl_take, BASE, EL, FN, PW, and type.

◆ FN() [7/91]

◆ FN() [8/91]

◆ FN() [9/91]

__isl_give PW * FN ( PW ,
add_piece  )

◆ FN() [10/91]

◆ FN() [11/91]

__isl_give PW * FN ( PW ,
alloc  )

◆ FN() [12/91]

__isl_give PW * FN ( PW ,
alloc_size  )

◆ FN() [13/91]

isl_stat FN ( PW ,
check_compatible_domain  )
static

◆ FN() [14/91]

isl_stat FN ( PW ,
check_pos  )
static

Definition at line 290 of file isl_pw_templ.c.

References __isl_keep, FN, isl_die, isl_error_internal, isl_stat_error, isl_stat_ok, pos(), and PW.

◆ FN() [15/91]

__isl_give PW * FN ( PW ,
coalesce  )

Definition at line 1211 of file isl_pw_templ.c.

References __isl_give, __isl_take, coalesce(), FN, isl_set_coalesce(), n, and PW.

◆ FN() [16/91]

isl_bool FN ( PW ,
compatible_domain  )
static

◆ FN() [17/91]

__isl_give PW * FN ( PW ,
copy  )

Definition at line 197 of file isl_pw_templ.c.

References __isl_give, __isl_keep, and PW.

◆ FN() [18/91]

__isl_give PW * FN ( PW ,
cow  )

Definition at line 186 of file isl_pw_templ.c.

References __isl_give, __isl_take, dup(), FN, and PW.

◆ FN() [19/91]

isl_size FN ( PW ,
dim  )

Definition at line 1392 of file isl_pw_templ.c.

References __isl_keep, FN, isl_space_dim(), PW, and type.

◆ FN() [20/91]

◆ FN() [21/91]

◆ FN() [22/91]

__isl_give PW * FN ( PW ,
drop_unused_params  )

Definition at line 1368 of file isl_pw_templ.c.

References __isl_give, __isl_take, drop_dims(), FN, isl_dim_param, n, and PW.

◆ FN() [23/91]

__isl_give PW * FN ( PW ,
dup  )

Definition at line 166 of file isl_pw_templ.c.

References __isl_give, __isl_keep, dup(), EL, FN, isl_set_copy(), isl_space_copy(), OPT_TYPE_ARG, and PW.

◆ FN() [24/91]

isl_bool FN ( PW ,
every_piece  )

Definition at line 1589 of file isl_pw_templ.c.

References __isl_keep, EL, isl_bool_error, isl_bool_true, isl_set, PW, set, test, and user.

◆ FN() [25/91]

__isl_give PW * FN ( PW ,
exploit_equalities_and_remove_if_empty  )
static

◆ FN() [26/91]

int FN ( PW ,
find_dim_by_id  )
static

Definition at line 1418 of file isl_pw_templ.c.

References __isl_keep, FN, id, isl_space_find_dim_by_id(), PW, and type.

◆ FN() [27/91]

int FN ( PW ,
find_dim_by_name  )

Definition at line 1406 of file isl_pw_templ.c.

References __isl_keep, isl_space_find_dim_by_name(), name, PW, and type.

◆ FN() [28/91]

isl_stat FN ( PW ,
foreach_piece  )

Definition at line 1570 of file isl_pw_templ.c.

References __isl_keep, __isl_take, EL, FN, fn, isl_set, isl_set_copy(), isl_stat_error, isl_stat_ok, PW, set, and user.

◆ FN() [29/91]

__isl_null PW * FN ( PW ,
free  )

Definition at line 206 of file isl_pw_templ.c.

References __isl_null, __isl_take, EL, FN, isl_set_free(), isl_space_free(), and PW.

◆ FN() [30/91]

__isl_give EL * FN ( PW ,
get_base_at  )
static

Definition at line 384 of file isl_pw_templ.c.

References __isl_give, __isl_keep, EL, FN, pos(), and PW.

◆ FN() [31/91]

isl_ctx * FN ( PW ,
get_ctx  )

Definition at line 1233 of file isl_pw_templ.c.

References __isl_keep, isl_space_get_ctx(), and PW.

◆ FN() [32/91]

__isl_give isl_id * FN ( PW ,
get_dim_id  )

Definition at line 545 of file isl_pw_templ.c.

References __isl_give, __isl_keep, isl_space_get_dim_id(), pos(), PW, and type.

◆ FN() [33/91]

const char * FN ( PW ,
get_dim_name  )

Definition at line 533 of file isl_pw_templ.c.

References __isl_keep, isl_space_get_dim_name(), pos(), PW, and type.

◆ FN() [34/91]

__isl_give isl_set * FN ( PW ,
get_domain_at  )
static

Definition at line 311 of file isl_pw_templ.c.

References __isl_give, __isl_keep, FN, isl_set, isl_set_copy(), pos(), and PW.

◆ FN() [35/91]

__isl_give isl_space * FN ( PW ,
get_domain_space  )

Definition at line 1397 of file isl_pw_templ.c.

References __isl_give, __isl_keep, isl_space_copy(), isl_space_domain(), and PW.

◆ FN() [36/91]

__isl_give isl_space * FN ( PW ,
get_space  )

Definition at line 232 of file isl_pw_templ.c.

References __isl_give, __isl_keep, FN, isl_space_copy(), and PW.

◆ FN() [37/91]

__isl_give isl_id * FN ( PW ,
get_tuple_id  )

Definition at line 566 of file isl_pw_templ.c.

References __isl_give, __isl_keep, isl_space_get_tuple_id(), PW, and type.

◆ FN() [38/91]

const char * FN ( PW ,
get_tuple_name  )

Definition at line 556 of file isl_pw_templ.c.

References __isl_keep, isl_space_get_tuple_name(), PW, and type.

◆ FN() [39/91]

__isl_give PW * FN ( PW ,
gist  )

◆ FN() [40/91]

◆ FN() [41/91]

__isl_give PW * FN ( PW ,
gist_last  )
static

◆ FN() [42/91]

__isl_give PW * FN ( PW ,
gist_params  )

◆ FN() [43/91]

isl_bool FN ( PW ,
has_dim_id  )

Definition at line 539 of file isl_pw_templ.c.

References __isl_keep, isl_bool_error, isl_space_has_dim_id(), pos(), PW, and type.

◆ FN() [44/91]

isl_bool FN ( PW ,
has_tuple_id  )

Definition at line 561 of file isl_pw_templ.c.

References __isl_keep, isl_bool_error, isl_space_has_tuple_id(), PW, and type.

◆ FN() [45/91]

isl_bool FN ( PW ,
has_tuple_name  )

Definition at line 551 of file isl_pw_templ.c.

References __isl_keep, isl_bool_error, isl_space_has_tuple_name(), PW, and type.

◆ FN() [46/91]

__isl_give PW * FN ( PW ,
intersect_domain  )

Definition at line 949 of file isl_pw_templ.c.

References __isl_give, __isl_take, context, FN, isl_set, isl_set_intersect(), and PW.

◆ FN() [47/91]

__isl_give PW * FN ( PW ,
intersect_domain_wrapped_domain  )

Definition at line 966 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, isl_set, isl_set_intersect_factor_domain(), PW, and set.

◆ FN() [48/91]

__isl_give PW * FN ( PW ,
intersect_domain_wrapped_range  )

Definition at line 976 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, isl_set, isl_set_intersect_factor_range(), PW, and set.

◆ FN() [49/91]

__isl_give PW * FN ( PW ,
intersect_params  )

Definition at line 957 of file isl_pw_templ.c.

References __isl_give, __isl_take, context, FN, isl_set, isl_set_intersect_params(), and PW.

◆ FN() [50/91]

isl_bool FN ( PW ,
involves_dims  )

◆ FN() [51/91]

isl_bool FN ( PW ,
involves_nan  )

Definition at line 1898 of file isl_pw_templ.c.

References __isl_keep, EL, FN, isl_bool_error, isl_bool_false, and PW.

◆ FN() [52/91]

isl_bool FN ( PW ,
involves_param_id  )

Definition at line 1430 of file isl_pw_templ.c.

References __isl_keep, FN, id, isl_bool_error, isl_bool_false, isl_dim_param, pos(), and PW.

◆ FN() [53/91]

isl_bool FN ( PW ,
IS_ZERO  )

Definition at line 571 of file isl_pw_templ.c.

References __isl_keep, IS_ZERO, isl_bool_error, isl_bool_ok(), and PW.

◆ FN() [54/91]

isl_size FN ( PW ,
n_piece  )

Definition at line 1565 of file isl_pw_templ.c.

References __isl_keep, isl_size_error, and PW.

◆ FN() [55/91]

__isl_give PW * FN ( PW ,
negate_type  )
static

Definition at line 1718 of file isl_pw_templ.c.

References __isl_give, __isl_take, and PW.

◆ FN() [56/91]

__isl_give PW * FN ( PW ,
normalize  )
static

◆ FN() [57/91]

__isl_give isl_set * FN ( PW ,
params  )

Definition at line 857 of file isl_pw_templ.c.

References __isl_give, __isl_take, domain, FN, isl_set, isl_set_params(), params, and PW.

◆ FN() [58/91]

__isl_keep EL * FN ( PW ,
peek_base_at  )

Definition at line 374 of file isl_pw_templ.c.

References __isl_keep, EL, FN, pos(), and PW.

◆ FN() [59/91]

__isl_keep isl_set * FN ( PW ,
peek_domain_at  )
static

Definition at line 302 of file isl_pw_templ.c.

References __isl_keep, FN, isl_set, pos(), and PW.

◆ FN() [60/91]

__isl_keep isl_space * FN ( PW ,
peek_space  )

Definition at line 227 of file isl_pw_templ.c.

References __isl_keep, and PW.

◆ FN() [61/91]

isl_bool FN ( PW ,
plain_is_equal  )

◆ FN() [62/91]

__isl_give PW * FN ( PW ,
project_domain_on_params  )

◆ FN() [63/91]

◆ FN() [64/91]

◆ FN() [65/91]

◆ FN() [66/91]

__isl_give PW * FN ( PW ,
reset_space  )

Definition at line 1494 of file isl_pw_templ.c.

References __isl_give, __isl_take, domain, FN, isl_space_copy(), isl_space_domain(), and PW.

◆ FN() [67/91]

__isl_give PW * FN ( PW ,
reset_space_and_domain  )
static

◆ FN() [68/91]

__isl_give PW * FN ( PW ,
reset_tuple_id  )

Definition at line 1523 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, isl_space_reset_tuple_id(), PW, and type.

◆ FN() [69/91]

__isl_give PW * FN ( PW ,
reset_user  )

Definition at line 1555 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, isl_space_reset_user(), PW, and reset_user().

◆ FN() [70/91]

__isl_give PW * FN ( PW ,
restore_base_at  )
static

Definition at line 455 of file isl_pw_templ.c.

References __isl_give, __isl_take, EL, FN, pos(), and PW.

◆ FN() [71/91]

__isl_give PW * FN ( PW ,
restore_base_at_  )
static

Definition at line 425 of file isl_pw_templ.c.

References __isl_give, __isl_take, EL, FN, inplace(), pos(), and PW.

◆ FN() [72/91]

__isl_give PW * FN ( PW ,
restore_base_at_inplace  )
static

Definition at line 468 of file isl_pw_templ.c.

References __isl_give, __isl_take, EL, FN, pos(), and PW.

◆ FN() [73/91]

__isl_give PW * FN ( PW ,
restore_domain_at  )
static

Definition at line 347 of file isl_pw_templ.c.

References __isl_give, __isl_take, domain, FN, isl_set, isl_set_free(), pos(), and PW.

◆ FN() [74/91]

__isl_give PW * FN ( PW ,
restore_space  )
static

Definition at line 264 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, isl_space_free(), and PW.

◆ FN() [75/91]

__isl_give PW * FN ( PW ,
restrict_domain  )
static

Definition at line 919 of file isl_pw_templ.c.

References __isl_give, __isl_take, domain, FN, fn, isl_set, isl_set_copy(), isl_set_free(), n, PW, set, set1, and set2.

◆ FN() [76/91]

◆ FN() [77/91]

◆ FN() [78/91]

__isl_give PW * FN ( PW ,
set_dim_id  )

Definition at line 1542 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, id, isl_space_set_dim_id(), pos(), PW, and type.

◆ FN() [79/91]

__isl_give PW * FN ( PW ,
set_dim_name  )

Definition at line 1264 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, isl_space_set_dim_name(), pos(), PW, set_dim_name(), and type.

◆ FN() [80/91]

__isl_give PW * FN ( PW ,
set_tuple_id  )

Definition at line 1503 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, id, isl_id_free(), isl_space_set_tuple_id(), PW, and type.

◆ FN() [81/91]

int FN ( PW ,
sort_field_cmp  ) const
static

Definition at line 996 of file isl_pw_templ.c.

References arg, EL, FN, and PW.

◆ FN() [82/91]

__isl_give PW * FN ( PW ,
sort_unique  )
static

Definition at line 1013 of file isl_pw_templ.c.

References __isl_give, __isl_take, EL, equal, FN, isl_set, isl_set_free(), isl_set_union(), isl_sort(), PW, and set.

◆ FN() [83/91]

__isl_give PW * FN ( PW ,
subtract_domain  )

Definition at line 984 of file isl_pw_templ.c.

References __isl_give, __isl_take, domain, FN, isl_set, isl_set_subtract(), and PW.

◆ FN() [84/91]

__isl_give EL * FN ( PW ,
take_base_at  )
static

Definition at line 400 of file isl_pw_templ.c.

References __isl_give, __isl_keep, EL, FN, pos(), and PW.

◆ FN() [85/91]

__isl_give isl_set * FN ( PW ,
take_domain_at  )
static

Definition at line 326 of file isl_pw_templ.c.

References __isl_give, __isl_keep, domain, FN, isl_set, pos(), and PW.

◆ FN() [86/91]

__isl_give isl_space * FN ( PW ,
take_space  )
static

Definition at line 246 of file isl_pw_templ.c.

References __isl_give, __isl_keep, FN, and PW.

◆ FN() [87/91]

__isl_give PW * FN ( PW ,
union_add  )

Definition at line 761 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, and PW.

◆ FN() [88/91]

◆ FN() [89/91]

__isl_give PW * FN ( PW ,
ZERO  )

Definition at line 49 of file isl_pw_templ.c.

References __isl_give, __isl_take, FN, NO_LOC, OPT_TYPE_ARG, OPT_TYPE_PARAM, PW, and ZERO.

◆ FN() [90/91]

__isl_give PW * FN ( static __isl_give PW *FN( PW,
on_shared_domain  )
static

Definition at line 830 of file isl_pw_templ.c.

References __attribute__, __isl_give, __isl_take, EL, FN, fn, isl_space_copy(), and PW.

◆ FN() [91/91]