strcalc.h 6.4 KB
Newer Older
Christian Würdig's avatar
Christian Würdig committed
1
/*
Michael Beck's avatar
Michael Beck committed
2
 * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
Christian Würdig's avatar
Christian Würdig committed
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 *
 * This file is part of libFirm.
 *
 * This file may be distributed and/or modified under the terms of the
 * GNU General Public License version 2 as published by the Free Software
 * Foundation and appearing in the file LICENSE.GPL included in the
 * packaging of this file.
 *
 * Licensees holding valid libFirm Professional Edition licenses may use
 * this file in accordance with the libFirm Commercial License.
 * Agreement provided with the Software.
 *
 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE.
 */

20
/**
Michael Beck's avatar
Michael Beck committed
21
22
23
24
25
26
 * @file
 * @brief    Provides basic mathematical operations on values represented as strings.
 * @date     2003
 * @author   Mathias Heil
 * @version  $Id$
 * @summary
27
 *
28
29
30
31
 * The module uses a string to represent values, and provides operations
 * to perform calculations with these values.
 * Results are stored in an internal buffer, so you have to make a copy
 * of them if you need to store the result.
32
 *
33
 */
Michael Beck's avatar
Michael Beck committed
34
35
#ifndef FIRM_TV_STRCALC_H
#define FIRM_TV_STRCALC_H
36

37
38
#include "irmode.h"

39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
#ifdef STRCALC_DEBUG_ALL             /* switch on all debug options */
#  ifndef STRCALC_DEBUG
#    define STRCALC_DEBUG            /* switch on debug output */
#  endif
#  ifndef STRCALC_DEBUG_PRINTCOMP    /* print arguments and result of each computation */
#    define STRCALC_DEBUG_PRINTCOMP
#  endif
#  ifndef STRCALC_DEBUG_FULLPRINT
#    define STRCALC_DEBUG_FULLPRINT  /* print full length of values (e.g. 128 bit instead of 64 bit using default init) */
#  endif
#  ifndef STRCALC_DEBUG_GROUPPRINT
#    define STRCALC_DEBUG_GROUPPRINT /* print spaces after each 8 bits */
#  endif
#endif

/*
 * constants, typedefs, enums
 */

58
#define SC_DEFAULT_PRECISION 64
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

enum {
  SC_0 = 0,
  SC_1,
  SC_2,
  SC_3,
  SC_4,
  SC_5,
  SC_6,
  SC_7,
  SC_8,
  SC_9,
  SC_A,
  SC_B,
  SC_C,
  SC_D,
  SC_E,
Till Riedel's avatar
Till Riedel committed
76
  SC_F
77
78
};

79
/**
Michael Beck's avatar
Michael Beck committed
80
 * The output mode for integer values.
81
82
 */
enum base_t {
Florian Liekweg's avatar
Florian Liekweg committed
83
84
85
86
87
  SC_hex,   /**< hexadecimal output with small letters */
  SC_HEX,   /**< hexadecimal output with BIG letters */
  SC_DEC,   /**< decimal output */
  SC_OCT,   /**< octal output */
  SC_BIN    /**< binary output */
88
89
};

90
91
/**
 * buffer = value1 + value2
92
 */
Michael Beck's avatar
Michael Beck committed
93
void sc_add(const void *value1, const void *value2, void *buffer);
94
95
96
97

/**
 * buffer = value1 - value2
 */
Michael Beck's avatar
Michael Beck committed
98
void sc_sub(const void *value1, const void *value2, void *buffer);
99
100
101
102

/**
 * buffer = -value
 */
Michael Beck's avatar
Michael Beck committed
103
void sc_neg(const void *value, void *buffer);
104
105
106
107

/**
 * buffer = value1 & value2
 */
Michael Beck's avatar
Michael Beck committed
108
void sc_and(const void *value1, const void *value2, void *buffer);
109
110
111
112

/**
 * buffer = value1 | value2
 */
Michael Beck's avatar
Michael Beck committed
113
void sc_or(const void *value1, const void *value2, void *buffer);
114
115
116
117

/**
 * buffer = value1 ^ value2
 */
Michael Beck's avatar
Michael Beck committed
118
void sc_xor(const void *value1, const void *value2, void *buffer);
119
120
121
122
123
124
125
126
127

/**
 * buffer = ~value
 */
void sc_not(const void *value, void *buffer);

/**
 * buffer = value1 * value2
 */
Michael Beck's avatar
Michael Beck committed
128
void sc_mul(const void *value1, const void *value2, void *buffer);
129
130
131
132

/**
 * buffer = value1 / value2
 */
133
void sc_div(const void *value1, const void *value2, void *buffer);
134
135
136
137

/**
 * buffer = value1 % value2
 */
