Project

General

Profile

« Previous | Next » 

Revision 9603460e

Added by Xavier Thirioux almost 8 years ago

- corrected bug with destination directory (-d option)
- corrected several bugs in inlining
- STILL, BUGS REMAINING in inlined code !!??!!

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@328 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/inliner.ml
40 40 
let inline_call orig_expr args reset locals node =
41 41 
  let loc = orig_expr.expr_loc in
42 42 
  let uid = orig_expr.expr_tag in
43 
  let rename v =
44 
    Format.fprintf Format.str_formatter "%s_%i_%s"
43 
  let rename v =
44 
    if v = tag_true || v = tag_false then v else
45 
    (Format.fprintf Format.str_formatter "%s_%i_%s"
45 46 
      node.node_id uid v;
46 
    Format.flush_str_formatter ()
47 
    Format.flush_str_formatter ())
47 48 
  in
48 49 
  let eqs' = List.map (rename_eq rename) node.node_eqs
49 50 
  in
......
247 248 
    node_clock = Clocks.new_var true;
248 249 
    node_inputs = main_orig_node.node_inputs;
249 250 
    node_outputs = [ok_output];
250 
    node_locals = [];
251 
    node_locals = ok_i;
251 252 
    node_gencalls = [];
252 253 
    node_checks = [];
253 254 
    node_asserts = [];

Also available in: Unified diff