aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/libs/llvm16/tools/polly/lib/External/isl/isl_insert_domain_templ.c
blob: 0b88d1c0d857769a2424b6705336584e25bd034e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
/*
 * Copyright 2019      Cerebras Systems
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege,
 * Cerebras Systems, 175 S San Antonio Rd, Los Altos, CA, USA
 */

/* Given a function defined over a parameter domain,
 * convert it to a function defined over a domain corresponding
 * to "domain".
 */
__isl_give TYPE *FN(TYPE,insert_domain)(__isl_take TYPE *obj,
	__isl_take isl_space *domain)
{
	isl_size dim;
	isl_space *obj_space;

	obj_space = FN(TYPE,peek_space)(obj);
	if (isl_space_check_is_set(domain) < 0 ||
	    isl_space_check_is_set(obj_space) < 0)
		goto error;
	dim = isl_space_dim(domain, isl_dim_set);
	if (dim < 0)
		goto error;

	domain = isl_space_replace_params(domain, obj_space);

	obj = FN(TYPE,from_range)(obj);
	obj = FN(TYPE,add_dims)(obj, isl_dim_in, dim);
	obj = FN(TYPE,reset_domain_space)(obj, domain);

	return obj;
error:
	isl_space_free(domain);
	FN(TYPE,free)(obj);
	return NULL;
}