haiku-buildtools/isl/isl_ast_build_expr.c

33  * The result is simplified in terms of build->domain.
59 	int pos, __isl_keep isl_ast_build *build)
74 		int non_neg = isl_ast_build_aff_is_nonneg(build, aff);
78 			non_neg = isl_ast_build_aff_is_nonneg(build, opp);
93 	num = isl_ast_expr_from_aff(aff, build);
98  * The result is simplified in terms of build->domain.
105  * - set variables are constructed from the iterator isl_ids in "build"
110 	enum isl_dim_type type, int pos, __isl_keep isl_ast_build *build)
116 		return var_div(change_sign, ls, pos, build);
119 		id = isl_ast_build_get_iterator_id(build, pos);
206  * The result is simplified in terms of build->domain.
210 	__isl_keep isl_ast_build *build)
220 	expr = isl_ast_expr_from_aff(isl_aff_copy(aff), build);
294 	__isl_take isl_val *v, __isl_keep isl_ast_build *build)
303 	term = var(&change_sign, ls, type, pos, build);
382 	__isl_keep isl_ast_build *build, int j, __isl_take isl_val *v)
395 		mod = isl_ast_build_aff_is_nonneg(build, div);
399 			mod = isl_ast_build_aff_is_nonneg(build, opp);
422 	expr = isl_ast_expr_mod(v, div, d, build);
464 	__isl_keep isl_ast_build *build)
488 		aff = extract_modulo(aff, pos, neg, build, j, v);
497  * The result is simplified in terms of build->domain.
505 	__isl_keep isl_ast_build *build)
525 	aff = extract_modulos(aff, &expr, &expr_neg, build);
541 							ls, l[i], j, v, build);
560  * The result is simplified in terms of build->domain.
563 	__isl_keep isl_aff *aff, int sign, __isl_keep isl_ast_build *build)
583 						ls, l[i], j, v, build);
612  * The result is simplified in terms of build->domain.
636 	__isl_take isl_constraint *constraint, __isl_keep isl_ast_build *build)
656 	aff = extract_modulos(aff, &expr_pos, &expr_neg, build);
658 	expr_pos = add_signed_terms(expr_pos, aff, 1, build);
659 	expr_neg = add_signed_terms(expr_neg, aff, -1, build);
686 	isl_ast_build *build;
693  * The result is simplified in terms of data->build->domain.
705 	expr = isl_ast_expr_from_constraint(c, data->build);
719  * The result is simplified in terms of build->domain.
728 	 __isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset)
730 	struct isl_expr_from_basic_data data = { build, 1, NULL };
745 	isl_ast_build *build;
752  * The result is simplified in terms of data->build->domain.
759 	expr = isl_ast_build_expr_from_basic_set(data->build, bset);
773  * The result is simplified in terms of build->domain.
776 	__isl_keep isl_ast_build *build, __isl_take isl_set *set)
778 	struct isl_expr_from_set_data data = { build, 1, NULL };
788 	isl_ast_build *build;
816 		*data->next = isl_ast_expr_from_aff(aff, data->build);
825 		arg = isl_ast_build_expr_from_set(data->build, set);
827 		arg = isl_ast_expr_from_aff(aff, data->build);
840  * The result is simplified in terms of build->domain.
845 	__isl_keep isl_ast_build *build, __isl_take isl_pw_aff *pa)
853 	data.build = build;
870  * The result is simplified in terms of build->domain.
875 	__isl_keep isl_ast_build *build, __isl_take isl_pw_aff *pa)
879 	if (isl_ast_build_need_schedule_map(build)) {
881 		ma = isl_ast_build_get_schedule_map_multi_aff(build);
884 	expr = isl_ast_build_expr_from_pw_aff_internal(build, pa);
889  * of "build".
894 	__isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma)
902 		id = isl_ast_build_get_iterator_id(build, i);
916 	__isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma)
923 	pma = set_iterator_names(build, pma);
924 	if (!build || !pma)
927 	ctx = isl_ast_build_get_ctx(build);
942 		arg = isl_ast_build_expr_from_pw_aff_internal(build, pa);
957 	__isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma)
963 	space_build = isl_ast_build_get_space(build, 0);
972 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,
976 	if (isl_ast_build_need_schedule_map(build)) {
978 		ma = isl_ast_build_get_schedule_map_multi_aff(build);
982 	expr = isl_ast_build_call_from_pw_multi_aff_internal(build, pma);
993 	__isl_keep isl_ast_build *build, __isl_take isl_map *executed)
999 	iteration = isl_ast_build_compute_gist_pw_multi_aff(build, iteration);
1001 					isl_ast_build_get_domain(build));
1002 	expr = isl_ast_build_call_from_pw_multi_aff_internal(build, iteration);