summaryrefslogtreecommitdiff
path: root/src/mips.mli
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-26 23:59:11 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-26 23:59:11 +0100
commitadee0e08e5c6b71090d057b05a0f96b03c2f708f (patch)
tree572b6bbe9122110175fdbf98ced50ed2cfeb9cde /src/mips.mli
parent7f1c80eb804d7d46feec2f0b8def5c6e1a0f6a7f (diff)
downloadLPC-Projet-adee0e08e5c6b71090d057b05a0f96b03c2f708f.tar.gz
LPC-Projet-adee0e08e5c6b71090d057b05a0f96b03c2f708f.zip
Prepared for passing arguments in registers.
Diffstat (limited to 'src/mips.mli')
-rw-r--r--src/mips.mli6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/mips.mli b/src/mips.mli
index a42f1ce..f1e39d6 100644
--- a/src/mips.mli
+++ b/src/mips.mli
@@ -57,6 +57,12 @@ val t0 : register
val t1 : register
val t2 : register
val t3 : register
+val t4 : register
+val t5 : register
+val t6 : register
+val t7 : register
+val t8 : register
+val t9 : register
val s0 : register
val s1 : register
val ra : register