Changeset 41 for Deliverables/D4.1/ASMInterpret.ml

Timestamp:

Sep 8, 2010, 10:43:47 AM (10 years ago)

Author:

mulligan

Message:

More added to address1 function. Weird type error?

File:

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

Deliverables/D4.1/ASMInterpret.ml

@@ -362 +362 @@
   | ADD (`A,`REG (r1,r2,r3)) ->
      [(false,false,true,false),(true,r1,r2,r3)]
-  (* ... *)
+  | ADD (`A, `DIRECT b1) ->
+     [(false,false,true,false),(false,true,false,true); b1]
+  | ADD (`A, `INDIRECT i1) ->
+     [(false,false,true,false),(false,true,true,i1)]
+  | ADD (`A, `DATA b1) ->
+     [(false,false,true,false),(false,true,false,false); b1]
+  | ADDC (`A, `REG(r1,r2,r3)) ->
+     [(false,false,true,true),(true,r1,r2,r3)]
+  | ADDC (`A, `DIRECT b1) ->
+     [(false,false,true,true),(false,true,false,true); b1]
+  | ADDC (`A,`INDIRECT i1) ->
+     [(false,false,true,true),(false,true,true,i1)]
+  | ADDC (`A,`DATA b1) ->
+     [(false,false,true,true),(false,true,false,false); b1]
+  | AJMP (`ADDR11 (a10,a9,a8,b1)) ->
+     [(a10,a9,a8,false),(false,false,false,true)]
+  | ANL (`U1 (`A, `REG (r1,r2,r3))) ->
+     [(false,true,false,true),(true,r1,r2,r3)]
+  | ANL (`U1 (`A, `DIRECT b1)) ->
+     [(false,true,false,true),(false,true,false,true); b1]
+  | ANL (`U1 (`A, `INDIRECT i1)) ->
+     [(false,true,false,true),(false,true,true,i1)]
+  | ANL (`U1 (`A, `DATA b1)) ->
+     [(false,true,false,true),(false,true,false,false); b1]
+  | ANL (`U2 (`DIRECT b1,`A)) ->
+     [(false,true,false,true),(false,false,true,false); b1]
+  | ANL (`U2 (`DIRECT b1,`DATA b2)) ->
+     [(false,true,false,true),(false,false,true,true); b1; b2]
+(*  | ANL (`U3 (`C,`BIT b1)) ->
+     [(true,false,false,false),(false,false,true,false); b1]
+  | ANL (`U3 (`C,`NBIT b1)) ->
+    [(true,false,true,true),(false,false,false,false); b1] *)
 ;;