|
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 1905 of file cpp-checked.h.
|
inlineexplicitprotected |
Definition at line 9606 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 9609 of file cpp-checked.h.
References ptr.
|
inline |
Definition at line 9612 of file cpp-checked.h.
|
inline |
Definition at line 9618 of file cpp-checked.h.
References isl_map_from_basic_map(), ptr, isl::checked::basic_map::release(), and res.
|
inlineexplicit |
Definition at line 9624 of file cpp-checked.h.
References ctx(), isl_map_read_from_str(), ptr, res, and str.
|
inline |
Definition at line 9635 of file cpp-checked.h.
References isl_map_free(), and ptr.
|
inline |
Definition at line 9662 of file cpp-checked.h.
References copy(), isl_map_affine_hull(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9679 of file cpp-checked.h.
References apply_domain(), and map2.
|
inline |
Definition at line 9674 of file cpp-checked.h.
References isl::checked::union_map::apply_domain().
|
inline |
Definition at line 9668 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 9695 of file cpp-checked.h.
References apply_range(), and map2.
|
inline |
Definition at line 9690 of file cpp-checked.h.
References isl::checked::union_map::apply_range().
|
inline |
Definition at line 9684 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 9700 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 9705 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 9710 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 9716 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 9721 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 9727 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 9733 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 9739 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 9745 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 9640 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 9658 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 9750 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 9756 of file cpp-checked.h.
References copy(), isl_map_deltas(), manage, and res.
Referenced by copy(), and polly::MemoryAccess::getStride().
|
inline |
Definition at line 9762 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 9768 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 9774 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 9780 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 9786 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 9791 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 9807 of file cpp-checked.h.
References domain_product, and map2.
|
inline |
Definition at line 9802 of file cpp-checked.h.
References isl::checked::union_map::domain_product().
|
inline |
Definition at line 9796 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 9812 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 9818 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 9824 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 9835 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 9841 of file cpp-checked.h.
References isl_map_empty(), manage, res, and space().
Referenced by copy().
|
inline |
Definition at line 9858 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9863 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9853 of file cpp-checked.h.
References isl::checked::union_map::eq_at(), and mupa.
|
inline |
Definition at line 9868 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9873 of file cpp-checked.h.
References eq_at().
|
inline |
Definition at line 9847 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 9878 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 9883 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 9888 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 9894 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 9900 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 9906 of file cpp-checked.h.
References ctx(), and fixed_power().
|
inline |
Definition at line 9911 of file cpp-checked.h.
References copy(), isl_map_flatten(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9917 of file cpp-checked.h.
References copy(), isl_map_flatten_domain(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9923 of file cpp-checked.h.
References copy(), isl_map_flatten_range(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 9929 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 9943 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 9644 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 10473 of file cpp-checked.h.
References range_lattice_tile().
Referenced by copy().
|
inline |
Definition at line 10511 of file cpp-checked.h.
References range_simple_fixed_box_hull().
Referenced by copy().
|
inline |
|
inline |
Definition at line 10573 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 9959 of file cpp-checked.h.
|
inline |
Definition at line 9954 of file cpp-checked.h.
References context, and isl::checked::union_map::gist().
|
inline |
Definition at line 9948 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 9975 of file cpp-checked.h.
References context, and gist_domain().
|
inline |
Definition at line 9980 of file cpp-checked.h.
References context, and gist_domain().
|
inline |
Definition at line 9970 of file cpp-checked.h.
References isl::checked::union_map::gist_domain().
|
inline |
Definition at line 9964 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 9985 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 9991 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 9996 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 10002 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 10019 of file cpp-checked.h.
References intersect(), and map2.
|
inline |
Definition at line 10014 of file cpp-checked.h.
References isl::checked::union_map::intersect().
|
inline |
Definition at line 10008 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 10040 of file cpp-checked.h.
References intersect_domain().
|
inline |
Definition at line 10045 of file cpp-checked.h.
References intersect_domain().
|
inline |
Definition at line 10030 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain(), and space().
|
inline |
Definition at line 10035 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain().
|
inline |
Definition at line 10024 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 10061 of file cpp-checked.h.
References intersect_domain_factor_domain().
|
inline |
Definition at line 10056 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain_factor_domain().
|
inline |
Definition at line 10050 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 10077 of file cpp-checked.h.
References intersect_domain_factor_range().
|
inline |
Definition at line 10072 of file cpp-checked.h.
References isl::checked::union_map::intersect_domain_factor_range().
|
inline |
Definition at line 10066 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 10093 of file cpp-checked.h.
References domain(), and intersect_domain_wrapped_domain().
|
inline |
Definition at line 10098 of file cpp-checked.h.
References domain(), and intersect_domain_wrapped_domain().
|
inline |
Definition at line 10088 of file cpp-checked.h.
References domain(), and isl::checked::union_map::intersect_domain_wrapped_domain().
|
inline |
Definition at line 10082 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 10103 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 10125 of file cpp-checked.h.
References intersect_range().
|
inline |
Definition at line 10130 of file cpp-checked.h.
References intersect_range().
|
inline |
Definition at line 10115 of file cpp-checked.h.
References isl::checked::union_map::intersect_range(), and space().
|
inline |
Definition at line 10120 of file cpp-checked.h.
References isl::checked::union_map::intersect_range().
|
inline |
Definition at line 10109 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 10146 of file cpp-checked.h.
References intersect_range_factor_domain().
|
inline |
Definition at line 10141 of file cpp-checked.h.
References isl::checked::union_map::intersect_range_factor_domain().
|
inline |
Definition at line 10135 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 10162 of file cpp-checked.h.
References intersect_range_factor_range().
|
inline |
Definition at line 10157 of file cpp-checked.h.
References isl::checked::union_map::intersect_range_factor_range().
|
inline |
Definition at line 10151 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 10178 of file cpp-checked.h.
References domain(), and intersect_range_wrapped_domain().
|
inline |
Definition at line 10183 of file cpp-checked.h.
References domain(), and intersect_range_wrapped_domain().
|
inline |
Definition at line 10173 of file cpp-checked.h.
References domain(), and isl::checked::union_map::intersect_range_wrapped_domain().
|
inline |
Definition at line 10167 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 10188 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 10205 of file cpp-checked.h.
References is_disjoint(), and map2.
|
inline |
Definition at line 10194 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 10200 of file cpp-checked.h.
References isl::checked::union_map::is_disjoint().
|
inline |
Definition at line 10210 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 10227 of file cpp-checked.h.
References is_equal(), and map2.
|
inline |
Definition at line 10216 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 10222 of file cpp-checked.h.
References isl::checked::union_map::is_equal().
|
inline |
Definition at line 10232 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 9654 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 10238 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 10255 of file cpp-checked.h.
References is_strict_subset(), and map2.
|
inline |
Definition at line 10244 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 10250 of file cpp-checked.h.
References isl::checked::union_map::is_strict_subset().
|
inline |
Definition at line 10271 of file cpp-checked.h.
References is_subset(), and map2.
|
inline |
Definition at line 10260 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 10266 of file cpp-checked.h.
References isl::checked::union_map::is_subset().
|
inline |
Definition at line 10276 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 10281 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 10287 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 10293 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 10299 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 10305 of file cpp-checked.h.
References copy(), isl_map_lexmax(), manage, and res.
Referenced by polly::ZoneAlgorithm::computePerPHI(), and copy().
|
inline |
Definition at line 10311 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 10317 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 10323 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 10329 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 10335 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 10340 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 10346 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 10352 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 9630 of file cpp-checked.h.
|
inline |
Definition at line 10358 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 10364 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 10388 of file cpp-checked.h.
References isl::checked::union_map::preimage_domain().
|
inline |
Definition at line 10370 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 10376 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 10382 of file cpp-checked.h.
References copy(), isl_map_preimage_domain_pw_multi_aff(), manage, pma, and res.
|
inline |
Definition at line 10405 of file cpp-checked.h.
References isl::checked::union_map::preimage_range().
|
inline |
Definition at line 10393 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 10399 of file cpp-checked.h.
References copy(), isl_map_preimage_range_pw_multi_aff(), manage, pma, and res.
|
inline |
Definition at line 10421 of file cpp-checked.h.
|
inline |
Definition at line 10416 of file cpp-checked.h.
References isl::checked::union_map::product().
|
inline |
Definition at line 10410 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 10426 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 10438 of file cpp-checked.h.
References ctx(), and project_out_param().
|
inline |
Definition at line 10432 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 10443 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 10449 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 10455 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 10461 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 10467 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 10478 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 10494 of file cpp-checked.h.
References map2, and range_product.
|
inline |
Definition at line 10489 of file cpp-checked.h.
References isl::checked::union_map::range_product().
|
inline |
Definition at line 10483 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 10499 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 10505 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 10516 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 10522 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 9648 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 10533 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 10539 of file cpp-checked.h.
References copy(), isl_map_sample(), manage, and res.
Referenced by copy().
|
inline |
Definition at line 10551 of file cpp-checked.h.
References ctx(), and set_domain_tuple().
|
inline |
Definition at line 10545 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 10562 of file cpp-checked.h.
References ctx(), and set_range_tuple().
|
inline |
Definition at line 10556 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 10567 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 10589 of file cpp-checked.h.
References map2, and subtract().
|
inline |
Definition at line 10584 of file cpp-checked.h.
References isl::checked::union_map::subtract().
|
inline |
Definition at line 10578 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 10594 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 10599 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 10604 of file cpp-checked.h.
References copy(), manage, and res.
Referenced by copy(), and isl::checked::basic_map::to_list().
|
inline |
Definition at line 10610 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 10616 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 10633 of file cpp-checked.h.
|
inline |
Definition at line 10628 of file cpp-checked.h.
References isl::checked::union_map::unite().
|
inline |
Definition at line 10622 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 10638 of file cpp-checked.h.
References isl_map_universe(), manage, res, and space().
Referenced by copy().
|
inline |
Definition at line 10644 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 10650 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 10656 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 10662 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 9598 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 9601 of file cpp-checked.h.
References __isl_keep, isl_map_copy(), map(), map, and ptr.
Referenced by copy().
|
protected |