Changeset 2913

Timestamp:

Mar 20, 2013, 12:24:39 AM (6 years ago)

Author:

sacerdot

Message:

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

File:

• extracted/rTLabsToRTL.ml (modified) (3 diffs)

extracted/rTLabsToRTL.ml

@@ -626 +626 @@
     List.list) Bind_new.bind_new **)
 let translate_cast globals src_sign destrs srcrs =
-  let t = Util.reduce_strong destrs srcrs in
+  let t = Util.reduce_strong srcrs destrs in
   let src_common = t.Types.fst.Types.fst in
   let src_rest = t.Types.fst.Types.snd in
@@ -633 +633 @@
   BindLists.bappend
     (let l =
-       translate_move globals src_common
-         (List.map (fun x -> Joint.Reg x) dst_common)
+       translate_move globals dst_common
+         (List.map (fun x -> Joint.Reg x) src_common)
      in
     Bind_new.Bret l)
@@ -651 +651 @@
           let l = translate_fill_with_zero globals dst_rest in
           Bind_new.Bret l)
-     | List.Cons (x, x0) -> let l = List.Nil in Bind_new.Bret l)
+     | List.Cons (x, x0) ->
+let l = List.Nil in Bind_new.Bret l)
 
 (** val translate_notint :