File: isl_multi_union_pw_aff_explicit_domain.c

package info (click to toggle)
llvm-toolchain-7 1:7.0.1-8~deb9u3
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 733,456 kB
  • sloc: cpp: 3,776,651; ansic: 633,271; asm: 350,301; python: 142,716; objc: 107,612; sh: 22,626; lisp: 11,056; perl: 7,999; pascal: 6,742; ml: 5,537; awk: 3,536; makefile: 2,557; cs: 2,027; xml: 841; ruby: 156
file content (51 lines) | stat: -rw-r--r-- 1,626 bytes parent folder | download | duplicates (12)
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
40
41
42
43
44
45
46
47
48
49
50
51
/*
 * Copyright 2017      Sven Verdoolaege
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege.
 */

/* Initialize the explicit domain of "mupa".
 *
 * The explicit domain is initialized to a universe parameter set.
 * It may later be specialized with constraints on the parameter or
 * specific domain instances.
 */
static __isl_give isl_multi_union_pw_aff *
isl_multi_union_pw_aff_init_explicit_domain(
	__isl_take isl_multi_union_pw_aff *mupa)
{
	isl_space *space;

	if (isl_multi_union_pw_aff_check_has_explicit_domain(mupa) < 0)
		return isl_multi_union_pw_aff_free(mupa);
	space = isl_space_params(isl_multi_union_pw_aff_get_space(mupa));
	mupa->u.dom = isl_union_set_from_set(isl_set_universe(space));
	if (!mupa->u.dom)
		return isl_multi_union_pw_aff_free(mupa);
	return mupa;
}

/* Drop the "n" dimensions of type "type" starting at position "pos"
 * of the explicit domain of "mupa".
 */
static __isl_give isl_multi_union_pw_aff *
isl_multi_union_pw_aff_drop_explicit_domain_dims(
	__isl_take isl_multi_union_pw_aff *mupa,
	enum isl_dim_type type, unsigned pos, unsigned n)
{
	if (isl_multi_union_pw_aff_check_has_explicit_domain(mupa) < 0)
		return isl_multi_union_pw_aff_free(mupa);
	if (type != isl_dim_param)
		isl_die(isl_multi_union_pw_aff_get_ctx(mupa), isl_error_invalid,
			"can only drop parameters",
			return isl_multi_union_pw_aff_free(mupa));
	mupa = isl_multi_union_pw_aff_cow(mupa);
	if (!mupa)
		return NULL;
	mupa->u.dom = isl_union_set_project_out(mupa->u.dom, type, pos, n);
	if (!mupa->u.dom)
		return isl_multi_union_pw_aff_free(mupa);
	return mupa;
}