Filter outputs removed by memalloc

2011-05-10 14:01:54 +02:00 · 2011-05-10 14:01:54 +02:00 · d39e883e08
parent de3a61557b
commit d39e883e08
1 changed files with 3 additions and 1 deletions
--- a/compiler/obc/c/cgen.ml
+++ b/compiler/obc/c/cgen.ml
@ -71,7 +71,9 @@ let output_names_list sig_info =
    | Some n -> n
    | None -> Error.message no_location Error.Eno_unnamed_output
  in
-  List.map remove_option sig_info.node_outputs
+  let outputs = List.filter
+    (fun ad -> not (Linearity.is_linear ad.a_linearity)) sig_info.node_outputs in
+    List.map remove_option outputs

 let is_stateful n =
  try