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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
/*
* Copyright 2010 INRIA Saclay
*
* Use of this software is governed by the GNU LGPLv2.1 license
*
* Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
* Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
* 91893 Orsay, France
*/
#include <isl_dim_private.h>
#include <isl_reordering.h>
__isl_give isl_reordering *isl_reordering_alloc(isl_ctx *ctx, int len)
{
isl_reordering *exp;
exp = isl_alloc(ctx, struct isl_reordering,
sizeof(struct isl_reordering) + (len - 1) * sizeof(int));
if (!exp)
return NULL;
exp->ref = 1;
exp->len = len;
exp->dim = NULL;
return exp;
}
__isl_give isl_reordering *isl_reordering_copy(__isl_keep isl_reordering *exp)
{
if (!exp)
return NULL;
exp->ref++;
return exp;
}
void isl_reordering_free(__isl_take isl_reordering *exp)
{
if (!exp)
return;
if (--exp->ref > 0)
return;
isl_dim_free(exp->dim);
free(exp);
}
/* Construct a reordering that maps the parameters of "alignee"
* to the corresponding parameters in a new dimension specification
* that has the parameters of "aligner" first, followed by
* any remaining parameters of "alignee" that do not occur in "aligner".
*/
__isl_give isl_reordering *isl_parameter_alignment_reordering(
__isl_keep isl_dim *alignee, __isl_keep isl_dim *aligner)
{
int i, j;
isl_reordering *exp;
if (!alignee || !aligner)
return NULL;
exp = isl_reordering_alloc(alignee->ctx, alignee->nparam);
if (!exp)
return NULL;
exp->dim = isl_dim_copy(aligner);
for (i = 0; i < alignee->nparam; ++i) {
const char *name_i;
name_i = isl_dim_get_name(alignee, isl_dim_param, i);
if (!name_i)
isl_die(alignee->ctx, isl_error_invalid,
"cannot align unnamed parameters", goto error);
for (j = 0; j < aligner->nparam; ++j) {
const char *name_j;
name_j = isl_dim_get_name(aligner, isl_dim_param, j);
if (name_i == name_j)
break;
}
if (j < aligner->nparam)
exp->pos[i] = j;
else {
int pos;
pos = isl_dim_size(exp->dim, isl_dim_param);
exp->dim = isl_dim_add(exp->dim, isl_dim_param, 1);
exp->dim = isl_dim_set_name(exp->dim,
isl_dim_param, pos, name_i);
exp->pos[i] = pos;
}
}
return exp;
error:
isl_reordering_free(exp);
return NULL;
}
__isl_give isl_reordering *isl_reordering_extend(__isl_take isl_reordering *exp,
unsigned extra)
{
int i;
isl_reordering *res;
int offset;
if (!exp)
return NULL;
if (extra == 0)
return exp;
offset = isl_dim_total(exp->dim) - exp->len;
res = isl_reordering_alloc(exp->dim->ctx, exp->len + extra);
if (!res)
goto error;
res->dim = isl_dim_copy(exp->dim);
for (i = 0; i < exp->len; ++i)
res->pos[i] = exp->pos[i];
for (i = exp->len; i < res->len; ++i)
res->pos[i] = offset + i;
isl_reordering_free(exp);
return res;
error:
isl_reordering_free(exp);
return NULL;
}
__isl_give isl_reordering *isl_reordering_extend_dim(
__isl_take isl_reordering *exp, __isl_take isl_dim *dim)
{
int i;
isl_reordering *res;
int offset;
if (!exp || !dim)
goto error;
res = isl_reordering_extend(isl_reordering_copy(exp),
isl_dim_total(dim) - exp->len);
if (!res)
goto error;
isl_dim_free(res->dim);
res->dim = isl_dim_replace(dim, isl_dim_param, exp->dim);
isl_reordering_free(exp);
return res;
error:
isl_reordering_free(exp);
isl_dim_free(dim);
return NULL;
}
void isl_reordering_dump(__isl_keep isl_reordering *exp)
{
int i;
for (i = 0; i < exp->len; ++i)
fprintf(stderr, "%d -> %d; ", i, exp->pos[i]);
fprintf(stderr, "\n");
}
|
