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
|
#include <isl/ctx.h>
#include <isl_blk.h>
/* "error" stores the last error that has occurred.
* It is reset to isl_error_none by isl_ctx_reset_error.
* "error_msg" stores the error message of the last error,
* while "error_file" and "error_line" specify where the last error occurred.
* "error_msg" and "error_file" always point to statically allocated
* strings (if not NULL).
*/
struct isl_ctx {
int ref;
struct isl_stats *stats;
int opt_allocated;
struct isl_options *opt;
void *user_opt;
struct isl_args *user_args;
isl_int zero;
isl_int one;
isl_int two;
isl_int negone;
isl_int normalize_gcd;
int n_cached;
int n_miss;
struct isl_blk cache[ISL_BLK_CACHE_SIZE];
struct isl_hash_table id_table;
enum isl_error error;
const char *error_msg;
const char *error_file;
int error_line;
int abort;
unsigned long operations;
unsigned long max_operations;
};
int isl_ctx_next_operation(isl_ctx *ctx);
void isl_ctx_set_full_error(isl_ctx *ctx, enum isl_error error, const char *msg,
const char *file, int line);
|
