GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

a fix that should solve the segmentation fault on MacOS with the exhaustive generator

Browse Source
This commit is contained in:
krasimir
2015-12-19 17:30:41 +00:00
parent 6947d36e1a
commit 0b9395fd70
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/runtime/c/pgf/jit.c
View File

@@ -242,7 +242,7 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
pgf_jit_make_space(rdr, JIT_CODE_WINDOW);
jit_patch_movi(ref,jit_get_label());
} else {
jit_patch_movi(ref,pgf_reasoner_complete);
jit_patch_movi(ref,abstr->eval_gates->complete);
}
}
} else {
@@ -351,7 +351,9 @@ pgf_jit_gates(PgfReader* rdr)
jit_getarg_p(JIT_VCLOS, closure_arg);
jit_stxi_p(offsetof(PgfReasoner, enter_stack_ptr), JIT_VSTATE, JIT_SP);
jit_ldr_p(JIT_R0, JIT_VCLOS);
jit_pushr_i(JIT_R0); // this is just for stack alignment on System V
jit_callr(JIT_R0);
jit_popr_i(JIT_R0); // this is just for stack alignment on System V
jit_movr_p(JIT_RET, JIT_VHEAP);
jit_ret();
@@ -595,6 +597,15 @@ pgf_jit_gates(PgfReader* rdr)
jit_finish(pgf_reasoner_combine2);
jit_bare_ret();
pgf_jit_make_space(rdr, JIT_CODE_WINDOW);
gates->complete = (void*) jit_get_ip().ptr;
jit_prepare(2);
jit_pusharg_p(JIT_VCLOS);
jit_pusharg_p(JIT_VSTATE);
jit_finish(pgf_reasoner_complete);
jit_ret();
gates->fin.fn = pgf_jit_finalize_cafs;
gates->cafs = NULL;
gu_pool_finally(rdr->opool, &gates->fin);

1
src/runtime/c/pgf/reasoner.h
View File

@@ -106,6 +106,7 @@ struct PgfEvalGates {
PgfFunction combine1;
PgfFunction combine2;
PgfFunction complete;
PgfClosure* (*enter)(PgfReasoner* rs, PgfClosure* closure);