WIP

Author: vouillon

compiler/lib-wasm/call_graph_analysis.ml

@@ -179,14 +179,6 @@ let f p info =
   call_info
 
 (*
-- Find non-ambiguous functions that raises
-  => there is a throw not in the scope of an exception handler
-  => does not return an unboxed value
-
-Later:
-- deal with tail calls
-- transformation only if useful (exception catched by caller)
-  ==> unambigous functions in the scope of an exception handler
-      and may raise
-      (propagate information in both directions)
+- Optimize tail-calls
+- Cannot change calling convention if the function has tail-calls
 *)