Changeset 102 for Deliverables

Timestamp:

Sep 22, 2010, 12:34:12 PM (9 years ago)

Author:

mulligan

Message:

Implemented INC DPTR. Type error related to polymorphic variants
though.

File:

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

Deliverables/D4.1/ASMInterpret.ml

@@ -866 +866 @@
         in
           set_flags (set_arg8 status v `A) c (Some ac) ov
+   | `SUBB (`A,d1) ->
+        let v,c,ac,ov =
+          subb8_with_c (get_arg_8 status `A) (get_arg_8 status d1) (get_cy_flag status)
+        in
+          set_flags (set_arg8 status v `A) c (Some ac) ov
+   | `INC `DPTR ->
+       let cry, low_order_byte = half_add status.dpl (vect_of_int 1 `Eight) in
+       let cry, high_order_byte = full_add status.dph (vect_of_int 0 `Eight) cry in
+         { status with dpl = low_order_byte; dph = high_order_byte }
+   | `INC ((`A | `REG _ | `DIRECT _ | `INDIRECT _) as d) ->
+       let b = get_arg_8 status d in
+       let cry, res = half_add b (vect_of_int 0 `Eight) in
+         set_arg8 status res d
 (*
-   | SUBB (`A,d1) ->
-      let v,c,ac,ov =
-       subb8_with_c (get_arg_8 status `A) (get_arg_8 status d1) (carr status)
-      in
-       set_flags (set_arg8 status v `A) c (Some ac) ov
-   | INC `DPTR ->
-       let dpl_int_val = int_of_byte status.dpl in
-       let dph_int_val = int_of_byte status.dph in
-       let inc_dpl = dpl_int_val + 1 in
-         if inc_dpl > 255 then
-           let inc_dpl = 0 in
-           (* DPM: finish *)
-             assert false
-         else
-           (* DPM: finish *)
-           assert false
-   | INC ((`A | `REG _ | `DIRECT _ | `INDIRECT _) as d) ->
-      let b = get_arg_8 status d in
-      let res = inc b in
-       set_arg8 status res d
    | DEC d ->
       let b = get_arg_8 status d in