Polly 22.0.0git
|
#include <vector>
#include <string>
#include <limits.h>
#include <stdio.h>
#include <stdlib.h>
#include <isl/options.h>
#include <isl/cpp-checked.h>
#include "isl_test_cpp-generic.cc"
Go to the source code of this file.
Namespaces | |
namespace | isl |
These are automatically generated checked C++ bindings for isl. |
Macros | |
#define | assert(exp) |
#define | IS_TRUE(b) |
#define | SIZE_VAL(s) |
Functions | |
static void | assert_impl (bool condition, const char *file, int line, const char *message) |
static void | assert_impl (isl::boolean condition, const char *file, int line, const char *message) |
static int | size_val (isl::size s) |
void | test_return_bool (isl::ctx ctx) |
void | test_return (isl::ctx ctx) |
void | test_foreach (isl::ctx ctx) |
static void | test_every (isl::ctx ctx) |
static void | test_schedule_tree (isl::ctx ctx) |
static void | test_ast_build (isl::ctx ctx) |
int | main () |
#define assert | ( | exp | ) |
Definition at line 43 of file isl_test_cpp-checked.cc.
Referenced by polly::ScopStmt::addAccess(), polly::Scop::addAccessData(), polly::Scop::addAccessFunction(), polly::ZoneAlgorithm::addArrayReadAccess(), polly::ZoneAlgorithm::addArrayWriteAccess(), polly::MemoryAccess::addIncoming(), polly::ScopBuilder::addLoopBoundsToHeaderDomain(), polly::RegionGenerator::addOperandToPHI(), polly::Scop::addScopStmt(), polly::Scop::addScopStmt(), polly::Scop::addScopStmt(), polly::ScopBuilder::addUserAssumptions(), polly::ScopBuilder::adjustDomainDimensions(), polly::IslNodeBuilder::allocateNewArrays(), polly::ScopAnnotator::annotate(), polly::APIntFromVal(), polly::PerfMonitor::AppendScopReporting(), polly::applyFullUnroll(), polly::applyPartialUnroll(), astBuildAfterFor(), astBuildAfterMark(), AtEachDomain(), polly::ScopBuilder::buildAccessFunctions(), polly::ScopBuilder::buildAccessMemIntrinsic(), polly::ScopBuilder::buildAccessMultiDimParam(), polly::MemoryAccess::buildAccessRelation(), polly::ScopBuilder::buildAccessSingleDim(), polly::ScopAnnotator::buildAliasScopes(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), polly::ScopBuilder::buildConditionSets(), polly::BlockGenerator::buildContainsCondition(), polly::ScopBuilder::buildDomainsWithBranchConstraints(), polly::RegionGenerator::buildExitPHI(), polly::MemoryAccess::buildMemIntrinsicAccessRelation(), buildMinMaxAccess(), polly::ScopBuilder::buildScalarDependences(), polly::ScopBuilder::buildSchedule(), polly::ScopBuilder::buildSchedule(), polly::ScopBuilder::buildScop(), polly::Dependences::calculateDependences(), check_solution(), check_solution(), polly::ScopBuilder::checkForReductions(), collectInfo(), polly::MemoryAccess::computeBoundsOnAccessRelation(), polly::ZoneAlgorithm::computeNormalizedPHIs(), polly::ZoneAlgorithm::computePerPHI(), polly::convertZoneToTimepoints(), polly::convertZoneToTimepoints(), polly::convertZoneToTimepoints(), polly::BlockGenerator::copyInstScalar(), polly::BlockGenerator::copyStmt(), polly::RegionGenerator::copyStmt(), polly::VirtualUse::create(), polly::VirtualUse::create(), polly::IslExprBuilder::createAccessAddress(), polly::IslExprBuilder::createBinOp(), polly::BlockGenerator::createExitPHINodeMerges(), polly::IslNodeBuilder::createForParallel(), polly::IslExprBuilder::createId(), polly::IslExprBuilder::createInt(), polly::createLoop(), polly::IslNodeBuilder::createMark(), polly::IslNodeBuilder::createNewAccesses(), polly::IslExprBuilder::createOp(), polly::IslExprBuilder::createOpAccess(), polly::IslExprBuilder::createOpAddressOf(), polly::IslExprBuilder::createOpBin(), polly::IslExprBuilder::createOpBoolean(), polly::IslExprBuilder::createOpBooleanConditional(), polly::IslExprBuilder::createOpICmp(), polly::IslExprBuilder::createOpNAry(), polly::IslExprBuilder::createOpSelect(), polly::IslExprBuilder::createOpUnary(), polly::Scop::createParameterId(), polly::IslNodeBuilder::createSubstitutions(), polly::ScopDetection::detect(), polly::MemAccInst::dyn_cast(), polly::ScopBuilder::ensurePHIWrite(), ScopExpander::expandCodeFor(), export(), findExitDominator(), polly::ScopDetection::findScops(), polly::ReportAlias::formatInvalidAlias(), free_test(), polly::BlockGenerator::generateBeginStmtTrace(), generateCode(), polly::IslNodeBuilder::generateCopyStmt(), polly::BlockGenerator::generateLocationAccessed(), polly::BlockGenerator::generateScalarLoads(), polly::BlockGenerator::generateScalarStores(), polly::RegionGenerator::generateScalarStores(), polly::IslNodeBuilder::generateSCEV(), polly::MemAccInst::get(), polly::ScopStmt::getArrayAccessFor(), polly::ScopStmt::getArrayAccessOrNULLFor(), polly::Scop::getAssumedContext(), polly::Scop::getAssumedContextStr(), polly::getConstant(), polly::getConstant(), polly::ZoneAlgorithm::getDefToTarget(), polly::Dependences::getDependences(), polly::ScopArrayInfo::getDimensionSize(), polly::ScopArrayInfo::getDimensionSizePw(), polly::RegionGenerator::getExitScalar(), polly::ScopArrayInfo::getFromAccessFunction(), polly::MemoryAccess::getIncoming(), polly::getIslLoopAttr(), polly::getIsolateOptions(), polly::BlockGenerator::getNewValue(), polly::ScopBuilder::getNonHoistableCtx(), polly::IslNodeBuilder::getNumberOfIterations(), polly::BlockGenerator::getOrCreateAlloca(), polly::BlockGenerator::getOrCreateAlloca(), polly::Scop::getOrCreateScopArrayInfo(), polly::MemoryAccess::getOriginalKind(), polly::getPartialTilePrefixes(), polly::Scop::getPHIIncomings(), polly::Scop::getPHIRead(), getRegionNodeSuccessor(), polly::Scop::getRelativeLoopDepth(), polly::ZoneAlgorithm::getScatterFor(), polly::PolyhedralInfo::getScheduleForLoop(), polly::Scop::getScopArrayInfo(), polly::PolyhedralInfo::getScopContainingLoop(), polly::ScopStmt::getSurroundingLoop(), polly::IslNodeBuilder::getUpperBound(), polly::Scop::getValueDef(), polly::Scop::getValueUses(), polly::IslExprBuilder::getWidestType(), polly::IslExprBuilder::hasLargeInts(), import(), importAccesses(), importSchedule(), init_testing(), int_test_abs(), int_test_abs_cmp(), int_test_add(), int_test_cdiv(), int_test_cmp(), int_test_cmps(), int_test_divexact(), int_test_divisible(), int_test_fdiv(), int_test_fdiv_r(), int_test_gcd(), int_test_lcm(), int_test_mul(), int_test_neg(), int_test_sub(), int_test_tdiv(), polly::ScopDetection::invalid(), isDivisible(), isEscaping(), polly::Scop::isEscaping(), ScopExpander::isInOrigRegion(), ISL_ARG_CHOICE(), islAssert(), polly::IslMaxOperationsGuard::IslMaxOperationsGuard(), IsLoopVectorizerDisabled(), polly::IslQuotaScope::IslQuotaScope(), polly::ZoneAlgorithm::isNormalizable(), polly::ScopDetection::isValidCFG(), polly::Dependences::isValidSchedule(), polly::ScopStmt::lookupInputAccessOf(), polly::ScopStmt::lookupPHIWriteOf(), polly::ScopStmt::lookupValueWriteOf(), main(), main(), mapToDimension(), polly::IslNodeBuilder::materializeNonScopLoopInductionVariable(), polly::MemAccInst::MemAccInst(), polly::MemAccInst::MemAccInst(), mp_int_abs(), mp_int_add(), mp_int_compare(), mp_int_compare_unsigned(), mp_int_compare_uvalue(), mp_int_compare_value(), mp_int_compare_zero(), mp_int_copy(), mp_int_count_bits(), mp_int_default_precision(), mp_int_div(), mp_int_div_pow2(), mp_int_egcd(), mp_int_expt(), mp_int_expt_full(), mp_int_expt_value(), mp_int_exptmod(), mp_int_exptmod_known(), mp_int_free(), mp_int_gcd(), mp_int_init_copy(), mp_int_init_size(), mp_int_invmod(), mp_int_is_pow2(), mp_int_lcm(), mp_int_mul(), mp_int_mul_pow2(), mp_int_multiply_threshold(), mp_int_neg(), mp_int_read_binary(), mp_int_read_cstring(), mp_int_read_unsigned(), mp_int_redux_const(), mp_int_root(), mp_int_sqr(), mp_int_string_len(), mp_int_sub(), mp_int_to_binary(), mp_int_to_int(), mp_int_to_string(), mp_int_to_uint(), mp_int_to_unsigned(), mp_int_zero(), mp_rat_free(), next_token(), polly::VirtualOperandIterator::operator!=(), polly::VirtualOperandIterator::operator==(), opt_at(), partitionSetParts(), polly::ScopAnnotator::popLoop(), polly::IslNodeBuilder::preloadInvariantEquivClass(), prepareValuesForPrinting(), polly::DependenceInfoWrapperPass::print(), printSortedPolyhedra(), polly::ScopBuilder::propagateDomainConstraints(), polly::ScopBuilder::propagateDomainConstraintsToRegionExit(), polly::ScopBuilder::propagateInvalidStmtDomains(), read_number(), polly::ScopInfo::recompute(), polly::ScopStmt::removeAccessData(), polly::ScopStmt::removeSingleMemoryAccess(), polly::ScopStmt::restrictDomain(), polly::DependenceInfoWrapperPass::runOnFunction(), s_alloc(), s_embar(), s_kmul(), s_ksqr(), s_outlen(), s_qsub(), s_realloc(), s_udiv_knuth(), s_usqr(), s_usub(), s_val2ch(), scan_one(), polly::MemoryAccess::setNewAccessRelation(), polly::Dependences::setReductionDependences(), polly::shiftDim(), polly::shiftDim(), simplifyRegionEntry(), simplifyRegionExit(), polly::singleton(), polly::singleton(), splitBlock(), splitEdge(), stack_flush(), stack_pop(), state_clear(), state_init(), polly::BlockGenerator::switchGeneratedFunc(), polly::IslExprBuilder::switchGeneratedFunc(), test_affine_hull_case(), test_application_case(), test_ast_build(), test_ast_build_expr(), test_ast_build_generic(), test_ast_build_unroll(), test_bounded(), test_closure(), test_constructors(), test_convex_hull_case(), test_dep(), test_div(), test_every(), test_every_generic(), test_foreach(), test_gist(), test_imath_internals(), test_lexmin(), test_parameters_int(), test_parameters_obj(), test_parse(), test_parse_map(), test_parse_pwaff(), test_parse_pwqp(), test_pointer(), test_pwqp(), test_read(), test_return_bool(), test_return_int(), test_return_obj(), test_return_string(), test_schedule_tree(), test_schedule_tree_generic(), test_space(), polly::MemoryAccess::tryGetValueStored(), polly::BlockGenerator::trySynthesizeNewValue(), polly::MemoryAccess::updateDimensionality(), updateLoopCountStatistic(), ValidatorResult::ValidatorResult(), polly::ScopBuilder::verifyInvariantLoads(), polly::ScopDetection::verifyRegion(), verifyUse(), verifyUses(), polly::VirtualInstruction::VirtualInstruction(), polly::ScheduleTreeVisitor< Derived, RetTy, Args... >::visit(), polly::SCEVAffinator::visitAddRecExpr(), SCEVValidator::visitAddRecExpr(), ScopExpander::visitGenericInst(), polly::SCEVAffinator::visitSDivInstruction(), SCEVValidator::visitSDivInstruction(), polly::SCEVAffinator::visitSRemInstruction(), SCEVValidator::visitSRemInstruction(), polly::SCEVAffinator::visitTruncateExpr(), polly::SCEVAffinator::visitUDivExpr(), walkAstForStatistics(), walkReachable(), polly::IslQuotaScope::~IslQuotaScope(), and polly::ScopAnnotator::~ScopAnnotator().
#define IS_TRUE | ( | b | ) |
Definition at line 44 of file isl_test_cpp-checked.cc.
#define SIZE_VAL | ( | s | ) |
Definition at line 45 of file isl_test_cpp-checked.cc.
|
static |
Definition at line 19 of file isl_test_cpp-checked.cc.
References condition.
Referenced by assert_impl().
|
static |
Definition at line 29 of file isl_test_cpp-checked.cc.
References assert_impl(), and condition.
int main | ( | ) |
Definition at line 292 of file isl_test_cpp-checked.cc.
References isl_ctx_alloc(), isl_ctx_free(), ISL_ON_ERROR_ABORT, isl_options_set_on_error(), test_ast_build(), test_ast_build_expr(), test_constructors(), test_every(), test_foreach(), test_parameters(), test_pointer(), test_return(), test_schedule_tree(), and test_space().
|
static |
Definition at line 37 of file isl_test_cpp-checked.cc.
References isl::size::is_error().
|
static |
Definition at line 243 of file isl_test_cpp-checked.cc.
References assert, schedule, and test_ast_build_generic().
Referenced by main().
|
static |
Definition at line 168 of file isl_test_cpp-checked.cc.
References assert, isl::boolean::error(), isl::union_set::every_set(), isl::boolean::is_error(), and test_every_generic().
Referenced by main().
void test_foreach | ( | isl::ctx | ctx | ) |
Definition at line 134 of file isl_test_cpp-checked.cc.
References assert, isl::stat::error(), isl::set::foreach_basic_set(), is_equal(), isl::stat::is_error(), isl::stat::is_ok(), and isl::stat::ok().
Referenced by main().
void test_return | ( | isl::ctx | ctx | ) |
Definition at line 118 of file isl_test_cpp-checked.cc.
References test_return_bool(), test_return_int(), test_return_obj(), and test_return_string().
Referenced by main().
void test_return_bool | ( | isl::ctx | ctx | ) |
Definition at line 61 of file isl_test_cpp-checked.cc.
References assert, isl::set::is_empty(), isl::boolean::is_error(), isl::boolean::is_false(), isl::boolean::is_true(), isl_bool_error, isl_bool_false, isl_bool_true, and isl::manage().
Referenced by test_return().
|
static |
Definition at line 188 of file isl_test_cpp-checked.cc.
References assert, count(), domain, inc_count(), and test_schedule_tree_generic().
Referenced by main().