Ignore:
Timestamp:
Nov 30, 2012, 4:40:37 PM (7 years ago)
Author:
garnier
Message:

Some progress on the Cl -> Cm front

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/toCminor.ma

    r2496 r2510  
    114114  (* globals are added into a map, with var_type Global, region π_2(idrt) and type π_3(idrt) *)
    115115  let m ≝ foldr ?? (λidrt,m. add ?? m (\fst (\fst idrt)) 〈Global (\snd (\fst idrt)), \snd idrt〉) (empty_map ??) globals in
    116   (* variables in the body of the function are gathered in [mem_vars] *)
     116  (* variables whose addr is taken in the body of the function are gathered in [mem_vars] *)
    117117  let mem_vars ≝ gather_mem_vars_stmt (fn_body f) in
    118118  (* iterate on the parameters and local variables of the function, with a tuple (map, stack_high) as an accumulator *)
Note: See TracChangeset for help on using the changeset viewer.