Home | History | Annotate | Line # | Download | only in dist 
      1  1.1  mrg /*
      2  1.1  mrg  * Copyright 2018      Sven Verdoolaege
      3  1.1  mrg  *
      4  1.1  mrg  * Use of this software is governed by the MIT license
      5  1.1  mrg  *
      6  1.1  mrg  * Written by Sven Verdoolaege.
      7  1.1  mrg  */
      8  1.1  mrg 
      9  1.1  mrg /* Given a function "obj" defined over a parameter domain,
     10  1.1  mrg  * convert it to a function defined over a domain corresponding
     11  1.1  mrg  * to "domain".
     12  1.1  mrg  * Any parameters with identifiers in "domain" are reinterpreted
     13  1.1  mrg  * as the corresponding domain dimensions.
     14  1.1  mrg  */
     15  1.1  mrg __isl_give TYPE *FN(TYPE,unbind_params_insert_domain)(
     16  1.1  mrg 	__isl_take TYPE *obj, __isl_take isl_multi_id *domain)
     17  1.1  mrg {
     18  1.1  mrg 	isl_bool is_params;
     19  1.1  mrg 	isl_space *space;
     20  1.1  mrg 	isl_reordering *r;
     21  1.1  mrg 
     22  1.1  mrg 	space = FN(TYPE,get_domain_space)(obj);
     23  1.1  mrg 	is_params = isl_space_is_params(space);
     24  1.1  mrg 	if (is_params < 0)
     25  1.1  mrg 		domain = isl_multi_id_free(domain);
     26  1.1  mrg 	else if (!is_params)
     27  1.1  mrg 		isl_die(FN(TYPE,get_ctx)(obj), isl_error_invalid,
     28  1.1  mrg 			"expecting function with parameter domain",
     29  1.1  mrg 			domain = isl_multi_id_free(domain));
     30  1.1  mrg 	r = isl_reordering_unbind_params_insert_domain(space, domain);
     31  1.1  mrg 	isl_space_free(space);
     32  1.1  mrg 	isl_multi_id_free(domain);
     33  1.1  mrg 
     34  1.1  mrg 	return FN(TYPE,realign_domain)(obj, r);
     35  1.1  mrg }
     36