Ignore:
Timestamp:
Oct 7, 2010, 10:35:46 AM (9 years ago)
Author:
mulligan
Message:

Type errors fixed. Add16 with carry implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.ml

    r159 r161  
    12911291                | false,true ->
    12921292                    (* TYPE ERROR! *)
    1293                     let res,ac,ov,cy = add8_with_c (mk_word status.th0 status.tl0) (vect_of_int 1 `Sixteen) in
     1293                    let res,ac,ov,cy = add16_with_c (mk_word status.th0 status.tl0) (vect_of_int 1 `Sixteen) false in
    12941294                    if ov then
    12951295                      let b = set_bit status.tcon 5 true in
Note: See TracChangeset for help on using the changeset viewer.