Polly 22.0.0git
isl_test_cpp-checked.cc File Reference
#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 ()

Macro Definition Documentation

◆ assert

#define assert ( exp)
Value:
assert_impl(exp, __FILE__, __LINE__, #exp)
static void assert_impl(bool condition, const char *file, int line, const char *message)

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().

◆ IS_TRUE

#define IS_TRUE ( b)
Value:
(b).is_true()
b(9)

Definition at line 44 of file isl_test_cpp-checked.cc.

◆ SIZE_VAL

#define SIZE_VAL ( s)
Value:
static int size_val(isl::size s)

Definition at line 45 of file isl_test_cpp-checked.cc.

Function Documentation

◆ assert_impl() [1/2]

void assert_impl ( bool condition,
const char * file,
int line,
const char * message )
static

Definition at line 19 of file isl_test_cpp-checked.cc.

References condition.

Referenced by assert_impl().

◆ assert_impl() [2/2]

void assert_impl ( isl::boolean condition,
const char * file,
int line,
const char * message )
static

Definition at line 29 of file isl_test_cpp-checked.cc.

References assert_impl(), and condition.

◆ main()

◆ size_val()

int size_val ( isl::size s)
static

Definition at line 37 of file isl_test_cpp-checked.cc.

References isl::size::is_error().

◆ test_ast_build()

void test_ast_build ( isl::ctx ctx)
static

Definition at line 243 of file isl_test_cpp-checked.cc.

References assert, schedule, and test_ast_build_generic().

Referenced by main().

◆ test_every()

void test_every ( isl::ctx ctx)
static

◆ test_foreach()

◆ test_return()

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().

◆ test_return_bool()

◆ test_schedule_tree()

void test_schedule_tree ( isl::ctx ctx)
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().