isl_test2.cc File Reference

#include <assert.h>
#include <stdlib.h>
#include <functional>
#include <ios>
#include <iostream>
#include <sstream>
#include <string>
#include <type_traits>
#include <utility>
#include <vector>
#include <isl/cpp.h>

Go to the source code of this file.

Classes
struct	unary_prop
struct	unary
struct	binary
struct	ternary

Macros
#define	THROW_INVALID(msg)
#define	C(FN, ...)
#define	TWO(x)

Typedefs
template<typename A1, typename R, typename T>
using	binary_fn = R (T::*)(A1) const
template<typename A1, typename A2, typename R, typename T>
using	ternary_fn = R (T::*)(A1, A2) const

Functions
template<typename A1, typename R, typename T>
static binary_fn< A1, R, T > const	arg (const binary_fn< A1, R, T > &fn)
template<typename A1, typename A2, typename R, typename T>
static ternary_fn< A1, A2, R, T > const	arg (const ternary_fn< A1, A2, R, T > &fn)
template<typename T, typename std::decay< decltype(std::declval< T >().is_equal(std::declval< T >()))>::type = true>
static bool	is_equal (const T &a, const T &b)
template<typename T>
static void	test (isl::ctx ctx, bool fn(const T &), const std::string &name, const std::vector< unary_prop > &tests)
template<typename R, typename T>
static void	test (isl::ctx ctx, R(T::*fn)() const, const std::string &name, const std::vector< unary > &tests)
template<typename R, typename T, typename A1>
static void	test (isl::ctx ctx, R(T::*fn)(A1) const, const std::string &name, const std::vector< binary > &tests)
template<typename R, typename T, typename A1, typename A2, typename F>
static void	test_ternary (isl::ctx ctx, const F &fn, const std::string &name, const std::vector< ternary > &tests)
template<typename R, typename T, typename A1, typename A2>
static void	test (isl::ctx ctx, R fn(const T &, const A1 &, const A2 &), const std::string &name, const std::vector< ternary > &tests)
template<typename R, typename T, typename A1, typename A2>
static void	test (isl::ctx ctx, R(T::*fn)(A1, A2) const, const std::string &name, const std::vector< ternary > &tests)
static void	test_space (isl::ctx ctx)
static bool	has_single_cell (const isl::pw_multi_aff &fn)
template<typename T>
static bool	has_single_cell_pma (const T &obj)
static void	test_conversion (isl::ctx ctx)
static void	test_preimage (isl::ctx ctx)
static void	test_fixed_power (isl::ctx ctx)
static void	test_intersect (isl::ctx ctx)
template<typename T>
static bool	lexmin_has_single_cell (const T &obj)
static void	test_lexmin (isl::ctx ctx)
template<typename T>
T	gist (const T &obj, const T &copy, const T &context)
static void	test_gist (isl::ctx ctx)
static void	test_project (isl::ctx ctx)
static void	test_reverse (isl::ctx ctx)
static void	test_scale (isl::ctx ctx)
static void	test_id_to_id (isl::ctx ctx)
int	main (int argc, char **argv)

Variables
static std::vector< std::pair< const char *, void(*)(isl::ctx)> >	tests

Macro Definition Documentation

C

#define C	(		FN,
			... )

Value:

