Changeset 74 for Deliverables/D4.1
- Timestamp:
- Sep 14, 2010, 3:46:22 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r73 r74 950 950 let status = { status with sp = new_sp } in 951 951 { status with pc = (high_bits, low_bits) } 952 | RETI -> 953 let high_bits = (Byte7Map.find (byte7_of_byte status.sp) status.low_internal_ram) in 954 let new_sp = byte_of_int ((int_of_byte status.sp) - 1) in 955 let status = { status with sp = new_sp } in 956 let low_bits = (Byte7Map.find (byte7_of_byte status.sp) status.low_internal_ram) in 957 let new_sp = byte_of_int ((int_of_byte status.sp) - 1) in 958 let status = { status with sp = new_sp } in 959 { status with pc = (high_bits, low_bits) } 952 960 (* 953 961 | ACALL of addr11 954 962 | LCALL of addr16 955 | RET956 | RETI957 963 | AJMP of addr11 958 964 *)
Note: See TracChangeset
for help on using the changeset viewer.