Changeset 42 for Deliverables/D4.1

Timestamp:

Sep 8, 2010, 11:24:01 AM (10 years ago)

Author:

mulligan

Message:

Address1 function completed for instructions A--M.

Location:

Deliverables/D4.1

Files:

• ASMInterpret.ml (modified) (2 diffs)
• physical.ml (modified) (1 diff)
• physical.mli (modified) (1 diff)

Deliverables/D4.1/ASMInterpret.ml

@@ -193 +193 @@
        let pc,b1 = next pc in
        let pc,b2 = next pc in
-         LCALL (`ADDR16 (b1,b1)), pc, 2
+         LCALL (`ADDR16 (b1,b2)), pc, 2
    | (false,false,false,false),(false,false,true,false) ->
        let pc,b1 = next pc in
        let pc,b2 = next pc in
-         LJMP (`ADDR16 (b1,b1)), pc, 2
+         LJMP (`ADDR16 (b1,b2)), pc, 2
    | (true,true,true,false),(true,r1,r2,r3) ->
          MOV (`U1 (`A, `REG(r1,r2,r3))), pc, 1
@@ -390 +390 @@
   | 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,`BIT b1)) ->
+     [(true,false,false,false),(false,false,true,false); byte_of_byte7 b1]
   | ANL (`U3 (`C,`NBIT b1)) ->
-    [(true,false,true,true),(false,false,false,false); b1] *)
+    [(true,false,true,true),(false,false,false,false); byte_of_byte7 b1]
+  | CJNE (`U1 (`A, `DIRECT b1), `REL b2) ->
+    [(true,false,true,true),(false,true,false,true); b1; b2]
+  | CJNE (`U1 (`A, `DATA b1), `REL b2) ->
+    [(true,false,true,true),(false,true,false,false); b1; b2]
+  | CJNE (`U2 (`REG(r1,r2,r3), `DATA b1), `REL b2) ->
+    [(true,false,true,true),(true,r1,r2,r3); b1; b2]
+  | CJNE (`U2 (`INDIRECT i1, `DATA b1), `REL b2) ->
+    [(true,false,true,true),(false,true,true,i1); b1; b2]
+  | CLR `A ->
+    [(true,true,true,false),(false,true,false,false)]
+  | CLR `C ->
+    [(true,true,false,false),(false,false,true,true)]
+  | CLR (`BIT b1) ->
+    [(true,true,false,false),(false,false,true,false); byte_of_byte7 b1]
+  | DA `A ->
+    [(true,true,false,true),(false,true,false,false)]
+  | DEC `A ->
+    [(false,false,false,true),(false,true,false,false)]
+  | DEC (`REG(r1,r2,r3)) ->
+    [(false,false,false,true),(true,r1,r2,r3)]
+  | DEC (`DIRECT b1) ->
+    [(false,false,false,true),(false,true,false,true); b1]
+  | DEC (`INDIRECT i1) ->
+    [(false,false,false,true),(false,true,true,i1)]
+  | DIV (`A, `B) ->
+    [(true,false,false,false),(false,true,false,false)]
+  | DJNZ (`REG(r1,r2,r3), `REL b1) ->
+    [(true,true,false,true),(true,r1,r2,r3); b1]
+  | DJNZ (`DIRECT b1, `REL b2) ->
+    [(true,true,false,true),(false,true,false,true); b1; b2]
+  | INC `A ->
+    [(false,false,false,false),(false,true,false,false)]
+  | INC (`REG(r1,r2,r3)) ->
+    [(false,false,false,false),(true,r1,r2,r3)]
+  | INC (`DIRECT b1) ->
+    [(false,false,false,false),(false,true,false,true); b1]
+  | INC (`INDIRECT i1) ->
+    [(false,false,false,false),(false,true,true,i1)]
+  | INC `DPTR ->
+    [(true,false,true,false),(false,false,true,true)]
+  | JB (`BIT b1, `REL b2) ->
+    [(false,false,true,false),(false,false,false,false); byte_of_byte7 b1; b2]
+  | JBC (`BIT b1, `REL b2) ->
+    [(false,false,false,true),(false,false,false,false); byte_of_byte7 b1; b2]
+  | JC (`REL b1) ->
+    [(false,true,false,false),(false,false,false,false); b1]
+  | JMP `IND_DPTR ->
+    [(false,true,true,true),(false,false,true,true)]
+  | JNB (`BIT b1, `REL b2) ->
+    [(false,false,true,true),(false,false,false,false); byte_of_byte7 b1; b2]
+  | JNC (`REL b1) ->
+    [(false,true,false,true),(false,false,false,false); b1]
+  | JNZ (`REL b1) ->
+    [(false,true,true,true),(false,false,false,false); b1]
+  | JZ (`REL b1) ->
+    [(false,true,true,false),(false,false,false,false); b1]
+  | LCALL (`ADDR16 (b1,b2)) ->
+    [(false,false,false,true),(false,false,true,false); b1; b2]
+  | LJMP (`ADDR16 (b1,b2)) ->
+    [(false,false,false,false),(false,false,true,false); b1; b2]
+  | MOV (`U1 (`A, `REG(r1,r2,r3))) ->
+    [(true,true,true,false),(true,r1,r2,r3)]
+  | MOV (`U1 (`A, `DIRECT b1)) ->
+    [(true,true,true,false),(false,true,false,true); b1]
+  | MOV (`U1 (`A, `INDIRECT i1)) ->
+    [(true,true,true,false),(false,true,true,i1)]
+  | MOV (`U1 (`A, `DATA b1)) ->
+    [(false,true,true,true),(false,true,false,false); b1]
+  | MOV (`U2 (`REG(r1,r2,r3), `A)) ->
+    [(true,true,true,true),(true,r1,r2,r3)]
+  | MOV (`U2 (`REG(r1,r2,r3), (`DIRECT b1))) ->
+    [(true,false,true,false),(true,r1,r2,r3); b1]
+  | MOV (`U2 (`REG(r1,r2,r3), (`DATA b1))) ->
+    [(false,true,true,true),(true,r1,r2,r3); b1]
+  | MOV (`U3 (`DIRECT b1, `A)) ->
+    [(true,true,true,true),(false,true,false,true); b1]
+  | MOV (`U3 (`DIRECT b1, `REG(r1,r2,r3))) ->
+    [(true,false,false,false),(true,r1,r2,r3); b1]
+  | MOV (`U3 (`DIRECT b1, `DIRECT b2)) ->
+    [(true,false,false,false),(false,true,false,true); b1; b2]
+  | MOV (`U3 (`DIRECT b1, `INDIRECT i1)) ->
+    [(true,false,false,false),(false,true,true,i1); b1]
+  | MOV (`U3 (`DIRECT b1, `DATA b2)) ->
+    [(false,true,true,true),(false,true,false,true); b1; b2]
+  | MOV (`U2 (`INDIRECT i1, `A)) ->
+    [(true,true,true,true),(false,true,true,i1)]
+  | MOV (`U2 (`INDIRECT i1, `DIRECT b1)) ->
+    [(true,false,true,false),(false,true,true,i1); b1]
+  | MOV (`U2 (`INDIRECT i1, `DATA b1)) ->
+    [(false,true,true,true),(false,true,true,i1); b1]
+  | MOV (`U5 (`C, `BIT b1)) ->
+    [(true,false,true,false),(false,false,true,false); byte_of_byte7 b1]
+  | MOV (`U6 (`BIT b1, `C)) ->
+    [(true,false,false,true),(false,false,true,false); byte_of_byte7 b1]
+  | MOV (`U4 (`DPTR, `DATA16(b1,b2))) ->
+    [(true,false,false,true),(false,false,false,false); b1; b2]
+  | MOVC (`A, `A_DPTR) ->
+    [(true,false,false,true),(false,false,true,true)]
+  | MOVC (`A, `A_PC) ->
+    [(true,false,false,false),(false,false,true,true)]
+  | MOVX (`U1 (`A, `INDIRECT i1)) ->
+    [(true,true,true,false),(false,false,true,i1)]
+  | MOVX (`U1 (`A, `IND_DPTR)) ->
+    [(true,true,true,false),(false,false,false,false)]
+  | MOVX (`U2 (`INDIRECT i1, `A)) ->
+    [(true,true,true,true),(false,false,true,i1)]
+  | MOVX (`U2 (`IND_DPTR, `A)) ->
+    [(true,true,true,true),(false,false,false,false)]
+  | MUL(`A, `B) ->
+    [(true,false,true,false),(false,true,false,false)]
 ;;
 

Deliverables/D4.1/physical.ml

@@ -107 +107 @@
 ;;
 
-let byte_of_bit b =
-  (false,false,false,false),(false,false,false,b)
+let byte7_of_bit b =
+  false,false,false,(false,false,false,b)
 ;;
+
+let byte_of_byte7 (b1,b2,b3,n) =
+        (false,b1,b2,b3),n

Deliverables/D4.1/physical.mli

@@ -19 +19 @@
 val int_of_byte: byte -> int
 val int_of_nibble: nibble -> int
-val byte_of_bit: bit -> byte
+val byte7_of_bit: bit -> byte7
+val byte_of_byte7: byte7 -> byte
 
 val (++): word -> int -> word