Changeset 69 for Deliverables/D4.1

Timestamp:

Sep 14, 2010, 12:19:42 PM (10 years ago)

Author:

mulligan

Message:

PUSH implemented.

File:

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

Deliverables/D4.1/ASMInterpret.ml

@@ -858 +858 @@
 *)
  | SETB a -> set_arg1 status true a
-(* | PUSH (`DIRECT b) ->*)
+ | PUSH (`DIRECT b) ->
+     let status = { status with pc = status.pc ++ 1 } in
+     let memory = Byte7Map.add (byte7_of_byte status.sp) b status.low_internal_ram in
+     let status = { status with low_internal_ram = memory } in
+       status
  | POP (`DIRECT b) ->
      let contents = Byte7Map.find (byte7_of_byte status.sp) status.low_internal_ram in