| #define _GNU_SOURCE |
#define _GNU_SOURCE |
| |
|
| #include "config.h" |
#include "config.h" |
| |
#include <stdio.h> |
| |
|
| #if defined(DOUBLY_INDIRECT) |
#if defined(DOUBLY_INDIRECT) |
| # undef DIRECT_THREADED |
# undef DIRECT_THREADED |
| Xt *primtable(Label symbols[], Cell size); |
Xt *primtable(Label symbols[], Cell size); |
| Cell prepare_peephole_table(Xt xts[]); |
Cell prepare_peephole_table(Xt xts[]); |
| Xt peephole_opt(Xt xt1, Xt xt2, Cell peeptable); |
Xt peephole_opt(Xt xt1, Xt xt2, Cell peeptable); |
| |
void vm_print_profile(FILE *file); |
| |
void vm_count_block(Xt *ip); |
| |
|
| |
|
| extern int offset_image; |
extern int offset_image; |
