17 namespace isl { using namespace checked; }  namespace
29 static void assert_impl(isl::boolean condition, const char *file, int line,  in assert_impl()
37 static int size_val(isl::size s)  in size_val()
61 void test_return_bool(isl::ctx ctx)  in test_return_bool()
63 	isl::set empty(ctx, "{ : false }");  in test_return_bool()
64 	isl::set univ(ctx, "{ : }");  in test_return_bool()
65 	isl::set null;  in test_return_bool()
67 	isl::boolean b_true = empty.is_empty();  in test_return_bool()
68 	isl::boolean b_false = univ.is_empty();  in test_return_bool()
69 	isl::boolean b_error = null.is_empty();  in test_return_bool()
92 	assert(isl::boolean(true).is_true());  in test_return_bool()
93 	assert(!isl::boolean(true).is_false());  in test_return_bool()
94 	assert(!isl::boolean(true).is_error());  in test_return_bool()
96 	assert(isl::boolean(false).is_false());  in test_return_bool()
97 	assert(!isl::boolean(false).is_true());  in test_return_bool()
98 	assert(!isl::boolean(false).is_error());  in test_return_bool()
100 	assert(isl::manage(isl_bool_true).is_true());  in test_return_bool()
101 	assert(!isl::manage(isl_bool_true).is_false());  in test_return_bool()
102 	assert(!isl::manage(isl_bool_true).is_error());  in test_return_bool()
104 	assert(isl::manage(isl_bool_false).is_false());  in test_return_bool()
105 	assert(!isl::manage(isl_bool_false).is_true());  in test_return_bool()
106 	assert(!isl::manage(isl_bool_false).is_error());  in test_return_bool()
108 	assert(isl::manage(isl_bool_error).is_error());  in test_return_bool()
109 	assert(!isl::manage(isl_bool_error).is_true());  in test_return_bool()
110 	assert(!isl::manage(isl_bool_error).is_false());  in test_return_bool()
118 void test_return(isl::ctx ctx)  in test_return()
134 void test_foreach(isl::ctx ctx)  in test_foreach()
136 	isl::set s(ctx, "{ [0]; [1]; [2] }");  in test_foreach()
138 	std::vector<isl::basic_set> basic_sets;  in test_foreach()
140 	auto add_to_vector = [&] (isl::basic_set bs) {  in test_foreach()
142 		return isl::stat::ok();  in test_foreach()
145 	isl::stat ret1 = s.foreach_basic_set(add_to_vector);  in test_foreach()
149 	assert(isl::set(basic_sets[0]).is_subset(s).is_true());  in test_foreach()
150 	assert(isl::set(basic_sets[1]).is_subset(s).is_true());  in test_foreach()
151 	assert(isl::set(basic_sets[2]).is_subset(s).is_true());  in test_foreach()
154 	auto fail = [&] (isl::basic_set bs) {  in test_foreach()
155 		return isl::stat::error();  in test_foreach()
158 	isl::stat ret2 = s.foreach_basic_set(fail);  in test_foreach()
168 static void test_every(isl::ctx ctx)  in test_every()
170 	isl::union_set us(ctx, "{ A[i]; B[j] }");  in test_every()
174 	auto fail = [] (isl::set s){  in test_every()
175 		return isl::boolean::error();  in test_every()
188 static void test_schedule_tree(isl::ctx ctx)  in test_schedule_tree()
192 	auto fail_map = [](isl::schedule_node node) {  in test_schedule_tree()
193 		return isl::schedule_node();  in test_schedule_tree()
198 	auto inc_count = [&count](isl::schedule_node node) {  in test_schedule_tree()
200 		return isl::boolean(true);  in test_schedule_tree()
206 	auto inc_count_once = [&count](isl::schedule_node node) {  in test_schedule_tree()
208 		return isl::boolean(false);  in test_schedule_tree()
213 	auto is_not_domain = [](isl::schedule_node node) {  in test_schedule_tree()
214 		return !node.isa<isl::schedule_node_domain>();  in test_schedule_tree()
219 	auto fail = [](isl::schedule_node node) {  in test_schedule_tree()
220 		return isl::boolean();  in test_schedule_tree()
224 	auto domain = root.as<isl::schedule_node_domain>().domain();  in test_schedule_tree()
225 	auto filters = isl::union_set(ctx, "{}");  in test_schedule_tree()
226 	auto collect_filters = [&filters](isl::schedule_node node) {  in test_schedule_tree()
227 		if (node.isa<isl::schedule_node_filter>().is_true()) {  in test_schedule_tree()
228 			auto filter = node.as<isl::schedule_node_filter>();  in test_schedule_tree()
231 		return isl::boolean(true);  in test_schedule_tree()
243 static void test_ast_build(isl::ctx ctx)  in test_ast_build()
250 	    [&count_ast_fail, &do_fail](isl::ast_node node,  in test_ast_build()
251 					isl::ast_build build) {  in test_ast_build()
253 		return do_fail ? isl::ast_node() : node;  in test_ast_build()
255 	auto build = isl::ast_build(ctx);  in test_ast_build()
263 	    [&count_ast](isl::ast_node node, isl::ast_build build) {  in test_ast_build()