diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-06-25 19:22:42 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-06-25 19:22:42 +0000 |
| commit | d553cb165a5dd02c8d27e88a196e0e6b15cf389b (patch) | |
| tree | 1cf3a7c5387422f23bb89c2fe623ab436e6aec2b /src/runtime/c/pgf/lightning | |
| parent | 09a42bbab0bc0d19cd7bd85f8b3705316c8b4038 (diff) | |
Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.
Diffstat (limited to 'src/runtime/c/pgf/lightning')
| -rw-r--r-- | src/runtime/c/pgf/lightning/i386/core-32.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/lightning/i386/core-32.h b/src/runtime/c/pgf/lightning/i386/core-32.h index 48117ddb9..6d5e8b6ab 100644 --- a/src/runtime/c/pgf/lightning/i386/core-32.h +++ b/src/runtime/c/pgf/lightning/i386/core-32.h @@ -53,7 +53,7 @@ struct jit_local_state { /* Whether a register is used for the user-accessible registers. */ #define jit_save(reg) 1 -#define jit_base_prolog() (_jitl.framesize = 20, _jitl.alloca_offset = _jitl.alloca_slack = 0, \ +#define jit_base_prolog() (_jitl.framesize = 20, _jitl.alloca_offset = _jitl.alloca_slack = 0, _jitl.argssize = 0, \ PUSHLr(_EBX), PUSHLr(_ESI), PUSHLr(_EDI), PUSHLr(_EBP), MOVLrr(_ESP, _EBP)) #define jit_base_ret(ofs) \ (((ofs) < 0 ? LEAVE_() : POPLr(_EBP)), \ |