diff --git a/src/runtime/c/pgf/jit.h b/src/runtime/c/pgf/jit.h new file mode 100644 index 000000000..eb9d7005e --- /dev/null +++ b/src/runtime/c/pgf/jit.h @@ -0,0 +1,16 @@ +#ifndef PGF_JIT_H_ +#define PGF_JIT_H_ + +typedef struct PgfJitState PgfJitState; + +PgfJitState* +pgf_jit_init(GuPool* tmp_pool, GuPool* pool); + +void +pgf_jit_done(PgfJitState* state, PgfAbstr* abstr); + +void +pgf_jit_predicate(PgfJitState* state, + PgfCIdMap* abscats, PgfAbsCat* abscat); + +#endif