Changeset 441

Timestamp:

Jan 12, 2011, 3:22:14 PM (11 years ago)

Author:

mulligan

Message:

Fixed bug in PUSH spotted by Nicolas.

File:

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

Deliverables/D4.1/ASMInterpret.ml

@@ -1746 +1746 @@
       | `PUSH (`DIRECT b) ->
        (* DPM: What happens if we overflow? *)
-        let cry,new_sp = half_add status.sp (vect_of_int 1 `Eight) in
+        let cry,new_sp = half_add (get_arg_8 status status.sp) (vect_of_int 1 `Eight) in
         let status = { status with sp = new_sp } in
         write_at_sp status b