OpenScop  0.9.0
irregular.h
Go to the documentation of this file.
1 
2  /*+-----------------------------------------------------------------**
3  ** OpenScop Library **
4  **-----------------------------------------------------------------**
5  ** extensions/irregular.h **
6  **-----------------------------------------------------------------**
7  ** First version: 07/12/2010 **
8  **-----------------------------------------------------------------**
9 
10 
11  *****************************************************************************
12  * OpenScop: Structures and formats for polyhedral tools to talk together *
13  *****************************************************************************
14  * ,___,,_,__,,__,,__,,__,,_,__,,_,__,,__,,___,_,__,,_,__, *
15  * / / / // // // // / / / // // / / // / /|,_, *
16  * / / / // // // // / / / // // / / // / / / /\ *
17  * |~~~|~|~~~|~~~|~~~|~~~|~|~~~|~|~~~|~~~|~~~|~|~~~|~|~~~|/_/ \ *
18  * | G |C| P | = | L | P |=| = |C| = | = | = |=| = |=| C |\ \ /\ *
19  * | R |l| o | = | e | l |=| = |a| = | = | = |=| = |=| L | \# \ /\ *
20  * | A |a| l | = | t | u |=| = |n| = | = | = |=| = |=| o | |\# \ \ *
21  * | P |n| l | = | s | t |=| = |d| = | = | = | | |=| o | | \# \ \ *
22  * | H | | y | | e | o | | = |l| | | = | | | | G | | \ \ \ *
23  * | I | | | | e | | | | | | | | | | | | | \ \ \ *
24  * | T | | | | | | | | | | | | | | | | | \ \ \ *
25  * | E | | | | | | | | | | | | | | | | | \ \ \ *
26  * | * |*| * | * | * | * |*| * |*| * | * | * |*| * |*| * | / \* \ \ *
27  * | O |p| e | n | S | c |o| p |-| L | i | b |r| a |r| y |/ \ \ / *
28  * '---'-'---'---'---'---'-'---'-'---'---'---'-'---'-'---' '--' *
29  * *
30  * Copyright (C) 2008 University Paris-Sud 11 and INRIA *
31  * *
32  * (3-clause BSD license) *
33  * Redistribution and use in source and binary forms, with or without *
34  * modification, are permitted provided that the following conditions *
35  * are met: *
36  * *
37  * 1. Redistributions of source code must retain the above copyright notice, *
38  * this list of conditions and the following disclaimer. *
39  * 2. Redistributions in binary form must reproduce the above copyright *
40  * notice, this list of conditions and the following disclaimer in the *
41  * documentation and/or other materials provided with the distribution. *
42  * 3. The name of the author may not be used to endorse or promote products *
43  * derived from this software without specific prior written permission. *
44  * *
45  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR *
46  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES *
47  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. *
48  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, *
49  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT *
50  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, *
51  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY *
52  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT *
53  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF *
54  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *
55  * *
56  * OpenScop Library, a library to manipulate OpenScop formats and data *
57  * structures. Written by: *
58  * Cedric Bastoul <Cedric.Bastoul@u-psud.fr> and *
59  * Louis-Noel Pouchet <Louis-Noel.pouchet@inria.fr> *
60  * *
61  *****************************************************************************/
62 
63 
64 #ifndef OSL_IRREGULAR_H
65 # define OSL_IRREGULAR_H
66 
67 # include <stdio.h>
68 # include <osl/macros.h>
69 # include <osl/strings.h>
70 # include <osl/interface.h>
71 
72 # if defined(__cplusplus)
73 extern "C"
74  {
75 # endif
76 
77 
78 # define OSL_URI_IRREGULAR "irregular"
79 # define OSL_TAG_IRREGULAR_START "<"OSL_URI_IRREGULAR">"
80 # define OSL_TAG_IRREGULAR_STOP "</"OSL_URI_IRREGULAR">"
81 
82 
91 struct osl_irregular {
92  // List of predicates (textual representation).
93  int nb_control;
94  int nb_exit;
95  int * nb_iterators;
96  char *** iterators;
100  char ** body;
102  // List of associated predicates for each statement.
105  int ** predicates;
108 };
111 
112 
113 /*+***************************************************************************
114  * Structure display function *
115  *****************************************************************************/
116 void osl_irregular_idump(FILE *, osl_irregular_p, int);
117 void osl_irregular_dump(FILE *, osl_irregular_p);
118 char * osl_irregular_sprint(osl_irregular_p);
119 
120 
121 /*****************************************************************************
122  * Reading function *
123  *****************************************************************************/
124 osl_irregular_p osl_irregular_sread(char **);
125 
126 
127 /*+***************************************************************************
128  * Memory allocation/deallocation function *
129  *****************************************************************************/
130 osl_irregular_p osl_irregular_malloc();
131 void osl_irregular_free(osl_irregular_p);
132 
133 
134 /*+***************************************************************************
135  * Processing functions *
136  *****************************************************************************/
137 osl_irregular_p osl_irregular_clone(osl_irregular_p);
138 int osl_irregular_equal(osl_irregular_p, osl_irregular_p);
139 osl_irregular_p osl_irregular_add_control(osl_irregular_p, char**, int, char*);
140 osl_irregular_p osl_irregular_add_exit(osl_irregular_p, char**, int, char*);
141 osl_irregular_p osl_irregular_add_predicates(osl_irregular_p, int*, int);
143 
144 
145 # if defined(__cplusplus)
146  }
147 # endif
148 
149 #endif /* define OSL_IRREGULAR_H */
osl_irregular_p osl_irregular_sread(char **)
Definition: irregular.c:230
int osl_irregular_equal(osl_irregular_p, osl_irregular_p)
Definition: irregular.c:463
void osl_irregular_free(osl_irregular_p)
Definition: irregular.c:339
osl_irregular_p osl_irregular_malloc()
Definition: irregular.c:315
osl_irregular_p osl_irregular_add_exit(osl_irregular_p, char **, int, char *)
Definition: irregular.c:592
osl_irregular_p osl_irregular_clone(osl_irregular_p)
Definition: irregular.c:381
osl_interface_p osl_irregular_interface()
Definition: irregular.c:749
int ** predicates
Definition: irregular.h:105
char *** iterators
Definition: irregular.h:96
int nb_statements
Definition: irregular.h:103
osl_irregular_p osl_irregular_add_predicates(osl_irregular_p, int *, int)
Definition: irregular.c:667
struct osl_irregular * osl_irregular_p
Definition: irregular.h:110
void osl_irregular_idump(FILE *, osl_irregular_p, int)
Definition: irregular.c:89
int nb_control
Definition: irregular.h:93
char ** body
Definition: irregular.h:100
char * osl_irregular_sprint(osl_irregular_p)
Definition: irregular.c:159
void osl_irregular_dump(FILE *, osl_irregular_p)
Definition: irregular.c:147
int * nb_iterators
Definition: irregular.h:95
int * nb_predicates
Definition: irregular.h:104
osl_irregular_p osl_irregular_add_control(osl_irregular_p, char **, int, char *)
Definition: irregular.c:503