Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

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

    r486 r619  
    154154let make_cast e = function
    155155  | (Tint(_,_),Tint(I8,Signed)) when int_size>8     -> Op1 (Op_cast8signed,e)
    156   | (Tint(_,_),Tint(I8,Unsigned)) when int_size>8   -> Op1 (Op_cast8signed,e)
     156  | (Tint(_,_),Tint(I8,Unsigned)) when int_size>8   -> Op1 (Op_cast8unsigned,e)
    157157  | (Tint(_,_),Tint(I16,Signed)) when int_size>16   -> Op1 (Op_cast16signed,e)
    158158  | (Tint(_,_),Tint(I16,Unsigned)) when int_size>16 -> Op1 (Op_cast16unsigned,e)
     
    521521  | (id,External (i,p,r)) -> (id, F_ext (translate_external i p r))
    522522
    523 let translate p =
     523let translate p =
     524  (* TODO: Clight32ToClight8 transformation *)
     525(*
     526  let p = Clight32ToClight8.translate p in
     527*)
     528  (* <DEBUG> *)
     529(*
     530  Printf.printf "%s\n%!" (ClightPrinter.print_program p) ;
     531*)
     532  (* </DEBUG> *)
    524533  let globals = List.map (fun p -> (fst (fst p),snd p) ) p.prog_vars in
    525534  let p =
Note: See TracChangeset for help on using the changeset viewer.