source: Deliverables/D4.1/ASMInterpret.mli @ 99

Last change on this file since 99 was 99, checked in by mulligan, 9 years ago

Final clean-up

File size: 1.2 KB
Line 
1exception Fetch_exception of string
2
3type time = int
4
5type status = {
6  code_memory : [ `Eight ] BitVectors.vect Physical.WordMap.t;
7  low_internal_ram : [ `Eight ] BitVectors.vect Physical.Byte7Map.t;
8  high_internal_ram : [ `Eight ] BitVectors.vect Physical.Byte7Map.t;
9  external_ram : [ `Eight ] BitVectors.vect Physical.WordMap.t;
10  pc : BitVectors.word;
11  p0 : BitVectors.byte;
12  sp : BitVectors.byte;
13  dpl : BitVectors.byte;
14  dph : BitVectors.byte;
15  pcon : BitVectors.byte;
16  tcon : BitVectors.byte;
17  tmod : BitVectors.byte;
18  tl0 : BitVectors.byte;
19  tl1 : BitVectors.byte;
20  th0 : BitVectors.byte;
21  th1 : BitVectors.byte;
22  p1 : BitVectors.byte;
23  scon : BitVectors.byte;
24  sbuf : BitVectors.byte;
25  p2 : BitVectors.byte;
26  ie : BitVectors.byte;
27  p3 : BitVectors.byte;
28  ip : BitVectors.byte;
29  psw : BitVectors.byte;
30  acc : BitVectors.byte;
31  b : BitVectors.byte;
32  clock : time;
33  timer0 : BitVectors.word;
34  timer1 : BitVectors.word;
35  timer2 : BitVectors.word;
36  io : time * int -> BitVectors.byte option;
37}
38
39val empty : status
40
41val fetch :
42  BitVectors.byte Physical.WordMap.t ->
43  Physical.WordMap.key ->
44   ASM.instruction * [ `Sixteen ] BitVectors.vect * int
45val assembly1 : ASM.instruction -> BitVectors.byte list
Note: See TracBrowser for help on using the repository browser.