Changeset 35 for Deliverables/D4.1

Timestamp:

Sep 3, 2010, 3:44:27 PM (10 years ago)

Author:

mulligan

Message:

`fetch' function complete.

Location:

Deliverables/D4.1

Files:

• ASM.mli (modified) (1 diff)
• ASMInterpret.ml (modified) (1 diff)

Deliverables/D4.1/ASM.mli

@@ -40 +40 @@
      carry * [ bit | nbit]) union3
  | ORL of
-    (acc * [ reg | direct | indirect ],
+    (acc * [ reg | data | direct | indirect ],
      direct * [ acc | data ],
      carry * [ bit | nbit]) union3
  | XRL of
-    (acc * [ reg | direct | indirect ],
+    (acc * [ data | reg | direct | indirect ],
      direct * [ acc | data ]) union2
  | CLR of [ acc | carry | bit ]

Deliverables/D4.1/ASMInterpret.ml

@@ -269 +269 @@
    | (false,true,false,false),(true,r1,r2,r3) ->
          ORL (`U1(`A, `REG(r1,r2,r3))), pc, 1
+   | (false,true,false,false),(false,true,false,true) ->
+       let pc,b1 = next pc in
+         ORL (`U1(`A, `DIRECT b1)), pc, 1
+   | (false,true,false,false),(false,true,true,i1) ->
+         ORL (`U1(`A, `INDIRECT i1)), pc, 1
+   | (false,true,false,false),(false,true,false,false) ->
+       let pc,b1 = next pc in
+         ORL (`U1(`A, `DATA b1)), pc, 1
+   | (false,true,false,false),(false,false,true,false) ->
+       let pc,b1 = next pc in
+         ORL (`U2(`DIRECT b1, `A)), pc, 1
+   | (false,true,false,false),(false,false,true,true) ->
+       let pc,b1 = next pc in
+       let pc,b2 = next pc in
+         ORL (`U2 (`DIRECT b1, `DATA b2)), pc, 2
+   | (false,true,true,true),(false,false,true,false) ->
+       let pc,b1 = next7 pc in
+         ORL (`U3 (`C, `BIT b1)), pc, 2
+   | (true,false,true,false),(false,false,false,false) ->
+       let pc,b1 = next7 pc in
+         ORL (`U3 (`C, `NBIT b1)), pc, 2
+   | (true,true,false,true),(false,false,false,false) ->
+       let pc,b1 = next pc in
+         POP (`DIRECT b1), pc, 2
+   | (true,true,false,false),(false,false,false,false) ->
+       let pc,b1 = next pc in
+         PUSH (`DIRECT b1), pc, 2
+   | (false,false,true,false),(false,false,true,false) ->
+         RET, pc, 2
+   | (false,false,true,true),(false,false,true,false) ->
+         RETI, pc, 2
+   | (false,false,true,false),(false,false,true,true) ->
+         RL `A, pc, 1
+   | (false,false,true,true),(false,false,true,true) ->
+         RLC `A, pc, 1
+   | (false,false,false,false),(false,false,true,true) ->
+         RR `A, pc, 1
+   | (false,false,false,true),(false,false,true,true) ->
+         RRC `A, pc, 1
+   | (true,true,false,true),(false,false,true,true) ->
+         SETB `C, pc, 1
+   | (true,true,false,true),(false,false,true,false) ->
+       let pc,b1 = next7 pc in
+         SETB (`BIT b1), pc, 1
+   | (true,false,false,false),(false,false,false,false) ->
+       let pc,b1 = next pc in
+         SJMP (`REL b1), pc, 2
+   | (true,false,false,true),(false,true,false,true) ->
+       let pc,b1 = next pc in
+         SUBB (`A, `DIRECT b1), pc, 1
+   | (true,false,false,true),(false,true,true,i1) ->
+         SUBB (`A, `INDIRECT i1), pc, 1
+   | (true,false,false,true),(false,true,false,false) ->
+       let pc,b1 = next pc in
+         SUBB (`A, `DATA b1), pc, 1
+   | (true,true,false,false),(false,true,false,false) ->
+         SWAP `A, pc, 1
+   | (true,true,false,false),(true,r1,r2,r3) ->
+         XCH (`A, `REG(r1,r2,r3)), pc, 1
+   | (true,true,false,false),(false,true,false,true) ->
+       let pc,b1 = next pc in
+         XCH (`A, `DIRECT b1), pc, 1
+   | (true,true,false,false),(false,true,true,i1) ->
+         XCH (`A, `INDIRECT i1), pc, 1
+   | (true,true,false,true),(false,true,true,i1) ->
+         XCHD(`A, `INDIRECT i1), pc, 1
+   | (false,true,true,false),(true,r1,r2,r3) ->
+         XRL(`U1(`A, `REG(r1,r2,r3))), pc, 1
+   | (false,true,true,false),(false,true,false,true) ->
+       let pc,b1 = next pc in
+         XRL(`U1(`A, `DIRECT b1)), pc, 1
+   | (false,true,true,false),(false,true,true,i1) ->
+         XRL(`U1(`A, `INDIRECT i1)), pc, 1
+   | (false,true,true,false),(false,true,false,false) ->
+       let pc,b1 = next pc in
+         XRL(`U1(`A, `DATA b1)), pc, 1
+   | (false,true,true,false),(false,false,true,false) ->
+       let pc,b1 = next pc in
+         XRL(`U2(`DIRECT b1, `A)), pc, 1
+   | (false,true,true,false),(false,false,true,true) ->
+       let pc,b1 = next pc in
+       let pc,b2 = next pc in
+         XRL(`U2(`DIRECT b1, `DATA b2)), pc, 2
  with
   Not_found -> raise BOO