Use 3 modes for potentially trapping ops in asm2wasm (#929)

* use 3 modes for potentially trapping ops in asm2wasm: allow (just emit a potentially trapping op), js (do exactly what js does, even if it takes a slow ffi to do it), and clamp (avoid the trap by clamping as necessary)

1 files changed, 88 insertions, 0 deletions

diff --git a/test/debugInfo.fromasm.clamp.no-opts b/test/debugInfo.fromasm.clamp.no-opts
new file mode 100644
index 000000000..ca91651d5
--- /dev/null
+++ b/test/debugInfo.fromasm.clamp.no-opts
@@ -0,0 +1,88 @@
+(module
+  (type $FUNCSIG$vii (func (param i32 i32)))
+  (import "env" "memory" (memory $0 256 256))
+  (import "env" "table" (table 0 0 anyfunc))
+  (import "env" "memoryBase" (global $memoryBase i32))
+  (import "env" "tableBase" (global $tableBase i32))
+  (export "add" (func $add))
+  (export "ret" (func $ret))
+  (export "opts" (func $opts))
+  (func $add (param $x i32) (param $y i32) (result i32)
+    ;; tests/hello_world.c:5
+    (set_local $x
+      (get_local $x)
+    )
+    ;; tests/hello_world.c:6
+    (set_local $y
+      (get_local $y)
+    )
+    ;; tests/other_file.cpp:314159
+    (set_local $x
+      (get_local $y)
+    )
+    (return
+      (i32.add
+        (get_local $x)
+        (get_local $y)
+      )
+    )
+  )
+  (func $ret (param $x i32) (result i32)
+    ;; return.cpp:50
+    (set_local $x
+      (i32.shl
+        (get_local $x)
+        (i32.const 1)
+      )
+    )
+    ;; return.cpp:100
+    (return
+      (i32.add
+        (get_local $x)
+        (i32.const 1)
+      )
+    )
+    (unreachable)
+  )
+  (func $i32s-rem (param $0 i32) (param $1 i32) (result i32)
+    (if i32
+      (i32.eqz
+        (get_local $1)
+      )
+      (i32.const 0)
+      (i32.rem_s
+        (get_local $0)
+        (get_local $1)
+      )
+    )
+  )
+  (func $opts (param $x i32) (param $y i32) (result i32)
+    ;; even-opted.cpp:1
+    (set_local $x
+      (i32.add
+        (get_local $x)
+        (get_local $y)
+      )
+    )
+    ;; even-opted.cpp:2
+    (set_local $y
+      (i32.shr_s
+        (get_local $y)
+        (get_local $x)
+      )
+    )
+    ;; even-opted.cpp:3
+    (set_local $x
+      (call $i32s-rem
+        (get_local $x)
+        (get_local $y)
+      )
+    )
+    (return
+      (i32.add
+        (get_local $x)
+        (get_local $y)
+      )
+    )
+  )
+)