diff options
| author | Basile Starynkevitch <basile.starynkevitch@inria.fr> | 2004-04-26 07:59:23 +0000 |
|---|---|---|
| committer | Basile Starynkevitch <basile.starynkevitch@inria.fr> | 2004-04-26 07:59:23 +0000 |
| commit | d2441b0b7f32103b4cb12ed7f7b8c80a5cfe8e95 (patch) | |
| tree | bf48fdf6b50d3adaed709feec18b1123b7448aa7 | |
| parent | 8db9132e8434ee99ecc48cbf71351b680dc7e6af (diff) | |
added caml_bcodcount for traced DEBUG
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | byterun/interp.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/byterun/interp.c b/byterun/interp.c index ef1a03e8c..6c0df8c6d 100644 --- a/byterun/interp.c +++ b/byterun/interp.c @@ -183,6 +183,11 @@ extern long caml_safe_div(long p, long q); extern long caml_safe_mod(long p, long q); #endif + +#ifdef DEBUG +static long caml_bcodcount; +#endif + /* The interpreter itself */ value caml_interprete(code_t prog, asize_t prog_size) @@ -266,7 +271,9 @@ value caml_interprete(code_t prog, asize_t prog_size) #else while(1) { #ifdef DEBUG + caml_bcodcount++; if (caml_icount-- == 0) caml_stop_here (); + if (caml_trace_flag>1) printf("\n##%ld\n", caml_bcodcount); if (caml_trace_flag) caml_disasm_instr(pc); if (caml_trace_flag>1) { printf("env="); |