2
/*+-----------------------------------------------------------------**
4
**-----------------------------------------------------------------**
6
**-----------------------------------------------------------------**
7
** First version: 18/07/2011 **
8
**-----------------------------------------------------------------**
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
* '---'-'---'---'---'---'-'---'-'---'---'---'-'---'-'---' '--' *
30
* Copyright (C) 2008 University Paris-Sud 11 and INRIA *
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 *
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. *
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. *
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> *
61
*****************************************************************************/
67
# ifdef OSL_GMP_IS_HERE
71
# if defined(__cplusplus)
77
* The osl_int_t union stores an OpenScop integer element.
80
long int sp; /**< Single precision int */
81
long long dp; /**< Double precision int */
82
void* mp; /**< Pointer to a multiple precision int */
84
typedef union osl_int osl_int_t;
85
typedef union osl_int * osl_int_p;
88
/*+***************************************************************************
90
*****************************************************************************/
93
int osl_int_is_precision_supported(int);
94
void osl_int_dump_precision(FILE *, int);
95
void osl_int_init(int, osl_int_p);
96
osl_int_p osl_int_malloc(int);
97
void osl_int_assign(int, osl_int_p, osl_int_t);
98
void osl_int_set_si(int, osl_int_p, int);
99
int osl_int_get_si(int, osl_int_t);
100
void osl_int_init_set_si(int, osl_int_p, int);
101
void osl_int_swap(int, osl_int_p, osl_int_p);
102
void osl_int_clear(int, osl_int_p);
103
void osl_int_free(int, osl_int_p);
104
void osl_int_print(FILE *, int, osl_int_t);
105
void osl_int_sprint(char *, int, osl_int_t);
106
void osl_int_sprint_txt(char *, int, osl_int_t);
107
void osl_int_sread(char **, int, osl_int_p);
110
/*+***************************************************************************
111
* Arithmetic Operations *
112
*****************************************************************************/
115
void osl_int_increment(int, osl_int_p, osl_int_t);
116
void osl_int_decrement(int, osl_int_p, osl_int_t);
117
void osl_int_add(int, osl_int_p, osl_int_t, osl_int_t);
118
void osl_int_add_si(int, osl_int_p, osl_int_t, int);
119
void osl_int_mul(int, osl_int_p, osl_int_t, osl_int_t);
120
void osl_int_mul_si(int, osl_int_p, osl_int_t, int);
121
void osl_int_sub(int, osl_int_p, osl_int_t, osl_int_t);
122
void osl_int_oppose(int, osl_int_p, osl_int_t);
123
void osl_int_abs(int, osl_int_p, osl_int_t);
126
/*+***************************************************************************
127
* Conditional Operations *
128
*****************************************************************************/
131
int osl_int_eq(int, osl_int_t, osl_int_t);
132
int osl_int_ne(int, osl_int_t, osl_int_t);
133
int osl_int_pos(int, osl_int_t);
134
int osl_int_neg(int, osl_int_t);
135
int osl_int_zero(int, osl_int_t);
136
int osl_int_one(int, osl_int_t);
137
int osl_int_mone(int, osl_int_t);
138
int osl_int_divisible(int, osl_int_t, osl_int_t);
141
# if defined(__cplusplus)
145
#endif /* define OSL_INT_H */