instr.mli

用ocaml编写的pascal编译程序

type i_type  = 
  | I_int             (* donn閑s de type entier  *)
  | I_addr            (* donn閑s de type adresse *)

type i_lab   = string (* labels *)

type i_addr  = i_lab  (* adresse virtuelle  *)

type i_instr =
  | I_add of i_type
  | I_sub of i_type
  | I_mul of i_type
  | I_div of i_type
  | I_neg of i_type

  | I_and
  | I_or
  | I_not

  | I_equ of i_type
  | I_geq of i_type
  | I_leq of i_type
  | I_les of i_type
  | I_grt of i_type
  | I_neq of i_type

  | I_ldo of i_type*int 
  | I_ldc of i_type*int
  | I_ind of i_type
  | I_sro of i_type*int
  | I_sto of i_type

  | I_ujp of i_addr
  | I_fjp of i_addr

  | I_ixa of int
  | I_inc of i_type*int
  | I_dec of i_type*int

  | I_dpl of i_type
  | I_ldd of int
  | I_sli of i_type

  | I_new

  | I_lod of i_type*int*int
  | I_lda of int*int
  | I_str of i_type*int*int

  | I_mst of int
  | I_cup of int*i_addr
  | I_ssp of int
  | I_sep of int

  | I_retp
  | I_stp

  | I_movs of int
  | I_movd of int
  | I_alcd of int

type i_unit = 
  | I_ins of i_instr  (* instruction *) 
  | I_lab of i_lab    (* label       *)

type i_code = i_unit list

type i_link = i_lab -> int     (* fonction partielle, renvoie Not_found si indefinie *)

val i_string : (i_lab->string) -> i_instr -> string    (* affichage d'une instruction *)
val i_solve  : i_code  -> i_link                       (* 閐ition de liens            *)
val i_print  : i_code  -> unit                         (* affichage du bytecode       *)