1 files changed, 55 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/regress/teavm-bugs.js b/js/src/jit-test/tests/wasm/regress/teavm-bugs.js
new file mode 100644
index 000000000..d7403eaa0
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/regress/teavm-bugs.js
@@ -0,0 +1,55 @@
+load(libdir + "wasm.js");
+
+// Register allocation issue with LCompareI64AndBranch.
+let params = '';
+let locals = '';
+let tests = '(i64.const 0)';
+
+for (let i = 15; i --> 0;) {
+    params += `\n(param i64)`;
+    locals += `\n(local i64)`;
+    tests = `
+    (if i64
+        (i64.eq
+            (get_local ${i + 8})
+            (get_local ${i})
+        )
+        (get_local ${i + 8})
+        ${tests}
+    )`;
+}
+
+let code = `(module
+   (func $i64 (result i64)
+     ${params} ${locals}
+     ${tests}
+   )
+)`
+
+wasmEvalText(code);
+
+// Bounds check elimination.
+assertEq(wasmEvalText(`(module
+    (memory 1)
+    (func (param $p i32) (local $l i32) (result i32)
+        (set_local $l (i32.const 0))
+        (if
+            (get_local $p)
+            (set_local $l
+               (i32.add
+                  (get_local $l)
+                  (i32.load8_s (get_local $p))
+               )
+            )
+        )
+        (set_local $l
+           (i32.add
+              (get_local $l)
+              (i32.load8_s (get_local $p))
+           )
+        )
+        (get_local $l)
+    )
+    (data (i32.const 0) "\\00\\01\\02\\03\\04\\05\\06\\07\\08\\09\\0a\\0b\\0c\\0d\\0e\\0f")
+    (export "test" 0)
+)`).exports["test"](3), 6);