Changeset 3043 for extracted/fetch.ml


Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/fetch.ml

    r2999 r3043  
    9898  (Types.pi1
    9999    (FoldStuff.foldl_strong program (fun prefix x tl _ labels_costs_ppc ->
    100       (let { Types.fst = eta24592; Types.snd = ppc } =
     100      (let { Types.fst = eta19; Types.snd = ppc } =
    101101         Types.pi1 labels_costs_ppc
    102102       in
    103103      (fun _ ->
    104       (let { Types.fst = labels; Types.snd = costs } = eta24592 in
     104      (let { Types.fst = labels; Types.snd = costs } = eta19 in
    105105      (fun _ ->
    106106      (let { Types.fst = label; Types.snd = instr } = x in
     
    124124        | ASM.Jmp x0 -> costs
    125125        | ASM.Jnz (x0, x1, x2) -> costs
    126         | ASM.MovSuccessor (x0, x1, x2) -> costs
    127126        | ASM.Call x0 -> costs
    128         | ASM.Mov (x0, x1) -> costs
     127        | ASM.Mov (x0, x1, x2) -> costs
    129128      in
    130129      { Types.fst = { Types.fst = labels1; Types.snd = costs1 }; Types.snd =
     
    978977                        | Bool.True ->
    979978                          { Types.fst = { Types.fst = (ASM.RealInstruction
    980                             (ASM.JMP ASM.INDIRECT_DPTR)); Types.snd = pc };
     979                            (ASM.JMP ASM.ACC_DPTR)); Types.snd = pc };
    981980                            Types.snd = (Nat.S (Nat.S Nat.O)) }
    982981                        | Bool.False ->
Note: See TracChangeset for help on using the changeset viewer.