isl_tab: invalidate undo stack if pushing record fails
[isl.git] / isl_ctx_private.h
blobb4bb2a5e46c549206d6dbec891f84086515d6792
1 #include <isl/ctx.h>
2 #include <isl_blk.h>
4 struct isl_ctx {
5 int ref;
7 struct isl_stats *stats;
9 int opt_allocated;
10 struct isl_options *opt;
11 void *user_opt;
12 struct isl_args *user_args;
14 isl_int zero;
15 isl_int one;
16 isl_int two;
17 isl_int negone;
19 isl_int normalize_gcd;
21 int n_cached;
22 int n_miss;
23 struct isl_blk cache[ISL_BLK_CACHE_SIZE];
24 struct isl_hash_table id_table;
26 enum isl_error error;
28 int abort;
30 unsigned long operations;
31 unsigned long max_operations;
34 int isl_ctx_next_operation(isl_ctx *ctx);