Changeset 113 for Deliverables/D4.1

Timestamp:

Sep 23, 2010, 10:43:29 AM (10 years ago)

Author:

mulligan

Message:

JC and JNC refactored.

File:

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

Deliverables/D4.1/ASMInterpret.ml

@@ -1023 +1023 @@
       let status = { status with acc = new_acc } in
         set_arg8 status new_reg (`INDIRECT i)
+ (* program branching *)
+  | `JC (`REL rel) ->
+      if get_cy_flag status then
+        let cry, new_pc = half_add status.pc rel in
+          { status with pc = new_pc }
+      else
+        status
+  | `JNC (`REL rel) ->
+      if not (get_cy_flag status) then
+        let cry, new_pc = half_add status.pc rel in
+          { status with pc = new_pc }
+      else
+        status
 (*
- (* program branching *)
- | JC (`REL rel) ->
-     let cy = carr status in
-       if cy = true then
-         { status with pc = status.pc ++ (int_of_byte rel) }
-       else
-         status
- | JNC (`REL rel) ->
-     let cy = carr status in
-       if cy = false then
-         { status with pc = status.pc ++ (int_of_byte rel) }
-       else
-         status
  | JB ((`BIT b1), (`REL rel)) ->
      let val_bit = get_arg_1 status (`BIT b1) in