Changeset 71 for Deliverables/D4.1
- Timestamp:
- Sep 14, 2010, 2:40:33 PM (10 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r70 r71 922 922 | LJMP (`ADDR16 (lb,hb)) -> 923 923 { status with pc = (lb,hb) } 924 (* 925 | SJMP of rel 926 | JMP of indirect_dptr 927 *) 924 | SJMP (`REL rel) -> 925 { status with pc = status.pc ++ (int_of_byte rel) } 926 | JMP `IND_DPTR -> 927 let acc_val = status.acc in 928 let dptr_low = status.dpl in 929 let dptr_high = status.dph in 930 let dptr = (dptr_high, dptr_low) in 931 let jmp_addr = (int_of_word dptr) + (int_of_byte acc_val) in 932 { status with pc = status.pc ++ jmp_addr } 928 933 | JZ (`REL rel) -> 929 934 if status.acc = ((false,false,false,false),(false,false,false,false)) then -
Deliverables/D4.1/physical.mli
r58 r71 14 14 15 15 val word_of_int: int -> word 16 val int_of_word: word -> int 16 17 val byte7_of_int: int -> byte7 17 18 val byte_of_int: int -> byte
Note: See TracChangeset
for help on using the changeset viewer.