Changeset 441
- Timestamp:
- Jan 12, 2011, 3:22:14 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r440 r441 1746 1746 | `PUSH (`DIRECT b) -> 1747 1747 (* DPM: What happens if we overflow? *) 1748 let cry,new_sp = half_add status.sp(vect_of_int 1 `Eight) in1748 let cry,new_sp = half_add (get_arg_8 status status.sp) (vect_of_int 1 `Eight) in 1749 1749 let status = { status with sp = new_sp } in 1750 1750 write_at_sp status b
Note: See TracChangeset
for help on using the changeset viewer.