Changeset 43 for Deliverables/D4.1

Timestamp:

Sep 8, 2010, 11:58:29 AM (10 years ago)

Author:

mulligan

Message:

Address1 function completed.

File:

• Deliverables/D4.1/ASMInterpret.ml (modified) (1 diff)

Deliverables/D4.1/ASMInterpret.ml

@@ -504 +504 @@
   | MUL(`A, `B) ->
     [(true,false,true,false),(false,true,false,false)]
+  | NOP ->
+    [(false,false,false,false),(false,false,false,false)]
+  | ORL (`U1(`A, `REG(r1,r2,r3))) ->
+    [(false,true,false,false),(true,r1,r2,r3)]
+  | ORL (`U1(`A, `DIRECT b1)) ->
+    [(false,true,false,false),(false,true,false,true); b1]
+  | ORL (`U1(`A, `INDIRECT i1)) ->
+    [(false,true,false,false),(false,true,true,i1)]
+  | ORL (`U1(`A, `DATA b1)) ->
+    [(false,true,false,false),(false,true,false,false); b1]
+  | ORL (`U2(`DIRECT b1, `A)) ->
+    [(false,true,false,false),(false,false,true,false); b1]
+  | ORL (`U2 (`DIRECT b1, `DATA b2)) ->
+    [(false,true,false,false),(false,false,true,true); b1; b2]
+  | ORL (`U3 (`C, `BIT b1)) ->
+    [(false,true,true,true),(false,false,true,false); byte_of_byte7 b1]
+  | ORL (`U3 (`C, `NBIT b1)) ->
+    [(true,false,true,false),(false,false,false,false); byte_of_byte7 b1]
+  | POP (`DIRECT b1) ->
+    [(true,true,false,true),(false,false,false,false); b1]
+  | PUSH (`DIRECT b1) ->
+    [(true,true,false,false),(false,false,false,false); b1]
+  | RET ->
+    [(false,false,true,false),(false,false,true,false)]
+  | RETI ->
+    [(false,false,true,true),(false,false,true,false)]
+  | RL `A ->
+    [(false,false,true,false),(false,false,true,true)]
+  | RLC `A ->
+    [(false,false,true,true),(false,false,true,true)]
+  | RR `A ->
+    [(false,false,false,false),(false,false,true,true)]
+  | RRC `A ->
+    [(false,false,false,true),(false,false,true,true)]
+  | SETB `C ->
+    [(true,true,false,true),(false,false,true,true)]
+  | SETB (`BIT b1) ->
+    [(true,true,false,true),(false,false,true,false); byte_of_byte7 b1]
+  | SJMP (`REL b1) ->
+    [(true,false,false,false),(false,false,false,false); b1]
+  | SUBB (`A, `DIRECT b1) ->
+    [(true,false,false,true),(false,true,false,true); b1]
+  | SUBB (`A, `INDIRECT i1) ->
+    [(true,false,false,true),(false,true,true,i1)]
+  | SUBB (`A, `DATA b1) ->
+    [(true,false,false,true),(false,true,false,false); b1]
+  | SWAP `A ->
+    [(true,true,false,false),(false,true,false,false)]
+  | XCH (`A, `REG(r1,r2,r3)) ->
+    [(true,true,false,false),(true,r1,r2,r3)]
+  | XCH (`A, `DIRECT b1) ->
+    [(true,true,false,false),(false,true,false,true); b1]
+  | XCH (`A, `INDIRECT i1) ->
+    [(true,true,false,false),(false,true,true,i1)]
+  | XCHD(`A, `INDIRECT i1) ->
+    [(true,true,false,true),(false,true,true,i1)]
+  | XRL(`U1(`A, `REG(r1,r2,r3))) ->
+    [(false,true,true,false),(true,r1,r2,r3)]
+  | XRL(`U1(`A, `DIRECT b1)) ->
+    [(false,true,true,false),(false,true,false,true); b1]
+  | XRL(`U1(`A, `INDIRECT i1)) ->
+    [(false,true,true,false),(false,true,true,i1)]
+  | XRL(`U1(`A, `DATA b1)) ->
+    [(false,true,true,false),(false,true,false,false); b1]
+  | XRL(`U2(`DIRECT b1, `A)) ->
+    [(false,true,true,false),(false,false,true,false); b1]
+  | XRL(`U2(`DIRECT b1, `DATA b2)) ->
+    [(false,true,true,false),(false,false,true,true); b1; b2]
 ;;