Changeset 113 for Deliverables/D4.1
- Timestamp:
- Sep 23, 2010, 10:43:29 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r112 r113 1023 1023 let status = { status with acc = new_acc } in 1024 1024 set_arg8 status new_reg (`INDIRECT i) 1025 (* program branching *) 1026 | `JC (`REL rel) -> 1027 if get_cy_flag status then 1028 let cry, new_pc = half_add status.pc rel in 1029 { status with pc = new_pc } 1030 else 1031 status 1032 | `JNC (`REL rel) -> 1033 if not (get_cy_flag status) then 1034 let cry, new_pc = half_add status.pc rel in 1035 { status with pc = new_pc } 1036 else 1037 status 1025 1038 (* 1026 (* program branching *)1027 | JC (`REL rel) ->1028 let cy = carr status in1029 if cy = true then1030 { status with pc = status.pc ++ (int_of_byte rel) }1031 else1032 status1033 | JNC (`REL rel) ->1034 let cy = carr status in1035 if cy = false then1036 { status with pc = status.pc ++ (int_of_byte rel) }1037 else1038 status1039 1039 | JB ((`BIT b1), (`REL rel)) -> 1040 1040 let val_bit = get_arg_1 status (`BIT b1) in
Note: See TracChangeset
for help on using the changeset viewer.