From 2dc7d729222e8ff81640a529e7ae1742fbe11597 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 1 Dec 2000 09:29:14 +0000
Subject: [PATCH] Ajout des nouvelles instructions de Luc

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 tools/dumpobj.ml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index d36d3da2d..f12e78cdb 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -227,6 +227,7 @@ type shape =
   | Uint_Uint
   | Disp
   | Uint_Disp
+  | Sint_Disp
   | Getglobal
   | Getglobal_Uint
   | Setglobal
@@ -367,6 +368,16 @@ let op_shapes = [
   opOFFSETINT, Sint;
   opOFFSETREF, Sint;
   opGETMETHOD, Nothing;
+  opBEQ, Sint_Disp;
+  opBNEQ, Sint_Disp;
+  opBLTINT, Sint_Disp;
+  opBLEINT, Sint_Disp;
+  opBGTINT, Sint_Disp;
+  opBGEINT, Sint_Disp;
+  opULTINT, Nothing;
+  opUGEINT, Nothing;
+  opBULTINT, Uint_Disp;
+  opBUGEINT, Uint_Disp;
   opSTOP, Nothing;
   opEVENT, Nothing;
   opBREAK, Nothing;
@@ -393,6 +404,9 @@ let print_instr ic =
   | Uint_Disp
      -> print_int (inputu ic); print_string ", ";
         let p = currpc ic in print_int (p + inputs ic)
+  | Sint_Disp
+     -> print_int (inputs ic); print_string ", ";
+        let p = currpc ic in print_int (p + inputs ic)
   | Getglobal -> print_getglobal_name ic
   | Getglobal_Uint
      -> print_getglobal_name ic; print_string ", "; print_int (inputu ic)