From 5dacc48b53568f673b03de794a9a13f7a5c11b0f Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Thu, 14 Nov 2013 17:58:57 +0100
Subject: Imported MIPS ASM definitions and more docs.

---
 src/mips.mli | 64 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 64 insertions(+)
 create mode 100644 src/mips.mli

(limited to 'src/mips.mli')

diff --git a/src/mips.mli b/src/mips.mli
new file mode 100644
index 0000000..551df62
--- /dev/null
+++ b/src/mips.mli
@@ -0,0 +1,64 @@
+
+type register =
+  | ZERO | A0 | A1 | A2 | V0 | T0 | T1 | T2 | S0 | RA | SP | FP
+
+type address =
+  | Alab of string
+  | Areg of int * register
+
+type operand =
+  | Oimm of int
+  | Oreg of register
+
+type arith = Add | Sub | Mul | Div | Rem
+
+type condition = Eq | Ne | Le | Lt | Ge | Gt
+
+type label = string
+
+type instruction =
+  | Move of register * register
+  | Li of register * int
+  | Li32 of register * int32
+  | La of register * label
+  | Lw of register * address
+  | Sw of register * address
+  | Lb of register * address
+  | Sb of register * address
+  | Arith of arith * register * register * operand
+  | Neg of register * register
+  | Set of condition * register * register * operand
+  | B of label
+  | Beq of register * register * label
+  | Beqz of register * label
+  | Bnez of register * label
+  | J of string
+  | Jal of string
+  | Jr of register
+  | Jalr of register
+  | Syscall
+  | Label of string
+  | Inline of string
+
+type code
+
+val nop : code
+val mips : instruction list -> code
+val inline : string -> code
+val (++) : code -> code -> code
+
+type word = Wint of int | Waddr of string
+
+type data =
+  | Asciiz of string * string
+  | Word of string * word list
+  | Space of string * int
+  | Align of int
+
+type program = {
+  text : code;
+  data : data list;
+}
+
+val print_program : Format.formatter -> program -> unit
+
-- 
cgit v1.2.3