diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-18 14:46:54 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-18 14:46:54 +0000 |
| commit | 7116b6691a7b7d35be13ca586ff1c04429b041c3 (patch) | |
| tree | 9d86548286b926161d9ccaf978e1ef562886e46f | |
| parent | 55318ac5f7b1d86f4d3c7c9ca628b61d30ce721c (diff) | |
MAJ desassembleur apres changement de la representation des
constructeurs constants.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@44 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/dumpobj.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index 38db0b4a4..8fa55962f 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -218,8 +218,12 @@ let print_instr ic = else if op == opSWITCH then (let n = inputu ic in let orig = currpc ic in - for i = 0 to n-1 do - print_string "\n\t"; print_int i; print_string " -> "; + for i = 0 to (n land 0xFFFF) - 1 do + print_string "\n\tint "; print_int i; print_string " -> "; + print_int(orig + inputs ic) + done; + for i = 0 to (n lsr 16) - 1 do + print_string "\n\ttag "; print_int i; print_string " -> "; print_int(orig + inputs ic) done) (* translate *) |