|
Polly 23.0.0git
|
#include <cpp-checked.h>
Static Public Member Functions | |
| static isl::checked::map | empty (isl::checked::space space) |
| static isl::checked::map | universe (isl::checked::space space) |
Protected Member Functions | |
| map (__isl_take isl_map *ptr) | |
Protected Attributes | |
| isl_map * | ptr = nullptr |
Friends | |
| map | manage (__isl_take isl_map *ptr) |
| map | manage_copy (__isl_keep isl_map *ptr) |
Definition at line 1904 of file cpp-checked.h.
|
inlineexplicitprotected |
Definition at line 9598 of file cpp-checked.h.
References __isl_take, and ptr.
Referenced by copy(), domain_tuple_dim(), manage, manage_copy, map(), n_basic_map(), operator=(), and range_tuple_dim().
|
inline |
Definition at line 9601 of file cpp-checked.h.
References ptr.
|
inline |
Definition at line 9604 of file cpp-checked.h.
|
inline |
Definition at line 9610 of file cpp-checked.h.
References isl_map_from_basic_map(), ptr, isl::checked::basic_map::release(), and res.
|
inlineexplicit |
Definition at line 9616 of file cpp-checked.h.
References ctx(), isl_map_read_from_str(), ptr, res, and str.
|
inline |
Definition at line 9627 of file cpp-checked.h.
References isl_map_free(), and ptr.
|
inline |
Definition at line 9654 of file cpp-checked.h.
References copy(), isl_map_affine_hull(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9671 of file cpp-checked.h.
References apply_domain(), and map2.
|
inline |
Definition at line 9666 of file cpp-checked.h.
References isl::checked::union_map::apply_domain().
|
inline |
Definition at line 9660 of file cpp-checked.h.
References copy(), isl_map_apply_domain(), manage, map2, and res.
Referenced by polly::ZoneAlgorithm::addArrayReadAccess(), isl::checked::basic_map::apply_domain(), isl::checked::basic_map::apply_domain(), apply_domain(), polly::MemoryAccess::applyScheduleToAccessRelation(), copy(), polly::MemoryAccess::getStride(), polly::reverseDomain(), and polly::shiftDim().
|
inline |
Definition at line 9687 of file cpp-checked.h.
References apply_range(), and map2.
|
inline |
Definition at line 9682 of file cpp-checked.h.
References isl::checked::union_map::apply_range().
|
inline |
Definition at line 9676 of file cpp-checked.h.
References copy(), isl_map_apply_range(), manage, map2, and res.
Referenced by polly::afterScatter(), isl::checked::basic_map::apply_range(), isl::checked::basic_map::apply_range(), apply_range(), polly::beforeScatter(), polly::MemoryAccess::buildMemIntrinsicAccessRelation(), polly::ZoneAlgorithm::computeUseToDefFlowDependency(), copy(), polly::MemoryAccess::getStride(), polly::shiftDim(), and polly::MemoryAccess::wrapConstantDimensions().
|
inline |
Definition at line 9692 of file cpp-checked.h.
References isl::checked::union_map::as_map().
Referenced by isl::checked::basic_map::as_map(), and copy().
|
inline |
Definition at line 9697 of file cpp-checked.h.
References isl::checked::union_map::as_multi_union_pw_aff().
Referenced by isl::checked::basic_map::as_multi_union_pw_aff(), and copy().
|
inline |
Definition at line 9702 of file cpp-checked.h.
References copy(), isl_map_as_pw_multi_aff(), manage, and res.
Referenced by isl::checked::basic_map::as_pw_multi_aff(), and copy().
|
inline |
Definition at line 9708 of file cpp-checked.h.
References isl::checked::union_map::as_union_pw_multi_aff().
Referenced by isl::checked::basic_map::as_union_pw_multi_aff(), and copy().
|
inline |
Definition at line 9713 of file cpp-checked.h.
References copy(), isl_map_bind_domain(), manage, res, and tuple.
Referenced by isl::checked::basic_map::bind_domain(), and copy().
|
inline |
Definition at line 9719 of file cpp-checked.h.
References copy(), isl_map_bind_range(), manage, res, and tuple.
Referenced by isl::checked::basic_map::bind_range(), and copy().
|
inline |
Definition at line 9725 of file cpp-checked.h.
References copy(), isl_map_coalesce(), manage, and res.
Referenced by isl::checked::basic_map::coalesce(), copy(), polly::ScopStmt::getSchedule(), and polly::simplify().
|
inline |
Definition at line 9731 of file cpp-checked.h.
References copy(), isl_map_complement(), manage, and res.
Referenced by isl::checked::basic_map::complement(), and copy().
|
inline |
Definition at line 9737 of file cpp-checked.h.
References isl::checked::union_map::compute_divs().
Referenced by isl::checked::basic_map::compute_divs(), and copy().
|
inlinedelete |
References __isl_give, __isl_keep, __isl_take, affine_hull(), apply_domain(), apply_range(), as_map(), as_multi_union_pw_aff(), as_pw_multi_aff(), as_union_pw_multi_aff(), bind_domain(), bind_range(), coalesce(), complement(), compute_divs(), context, copy(), ctx(), curry(), deltas(), detect_equalities(), domain(), domain_factor_domain(), domain_factor_range(), domain_map(), domain_map_union_pw_multi_aff(), domain_product(), domain_reverse(), domain_tuple_dim(), domain_tuple_id(), drop_unused_params(), empty(), eq_at(), every_map(), extract_map(), factor_domain(), factor_range(), fixed_power(), flatten(), flatten_domain(), flatten_range(), fn, foreach_basic_map(), foreach_map(), get(), get_domain_tuple_id(), get_range_lattice_tile(), get_range_simple_fixed_box_hull(), get_range_tuple_id(), get_space(), gist(), gist_domain(), gist_params(), gist_range(), has_domain_tuple_id(), has_range_tuple_id(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_null(), is_single_valued(), is_strict_subset(), is_subset(), isa_map(), lex_ge_at(), lex_gt_at(), lex_le_at(), lex_lt_at(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), ma, manage, manage_copy, map(), map2, map_list(), max_multi_pw_aff(), min_multi_pw_aff(), mupa, n_basic_map(), params(), pma, polyhedral_hull(), preimage_domain(), preimage_range(), product(), project_out_all_params(), project_out_param(), ptr, range(), range_factor_domain(), range_factor_range(), range_lattice_tile(), range_map(), range_product(), range_reverse(), range_simple_fixed_box_hull(), range_tuple_dim(), range_tuple_id(), release(), reverse(), sample(), set_domain_tuple(), set_range_tuple(), space(), subtract(), subtract_domain(), subtract_range(), test, to_list(), to_union_map(), tuple, uncurry(), unite(), universe(), unshifted_simple_hull(), upper_bound(), wrap(), and zip().
|
inline |
Definition at line 9632 of file cpp-checked.h.
References __isl_give, isl_map_copy(), and ptr.
Referenced by isl::map::add_constraint(), isl::map::add_dims(), affine_hull(), isl::map::align_params(), apply_domain(), apply_range(), as_pw_multi_aff(), bind_domain(), bind_range(), checkCandidatePairAccesses(), coalesce(), complement(), copy(), curry(), deltas(), detect_equalities(), isl::map::dim_max(), isl::map::dim_min(), domain(), domain_factor_domain(), domain_factor_range(), domain_product(), domain_reverse(), drop_unused_params(), eq_at(), isl::map::equate(), factor_domain(), factor_range(), isl::map::fix_si(), fixed_power(), isl::map::flat_range_product(), flatten(), flatten_domain(), flatten_range(), isl::map::floordiv_val(), gist(), gist_domain(), gist_params(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), lex_ge_at(), lex_gt_at(), lex_le_at(), lex_lt_at(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), isl::map::lower_bound_si(), max_multi_pw_aff(), min_multi_pw_aff(), isl::map::move_dims(), isl::map::order_lt(), params(), polyhedral_hull(), preimage_domain(), preimage_domain(), preimage_domain(), preimage_range(), preimage_range(), product(), isl::map::project_out(), project_out_all_params(), project_out_param(), project_out_param(), range(), range_factor_domain(), range_factor_range(), range_product(), range_reverse(), reverse(), sample(), set_domain_tuple(), set_range_tuple(), isl::map::set_tuple_id(), polly::simplify(), subtract(), isl::map::sum(), to_list(), to_union_map(), uncurry(), unite(), unshifted_simple_hull(), upper_bound(), isl::map::upper_bound_si(), wrap(), and zip().
|
inline |
Definition at line 9650 of file cpp-checked.h.
References isl_map_get_ctx(), and ptr.
Referenced by copy(), fixed_power(), isl::map::floordiv_val(), map(), isl::typed::map< Domain, Domain >::map(), isl::typed::map< Domain, pair< Range, Range2 > >::map(), isl::typed::map< Domain, Range >::map(), isl::typed::map< pair< Domain, Range >, Range2 >::map(), isl::typed::map< pair< T1, T2 >, pair< Range, Range2 > >::map(), isl::typed::map< pair< T1, T2 >, pair< T1, T2 > >::map(), project_out_param(), set_domain_tuple(), set_range_tuple(), and isl::map::set_tuple_id().
|
inline |
Definition at line 9742 of file cpp-checked.h.
References copy(), isl_map_curry(), manage, and res.
Referenced by polly::computeArrayUnused(), copy(), and isl::checked::basic_map::curry().
|
inline |
Definition at line 9748 of file cpp-checked.h.
References copy(), isl_map_deltas(), manage, and res.
Referenced by copy(), and polly::MemoryAccess::getStride().
|
inline |
Definition at line 9754 of file cpp-checked.h.
References copy(), isl_map_detect_equalities(), manage, and res.
Referenced by copy(), polly::simplify(), and polly::MemoryAccess::wrapConstantDimensions().
|
inline |
Definition at line 9760 of file cpp-checked.h.
References copy(), isl_map_domain(), manage, and res.
Referenced by polly::Scop::addScopStmt(), copy(), isl::checked::basic_map::domain(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::BlockGenerator::generateArrayStore(), intersect_domain_wrapped_domain(), intersect_domain_wrapped_domain(), intersect_domain_wrapped_domain(), intersect_domain_wrapped_domain(), intersect_range_wrapped_domain(), intersect_range_wrapped_domain(), intersect_range_wrapped_domain(), intersect_range_wrapped_domain(), polly::MemoryAccess::isLatestPartialAccess(), and polly::MemoryAccess::setNewAccessRelation().
|
inline |
Definition at line 9766 of file cpp-checked.h.
References copy(), isl_map_domain_factor_domain(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::domain_factor_domain().
|
inline |
Definition at line 9772 of file cpp-checked.h.
References copy(), isl_map_domain_factor_range(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::domain_factor_range().
|
inline |
Definition at line 9778 of file cpp-checked.h.
References isl::checked::union_map::domain_map().
Referenced by polly::ZoneAlgorithm::addArrayReadAccess(), polly::ZoneAlgorithm::addArrayWriteAccess(), copy(), and isl::checked::basic_map::domain_map().
|
inline |
Definition at line 9783 of file cpp-checked.h.
References isl::checked::union_map::domain_map_union_pw_multi_aff().
Referenced by copy(), and isl::checked::basic_map::domain_map_union_pw_multi_aff().
|
inline |
Definition at line 9799 of file cpp-checked.h.
References domain_product, and map2.
|
inline |
Definition at line 9794 of file cpp-checked.h.
References isl::checked::union_map::domain_product().
|
inline |
Definition at line 9788 of file cpp-checked.h.
References copy(), isl_map_domain_product(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::domain_product(), and isl::checked::basic_map::domain_product().
|
inline |
Definition at line 9804 of file cpp-checked.h.
References copy(), isl_map_domain_reverse(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::domain_reverse().
|
inline |
Definition at line 9810 of file cpp-checked.h.
References domain_tuple_dim(), get(), isl_map_domain_tuple_dim(), isl::checked::size::manage, map(), and res.
Referenced by copy(), createNextIterationMap(), isl::checked::basic_map::domain_tuple_dim(), domain_tuple_dim(), and getEqualAndLarger().
|
inline |
Definition at line 9816 of file cpp-checked.h.
References get(), isl_map_get_domain_tuple_id(), manage, and res.
Referenced by copy(), isl::checked::basic_map::domain_tuple_id(), and get_domain_tuple_id().
|
inline |
Definition at line 9827 of file cpp-checked.h.
References copy(), isl_map_drop_unused_params(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::drop_unused_params().
|
inlinestatic |
Definition at line 9833 of file cpp-checked.h.
References isl_map_empty(), manage, res, and space().
Referenced by copy().
|
inline |
Definition at line 9850 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9855 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9845 of file cpp-checked.h.
References isl::checked::union_map::eq_at(), and mupa.
|
inline |
Definition at line 9860 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9865 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9839 of file cpp-checked.h.
References copy(), isl_map_eq_at_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), isl::checked::basic_map::eq_at(), isl::checked::basic_map::eq_at(), eq_at(), eq_at(), eq_at(), and eq_at().
|
inline |
Definition at line 9870 of file cpp-checked.h.
References isl::checked::union_map::every_map(), and test.
Referenced by copy(), isl::basic_map::every_map(), isl::basic_map::every_map(), and isl::checked::basic_map::every_map().
|
inline |
Definition at line 9875 of file cpp-checked.h.
References isl::checked::union_map::extract_map(), and space().
Referenced by copy(), and isl::checked::basic_map::extract_map().
|
inline |
Definition at line 9880 of file cpp-checked.h.
References copy(), isl_map_factor_domain(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::factor_domain().
|
inline |
Definition at line 9886 of file cpp-checked.h.
References copy(), isl_map_factor_range(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::factor_range().
|
inline |
Definition at line 9892 of file cpp-checked.h.
References copy(), isl_map_fixed_power_val(), manage, isl::checked::val::release(), and res.
Referenced by copy(), isl::checked::basic_map::fixed_power(), and fixed_power().
|
inline |
Definition at line 9898 of file cpp-checked.h.
References ctx(), and fixed_power().
|
inline |
Definition at line 9903 of file cpp-checked.h.
References copy(), isl_map_flatten(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9909 of file cpp-checked.h.
References copy(), isl_map_flatten_domain(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9915 of file cpp-checked.h.
References copy(), isl_map_flatten_range(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9921 of file cpp-checked.h.
References fn, get(), isl_map_foreach_basic_map(), manage, and res.
Referenced by copy(), isl::basic_map::foreach_basic_map(), isl::basic_map::foreach_basic_map(), and isl::checked::basic_map::foreach_basic_map().
|
inline |
Definition at line 9935 of file cpp-checked.h.
References fn, and isl::checked::union_map::foreach_map().
Referenced by copy(), isl::basic_map::foreach_map(), isl::basic_map::foreach_map(), and isl::checked::basic_map::foreach_map().
|
inline |
Definition at line 9636 of file cpp-checked.h.
References __isl_keep, and ptr.
Referenced by isl::map::basic_map_list(), isl::map::can_curry(), copy(), isl::map::dim(), domain_tuple_dim(), domain_tuple_id(), foreach_basic_map(), isl::map::foreach_basic_map(), polly::getConstant(), has_domain_tuple_id(), isl::map::has_equal_space(), has_range_tuple_id(), isl::map::has_tuple_id(), isl::map::has_tuple_name(), isl::map::involves_dims(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_single_valued(), is_strict_subset(), is_subset(), n_basic_map(), range_lattice_tile(), range_simple_fixed_box_hull(), range_tuple_dim(), range_tuple_id(), space(), and isl::map::tuple_id().
|
inline |
|
inline |
Definition at line 10465 of file cpp-checked.h.
References range_lattice_tile().
Referenced by copy().
|
inline |
Definition at line 10503 of file cpp-checked.h.
References range_simple_fixed_box_hull().
Referenced by copy().
|
inline |
|
inline |
Definition at line 10565 of file cpp-checked.h.
References space().
Referenced by polly::afterScatter(), polly::beforeScatter(), polly::MemoryAccess::buildMemIntrinsicAccessRelation(), polly::ZoneAlgorithm::collectIncompatibleElts(), copy(), polly::distributeDomain(), polly::ScopBuilder::foldSizeConstantsToRight(), polly::ScopBuilder::getNonHoistableCtx(), polly::MemoryAccess::getStride(), polly::intersectRange(), isMapToUnknown(), polly::ZoneAlgorithm::isNormalized(), polly::Dependences::isValidSchedule(), polly::reverseDomain(), polly::MemoryAccess::setNewAccessRelation(), polly::shiftDim(), polly::singleton(), polly::subtractParams(), and polly::MemoryAccess::updateDimensionality().
|
inline |
Definition at line 9951 of file cpp-checked.h.
|
inline |
Definition at line 9946 of file cpp-checked.h.
References context, and isl::checked::union_map::gist().
|
inline |
Definition at line 9940 of file cpp-checked.h.
References context, copy(), isl_map_gist(), manage, and res.
Referenced by copy(), isl::checked::basic_map::gist(), and isl::checked::basic_map::gist().
|
inline |
Definition at line 9967 of file cpp-checked.h.
References context, and gist_domain().
|
inline |
Definition at line 9972 of file cpp-checked.h.
References context, and gist_domain().
|
inline |
Definition at line 9962 of file cpp-checked.h.
References isl::checked::union_map::gist_domain().
|
inline |
Definition at line 9956 of file cpp-checked.h.
References context, copy(), isl_map_gist_domain(), manage, and res.
Referenced by copy(), polly::ScopStmt::getSchedule(), isl::checked::basic_map::gist_domain(), isl::checked::basic_map::gist_domain(), gist_domain(), gist_domain(), and polly::MemoryAccess::setNewAccessRelation().
|
inline |
Definition at line 9977 of file cpp-checked.h.
References context, copy(), isl_map_gist_params(), manage, and res.
Referenced by copy(), isl::checked::basic_map::gist_params(), and polly::MemoryAccess::setNewAccessRelation().
|
inline |
Definition at line 9983 of file cpp-checked.h.
References isl::checked::union_map::gist_range().
Referenced by copy(), and isl::checked::basic_map::gist_range().
|
inline |
Definition at line 9988 of file cpp-checked.h.
References get(), isl_map_has_domain_tuple_id(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::has_domain_tuple_id().
|
inline |
Definition at line 9994 of file cpp-checked.h.
References get(), isl_map_has_range_tuple_id(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::has_range_tuple_id().
|
inline |
Definition at line 10011 of file cpp-checked.h.
References intersect(), and map2.
|
inline |
Definition at line 10006 of file cpp-checked.h.
References isl::checked::union_map::intersect().
|
inline |
Definition at line 10000 of file cpp-checked.h.
References copy(), isl_map_intersect(), manage, map2, and res.
Referenced by polly::betweenScatter(), polly::convertZoneToTimepoints(), copy(), isl::checked::basic_map::intersect(), isl::checked::basic_map::intersect(), and intersect().
|
inline |
Definition at line 10032 of file cpp-checked.h.
References intersect_domain().
|
inline |
Definition at line 10037 of file cpp-checked.h.
References intersect_domain().
|
inline |
Definition at line 10022 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain(), and space().
|
inline |
Definition at line 10027 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain().
|
inline |
Definition at line 10016 of file cpp-checked.h.
References copy(), isl_map_intersect_domain(), manage, isl::checked::set::release(), and res.
Referenced by checkCandidatePairAccesses(), copy(), polly::Scop::getAccessesOfType(), polly::ZoneAlgorithm::getAccessRelationFor(), polly::ScopBuilder::getNonHoistableCtx(), isl::checked::basic_map::intersect_domain(), isl::checked::basic_map::intersect_domain(), isl::checked::basic_map::intersect_domain(), intersect_domain(), intersect_domain(), polly::Dependences::isValidSchedule(), and polly::makeIdentityMap().
|
inline |
Definition at line 10053 of file cpp-checked.h.
References intersect_domain_factor_domain().
|
inline |
Definition at line 10048 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain_factor_domain().
|
inline |
Definition at line 10042 of file cpp-checked.h.
References copy(), isl_map_intersect_domain_factor_domain(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::intersect_domain_factor_domain(), isl::checked::basic_map::intersect_domain_factor_domain(), and intersect_domain_factor_domain().
|
inline |
Definition at line 10069 of file cpp-checked.h.
References intersect_domain_factor_range().
|
inline |
Definition at line 10064 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain_factor_range().
|
inline |
Definition at line 10058 of file cpp-checked.h.
References copy(), isl_map_intersect_domain_factor_range(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::intersect_domain_factor_range(), isl::checked::basic_map::intersect_domain_factor_range(), and intersect_domain_factor_range().
|
inline |
Definition at line 10085 of file cpp-checked.h.
References domain(), and intersect_domain_wrapped_domain().
|
inline |
Definition at line 10090 of file cpp-checked.h.
References domain(), and intersect_domain_wrapped_domain().
|
inline |
Definition at line 10080 of file cpp-checked.h.
References domain(), and isl::checked::union_map::intersect_domain_wrapped_domain().
|
inline |
Definition at line 10074 of file cpp-checked.h.
References copy(), domain(), isl_map_intersect_domain_wrapped_domain(), manage, and res.
Referenced by copy(), isl::checked::basic_map::intersect_domain_wrapped_domain(), isl::checked::basic_map::intersect_domain_wrapped_domain(), intersect_domain_wrapped_domain(), and intersect_domain_wrapped_domain().
|
inline |
Definition at line 10095 of file cpp-checked.h.
References copy(), isl_map_intersect_params(), manage, params(), and res.
Referenced by polly::ZoneAlgorithm::computePerPHI(), copy(), isl::checked::basic_map::intersect_params(), and polly::subtractParams().
|
inline |
Definition at line 10117 of file cpp-checked.h.
References intersect_range().
|
inline |
Definition at line 10122 of file cpp-checked.h.
References intersect_range().
|
inline |
Definition at line 10107 of file cpp-checked.h.
References isl::checked::union_map::intersect_range(), and space().
|
inline |
Definition at line 10112 of file cpp-checked.h.
References isl::checked::union_map::intersect_range().
|
inline |
Definition at line 10101 of file cpp-checked.h.
References copy(), isl_map_intersect_range(), manage, isl::checked::set::release(), and res.
Referenced by polly::MemoryAccess::computeBoundsOnAccessRelation(), polly::ZoneAlgorithm::computePerPHI(), copy(), isl::checked::basic_map::intersect_range(), isl::checked::basic_map::intersect_range(), isl::checked::basic_map::intersect_range(), intersect_range(), intersect_range(), polly::intersectRange(), and polly::Dependences::isValidSchedule().
|
inline |
Definition at line 10138 of file cpp-checked.h.
References intersect_range_factor_domain().
|
inline |
Definition at line 10133 of file cpp-checked.h.
References isl::checked::union_map::intersect_range_factor_domain().
|
inline |
Definition at line 10127 of file cpp-checked.h.
References copy(), isl_map_intersect_range_factor_domain(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::intersect_range_factor_domain(), isl::checked::basic_map::intersect_range_factor_domain(), and intersect_range_factor_domain().
|
inline |
Definition at line 10154 of file cpp-checked.h.
References intersect_range_factor_range().
|
inline |
Definition at line 10149 of file cpp-checked.h.
References isl::checked::union_map::intersect_range_factor_range().
|
inline |
Definition at line 10143 of file cpp-checked.h.
References copy(), isl_map_intersect_range_factor_range(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::intersect_range_factor_range(), isl::checked::basic_map::intersect_range_factor_range(), and intersect_range_factor_range().
|
inline |
Definition at line 10170 of file cpp-checked.h.
References domain(), and intersect_range_wrapped_domain().
|
inline |
Definition at line 10175 of file cpp-checked.h.
References domain(), and intersect_range_wrapped_domain().
|
inline |
Definition at line 10165 of file cpp-checked.h.
References domain(), and isl::checked::union_map::intersect_range_wrapped_domain().
|
inline |
Definition at line 10159 of file cpp-checked.h.
References copy(), domain(), isl_map_intersect_range_wrapped_domain(), manage, and res.
Referenced by copy(), isl::checked::basic_map::intersect_range_wrapped_domain(), isl::checked::basic_map::intersect_range_wrapped_domain(), intersect_range_wrapped_domain(), and intersect_range_wrapped_domain().
|
inline |
Definition at line 10180 of file cpp-checked.h.
References get(), isl_map_is_bijective(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::is_bijective().
|
inline |
Definition at line 10197 of file cpp-checked.h.
References is_disjoint(), and map2.
|
inline |
Definition at line 10186 of file cpp-checked.h.
References get(), isl_map_is_disjoint(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::is_disjoint(), isl::checked::basic_map::is_disjoint(), and is_disjoint().
|
inline |
Definition at line 10192 of file cpp-checked.h.
References isl::checked::union_map::is_disjoint().
|
inline |
Definition at line 10202 of file cpp-checked.h.
References get(), isl_map_is_empty(), manage, and res.
Referenced by copy(), polly::BlockGenerator::generateBeginStmtTrace(), polly::ScopBuilder::getNonHoistableCtx(), and polly::Dependences::isValidSchedule().
|
inline |
Definition at line 10219 of file cpp-checked.h.
References is_equal(), and map2.
|
inline |
Definition at line 10208 of file cpp-checked.h.
References get(), isl_map_is_equal(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::is_equal(), isl::checked::basic_map::is_equal(), and is_equal().
|
inline |
Definition at line 10214 of file cpp-checked.h.
References isl::checked::union_map::is_equal().
|
inline |
Definition at line 10224 of file cpp-checked.h.
References get(), isl_map_is_injective(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::is_injective().
|
inline |
Definition at line 9646 of file cpp-checked.h.
References ptr.
Referenced by copy(), polly::ZoneAlgorithm::getDefToTarget(), polly::Dependences::isValidSchedule(), polly::MemoryAccess::setNewAccessRelation(), and polly::singleton().
|
inline |
Definition at line 10230 of file cpp-checked.h.
References get(), isl_map_is_single_valued(), manage, and res.
Referenced by copy(), polly::ZoneAlgorithm::getWrittenValue(), and isl::checked::basic_map::is_single_valued().
|
inline |
Definition at line 10247 of file cpp-checked.h.
References is_strict_subset(), and map2.
|
inline |
Definition at line 10236 of file cpp-checked.h.
References get(), isl_map_is_strict_subset(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::is_strict_subset(), isl::checked::basic_map::is_strict_subset(), and is_strict_subset().
|
inline |
Definition at line 10242 of file cpp-checked.h.
References isl::checked::union_map::is_strict_subset().
|
inline |
Definition at line 10263 of file cpp-checked.h.
References is_subset(), and map2.
|
inline |
Definition at line 10252 of file cpp-checked.h.
References get(), isl_map_is_subset(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::is_subset(), isl::checked::basic_map::is_subset(), and is_subset().
|
inline |
Definition at line 10258 of file cpp-checked.h.
References isl::checked::union_map::is_subset().
|
inline |
Definition at line 10268 of file cpp-checked.h.
References isl::checked::union_map::isa_map().
Referenced by copy(), and isl::checked::basic_map::isa_map().
|
inline |
Definition at line 10273 of file cpp-checked.h.
References copy(), isl_map_lex_ge_at_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), and isl::checked::basic_map::lex_ge_at().
|
inline |
Definition at line 10279 of file cpp-checked.h.
References copy(), isl_map_lex_gt_at_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), and isl::checked::basic_map::lex_gt_at().
|
inline |
Definition at line 10285 of file cpp-checked.h.
References copy(), isl_map_lex_le_at_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), polly::Dependences::isValidSchedule(), and isl::checked::basic_map::lex_le_at().
|
inline |
Definition at line 10291 of file cpp-checked.h.
References copy(), isl_map_lex_lt_at_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), and isl::checked::basic_map::lex_lt_at().
|
inline |
Definition at line 10297 of file cpp-checked.h.
References copy(), isl_map_lexmax(), manage, and res.
Referenced by polly::ZoneAlgorithm::computePerPHI(), and copy().
|
inline |
Definition at line 10303 of file cpp-checked.h.
References copy(), isl_map_lexmax_pw_multi_aff(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::lexmax_pw_multi_aff().
|
inline |
Definition at line 10309 of file cpp-checked.h.
References copy(), isl_map_lexmin(), manage, and res.
Referenced by copy(), polly::MemoryAccess::getAddressFunction(), and polly::MemoryAccess::getStride().
|
inline |
Definition at line 10315 of file cpp-checked.h.
References copy(), isl_map_lexmin_pw_multi_aff(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::lexmin_pw_multi_aff().
|
inline |
Definition at line 10321 of file cpp-checked.h.
References copy(), isl_map_lower_bound_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), and isl::checked::basic_map::lower_bound().
|
inline |
Definition at line 10327 of file cpp-checked.h.
References isl::checked::union_map::map_list().
Referenced by copy(), and isl::checked::basic_map::map_list().
|
inline |
Definition at line 10332 of file cpp-checked.h.
References copy(), isl_map_max_multi_pw_aff(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::max_multi_pw_aff().
|
inline |
Definition at line 10338 of file cpp-checked.h.
References copy(), isl_map_min_multi_pw_aff(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::min_multi_pw_aff().
|
inline |
Definition at line 10344 of file cpp-checked.h.
References get(), isl_map_n_basic_map(), isl::checked::size::manage, map(), n_basic_map(), and res.
Referenced by copy(), isl::checked::basic_map::n_basic_map(), and n_basic_map().
Definition at line 9622 of file cpp-checked.h.
|
inline |
Definition at line 10350 of file cpp-checked.h.
References copy(), isl_map_params(), manage, and res.
Referenced by copy(), intersect_params(), and isl::checked::basic_map::params().
|
inline |
Definition at line 10356 of file cpp-checked.h.
References copy(), isl_map_polyhedral_hull(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::polyhedral_hull().
|
inline |
Definition at line 10380 of file cpp-checked.h.
References isl::checked::union_map::preimage_domain().
|
inline |
Definition at line 10362 of file cpp-checked.h.
References copy(), isl_map_preimage_domain_multi_aff(), ma, manage, and res.
Referenced by copy(), isl::checked::basic_map::preimage_domain(), isl::checked::basic_map::preimage_domain(), isl::checked::basic_map::preimage_domain(), and isl::checked::basic_map::preimage_domain().
|
inline |
Definition at line 10368 of file cpp-checked.h.
References copy(), isl_map_preimage_domain_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
|
inline |
Definition at line 10374 of file cpp-checked.h.
References copy(), isl_map_preimage_domain_pw_multi_aff(), manage, pma, and res.
|
inline |
Definition at line 10397 of file cpp-checked.h.
References isl::checked::union_map::preimage_range().
|
inline |
Definition at line 10385 of file cpp-checked.h.
References copy(), isl_map_preimage_range_multi_aff(), ma, manage, and res.
Referenced by copy(), isl::checked::basic_map::preimage_range(), isl::checked::basic_map::preimage_range(), and isl::checked::basic_map::preimage_range().
|
inline |
Definition at line 10391 of file cpp-checked.h.
References copy(), isl_map_preimage_range_pw_multi_aff(), manage, pma, and res.
|
inline |
Definition at line 10413 of file cpp-checked.h.
|
inline |
Definition at line 10408 of file cpp-checked.h.
References isl::checked::union_map::product().
|
inline |
Definition at line 10402 of file cpp-checked.h.
References copy(), isl_map_product(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::product(), isl::checked::basic_map::product(), and product().
|
inline |
Definition at line 10418 of file cpp-checked.h.
References copy(), isl_map_project_out_all_params(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::project_out_all_params().
|
inline |
Definition at line 10430 of file cpp-checked.h.
References ctx(), and project_out_param().
|
inline |
Definition at line 10424 of file cpp-checked.h.
References copy(), isl_map_project_out_param_id(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::project_out_param(), isl::checked::basic_map::project_out_param(), and project_out_param().
|
inline |
Definition at line 10435 of file cpp-checked.h.
References copy(), isl_map_project_out_param_id_list(), manage, isl::checked::id_list::release(), and res.
|
inline |
Definition at line 10441 of file cpp-checked.h.
References copy(), isl_map_range(), manage, and res.
Referenced by polly::BlockGenerator::buildContainsCondition(), checkCandidatePairAccesses(), polly::MemoryAccess::computeBoundsOnAccessRelation(), copy(), polly::BlockGenerator::generateBeginStmtTrace(), polly::ScopBuilder::getNonHoistableCtx(), and isl::checked::basic_map::range().
|
inline |
Definition at line 10447 of file cpp-checked.h.
References copy(), isl_map_range_factor_domain(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::range_factor_domain().
|
inline |
Definition at line 10453 of file cpp-checked.h.
References copy(), isl_map_range_factor_range(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::range_factor_range().
|
inline |
Definition at line 10459 of file cpp-checked.h.
References get(), isl_map_get_range_lattice_tile(), manage, and res.
Referenced by copy(), get_range_lattice_tile(), and isl::checked::basic_map::range_lattice_tile().
|
inline |
Definition at line 10470 of file cpp-checked.h.
References isl::checked::union_map::range_map().
Referenced by polly::computeReachingWrite(), copy(), and isl::checked::basic_map::range_map().
|
inline |
Definition at line 10486 of file cpp-checked.h.
References map2, and range_product.
|
inline |
Definition at line 10481 of file cpp-checked.h.
References isl::checked::union_map::range_product().
|
inline |
Definition at line 10475 of file cpp-checked.h.
References copy(), isl_map_range_product(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::range_product(), and isl::checked::basic_map::range_product().
|
inline |
Definition at line 10491 of file cpp-checked.h.
References copy(), isl_map_range_reverse(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::range_reverse().
|
inline |
Definition at line 10497 of file cpp-checked.h.
References get(), isl_map_get_range_simple_fixed_box_hull(), manage, and res.
Referenced by copy(), get_range_simple_fixed_box_hull(), and isl::checked::basic_map::range_simple_fixed_box_hull().
|
inline |
Definition at line 10508 of file cpp-checked.h.
References get(), isl_map_range_tuple_dim(), isl::checked::size::manage, map(), range_tuple_dim(), and res.
Referenced by copy(), isl::checked::basic_map::range_tuple_dim(), and range_tuple_dim().
|
inline |
Definition at line 10514 of file cpp-checked.h.
References get(), isl_map_get_range_tuple_id(), manage, and res.
Referenced by copy(), get_range_tuple_id(), and isl::checked::basic_map::range_tuple_id().
|
inline |
Definition at line 9640 of file cpp-checked.h.
References __isl_give, and ptr.
Referenced by isl::checked::map_list::add(), isl::checked::set::apply(), copy(), isl::pw_multi_aff::from_map(), isl::checked::map_list::insert(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_range_factor_domain(), intersect_range_factor_range(), isl::checked::map_list::map_list(), polly::IslNodeBuilder::preloadInvariantLoad(), project_out_param(), isl::checked::map_list::set_at(), set_domain_tuple(), set_range_tuple(), isl::map::set_tuple_id(), and isl::checked::union_map::union_map().
|
inline |
Definition at line 10525 of file cpp-checked.h.
References copy(), isl_map_reverse(), manage, and res.
Referenced by polly::computeArrayUnused(), copy(), polly::BlockGenerator::generateBeginStmtTrace(), polly::ZoneAlgorithm::getDefToTarget(), polly::MemoryAccess::getStride(), and polly::ZoneAlgorithm::makeValInst().
|
inline |
Definition at line 10531 of file cpp-checked.h.
References copy(), isl_map_sample(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 10543 of file cpp-checked.h.
References ctx(), and set_domain_tuple().
|
inline |
Definition at line 10537 of file cpp-checked.h.
References copy(), isl_map_set_domain_tuple_id(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::set_domain_tuple(), and set_domain_tuple().
|
inline |
Definition at line 10554 of file cpp-checked.h.
References ctx(), and set_range_tuple().
|
inline |
Definition at line 10548 of file cpp-checked.h.
References copy(), isl_map_set_range_tuple_id(), manage, release(), and res.
Referenced by copy(), isl::checked::basic_map::set_range_tuple(), and set_range_tuple().
|
inline |
Definition at line 10559 of file cpp-checked.h.
References get(), isl_map_get_space(), manage, and res.
Referenced by copy(), empty(), extract_map(), get_space(), intersect_domain(), intersect_range(), isl::checked::basic_map::space(), and universe().
|
inline |
Definition at line 10581 of file cpp-checked.h.
References map2, and subtract().
|
inline |
Definition at line 10576 of file cpp-checked.h.
References isl::checked::union_map::subtract().
|
inline |
Definition at line 10570 of file cpp-checked.h.
References copy(), isl_map_subtract(), manage, map2, and res.
Referenced by copy(), isl::checked::basic_map::subtract(), isl::checked::basic_map::subtract(), subtract(), and polly::subtractParams().
|
inline |
Definition at line 10586 of file cpp-checked.h.
References isl::checked::union_map::subtract_domain().
Referenced by copy(), and isl::checked::basic_map::subtract_domain().
|
inline |
Definition at line 10591 of file cpp-checked.h.
References isl::checked::union_map::subtract_range().
Referenced by copy(), and isl::checked::basic_map::subtract_range().
|
inline |
Definition at line 10596 of file cpp-checked.h.
References copy(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::to_list().
|
inline |
Definition at line 10602 of file cpp-checked.h.
References copy(), isl_map_to_union_map(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::to_union_map().
|
inline |
Definition at line 10608 of file cpp-checked.h.
References copy(), isl_map_uncurry(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::uncurry().
|
inline |
Definition at line 10625 of file cpp-checked.h.
|
inline |
Definition at line 10620 of file cpp-checked.h.
References isl::checked::union_map::unite().
|
inline |
Definition at line 10614 of file cpp-checked.h.
References copy(), isl_map_union(), manage, map2, and res.
Referenced by checkCandidatePairAccesses(), polly::convertZoneToTimepoints(), copy(), polly::MemoryAccess::foldAccessRelation(), isl::checked::basic_map::unite(), isl::checked::basic_map::unite(), and unite().
|
inlinestatic |
Definition at line 10630 of file cpp-checked.h.
References isl_map_universe(), manage, res, and space().
Referenced by copy().
|
inline |
Definition at line 10636 of file cpp-checked.h.
References copy(), isl_map_unshifted_simple_hull(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::unshifted_simple_hull().
|
inline |
Definition at line 10642 of file cpp-checked.h.
References copy(), isl_map_upper_bound_multi_pw_aff(), manage, isl::checked::multi_pw_aff::release(), and res.
Referenced by copy(), and isl::checked::basic_map::upper_bound().
|
inline |
Definition at line 10648 of file cpp-checked.h.
References copy(), isl_map_wrap(), manage, and res.
Referenced by copy(), polly::distributeDomain(), polly::dumpExpanded(), polly::dumpPw(), polly::getIsolateOptions(), and isl::checked::basic_map::wrap().
|
inline |
Definition at line 10654 of file cpp-checked.h.
References copy(), isl_map_zip(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::zip().
|
friend |
Definition at line 9590 of file cpp-checked.h.
References __isl_take, map(), map, and ptr.
Referenced by isl::map::add_constraint(), isl::map::add_dims(), affine_hull(), isl::map::align_params(), apply_domain(), apply_range(), as_pw_multi_aff(), isl::map::basic_map_list(), bind_domain(), bind_range(), isl::map::can_curry(), coalesce(), complement(), copy(), curry(), deltas(), detect_equalities(), isl::map::dim(), isl::map::dim_max(), isl::map::dim_min(), domain(), domain_factor_domain(), domain_factor_range(), domain_product(), domain_reverse(), domain_tuple_id(), drop_unused_params(), empty(), eq_at(), isl::map::equate(), factor_domain(), factor_range(), isl::map::fix_si(), fixed_power(), isl::map::flat_range_product(), flatten(), flatten_domain(), flatten_range(), isl::map::floordiv_val(), foreach_basic_map(), isl::map::foreach_basic_map(), isl::map::from_aff(), isl::map::from_domain(), isl::map::from_domain_and_range(), isl::map::from_multi_aff(), isl::map::from_pw_aff(), isl::map::from_range(), isl::map::from_union_map(), gist(), gist_domain(), gist_params(), has_domain_tuple_id(), isl::map::has_equal_space(), has_range_tuple_id(), isl::map::has_tuple_id(), isl::map::has_tuple_name(), isl::map::identity(), intersect(), intersect_domain(), intersect_domain_factor_domain(), intersect_domain_factor_range(), intersect_domain_wrapped_domain(), intersect_params(), intersect_range(), intersect_range_factor_domain(), intersect_range_factor_range(), intersect_range_wrapped_domain(), isl::map::involves_dims(), is_bijective(), is_disjoint(), is_empty(), is_equal(), is_injective(), is_single_valued(), is_strict_subset(), is_subset(), isl::map::lex_ge(), lex_ge_at(), isl::map::lex_gt(), lex_gt_at(), isl::map::lex_le(), lex_le_at(), isl::map::lex_lt(), lex_lt_at(), lexmax(), lexmax_pw_multi_aff(), lexmin(), lexmin_pw_multi_aff(), lower_bound(), isl::map::lower_bound_si(), max_multi_pw_aff(), min_multi_pw_aff(), isl::map::move_dims(), isl::map::order_lt(), params(), polyhedral_hull(), preimage_domain(), preimage_domain(), preimage_domain(), preimage_range(), preimage_range(), product(), isl::map::project_out(), project_out_all_params(), project_out_param(), project_out_param(), range(), range_factor_domain(), range_factor_range(), range_lattice_tile(), range_product(), range_reverse(), range_simple_fixed_box_hull(), range_tuple_id(), reverse(), sample(), set_domain_tuple(), set_range_tuple(), isl::map::set_tuple_id(), space(), subtract(), isl::map::sum(), to_list(), to_union_map(), isl::map::tuple_id(), uncurry(), unite(), universe(), unshifted_simple_hull(), upper_bound(), isl::map::upper_bound_si(), wrap(), and zip().
|
friend |
Definition at line 9593 of file cpp-checked.h.
References __isl_keep, isl_map_copy(), map(), map, and ptr.
Referenced by copy().
|
protected |