Skip to content
Snippets Groups Projects
Normal view Permalink
l2lExpandArrays.mli 352 B
Newer Older
erwan's avatar
Do dep-loop checking before removing alias, otherwise some variables disappear !  
erwan committed
1 
(* Time-stamp: <modified the 18/08/2017 (at 11:04) by Erwan Jahier> *)
Erwan Jahier's avatar
Documentation et renommage des modules.
Erwan Jahier committed
2 3
erwan's avatar
Do dep-loop checking before removing alias, otherwise some variables disappear !  
erwan committed
4 
(** Expand structures and arrays. Necessary to generate ec code.
Erwan Jahier's avatar
-esa: array concat were are handled (affects -ec).  
Erwan Jahier committed
5
erwan's avatar
Do dep-loop checking before removing alias, otherwise some variables disappear !  
erwan committed
6 7 8 9 
    Quite buggy :(

    Requires that nodes are expanded (should not be necessary, but it makes
    things simpler and this pass is only used for generating ec code anyway)
Erwan Jahier's avatar
-esa: array concat were are handled (affects -ec).  
Erwan Jahier committed
10 
  *)
Erwan Jahier's avatar
Some work to plug back the array expansion.  
Erwan Jahier committed
11
Erwan Jahier's avatar
Plug back the array expansion.  
Erwan Jahier committed
12 
val doit : LicPrg.t -> LicPrg.t
Erwan Jahier's avatar
Some work to plug back the array expansion.  
Erwan Jahier committed
13 14