infer untyped variables in js-optimizer.js by origin variable's type if they are just a copy

2 files changed, 13 insertions, 1 deletions

diff --git a/tools/eliminator/asm-eliminator-test-output.js b/tools/eliminator/asm-eliminator-test-output.js
index e477c320..4cd9cbaa 100644
--- a/tools/eliminator/asm-eliminator-test-output.js
+++ b/tools/eliminator/asm-eliminator-test-output.js
@@ -123,4 +123,10 @@ function switchy() {
     continue;
   }
 }
+function confuusion() {
+  var i = +0, j = +0;
+  func1(+i);
+  j = i;
+  func2(+j);
+}
 
diff --git a/tools/eliminator/asm-eliminator-test.js b/tools/eliminator/asm-eliminator-test.js
index acc07edb..9dc71835 100644
--- a/tools/eliminator/asm-eliminator-test.js
+++ b/tools/eliminator/asm-eliminator-test.js
@@ -156,5 +156,11 @@ function switchy() {
       continue;
   }
 }
-// EMSCRIPTEN_GENERATED_FUNCTIONS: ["asm", "__Z11printResultPiS_j", "_segment_holding", "__ZN5identC2EiPKcPci", "_vec2Length", "exc", "label"]
+function confuusion() {
+  var i = +0;
+  func1(+i);
+  var j = i; // add this var in the middle. should show up with right type later, auto-inferred from i's type
+  func2(+j);
+}
+// EMSCRIPTEN_GENERATED_FUNCTIONS: ["asm", "__Z11printResultPiS_j", "_segment_holding", "__ZN5identC2EiPKcPci", "_vec2Length", "exc", "label", "confuusion"]