forked from periscop/cloog
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
203 lines (160 loc) · 8.99 KB
/
README
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
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
#
# /**-------------------------------------------------------------------**
# ** CLooG **
# **-------------------------------------------------------------------**
# ** The Chunky Loop Generator **
# **-------------------------------------------------------------------**
# ** First version of this file: january 22th 2002 **
# **-------------------------------------------------------------------**/
#
For complete informations about this software, how to build and use it,
please see the postscript file in the ./doc subdirectory (a pdf version
is available in the web site).
Overview :
I. Description
II. Building CLooG
III. Options
IV. Running CLooG
V. General Questions
# **-------------------------------------------------------------------**
# ** I. Description **
# **-------------------------------------------------------------------**/
CLooG is a software which generates loops for scanning Z-polyhedra. That is,
CLooG finds the code or pseudo-code where each integral point of one or more
parametrized polyhedron or parametrized polyhedra union is reached. CLooG is
designed to avoid control overhead and to produce a very efficient code.
Its input is some data on the polyhedra to scan, basically the system of
affine inequalities that define them, and a context that defines some
properties known on the parameters if any. The output is the pseudo scanning
code. Many facilities are provided to generate a near-to-be-compileable code,
and every useful functions to generate the code may be called from the CLooG
library.
INPUT | OUTPUT
(fortunately not exactly the input, | (the real one, with default options)
check test/readme.cloog for the |
real input for that problem !) |
|
j^ i>=2 |
| | j<=n+2-i |
| |\ | i<=n |
| | \ | |
m-+-****---+-j<=m | for (i=2;i<=n;i++) {
| ***** | | for (j=2;j<=min(m,-i+n+2);j++) {
| ****** | ==> S1 ;
| *******| | }
2-+-********-j>=2 | }
| | |\ |
0-+-+------+--->i |
| | | |
0 2 n |
|
Context : n>=2 |
m>=2 |
System : 2<=i<=n |
2<=j<=m |
j<=n+2-i |
# **-------------------------------------------------------------------**
# ** II. Building CLooG **
# **-------------------------------------------------------------------**/
If you obtained CLooG from the git repository, then you first
need to obtain the submodules and create a configure script.
./get_submodules.sh
./autogen.sh
The first step is only needed if you plan on using the isl backend.
The configure shell script attempts to guess correct values for various
system-dependent variables used during compilation. It uses those values to
create a Makefile. The file configure.ac is used to create configure by a
program called autoconf. You only need configure.ac if you want to change
it or regenerate configure using a newer version of autoconf.
The simplest way to compile this package is:
cd to the directory containing the package's source code and type
./configure
to configure the package for your system (while running, configure prints
some messages telling which features it is checking for). To compile the
package, type
make
to install the program and/or the library, type
make install
you can remove the program binaries and object files from the source code
directory by typing
make clean
To also remove the files that configure created (so you can compile the
package for a different kind of computer) type
make distclean
# **-------------------------------------------------------------------**
# ** III. Options **
# **-------------------------------------------------------------------**/
By default, make will install the package's files in /usr/local/bin,
/usr/local/lib, etc. You can specify an installation prefix other than
/usr/local by giving onfigure the option --prefix=PATH.
By default, configure will use the isl that comes bundled with CLooG.
Using the --with-isl option of configure the user can specify that "no" isl,
a previously installed ("system") isl or a "build" isl should be used.
In the latter case, the user should also specify the build location
using --with-isl-builddir=PATH. In case of an installed isl,
the installation location can be specified using the
--with-isl-prefix=PATH and --with-isl-exec-prefix=PATH options of configure.
By default, configure will seek the PolyLib in standard locations.
If necessary, you can specify the PolyLib's path by giving configure the
option --with-polylib-prefix=PATH and/or --with-polylib-exec-prefix=PATH.
By default, configure will seek the GMP library in standard locations.
If necessary, you can specify the GMP's path by giving configure the
option --with-gmp-prefix=PATH and/or --with-gmp-exec-prefix=PATH.
By default, when using the PolyLib backend,
CLooG and its library are built using 64 bits integer
representation. You can choose to specify explicitly others integer
representations by using:
--with-bits=32 for 32 bits integers,
--with-bits=64 for 64 bits integers (default),
--with-bits=gmp for multiple precision integers.
# **-------------------------------------------------------------------**
# ** IV. Running CLooG **
# **-------------------------------------------------------------------**/
To run CLooG, simply type 'cloog', optionally followed by the name of an
input file. You can type 'cloog -h' or 'cloog --help' for some help.
For more informations, please check the ./doc subdirectory.
# **-------------------------------------------------------------------**
# ** V. General Questions **
# **-------------------------------------------------------------------**/
1. What does CLooG means ?
CLooG is the Chunky LOOp Generator, Chunky is an automatic loop optimizer for
data locality. CLooG is a completely independent part of the Chunky project.
Pronounce 'CLooG' as 'klug', which means 'sly' in german :-).
2. CLooG do not compile, what should I do ?
CLooG should compile everywhere (assuming that PolyLib is still there), thus
there is a problem or the documentation is not clear, in both case it is
necessary to ask the author(s) !
3. I need a feature that CLooG do not implement, what should I do ?
There are two ways. First, CLooG is a LGPL software and library. So you
are welcome to improve it yourself ;-) ! Many project have been successful, it
is -maybe- a sign that this is not too hard to put your hands inside the
source. Second, just ask the author(s) :-) ! Maybe a lot of people would be
interessed by such feature, maybe many people asked for it before, maybe it's
trivial to implement (and even)... Please just never hesitate to ask the
author(s) !
4. I implemented a cool feature, can I submit it ?
Obviously you are welcome to send the author(s) any improvement. But obviously
we are quite careful with readability, correctness and stability, and the
author(s) will read, check and check again any contribution before including it.
Thus, it can take time... There are few basic rules to write contributions:
- (1) Do never change the indentation of any part of the code that is not yours.
- (2) Do never send codes that use more than 80 columns.
- (3) Do never send codes without a lot of comments in (bad or good) english.
- (4) Do never send codes with obscure and/or non-english variable names.
- (5) Use C89, just C, only C (note: "//" comments are not C89,
variable declaration elsewhere than at the beginning of a block, is not C89).
- (6) Read doc/SubmittingPatches
Please understand that in order to live for a long time, and to be used in many
projects the very first priority for CLooG is to be readable and documented.
5. Is CLooG bug free ?
No, who can ? ClooG is a complex program, and we do not pretend it to be bug
free. Nevertheless because it has been tested and tested, we are fairly sure
that CLooG results with default options have good chances to be satisfactory.
If you find a result that looks strange, inadequate or incorrect, please send:
- (1) The input file to the author(s).
- (2) The output.
- (3) The first line given by typing 'cloog -v'.
- (4) All your command line options to achieve the result.
We will try to explain the result or to fix the problem as soon as possible.
6. How can I contact the author(s) ?
Just send a mail to [email protected]