test(ctx, FN, #FN, __VA_ARGS__)

Definition at line 259 of file isl_test2.cc.

Referenced by can_be_split_off(), collectFissionableStmts(), composability(), createNextIterationMap(), polly::MemoryAccess::foldAccessRelation(), polly::ScopBuilder::foldSizeConstantsToRight(), if(), incremental_closure(), incremental_on_entire_domain(), isl_basic_set_dim_residue_class(), isl_basic_set_variable_compression(), isl_mat_final_variable_compression(), normalize_divs(), particular_solution(), partitionSetParts(), test_conversion(), test_fixed_power(), test_gist(), test_id_to_id(), test_intersect(), test_lexmin(), test_preimage(), test_project(), test_reverse(), test_scale(), test_space(), and polly::MemoryAccess::updateDimensionality().

THROW_INVALID

#define THROW_INVALID

(

msg

)

Value:

  isl::exception::throw_error(isl_error_invalid, msg, __FILE__, __LINE__)

Definition at line 120 of file isl_test2.cc.

Referenced by gist(), test(), test(), test(), and test_ternary().

TWO

#define TWO

(

x

)

Value:

(x), (x)

Definition at line 560 of file isl_test2.cc.

Referenced by test_gist().

Typedef Documentation

binary_fn

template<typename A1, typename R, typename T>

using binary_fn = R (T::*)(A1) const

Definition at line 39 of file isl_test2.cc.

ternary_fn

template<typename A1, typename A2, typename R, typename T>

using ternary_fn = R (T::*)(A1, A2) const

Definition at line 56 of file isl_test2.cc.

Function Documentation

arg() [1/2]

template<typename A1, typename R, typename T>

binary_fn< A1, R, T > const arg ( const binary_fn< A1, R, T > & fn )

static

Definition at line 46 of file isl_test2.cc.

References fn.

arg() [2/2]

template<typename A1, typename A2, typename R, typename T>

ternary_fn< A1, A2, R, T > const arg ( const ternary_fn< A1, A2, R, T > & fn )

static

Definition at line 63 of file isl_test2.cc.

References fn.

gist()

template<typename T>

T gist	(	const T &	obj,
		const T &	copy,
		const T &	context )

Definition at line 541 of file isl_test2.cc.

References context, is_equal(), obj, res, and THROW_INVALID.

has_single_cell()

bool has_single_cell ( const isl::pw_multi_aff & fn )

static

Definition at line 283 of file isl_test2.cc.

References domain, and fn.

Referenced by has_single_cell_pma(), and lexmin_has_single_cell().

has_single_cell_pma()

template<typename T>

bool has_single_cell_pma ( const T & obj )

static

Definition at line 293 of file isl_test2.cc.

References has_single_cell(), and obj.

Referenced by test_conversion().

is_equal()

template<typename T, typename std::decay< decltype(std::declval< T >().is_equal(std::declval< T >()))>::type = true>

bool is_equal ( const T & a, const T & b )

static

Definition at line 107 of file isl_test2.cc.

References a(), and b().

Referenced by FN(), FN(), FN(), gist(), graph_find_matching_edge(), isl_space_check_domain_tuples(), isl_space_check_equal_tuples(), isl_space_check_wrapped_tuple_is_equal(), test(), test(), test_foreach(), test_foreach(), and test_ternary().

lexmin_has_single_cell()

template<typename T>

bool lexmin_has_single_cell ( const T & obj )

static

Definition at line 472 of file isl_test2.cc.

References has_single_cell(), and obj.

Referenced by test_lexmin().

main()

int main	(	int	argc,
		char **	argv )

Definition at line 927 of file isl_test2.cc.

References assert, f, ISL_ARG_ALL, isl_ctx_alloc_with_options(), isl_ctx_free(), and tests.

test() [1/5]

template<typename T>

void test ( isl::ctx ctx, bool fnconst T &, const std::string & name, const std::vector< unary_prop > & tests )

static

Definition at line 128 of file isl_test2.cc.

References fn, name, obj, res, test, tests, and THROW_INVALID.

test() [2/5]

template<typename R, typename T, typename A1, typename A2>

void test ( isl::ctx ctx, R fnconst T &, const A1 &, const A2 &, const std::string & name, const std::vector< ternary > & tests )

static

Definition at line 233 of file isl_test2.cc.

References fn, name, test_ternary(), and tests.

test() [3/5]

template<typename R, typename T>

void test ( isl::ctx ctx, R(T::* fn )() const, const std::string & name, const std::vector< unary > & tests )

static

Definition at line 152 of file isl_test2.cc.

References expected, fn, is_equal(), name, obj, res, test, tests, and THROW_INVALID.

test() [4/5]

template<typename R, typename T, typename A1>

void test ( isl::ctx ctx, R(T::* fn )(A1) const, const std::string & name, const std::vector< binary > & tests )

static

Definition at line 177 of file isl_test2.cc.

References arg1, expected, fn, is_equal(), name, obj, res, test, tests, and THROW_INVALID.

test() [5/5]

template<typename R, typename T, typename A1, typename A2>

void test ( isl::ctx ctx, R(T::* fn )(A1, A2) const, const std::string & name, const std::vector< ternary > & tests )

static

Definition at line 247 of file isl_test2.cc.

References arg1, arg2, fn, name, test_ternary(), tests, and wrap.

test_conversion()

void test_conversion ( isl::ctx ctx )

static

Definition at line 310 of file isl_test2.cc.

References isl::map::as_pw_multi_aff(), isl::set::as_pw_multi_aff(), isl::multi_pw_aff::as_set(), C, and has_single_cell_pma().

test_fixed_power()

void test_fixed_power ( isl::ctx ctx )

static

Definition at line 419 of file isl_test2.cc.

References arg, C, and isl::map::fixed_power().

test_gist()

void test_gist ( isl::ctx ctx )

static

Definition at line 568 of file isl_test2.cc.

References arg, C, gist, isl::multi_aff::gist(), isl::multi_pw_aff::gist(), isl::multi_union_pw_aff::gist(), isl::pw_aff::gist(), isl::multi_aff::gist_params(), isl::multi_pw_aff::gist_params(), isl::multi_union_pw_aff::gist_params(), isl::pw_aff::gist_params(), and TWO.

test_id_to_id()

void test_id_to_id ( isl::ctx ctx )

static

Definition at line 892 of file isl_test2.cc.

References arg, C, and isl::id_to_id::set().

test_intersect()

void test_intersect ( isl::ctx ctx )

static

Definition at line 436 of file isl_test2.cc.

References arg, C, isl::union_map::intersect_domain_wrapped_domain(), isl::basic_map::intersect_params(), and isl::union_map::intersect_range_wrapped_domain().

test_lexmin()

void test_lexmin ( isl::ctx ctx )

static

Definition at line 479 of file isl_test2.cc.

References C, lexmin_has_single_cell(), isl::map::lexmin_pw_multi_aff(), and isl::set::lexmin_pw_multi_aff().

test_preimage()

void test_preimage ( isl::ctx ctx )

static

Definition at line 347 of file isl_test2.cc.

References arg, C, isl::set::preimage(), isl::union_map::preimage_domain(), and isl::union_map::preimage_range().

test_project()

void test_project ( isl::ctx ctx )

static

Definition at line 772 of file isl_test2.cc.

References arg, C, and isl::union_map::project_out_param().

test_reverse()

void test_reverse ( isl::ctx ctx )

static

Definition at line 789 of file isl_test2.cc.

References C, isl::aff::domain_reverse(), isl::map::domain_reverse(), isl::multi_aff::domain_reverse(), isl::multi_pw_aff::domain_reverse(), isl::pw_aff::domain_reverse(), isl::pw_multi_aff::domain_reverse(), isl::union_map::domain_reverse(), isl::union_map::range_reverse(), and isl::set::wrapped_reverse().

test_scale()

void test_scale ( isl::ctx ctx )

static

Definition at line 869 of file isl_test2.cc.

References arg, C, isl::pw_multi_aff::scale(), and isl::pw_multi_aff::scale_down().

test_space()

void test_space ( isl::ctx ctx )

static

Definition at line 263 of file isl_test2.cc.

References C, isl::space::domain(), isl::space::params(), and isl::space::range().

Referenced by main().

test_ternary()

template<typename R, typename T, typename A1, typename A2, typename F>

void test_ternary ( isl::ctx ctx, const F & fn, const std::string & name, const std::vector< ternary > & tests )

static

Definition at line 203 of file isl_test2.cc.

References arg1, arg2, expected, fn, is_equal(), name, obj, res, test, tests, and THROW_INVALID.

Referenced by test(), and test().

Variable Documentation

tests

std::vector<std::pair<const char *, void (*)(isl::ctx)> > tests

static

Initial value:

=
{
  { "space", &test_space },
  { "conversion", &test_conversion },
  { "preimage", &test_preimage },
  { "fixed power", &test_fixed_power },
  { "intersect", &test_intersect },
  { "lexmin", &test_lexmin },
  { "gist", &test_gist },
  { "project out parameters", &test_project },
  { "reverse", &test_reverse },
  { "scale", &test_scale },
  { "id-to-id", &test_id_to_id },
}

Definition at line 910 of file isl_test2.cc.