Changeset 441


Ignore:
Timestamp:
Jan 12, 2011, 3:22:14 PM (9 years ago)
Author:
mulligan
Message:

Fixed bug in PUSH spotted by Nicolas.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.ml

    r440 r441  
    17461746      | `PUSH (`DIRECT b) ->
    17471747       (* DPM: What happens if we overflow? *)
    1748         let cry,new_sp = half_add status.sp (vect_of_int 1 `Eight) in
     1748        let cry,new_sp = half_add (get_arg_8 status status.sp) (vect_of_int 1 `Eight) in
    17491749        let status = { status with sp = new_sp } in
    17501750        write_at_sp status b
Note: See TracChangeset for help on using the changeset viewer.