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
|
/**-------------------------------------------------------------------**
** CLooG **
**-------------------------------------------------------------------**
** matrix.h **
**-------------------------------------------------------------------**
** First version: april 17th 2005 **
**-------------------------------------------------------------------**/
/******************************************************************************
* CLooG : the Chunky Loop Generator (experimental) *
******************************************************************************
* *
* Copyright (C) 2005 Cedric Bastoul *
* *
* This is free software; you can redistribute it and/or modify it under the *
* terms of the GNU General Public License as published by the Free Software *
* Foundation; either version 2 of the License, or (at your option) any later *
* version. *
* *
* This software is distributed in the hope that it will be useful, but *
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License *
* for more details. *
* *
* You should have received a copy of the GNU General Public License along *
* with software; if not, write to the Free Software Foundation, Inc., *
* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *
* *
* CLooG, the Chunky Loop Generator *
* Written by Cedric Bastoul, Cedric.Bastoul@inria.fr *
* *
******************************************************************************/
#ifndef CLOOG_MATRIX_H
#define CLOOG_MATRIX_H
#if defined(__cplusplus)
extern "C"
{
#endif
/* The Matrix structure comes directly from PolyLib (defined in polylib/types.h)
* here is how it looks like (at least in PolyLib 5.20.0 version).
*
* typedef struct matrix {
* unsigned NbRows; // The number of rows (= NbConstraints in Polyhedron).
* unsigned NbColumns; // The number of columns (= Dimension+2 in Polyhedron).
* Value **p; // An array of pointers to the beginning of each row.
* Value *p_Init; // The matrix is stored here, contiguously in memory.
* int p_Init_size; // Needed to free the memory allocated by mpz_init.
* Matrix;
*/
typedef Matrix CloogMatrix;
static inline Value
cloog_matrix_element (CloogMatrix *m, int row, int col)
{
return m->p[row][col];
}
static inline void
cloog_matrix_element_assign (CloogMatrix *m, int row, int col, Value val)
{
value_assign (m->p[row][col], val);
}
static inline void
cloog_matrix_element_increment (CloogMatrix *m, int row, int col, Value val)
{
value_increment (m->p[row][col], val);
}
static inline void
cloog_matrix_element_decrement (CloogMatrix *m, int row, int col, Value val)
{
value_decrement (m->p[row][col], val);
}
static inline void
cloog_matrix_element_substract (CloogMatrix *m, int row, int col, Value val1, Value val2)
{
value_substract (m->p[row][col], val1, val2);
}
static inline void
cloog_matrix_element_set_si (CloogMatrix *m, int row, int col, int val)
{
value_set_si (m->p[row][col], val);
}
/******************************************************************************
* PolyLib interface *
******************************************************************************/
void cloog_matrix_print(FILE *, CloogMatrix *) ;
void cloog_matrix_free(CloogMatrix *) ;
CloogMatrix * cloog_matrix_alloc(unsigned, unsigned) ;
CloogMatrix * cloog_matrix_matrix(Matrix *);
/******************************************************************************
* Structure display function *
******************************************************************************/
void cloog_matrix_print_structure(FILE *, CloogMatrix *, int) ;
/******************************************************************************
* Reading function *
******************************************************************************/
CloogMatrix * cloog_matrix_read(FILE *) ;
/******************************************************************************
* Processing functions *
******************************************************************************/
void cloog_matrix_normalize(CloogMatrix *, int) ;
void cloog_matrix_equality_update(CloogMatrix *, int, int) ;
CloogMatrix * cloog_matrix_copy(CloogMatrix *) ;
Value * cloog_matrix_vector_copy(Value *, int) ;
Value * cloog_matrix_vector_simplify(Value*, CloogMatrix*, int, int, int);
CloogMatrix * cloog_matrix_simplify(CloogMatrix *, CloogMatrix *, int, int) ;
void cloog_matrix_vector_free(Value *, int) ;
#if defined(__cplusplus)
}
#endif
#endif /* define _H */
|
