Enum: a tool for generating code

                                                      SOFTWARE ANNOUNCEMENT


                                        ENUM: A TOOL FOR SCANNING POLYHEDRONS


                                --------------------------------------------




Enum is a standalone program written in C which is aimed at solving
the polyhedron scanning problem: given a parameterized polyhedron P in
a context C (P and C are both defined by systems of affine
constraints), enum computes a control structure whose execution
enumerates the integer vectors of P for a given parameter in C. The
general form of the control structure is a conditionnal statement
whose body is composed of a loop nest enumerating the integer vectors
of P. The polyhedron scanning problem is well-known in the field of
automatic loop transformation and the compilation of (High
Performance) Fortran DO-loops or systems of affine recurrence
equations on parallel architectures.


For more information: http://www.irisa.fr/pampa/NOUVEAUTES/logiciels.html




------------------------------------------------------
| Marc LE FUR | Tel : +33.99.84.72.05 |
| IRISA | Fax : +33.99.84.71.71 |
| projet PAMPA | E-mail : mlefur@irisa.fr |
| Campus de Beaulieu | http://www.irisa.fr/pampa |
| 35042 Rennes cedex | |
| FRANCE | |
--

Return to the comp.compilers page.
Search the comp.compilers archives again.