/llvm-project/polly/lib/External/isl/ |
H A D | isl_space.c | 23 isl_ctx *isl_space_get_ctx(__isl_keep isl_space *space) in isl_space_get_ctx() 31 isl_space *space; in isl_space_alloc() local 59 static __isl_give isl_space *mark_as_set(__isl_take isl_space *space) in mark_as_set() 70 isl_bool isl_space_is_set(__isl_keep isl_space *space) in isl_space_is_set() 83 isl_stat isl_space_check_is_set(__isl_keep isl_space *space) in isl_space_check_is_set() 98 isl_bool isl_space_is_map(__isl_keep isl_space *space) in isl_space_is_map() 111 static isl_stat isl_space_check_is_map(__isl_keep isl_space *space) in isl_space_check_is_map() 127 isl_stat isl_space_check_domain_is_wrapping(__isl_keep isl_space *space) in isl_space_check_domain_is_wrapping() 143 isl_stat isl_space_check_range_is_wrapping(__isl_keep isl_space *space) in isl_space_check_range_is_wrapping() 159 isl_space *space; in isl_space_set_alloc() local [all …]
|
H A D | isl_output.c | 182 static isl_size count_same_name(__isl_keep isl_space *space, in count_same_name() 206 static __isl_give isl_printer *print_name(__isl_keep isl_space *space, in print_name() 240 static isl_stat pos2type(__isl_keep isl_space *space, in pos2type() 287 static __isl_give isl_printer *print_term(__isl_keep isl_space *space, in print_term() 320 static __isl_give isl_printer *print_affine_of_len(__isl_keep isl_space *space, in print_affine_of_len() 354 __isl_keep isl_space *space, __isl_keep isl_mat *div, isl_int *c) in print_affine() 395 __isl_keep isl_space *space, enum isl_dim_type type) in print_var_list() 442 static __isl_give isl_printer *print_tuple(__isl_keep isl_space *space, in print_tuple() 462 __isl_give isl_printer *isl_print_space(__isl_keep isl_space *space, in isl_print_space() 482 __isl_keep isl_space *space, __isl_take isl_printer *p) in print_omega_parameters() [all …]
|
H A D | isl_multi_tuple_id_templ.c | 68 isl_space *space; in MULTI() local 84 isl_space *space; in MULTI() local 117 isl_space *space; in MULTI() local
|
H A D | isl_aff_map.c | 29 static isl_stat check_input_is_map(__isl_keep isl_space *space) in check_input_is_map() 45 static isl_stat check_input_is_set(__isl_keep isl_space *space) in check_input_is_set() 136 isl_space *space; in isl_basic_map_from_multi_aff2() local 269 isl_space *space; in isl_basic_map_from_aff_list() local 299 isl_space *space; in isl_map_from_pw_aff_internal() local 439 isl_space *space; in map_from_multi_pw_aff() local 534 isl_space *space; in isl_union_map_from_union_pw_aff() local 572 isl_space *space; in isl_union_map_from_union_pw_multi_aff() local
|
H A D | isl_farkas.c | 69 static __isl_give isl_space *isl_space_prefix(__isl_take isl_space *space, in isl_space_prefix() 124 static __isl_give isl_space *isl_space_coefficients(__isl_take isl_space *space) in isl_space_coefficients() 154 static __isl_give isl_space *isl_space_unprefix(__isl_take isl_space *space, in isl_space_unprefix() 194 static __isl_give isl_space *isl_space_solutions(__isl_take isl_space *space) in isl_space_solutions() 214 static __isl_give isl_basic_set *rational_universe(__isl_take isl_space *space) in rational_universe() 242 isl_space *space; in farkas() local 680 isl_space *space; in construct_product() local 769 isl_space *space; in isl_basic_set_coefficients_morphed_product() local 842 isl_space *space; in isl_basic_set_coefficients() local 869 isl_space *space; in isl_basic_set_solutions() local [all …]
|
H A D | isl_multi_templ.c | 151 isl_space *space; in FN() local 296 isl_space *space; in MULTI() local 414 isl_space *space, *multi_space; in MULTI() local 437 isl_space *space; in MULTI() local 450 isl_space *space; in MULTI() local 607 isl_space *space; in MULTI() local 658 isl_space *space; in MULTI() local 709 isl_space *space; in MULTI() local 737 isl_space *space; in MULTI() local 764 isl_space *space; in MULTI() local [all …]
|
H A D | isl_multi_dim_id_templ.c | 50 isl_space *space; in MULTI() local 64 isl_space *space; in MULTI() local
|
H A D | isl_bind_domain_templ.c | 25 isl_space *space; in FN() local 111 isl_space *space; in FN() local 159 isl_space *space; in FN() local
|
H A D | isl_aff.c | 190 __isl_give isl_aff *isl_aff_zero_on_domain_space(__isl_take isl_space *space) in isl_aff_zero_on_domain_space() 198 __isl_give isl_aff *isl_space_zero_aff_on_domain(__isl_take isl_space *space) in isl_space_zero_aff_on_domain() 243 __isl_give isl_aff *isl_aff_nan_on_domain_space(__isl_take isl_space *space) in isl_aff_nan_on_domain_space() 252 __isl_take isl_space *space) in isl_pw_aff_nan_on_domain_space() 302 __isl_give isl_aff *isl_aff_val_on_domain_space(__isl_take isl_space *space, in isl_aff_val_on_domain_space() 314 isl_space *space; in isl_aff_var_on_domain() local 360 __isl_take isl_space *space, __isl_take isl_id *id) in isl_aff_param_on_domain_space_id() 385 __isl_take isl_space *space, __isl_take isl_id *id) in isl_space_param_aff_on_domain_id() 502 isl_space *space; in isl_aff_get_space() local 599 __isl_take isl_space *space) in isl_aff_reset_domain_space() [all …]
|
H A D | isl_range.c | 34 isl_space *space; in has_sign() local 100 isl_space *space; in monotonicity() local 149 static __isl_give isl_qpolynomial *signed_infty(__isl_take isl_space *space, in signed_infty() 159 __isl_take isl_space *space, unsigned pos, int sign) in bound2poly() 250 isl_space *space; in isl_qpolynomial_terms_of_sign() local 320 isl_space *space = isl_qpolynomial_get_domain_space(poly); in plug_in_at_pos() local 369 isl_space *space = isl_qpolynomial_get_domain_space(data->poly); in propagate_on_bound_pair() local 387 isl_space *space = isl_qpolynomial_get_domain_space(data->poly); in propagate_on_bound_pair() local
|
H A D | isl_multi_dims.c | 48 isl_space *space; in MULTI() local 101 isl_space *space; in MULTI() local
|
H A D | isl_input.c | 318 __isl_take isl_space *space, struct vars *v) in accept_minmax() 440 __isl_take isl_space *space, struct vars *v) in accept_div() 494 __isl_take isl_space *space, struct vars *v) in accept_affine_factor() 599 static __isl_give isl_pw_aff *nan_on_domain(__isl_keep isl_space *space) in nan_on_domain() 605 __isl_take isl_space *space, struct vars *v) in accept_affine() 730 isl_space *space; in accept_ternary() local 821 __isl_take isl_space *space, struct vars *v, int rational) in accept_extended_affine() 886 __isl_take isl_space *space, struct vars *v) in accept_affine_list() 1065 static __isl_give isl_space *space_set_dim_name(__isl_take isl_space *space, in space_set_dim_name() 1087 __isl_take isl_space *space, char *name) in space_set_last_dim_name() [all …]
|
H A D | isl_union_templ.c | 99 isl_space *space; in FN() local 105 __isl_give UNION *FN(FN(UNION,ZERO),space)(__isl_take isl_space *space in FN() argument 266 isl_space *space; in S() local 322 isl_space *space; in FN() local 436 isl_space *space; in FN() local 456 isl_space *space; in FN() local 540 isl_space *space; in FN() local 579 isl_space *space; in FN() local 755 isl_space *space; in FN() local 843 isl_space *space = user; in FN() local [all …]
|
H A D | isl_transitive_closure.c | 57 isl_space *space; in set_path_length() local 224 static __isl_give isl_map *path_along_steps(__isl_take isl_space *space, in path_along_steps() 575 static __isl_give isl_map *path_along_delta(__isl_take isl_space *space, in path_along_delta() 627 isl_space *space = isl_basic_set_get_space(delta); in path_along_delta() local 679 __isl_take isl_space *space, unsigned param) in equate_parameter_to_length() 773 static __isl_give isl_map *construct_extended_path(__isl_take isl_space *space, in construct_extended_path() 868 static __isl_give isl_map *construct_component(__isl_take isl_space *space, in construct_component() 923 __isl_take isl_space *space, in construct_projected_component() 946 static __isl_give isl_map *q_closure(__isl_take isl_space *space, in q_closure() 1161 __isl_take isl_space *space, __isl_keep isl_map *map, in compute_incremental() [all …]
|
H A D | isl_multi_from_base_templ.c | 25 isl_space *space; in MULTI() local
|
H A D | isl_ast_build.c | 56 __isl_take isl_ast_build *build, __isl_take isl_space *space) in isl_ast_build_init_derived() 124 isl_space *space; in isl_ast_build_from_context() local 167 isl_space *space; in isl_ast_build_alloc() local 506 isl_space *space; in isl_ast_build_clear_local_info() local 604 isl_space *space; in isl_ast_build_get_schedule_map_multi_aff() local 705 __isl_take isl_ast_build *build, __isl_take isl_space *space) in isl_ast_build_init() 1199 isl_space *space; in isl_ast_build_get_space() local 1238 isl_space *space; in isl_ast_build_get_schedule_space() local 1374 isl_space *space; in isl_ast_build_get_stride_expansion() local 1499 static __isl_give isl_map *construct_insertion_map(__isl_take isl_space *space, in construct_insertion_map() [all …]
|
H A D | isl_point.c | 66 __isl_give isl_point *isl_point_alloc(__isl_take isl_space *space, in isl_point_alloc() 98 __isl_give isl_point *isl_point_zero(__isl_take isl_space *space) in isl_point_zero() 164 __isl_give isl_point *isl_point_void(__isl_take isl_space *space) in isl_point_void() 191 isl_space *space; in isl_point_take_space() local 208 __isl_take isl_space *space) in isl_point_restore_space() 339 isl_space *space; in isl_point_align_params() local 713 isl_space *space; in isl_union_set_from_point() local 741 isl_space *space = isl_space_copy(pnt1->dim); in isl_basic_set_box_from_points() local
|
H A D | isl_pw_pullback_templ.c | 40 isl_space *space = NULL; in FN() local 87 isl_space *space; in FN() local
|
H A D | isl_from_range_templ.c | 15 isl_space *space; in FN() local
|
H A D | isl_fold.c | 48 enum isl_fold type, __isl_take isl_space *space, in qpolynomial_fold_alloc() 105 isl_space *space; in isl_qpolynomial_fold_take_domain_space() local 124 __isl_keep isl_qpolynomial_fold *fold, __isl_take isl_space *space) in isl_qpolynomial_fold_restore_domain_space() 150 isl_space *space; in isl_qpolynomial_fold_get_space() local 235 isl_space *space = user; in reset_domain_space() local 246 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_space *space) in isl_qpolynomial_fold_reset_domain_space() 265 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_space *space, in isl_qpolynomial_fold_reset_space_and_domain() 355 isl_space *space; in isl_qpolynomial_fold_set_dim_name() local 388 isl_space *space; in isl_qpolynomial_fold_drop_dims() local 427 isl_space *space; in isl_qpolynomial_fold_insert_dims() local [all …]
|
/llvm-project/mlir/unittests/Analysis/Presburger/ |
H A D | PresburgerSpaceTest.cpp | 17 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 1); in TEST() local 29 PresburgerSpace space = PresburgerSpace::getSetSpace(2, 1); in TEST() local 39 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 3); in TEST() local 54 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 1, 0); in TEST() local 76 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 3, 0); in TEST() local 112 PresburgerSpace space = PresburgerSpace::getRelationSpace(1, 2, 0, 0); in TEST() local 125 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 0, 0); in TEST() local 149 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 2, 0, 0); in TEST() local 172 PresburgerSpace space = PresburgerSpace::getRelationSpace(0, 2, 2, 0); in TEST() local 192 PresburgerSpace space = PresburgerSpace::getRelationSpace(3, 3, 2, 0); in TEST() local
|
H A D | IntegerRelationTest.cpp | 173 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 2, 0); in TEST() local 219 PresburgerSpace space = PresburgerSpace::getRelationSpace(3, 3, 2, 0); in TEST() local 298 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 4, 0); in TEST() local 379 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 4, 0); in TEST() local 451 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 4, 0); in TEST() local 482 PresburgerSpace space = PresburgerSpace::getSetSpace(3, 3, 0); in TEST() local 531 PresburgerSpace space = rel.getSpace(); in TEST() local
|
/llvm-project/mlir/include/mlir/Analysis/Presburger/ |
H A D | PresburgerRelation.h | 231 explicit PresburgerRelation(const PresburgerSpace &space) : space(space) { in PresburgerRelation() 236 PresburgerSpace space; variable 268 explicit PresburgerSet(const PresburgerSpace &space) in PresburgerSet()
|
H A D | PWMAFunction.h | 43 MultiAffineFunction(const PresburgerSpace &space, const IntMatrix &output) in MultiAffineFunction() 49 MultiAffineFunction(const PresburgerSpace &space, const IntMatrix &output, in MultiAffineFunction() 124 PresburgerSpace space; variable 164 PWMAFunction(const PresburgerSpace &space) : space(space) { in PWMAFunction() 247 PresburgerSpace space; variable
|
H A D | IntegerRelation.h | 80 const PresburgerSpace &space) in IntegerRelation() 89 explicit IntegerRelation(const PresburgerSpace &space) in IntegerRelation() 98 static IntegerRelation getUniverse(const PresburgerSpace &space) { in getUniverse() 103 static IntegerRelation getEmpty(const PresburgerSpace &space) { in getEmpty() 871 PresburgerSpace space; variable 903 const PresburgerSpace &space) in IntegerPolyhedron() 912 explicit IntegerPolyhedron(const PresburgerSpace &space) in IntegerPolyhedron() 919 explicit IntegerPolyhedron(const PresburgerSpace &space, in IntegerPolyhedron() 929 explicit IntegerPolyhedron(const PresburgerSpace &space, in IntegerPolyhedron() 954 static IntegerPolyhedron getUniverse(const PresburgerSpace &space) { in getUniverse()
|