isl/dist/isl_ast_build.c

43 	map = isl_map_equate(map, isl_dim_in, build->depth, isl_dim_out, 0);
44 	map = isl_map_eliminate(map, isl_dim_in, build->depth, 1);
143 	build->depth = n;
200 	dup->depth = build->depth;
543 	for (i = 0; i < build->depth; ++i)
553  * In particular, it should be called when the depth is changed or
579 	return isl_bool_ok(build->depth != dim || any_eliminated(build));
625 					build->depth, dim - build->depth);
626 		for (i = build->depth - 1; i >= 0; --i)
653 	return build ? build->depth : isl_size_error;
657  * In particular, increase the depth and reset any information
658  * that is local to the current depth.
666 	build->depth++;
751 	if (!isl_ast_build_has_stride(build, build->depth))
812 	build->values = isl_multi_aff_set_aff(build->values, build->depth, aff);
863 	if (isl_ast_build_has_affine_value(build, build->depth)) {
864 		set = isl_set_eliminate(set, isl_dim_set, build->depth, 1);
888  * If the build has an affine value at the current depth,
900 	if (isl_ast_build_has_affine_value(build, build->depth)) {
911 				isl_dim_set, build->depth, 1);
916 			    generated, isl_dim_set, build->depth, 1);
1218 				    build->depth, dim - build->depth);
1219 	for (i = build->depth - 1; i >= 0; --i) {
1247 	for (i = 0; i < build->depth; ++i) {
1310 	pos = build->depth;
1324 /* Return a set expressing the stride constraint at the current depth.
1346 	pos = build->depth;
1361  * depth.
1368  * where s is the stride at the current depth d and offset(i) is
1411 	if (!isl_ast_build_has_stride(build, build->depth))
1470 /* Does "map" not involve the input dimension data->depth?
1474 	int *depth = user;
1476 	return isl_bool_not(isl_map_involves_dims(map, isl_dim_in, *depth, 1));
1479 /* Do any options depend on the value of the dimension at the current depth?
1489 					&build->depth);
1710 	int depth;
1716 	depth = build->depth;
1726 		aff = isl_multi_aff_get_aff(ma, depth);
1728 		ma = isl_multi_aff_set_aff(ma, depth, aff);
1735 	v = isl_vec_get_element_val(build->strides, depth);
1737 	build->strides = isl_vec_set_element_val(build->strides, depth, v);
1739 	aff = isl_multi_aff_get_aff(build->offsets, depth);
1741 	build->offsets = isl_multi_aff_set_aff(build->offsets, depth, aff);
1822  * We first update build->outer_pos to the current depth.
1823  * This depth is zero in case this is the outermost code generation.
1847 	build->outer_pos = build->depth;
2189  * at the current depth.
2194  *	schedule_domain -> type[depth]
2216 	local_pos = build->depth - build->outer_pos;
2257 	local_pos = build->depth - build->outer_pos;
2348 /* Extract the separation class mapping at the current depth.
2353  *	schedule_domain -> separation_class[[depth] -> [class]]
2372 	local_pos = build->depth - build->outer_pos;
2395 	int depth;
2401 	depth = build->depth;
2403 	set = isl_set_eliminate(set, isl_dim_set, depth + 1, dim - (depth + 1));
2418 	int depth;
2424 	depth = build->depth;
2425 	set = isl_set_remove_divs_involving_dims(set, isl_dim_set, depth, 1);