Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLToERTL.ml

    r2827 r2867  
    483483          TranslateUtils.init_stack_size = new_stacksize;
    484484          TranslateUtils.added_prologue = prologue0;
    485           TranslateUtils.new_regs = (List.Cons (addr2, (List.Cons (addr1,
    486           (List.Cons (tmpr, (List.Cons (rah, (List.Cons (ral,
    487           (List.map (fun x -> x.Types.fst) to_save)))))))))));
     485          TranslateUtils.new_regs =
     486          (List.reverse (List.Cons (addr2, (List.Cons (addr1, (List.Cons
     487            (tmpr, (List.Cons (rah, (List.Cons (ral,
     488            (List.map (fun x -> x.Types.fst) to_save))))))))))));
    488489          TranslateUtils.f_step = (translate_step globals);
    489490          TranslateUtils.f_fin =
Note: See TracChangeset for help on using the changeset viewer.