1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
19
| Op of op�ration * registre * op�rande * registre
20
| Jmp of op�rande * registre
21
| Braz of registre * int
22
| Branz of registre * int
27
| Load | Store | Add | Mult | Sub | Div
28
| And | Or | Xor | Shl | Shr
31
let nombre_de_registres = 32
34
and taille_du_mot = 4;;