if (!ctx)
goto error;
- if (isl_hash_table_init(ctx, &ctx->name_hash, 0))
+ if (isl_hash_table_init(ctx, &ctx->id_table, 0))
goto error;
ctx->stats = isl_calloc_type(ctx, struct isl_stats);
isl_int_init(ctx->normalize_gcd);
ctx->n_cached = 0;
+ ctx->n_miss = 0;
ctx->error = isl_error_none;
if (!ctx)
return;
isl_assert(ctx, ctx->ref == 0, return);
- isl_hash_table_clear(&ctx->name_hash);
+ isl_hash_table_clear(&ctx->id_table);
isl_blk_clear_cache(ctx);
isl_int_clear(ctx->zero);
isl_int_clear(ctx->one);
if (ctx)
ctx->error = error;
}
+
+void isl_ctx_abort(isl_ctx *ctx)
+{
+ if (ctx)
+ ctx->abort = 1;
+}
+
+void isl_ctx_resume(isl_ctx *ctx)
+{
+ if (ctx)
+ ctx->abort = 0;
+}
+
+int isl_ctx_aborted(isl_ctx *ctx)
+{
+ return ctx ? ctx->abort : -1;
+}