Ignore:
Timestamp:
Mar 2, 2011, 11:06:58 PM (9 years ago)
Author:
ayache
Message:

Bug fixs and signed division hack in D2.2.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightToCminor.ml

    r619 r624  
    129129
    130130let translate_div e1 e2 = function
     131(*
    131132  | (Tint(_,Signed),Tint(_,Signed))     -> Op2 (Op_div,e1,e2)
     133*)
     134  (* TODO: temporary hack! *)
     135  | (Tint(_,Signed),Tint(_,Signed))     -> Op2 (Op_divu,e1,e2)
    132136  | (Tint(_,Unsigned),Tint(_,Unsigned)) -> Op2 (Op_divu,e1,e2)
    133137  | (Tfloat _,Tfloat _)                 -> assert false (*Not supported*)
     
    522526
    523527let translate p =
    524   (* TODO: Clight32ToClight8 transformation *)
     528  (* TODO: Clight32 to Clight8 transformation *)
    525529(*
    526530  let p = Clight32ToClight8.translate p in
Note: See TracChangeset for help on using the changeset viewer.