Changeset 102 for Deliverables
- Timestamp:
- Sep 22, 2010, 12:34:12 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r101 r102 866 866 in 867 867 set_flags (set_arg8 status v `A) c (Some ac) ov 868 | `SUBB (`A,d1) -> 869 let v,c,ac,ov = 870 subb8_with_c (get_arg_8 status `A) (get_arg_8 status d1) (get_cy_flag status) 871 in 872 set_flags (set_arg8 status v `A) c (Some ac) ov 873 | `INC `DPTR -> 874 let cry, low_order_byte = half_add status.dpl (vect_of_int 1 `Eight) in 875 let cry, high_order_byte = full_add status.dph (vect_of_int 0 `Eight) cry in 876 { status with dpl = low_order_byte; dph = high_order_byte } 877 | `INC ((`A | `REG _ | `DIRECT _ | `INDIRECT _) as d) -> 878 let b = get_arg_8 status d in 879 let cry, res = half_add b (vect_of_int 0 `Eight) in 880 set_arg8 status res d 868 881 (* 869 | SUBB (`A,d1) ->870 let v,c,ac,ov =871 subb8_with_c (get_arg_8 status `A) (get_arg_8 status d1) (carr status)872 in873 set_flags (set_arg8 status v `A) c (Some ac) ov874 | INC `DPTR ->875 let dpl_int_val = int_of_byte status.dpl in876 let dph_int_val = int_of_byte status.dph in877 let inc_dpl = dpl_int_val + 1 in878 if inc_dpl > 255 then879 let inc_dpl = 0 in880 (* DPM: finish *)881 assert false882 else883 (* DPM: finish *)884 assert false885 | INC ((`A | `REG _ | `DIRECT _ | `INDIRECT _) as d) ->886 let b = get_arg_8 status d in887 let res = inc b in888 set_arg8 status res d889 882 | DEC d -> 890 883 let b = get_arg_8 status d in
Note: See TracChangeset
for help on using the changeset viewer.