DCE at the end of wasm2js (#2574)

By doing so we ensure that our calls to convert wasm
types to JS types never try to convert an unreachable.

Fixes #2558

1 files changed, 50 insertions, 0 deletions

diff --git a/test/wasm2js/unreachable-later.2asm.js.opt b/test/wasm2js/unreachable-later.2asm.js.opt
new file mode 100644
index 000000000..b0006309f
--- /dev/null
+++ b/test/wasm2js/unreachable-later.2asm.js.opt
@@ -0,0 +1,50 @@
+
+function asmFunc(global, env, buffer) {
+ var HEAP8 = new global.Int8Array(buffer);
+ var HEAP16 = new global.Int16Array(buffer);
+ var HEAP32 = new global.Int32Array(buffer);
+ var HEAPU8 = new global.Uint8Array(buffer);
+ var HEAPU16 = new global.Uint16Array(buffer);
+ var HEAPU32 = new global.Uint32Array(buffer);
+ var HEAPF32 = new global.Float32Array(buffer);
+ var HEAPF64 = new global.Float64Array(buffer);
+ var Math_imul = global.Math.imul;
+ var Math_fround = global.Math.fround;
+ var Math_abs = global.Math.abs;
+ var Math_clz32 = global.Math.clz32;
+ var Math_min = global.Math.min;
+ var Math_max = global.Math.max;
+ var Math_floor = global.Math.floor;
+ var Math_ceil = global.Math.ceil;
+ var Math_sqrt = global.Math.sqrt;
+ var abort = env.abort;
+ var nan = global.NaN;
+ var infinity = global.Infinity;
+ var global$0 = 10;
+ function $0($0_1) {
+  $0_1 = $0_1 | 0;
+  folding_inner0 : {
+   if (global$0) {
+    break folding_inner0
+   }
+   global$0 = 0;
+   if (global$0) {
+    break folding_inner0
+   }
+   if (global$0) {
+    break folding_inner0
+   }
+   abort();
+  }
+  return $0_1 | 0;
+ }
+ 
+ var FUNCTION_TABLE = [];
+ return {
+  "func_50": $0
+ };
+}
+
+var memasmFunc = new ArrayBuffer(65536);
+var retasmFunc = asmFunc({Math,Int8Array,Uint8Array,Int16Array,Uint16Array,Int32Array,Uint32Array,Float32Array,Float64Array,NaN,Infinity}, {abort:function() { throw new Error('abort'); }},memasmFunc);
+export var func_50 = retasmFunc.func_50;