Project

General

Profile

« Previous | Next » 

Revision b3f91fdb

Added by Xavier Thirioux almost 8 years ago

LOTS of bug correction wrt inlining, still a work in progress...
- global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (array sizes and clocks) not handled
- ill-typed generated expressions, when inlining array expressions

View differences:

src/corelang.mli
27 27 
val mktop_decl: Location.t -> ident -> bool -> top_decl_desc -> top_decl
28 28 
val mkpredef_call: Location.t -> ident -> expr list -> expr
29 29 
val mk_new_name: (ident -> bool) -> ident -> ident
30 

  		




  
  30
  
    
val mk_new_node_name: node_desc -> ident -> ident


  		




  31
  31
  
    

  		




  32
  32
  
    
val node_table : (ident, top_decl) Hashtbl.t


  		




  33
  33
  
    
val print_node_table:  Format.formatter -> unit -> unit


  		




  ......




  81
  81
  
    
(* Caution, returns an untyped, unclocked, etc, expression *)


  		




  82
  82
  
    
val is_tuple_expr : expr -> bool


  		




  83
  83
  
    
val ident_of_expr : expr -> ident


  		




  
  84
  
    
val expr_of_vdecl : var_decl -> expr


  		




  84
  85
  
    
val expr_of_ident : ident -> Location.t -> expr


  		




  85
  86
  
    
val expr_list_of_expr : expr -> expr list


  		




  86
  87
  
    
val expr_of_expr_list : Location.t -> expr list -> expr


  		












Also available in:  Unified diff