1 #include <isl/ctx.h>
2 #include <isl_blk.h>
3 
4 /* "error" stores the last error that has occurred.
5  * It is reset to isl_error_none by isl_ctx_reset_error.
6  * "error_msg" stores the error message of the last error,
7  * while "error_file" and "error_line" specify where the last error occurred.
8  * "error_msg" and "error_file" always point to statically allocated
9  * strings (if not NULL).
10  */
11 struct isl_ctx {
12 	int			ref;
13 
14 	struct isl_stats	*stats;
15 
16 	int			 opt_allocated;
17 	struct isl_options	*opt;
18 	void			*user_opt;
19 	struct isl_args		*user_args;
20 
21 	isl_int			zero;
22 	isl_int			one;
23 	isl_int			two;
24 	isl_int			negone;
25 
26 	isl_int			normalize_gcd;
27 
28 	int			n_cached;
29 	int			n_miss;
30 	struct isl_blk		cache[ISL_BLK_CACHE_SIZE];
31 	struct isl_hash_table	id_table;
32 
33 	enum isl_error		error;
34 	const char		*error_msg;
35 	const char		*error_file;
36 	int			error_line;
37 
38 	int			abort;
39 
40 	unsigned long		operations;
41 	unsigned long		max_operations;
42 };
43 
44 int isl_ctx_next_operation(isl_ctx *ctx);
45