Michael Beck's avatar
Michael Beck committed
138
void sc_mod(const void *value1, const void *value2, void *buffer);
139

Michael Beck's avatar
Michael Beck committed
140
141
142
143
144
145
/**
 * div_buffer = value1 / value2
 * mod_buffer = value1 % value2
 */
void sc_divmod(const void *value1, const void *value2, void *div_buffer, void *mod_buffer);

146
147
148
/**
 * buffer = value1 << offset
 */
149
void sc_shlI(const void *val1, long shift_cnt, int bitsize, int sign, void *buffer);
150

151
152
153
/**
 * buffer = value1 << value2
 */
154
void sc_shl(const void *value1, const void *value2, int bitsize, int sign, void *buffer);
155

156
157
158
/**
 * buffer = value1 >>u offset
 */
159
void sc_shrI(const void *val1, long shift_cnt, int bitsize, int sign, void *buffer);
160

161
162
163
/**
 * buffer = value1 >>u value2
 */
164
void sc_shr(const void *value1, const void *value2, int bitsize, int sign, void *buffer);
165
166
167
168

/**
 * buffer = value1 >>s value2
 */
169
void sc_shrs(const void *value1, const void *value2, int bitsize, int sign, void *buffer);
170
171

/**
172
 * buffer = value1 <<left>> value2
173
 */
174
void sc_rotl(const void *value1, const void *value2, int bitsize, int sign, void *buffer);
175

176
177
178
179
180
/**
 * buffer = 0
 */
void sc_zero(void *buffer);

181
/*
182
 * function declarations
183
 */
184
const void *sc_get_buffer(void);
Michael Beck's avatar
Michael Beck committed
185
int sc_get_buffer_length(void);
186

187
void sign_extend(void *buffer, ir_mode *mode);
Michael Beck's avatar
BugFix:    
Michael Beck committed
188

189
190
191
192
/** create an value form a string representation */
void sc_val_from_str(const char *str, unsigned int len, void *buffer, ir_mode *mode);

/** create a value from a long */
193
void sc_val_from_long(long l, void *buffer);
194
195

/** create a value form an unsigned long */
196
void sc_val_from_ulong(unsigned long l, void *buffer);
197
198

/** converts a value to a long */
Michael Beck's avatar
Michael Beck committed
199
long sc_val_to_long(const void *val);
200
201
void sc_min_from_bits(unsigned int num_bits, unsigned int sign, void *buffer);
void sc_max_from_bits(unsigned int num_bits, unsigned int sign, void *buffer);
202

203
204
205
/** truncates a value to lowest @p num_bits bits */
void sc_truncate(unsigned num_bits, void *buffer);

206
207
208
/**
 * Compares val1 and val2
 */
209
210
int  sc_comp(const void *val1, const void *val2);

Matthias Heil's avatar
Matthias Heil committed
211
212
int sc_get_highest_set_bit(const void *value);
int sc_get_lowest_set_bit(const void *value);
213
214
int sc_is_zero(const void *value);
int sc_is_negative(const void *value);
215
216
217
218
219
220
221
222

/**
 * Return the bits of a tarval at a given byte-offset.
 *
 * @param value     the value
 * @param len       number of valid bits in the value
 * @param byte_ofs  the byte offset
 */
Matthias Heil's avatar
Matthias Heil committed
223
unsigned char sc_sub_bits(const void *value, int len, unsigned byte_ofs);
224

225
226
227
/**
 * Converts a tarval into a string.
 *
228
229
230
231
 * @param val1        the value pointer
 * @param bits        number of valid bits in this value
 * @param base        output base
 * @param signed_mode print it signed (only decimal mode supported
232
 */
233
const char *sc_print(const void *val1, unsigned bits, enum base_t base, int signed_mode);
234

Michael Beck's avatar
Michael Beck committed
235
/** Initialize the strcalc module.
236
237
238
239
240
241
 * Sets up internal data structures and constants
 * After the first call subsequent calls have no effect
 *
 * @param precision_in_bytes Specifies internal precision to be used
 *   for calculations. The reason for being multiples of 8 eludes me
 */
Matthias Heil's avatar
Matthias Heil committed
242
void init_strcalc(int precision_in_bytes);
243
void finish_strcalc(void);
244
int sc_get_precision(void);
Matthias Heil's avatar
Matthias Heil committed
245

246
247
248
/** Return the bit at a given position. */
int sc_get_bit_at(const void *value, unsigned pos);

249
250
251
/** Set the bit at the specified position. */
void sc_set_bit_at(void *value, unsigned pos);

252
253
254
/* Strange semantics */
int sc_had_carry(void);

Michael Beck's avatar
Michael Beck committed
255
#endif /* FIRM_TV_STRCALC_H */