Changeset 1187


Ignore:
Timestamp:
Sep 5, 2011, 5:13:49 PM (8 years ago)
Author:
mulligan
Message:

fixed build.ma

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r1145 r1187  
    173173  [Register20; Register21; Register22; Register23; Register24;
    174174   Register25; Register26; Register27].
     175definition RegistersForbidden ≝
     176  [RegisterA; RegisterB; RegisterDPL; RegisterDPH;
     177   RegisterSPL; RegisterSPH; RegisterST0; RegisterST1;
     178   RegisterST2; RegisterST3; RegisterSST].
    175179
    176180definition register_address: Register → [[ acc_a; direct; registr ]] ≝
  • src/ERTL/build.ma

    r1185 r1187  
    33
    44definition build ≝
    5   λint_fun: ertl_internal_function.
    6   let liveafter ≝ analyse int_fun in
    7   let graph ≝ ig_create (ertl_if_locals int_fun) in
    8   let graph ≝ ig_mkiph graph (ertl_if_locals int_fun) forbidden_registers in
     5  λglobals: list ident.
     6  λint_fun: ertl_internal_function globals.
     7  let liveafter ≝ analyse globals int_fun in
     8  let graph ≝ ig_create (ertl_if_locals globals int_fun) in
     9  let graph ≝ ig_mkiph graph (ertl_if_locals globals int_fun) RegistersForbidden in
    910  let graph ≝
    1011    foldi ? ? ? (λlabel. λstmt. λgraph.
    1112      let live ≝ liveafter label in
    12       match eliminable live stmt with
     13      match eliminable globals live stmt with
    1314      [ Some _ ⇒ graph
    1415      | None   ⇒
    15         let defined ≝ defined stmt in
     16        let defined ≝ defined globals stmt in
    1617        let exceptions ≝
    1718          match stmt with
     
    4849                | hardware hw2 ⇒ graph
    4950                ]
     51              ]
    5052            | _ ⇒ graph
    5153            ]
     
    5355          ]
    5456        in graph
    55       ]) (ertl_if_graph int_fun) graph
     57      ]) (ertl_if_graph globals int_fun) graph
    5658  in
    5759    〈liveafter, graph〉.
Note: See TracChangeset for help on using the changeset viewer.