Changeset 28 for Deliverables/D4.1
- Timestamp:
- Sep 2, 2010, 6:30:29 PM (11 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 3 added
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASM.mli
r27 r28 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 ] 6 6 7 type direct = [ `D irectof byte ]8 type indirect = [ `I R0 | `IR1]9 type reg = [ `R 0 | `R1 | `R2 | `R3 | `R4 | `R5 | `R6 | `R7]7 type direct = [ `DIRECT of byte ] 8 type indirect = [ `INDIRECT of bool ] 9 type reg = [ `REG of bit * bit * bit ] 10 10 type acc = [ `A ] 11 11 type b = [ `B ] … … 36 36 (* logical operations *) 37 37 | ANL of 38 (acc * [ reg | direct | indirect ],38 (acc * [ reg | direct | indirect | data ], 39 39 direct * [ acc | data ], 40 40 carry * [ bit | nbit]) union3 -
Deliverables/D4.1/physical.mli
r27 r28 1 exception FOO2 2 1 3 type bit = bool 2 4 type nibble = bit * bit * bit * bit 3 5 type byte = nibble * nibble 4 type byte7 = nibble * bit * bit * bit6 type byte7 = bit * bit * bit * nibble 5 7 type word = byte * byte 6 type word11 = byte * bit * bit * bit 8 type word11 = bit * bit * bit * byte 9 10 module Byte7Map : Map.S with type key = byte7 11 module WordMap : Map.S with type key = word 12 13 val byte7_of_byte: byte -> byte7 14 15 val word_of_int: int -> word 16 val byte7_of_int: int -> byte7 17 val byte_of_int: int -> byte 18 val int_of_bit: bit -> int 19 val int_of_byte: byte -> int 20 val int_of_nibble: nibble -> int 21 22 val (++): word -> int -> word 23 24 val add8_with_c: 25 byte -> byte -> bit -> byte * bit * bit * bit (* +, c, ac, ov *) 26 val subb8_with_c: 27 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *) 28 val dec: byte -> byte (* with roll-over *) 29 val inc: byte -> byte (* with roll-over *)
Note: See TracChangeset
for help on using the changeset viewer.