Changeset 2913


Ignore:
Timestamp:
Mar 20, 2013, 12:24:39 AM (4 years ago)
Author:
sacerdot
Message:

Bug corrected by hand. It will be corrected automatically by next extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2873 r2913  
    626626    List.list) Bind_new.bind_new **)
    627627let translate_cast globals src_sign destrs srcrs =
    628   let t = Util.reduce_strong destrs srcrs in
     628  let t = Util.reduce_strong srcrs destrs in
    629629  let src_common = t.Types.fst.Types.fst in
    630630  let src_rest = t.Types.fst.Types.snd in
     
    633633  BindLists.bappend
    634634    (let l =
    635        translate_move globals src_common
    636          (List.map (fun x -> Joint.Reg x) dst_common)
     635       translate_move globals dst_common
     636         (List.map (fun x -> Joint.Reg x) src_common)
    637637     in
    638638    Bind_new.Bret l)
     
    651651          let l = translate_fill_with_zero globals dst_rest in
    652652          Bind_new.Bret l)
    653      | List.Cons (x, x0) -> let l = List.Nil in Bind_new.Bret l)
     653     | List.Cons (x, x0) ->
     654let l = List.Nil in Bind_new.Bret l)
    654655
    655656(** val translate_notint :
Note: See TracChangeset for help on using the changeset viewer.