wasm2js: fix br_table to loop (#2018)

2 files changed, 83 insertions, 0 deletions

diff --git a/test/wasm2js/br_table_to_loop.2asm.js b/test/wasm2js/br_table_to_loop.2asm.js
new file mode 100644
index 000000000..31e9ac0ae
--- /dev/null
+++ b/test/wasm2js/br_table_to_loop.2asm.js
@@ -0,0 +1,67 @@
+
+function asmFunc(global, env, buffer) {
+ "use asm";
+ 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 i64toi32_i32$HIGH_BITS = 0;
+ function $0() {
+  block : {
+   loop : do {
+    switch (1 | 0) {
+    case 0:
+     break block;
+    case 1:
+     continue loop;
+    default:
+     break block;
+    };
+    break loop;
+   } while (1);
+  }
+ }
+ 
+ function $1() {
+  block : {
+   loop : do {
+    switch (1 | 0) {
+    case 0:
+     continue loop;
+    case 1:
+     break block;
+    default:
+     continue loop;
+    };
+    break loop;
+   } while (1);
+  }
+ }
+ 
+ var FUNCTION_TABLE = [];
+ return {
+  exp1: $0, 
+  exp2: $1
+ };
+}
+
+const memasmFunc = new ArrayBuffer(65536);
+const retasmFunc = asmFunc({Math,Int8Array,Uint8Array,Int16Array,Uint16Array,Int32Array,Uint32Array,Float32Array,Float64Array,NaN,Infinity}, {abort:function() { throw new Error('abort'); }},memasmFunc);
+export const exp1 = retasmFunc.exp1;
+export const exp2 = retasmFunc.exp2;
diff --git a/test/wasm2js/br_table_to_loop.wast b/test/wasm2js/br_table_to_loop.wast
new file mode 100644
index 000000000..83d3702c2
--- /dev/null
+++ b/test/wasm2js/br_table_to_loop.wast
@@ -0,0 +1,16 @@
+(module
+ (func "exp1"
+  (block $block
+   (loop $loop
+    (br_table $block $loop $block (i32.const 1))
+   )
+  )
+ )
+ (func "exp2"
+  (block $block
+   (loop $loop
+    (br_table $loop $block $loop (i32.const 1))
+   )
+  )
+ )
+)