Changeset 28 for Deliverables/D4.1

Timestamp:

Sep 2, 2010, 6:30:29 PM (10 years ago)

Author:

sacerdot

Message:

1) all the opcodes are there in ASM syntax

(but no labels, pseudo-instruction and similar ASM-level stuff)

2) assembly function (from ASM syntax to bytes) partially implemented
3) decode function (from bytes to ASM syntax) partially implemented
4) one-step execute function partially implemented

Location:

Deliverables/D4.1

Files:

• ASM.mli (modified) (2 diffs)
• ASMInterpret.ml (added)
• Makefile (added)
• physical.ml (added)
• physical.mli (modified) (1 diff)

Deliverables/D4.1/ASM.mli

@@ -5 +5 @@
 type ('a,'b,'c,'d,'e,'f) union6 = [ `U1 of 'a | `U2 of 'b | `U3 of 'c | `U4 of 'd | `U5 of 'e | `U6 of 'f ]
 
-type direct = [ `Direct of byte ]
-type indirect = [ `IR0 | `IR1 ]
-type reg = [ `R0 | `R1 | `R2 | `R3 | `R4 | `R5 | `R6 | `R7 ]
+type direct = [ `DIRECT of byte ]
+type indirect = [ `INDIRECT of bool ]
+type reg = [ `REG of bit * bit * bit ]
 type acc = [ `A ]
 type b = [ `B ]
@@ -36 +36 @@
  (* logical operations *)
  | ANL of
-    (acc * [ reg | direct | indirect ],
+    (acc * [ reg | direct | indirect | data ],
      direct * [ acc | data ],
      carry * [ bit | nbit]) union3

Deliverables/D4.1/physical.mli

@@ +1 @@
+exception FOO2
+
 type bit = bool
 type nibble = bit * bit * bit * bit
 type byte = nibble * nibble
-type byte7 = nibble * bit * bit * bit
+type byte7 = bit * bit * bit * nibble
 type word = byte * byte
-type word11 = byte * bit * bit * bit
+type word11 = bit * bit * bit * byte
+
+module Byte7Map : Map.S with type key = byte7
+module WordMap : Map.S with type key = word
+
+val byte7_of_byte: byte -> byte7
+
+val word_of_int: int -> word
+val byte7_of_int: int -> byte7
+val byte_of_int: int -> byte
+val int_of_bit: bit -> int
+val int_of_byte: byte -> int
+val int_of_nibble: nibble -> int
+
+val (++): word -> int -> word
+
+val add8_with_c:
+ byte -> byte -> bit -> byte * bit * bit * bit (* +, c, ac, ov *)
+val subb8_with_c:
+ byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
+val dec: byte -> byte (* with roll-over *)
+val inc: byte -> byte (* with roll-over *)