Changeset 2951 for extracted/fetch.ml


Ignore:
Timestamp:
Mar 25, 2013, 11:30:01 PM (8 years ago)
Author:
sacerdot
Message:

New extraction. Novely: a pre-main is used in the back-end. Initialization
of global data is performed in LINToASM.

Note: the cost-emission of the initialization costlabel in the front-end is
virtual, but not performed in the traces I generate and print. To be fixed
(how?)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/fetch.ml

    r2890 r2951  
    9898  (Types.pi1
    9999    (FoldStuff.foldl_strong program (fun prefix x tl _ labels_costs_ppc ->
    100       (let { Types.fst = eta29136; Types.snd = ppc } =
     100      (let { Types.fst = eta24730; Types.snd = ppc } =
    101101         Types.pi1 labels_costs_ppc
    102102       in
    103103      (fun _ ->
    104       (let { Types.fst = labels; Types.snd = costs } = eta29136 in
     104      (let { Types.fst = labels; Types.snd = costs } = eta24730 in
    105105      (fun _ ->
    106106      (let { Types.fst = label; Types.snd = instr } = x in
Note: See TracChangeset for help on using the changeset viewer.