Use wat over wast for text format filenames (#2518)

1 files changed, 1115 insertions, 0 deletions

diff --git a/src/passes/wasm-intrinsics.wat b/src/passes/wasm-intrinsics.wat
new file mode 100644
index 000000000..f54547a0d
--- /dev/null
+++ b/src/passes/wasm-intrinsics.wat
@@ -0,0 +1,1115 @@
+;; A large WAST blob which contains the implementations of all the intrinsics
+;; that we inject as part of this module. This blob was generated from a Rust
+;; program [1] which uses the Rust compiler-builtins project. It's not
+;; necessarily perfect but gets the job done! The idea here is that we inject
+;; these pretty early so they can continue to be optimized by further passes
+;; (aka inlining and whatnot)
+;;
+;; LOCAL MODS done by hand afterwards:
+;;  * Remove hardcoded address 1024 (apparently a free memory location rustc
+;;    thinks is ok to use?); add intrinsic functions, which load/store to
+;;    special scratch space, wasm2js_scratch_load_i32 etc.
+;;  * Fix function type of __wasm_ctz_i64, which was wrong somehow,
+;;    i32, i32 => i32 instead of i64 => i64
+;;
+;; [1]: https://gist.github.com/alexcrichton/e7ea67bcdd17ce4b6254e66f77165690
+
+(module
+ (type $0 (func (param i64 i64) (result i64)))
+ (type $1 (func (param f32) (result f32)))
+ (type $2 (func (param f64) (result f64)))
+ (type $3 (func (param i32) (result i32)))
+ (type $4 (func (param i32 i32) (result i32)))
+ (type $5 (func (param i64) (result i64)))
+ (import "env" "memory" (memory $0 17))
+ (import "env" "wasm2js_scratch_load_i64" (func $wasm2js_scratch_load_i64 (result i64)))
+ (import "env" "wasm2js_scratch_store_i64" (func $wasm2js_scratch_store_i64 (param i64)))
+ (export "__wasm_i64_sdiv" (func $__wasm_i64_sdiv))
+ (export "__wasm_i64_udiv" (func $__wasm_i64_udiv))
+ (export "__wasm_i64_srem" (func $__wasm_i64_srem))
+ (export "__wasm_i64_urem" (func $__wasm_i64_urem))
+ (export "__wasm_i64_mul" (func $__wasm_i64_mul))
+ (export "__wasm_trunc_f32" (func $__wasm_trunc_f32))
+ (export "__wasm_trunc_f64" (func $__wasm_trunc_f64))
+ (export "__wasm_ctz_i32" (func $__wasm_ctz_i32))
+ (export "__wasm_ctz_i64" (func $__wasm_ctz_i64))
+ (export "__wasm_rotl_i32" (func $__wasm_rotl_i32))
+ (export "__wasm_rotr_i32" (func $__wasm_rotr_i32))
+ (export "__wasm_rotl_i64" (func $__wasm_rotl_i64))
+ (export "__wasm_rotr_i64" (func $__wasm_rotr_i64))
+ (export "__wasm_nearest_f32" (func $__wasm_nearest_f32))
+ (export "__wasm_nearest_f64" (func $__wasm_nearest_f64))
+ (export "__wasm_popcnt_i32" (func $__wasm_popcnt_i32))
+ (export "__wasm_popcnt_i64" (func $__wasm_popcnt_i64))
+
+ ;; lowering of the i32.popcnt instruction, counts the number of bits set in the
+ ;; input and returns the result
+ (func $__wasm_popcnt_i32 (param $var$0 i32) (result i32)
+  (local $var$1 i32)
+  (block $label$1 (result i32)
+   (loop $label$2
+    (drop
+     (br_if $label$1
+      (local.get $var$1)
+      (i32.eqz
+       (local.get $var$0)
+      )
+     )
+    )
+    (local.set $var$0
+     (i32.and
+      (local.get $var$0)
+      (i32.sub
+       (local.get $var$0)
+       (i32.const 1)
+      )
+     )
+    )
+    (local.set $var$1
+     (i32.add
+      (local.get $var$1)
+      (i32.const 1)
+     )
+    )
+    (br $label$2)
+   )
+  )
+ )
+ ;; lowering of the i64.popcnt instruction, counts the number of bits set in the
+ ;; input and returns the result
+ (func $__wasm_popcnt_i64 (param $var$0 i64) (result i64)
+  (local $var$1 i64)
+  (block $label$1 (result i64)
+   (loop $label$2
+    (drop
+     (br_if $label$1
+      (local.get $var$1)
+      (i64.eqz
+       (local.get $var$0)
+      )
+     )
+    )
+    (local.set $var$0
+     (i64.and
+      (local.get $var$0)
+      (i64.sub
+       (local.get $var$0)
+       (i64.const 1)
+      )
+     )
+    )
+    (local.set $var$1
+     (i64.add
+      (local.get $var$1)
+      (i64.const 1)
+     )
+    )
+    (br $label$2)
+   )
+  )
+ )
+ ;; lowering of the i64.div_s instruction, return $var0 / $var$1
+ (func $__wasm_i64_sdiv (; 0 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (call $_ZN17compiler_builtins3int4sdiv3Div3div17he78fc483e41d7ec7E
+   (local.get $var$0)
+   (local.get $var$1)
+  )
+ )
+ ;; lowering of the i64.div_u instruction, return $var0 / $var$1
+ (func $__wasm_i64_udiv (; 1 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (call $_ZN17compiler_builtins3int4udiv10divmod_u6417h6026910b5ed08e40E
+   (local.get $var$0)
+   (local.get $var$1)
+  )
+ )
+ ;; lowering of the i64.rem_s instruction, return $var0 % $var$1
+ (func $__wasm_i64_srem (; 2 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (call $_ZN17compiler_builtins3int4sdiv3Mod4mod_17h2cbb7bbf36e41d68E
+   (local.get $var$0)
+   (local.get $var$1)
+  )
+ )
+ ;; lowering of the i64.rem_u instruction, return $var0 % $var$1
+ (func $__wasm_i64_urem (; 3 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (drop
+   (call $_ZN17compiler_builtins3int4udiv10divmod_u6417h6026910b5ed08e40E
+    (local.get $var$0)
+    (local.get $var$1)
+   )
+  )
+  (call $wasm2js_scratch_load_i64)
+ )
+ ;; lowering of the i64.mul instruction, return $var0 * $var$1
+ (func $__wasm_i64_mul (; 4 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (call $_ZN17compiler_builtins3int3mul3Mul3mul17h070e9a1c69faec5bE
+   (local.get $var$0)
+   (local.get $var$1)
+  )
+ )
+ ;; lowering of the f32.trunc instruction, rounds to the nearest integer,
+ ;; towards zero
+ (func $__wasm_trunc_f32 (; 5 ;) (type $1) (param $var$0 f32) (result f32)
+  (select
+   (f32.ceil
+    (local.get $var$0)
+   )
+   (f32.floor
+    (local.get $var$0)
+   )
+   (f32.lt
+    (local.get $var$0)
+    (f32.const 0)
+   )
+  )
+ )
+ ;; lowering of the f64.trunc instruction, rounds to the nearest integer,
+ ;; towards zero
+ (func $__wasm_trunc_f64 (; 6 ;) (type $2) (param $var$0 f64) (result f64)
+  (select
+   (f64.ceil
+    (local.get $var$0)
+   )
+   (f64.floor
+    (local.get $var$0)
+   )
+   (f64.lt
+    (local.get $var$0)
+    (f64.const 0)
+   )
+  )
+ )
+ ;; lowering of the i32.ctz instruction, counting the number of zeros in $var$0
+ (func $__wasm_ctz_i32 (; 7 ;) (type $3) (param $var$0 i32) (result i32)
+  (if
+   (local.get $var$0)
+   (return
+    (i32.sub
+     (i32.const 31)
+     (i32.clz
+      (i32.xor
+       (i32.add
+        (local.get $var$0)
+        (i32.const -1)
+       )
+       (local.get $var$0)
+      )
+     )
+    )
+   )
+  )
+  (i32.const 32)
+ )
+ ;; lowering of the i64.ctz instruction, counting the number of zeros in $var$0
+ (func $__wasm_ctz_i64 (; 8 ;) (type $5) (param $var$0 i64) (result i64)
+  (if
+   (i32.eqz
+    (i64.eqz
+     (local.get $var$0)
+    )
+   )
+   (return
+    (i64.sub
+     (i64.const 63)
+     (i64.clz
+      (i64.xor
+       (i64.add
+        (local.get $var$0)
+        (i64.const -1)
+       )
+       (local.get $var$0)
+      )
+     )
+    )
+   )
+  )
+  (i64.const 64)
+ )
+ ;; lowering of the i32.rotl instruction, rotating the first argument, with
+ ;; wraparound, by the second argument
+ (func $__wasm_rotl_i32 (; 8 ;) (type $4) (param $var$0 i32) (param $var$1 i32) (result i32)
+  (local $var$2 i32)
+  (i32.or
+   (i32.shl
+    (i32.and
+     (i32.shr_u
+      (i32.const -1)
+      (local.tee $var$2
+       (i32.and
+        (local.get $var$1)
+        (i32.const 31)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$2)
+   )
+   (i32.shr_u
+    (i32.and
+     (i32.shl
+      (i32.const -1)
+      (local.tee $var$1
+       (i32.and
+        (i32.sub
+         (i32.const 0)
+         (local.get $var$1)
+        )
+        (i32.const 31)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$1)
+   )
+  )
+ )
+ ;; lowering of the i32.rotr instruction, rotating the first argument, with
+ ;; wraparound, by the second argument
+ (func $__wasm_rotr_i32 (; 9 ;) (type $4) (param $var$0 i32) (param $var$1 i32) (result i32)
+  (local $var$2 i32)
+  (i32.or
+   (i32.shr_u
+    (i32.and
+     (i32.shl
+      (i32.const -1)
+      (local.tee $var$2
+       (i32.and
+        (local.get $var$1)
+        (i32.const 31)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$2)
+   )
+   (i32.shl
+    (i32.and
+     (i32.shr_u
+      (i32.const -1)
+      (local.tee $var$1
+       (i32.and
+        (i32.sub
+         (i32.const 0)
+         (local.get $var$1)
+        )
+        (i32.const 31)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$1)
+   )
+  )
+ )
+ ;; lowering of the i64.rotl instruction, rotating the first argument, with
+ ;; wraparound, by the second argument
+ (func $__wasm_rotl_i64 (; 10 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (local $var$2 i64)
+  (i64.or
+   (i64.shl
+    (i64.and
+     (i64.shr_u
+      (i64.const -1)
+      (local.tee $var$2
+       (i64.and
+        (local.get $var$1)
+        (i64.const 63)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$2)
+   )
+   (i64.shr_u
+    (i64.and
+     (i64.shl
+      (i64.const -1)
+      (local.tee $var$1
+       (i64.and
+        (i64.sub
+         (i64.const 0)
+         (local.get $var$1)
+        )
+        (i64.const 63)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$1)
+   )
+  )
+ )
+ ;; lowering of the i64.rotr instruction, rotating the first argument, with
+ ;; wraparound, by the second argument
+ (func $__wasm_rotr_i64 (; 11 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (local $var$2 i64)
+  (i64.or
+   (i64.shr_u
+    (i64.and
+     (i64.shl
+      (i64.const -1)
+      (local.tee $var$2
+       (i64.and
+        (local.get $var$1)
+        (i64.const 63)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$2)
+   )
+   (i64.shl
+    (i64.and
+     (i64.shr_u
+      (i64.const -1)
+      (local.tee $var$1
+       (i64.and
+        (i64.sub
+         (i64.const 0)
+         (local.get $var$1)
+        )
+        (i64.const 63)
+       )
+      )
+     )
+     (local.get $var$0)
+    )
+    (local.get $var$1)
+   )
+  )
+ )
+ ;; lowering of the f32.nearest instruction, rounding the input to the nearest
+ ;; integer while breaking ties by rounding to even
+ (func $__wasm_nearest_f32 (; 12 ;) (type $1) (param $var$0 f32) (result f32)
+  (local $var$1 f32)
+  (local $var$2 f32)
+  (if
+   (i32.eqz
+    (f32.lt
+     (local.tee $var$2
+      (f32.sub
+       (local.get $var$0)
+       (local.tee $var$1
+        (f32.floor
+         (local.get $var$0)
+        )
+       )
+      )
+     )
+     (f32.const 0.5)
+    )
+   )
+   (block
+    (local.set $var$0
+     (f32.ceil
+      (local.get $var$0)
+     )
+    )
+    (if
+     (f32.gt
+      (local.get $var$2)
+      (f32.const 0.5)
+     )
+     (return
+      (local.get $var$0)
+     )
+    )
+    (local.set $var$1
+     (select
+      (local.get $var$1)
+      (local.get $var$0)
+      (f32.eq
+       (f32.sub
+        (local.tee $var$2
+         (f32.mul
+          (local.get $var$1)
+          (f32.const 0.5)
+         )
+        )
+        (f32.floor
+         (local.get $var$2)
+        )
+       )
+       (f32.const 0)
+      )
+     )
+    )
+   )
+  )
+  (local.get $var$1)
+ )
+ ;; lowering of the f64.nearest instruction, rounding the input to the nearest
+ ;; integer while breaking ties by rounding to even
+ (func $__wasm_nearest_f64 (; 13 ;) (type $2) (param $var$0 f64) (result f64)
+  (local $var$1 f64)
+  (local $var$2 f64)
+  (if
+   (i32.eqz
+    (f64.lt
+     (local.tee $var$2
+      (f64.sub
+       (local.get $var$0)
+       (local.tee $var$1
+        (f64.floor
+         (local.get $var$0)
+        )
+       )
+      )
+     )
+     (f64.const 0.5)
+    )
+   )
+   (block
+    (local.set $var$0
+     (f64.ceil
+      (local.get $var$0)
+     )
+    )
+    (if
+     (f64.gt
+      (local.get $var$2)
+      (f64.const 0.5)
+     )
+     (return
+      (local.get $var$0)
+     )
+    )
+    (local.set $var$1
+     (select
+      (local.get $var$1)
+      (local.get $var$0)
+      (f64.eq
+       (f64.sub
+        (local.tee $var$2
+         (f64.mul
+          (local.get $var$1)
+          (f64.const 0.5)
+         )
+        )
+        (f64.floor
+         (local.get $var$2)
+        )
+       )
+       (f64.const 0)
+      )
+     )
+    )
+   )
+  )
+  (local.get $var$1)
+ )
+ (func $_ZN17compiler_builtins3int4udiv10divmod_u6417h6026910b5ed08e40E (; 14 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (local $var$2 i32)
+  (local $var$3 i32)
+  (local $var$4 i32)
+  (local $var$5 i64)
+  (local $var$6 i64)
+  (local $var$7 i64)
+  (local $var$8 i64)
+  (block $label$1
+   (block $label$2
+    (block $label$3
+     (block $label$4
+      (block $label$5
+       (block $label$6
+        (block $label$7
+         (block $label$8
+          (block $label$9
+           (block $label$10
+            (block $label$11
+             (if
+              (local.tee $var$2
+               (i32.wrap_i64
+                (i64.shr_u
+                 (local.get $var$0)
+                 (i64.const 32)
+                )
+               )
+              )
+              (block
+               (br_if $label$11
+                (i32.eqz
+                 (local.tee $var$3
+                  (i32.wrap_i64
+                   (local.get $var$1)
+                  )
+                 )
+                )
+               )
+               (br_if $label$9
+                (i32.eqz
+                 (local.tee $var$4
+                  (i32.wrap_i64
+                   (i64.shr_u
+                    (local.get $var$1)
+                    (i64.const 32)
+                   )
+                  )
+                 )
+                )
+               )
+               (br_if $label$8
+                (i32.le_u
+                 (local.tee $var$2
+                  (i32.sub
+                   (i32.clz
+                    (local.get $var$4)
+                   )
+                   (i32.clz
+                    (local.get $var$2)
+                   )
+                  )
+                 )
+                 (i32.const 31)
+                )
+               )
+               (br $label$2)
+              )
+             )
+             (br_if $label$2
+              (i64.ge_u
+               (local.get $var$1)
+               (i64.const 4294967296)
+              )
+             )
+             (call $wasm2js_scratch_store_i64
+              (i64.extend_i32_u
+               (i32.sub
+                (local.tee $var$2
+                 (i32.wrap_i64
+                  (local.get $var$0)
+                 )
+                )
+                (i32.mul
+                 (local.tee $var$2
+                  (i32.div_u
+                   (local.get $var$2)
+                   (local.tee $var$3
+                    (i32.wrap_i64
+                     (local.get $var$1)
+                    )
+                   )
+                  )
+                 )
+                 (local.get $var$3)
+                )
+               )
+              )
+             )
+             (return
+              (i64.extend_i32_u
+               (local.get $var$2)
+              )
+             )
+            )
+            (local.set $var$3
+             (i32.wrap_i64
+              (i64.shr_u
+               (local.get $var$1)
+               (i64.const 32)
+              )
+             )
+            )
+            (br_if $label$7
+             (i32.eqz
+              (i32.wrap_i64
+               (local.get $var$0)
+              )
+             )
+            )
+            (br_if $label$6
+             (i32.eqz
+              (local.get $var$3)
+             )
+            )
+            (br_if $label$6
+             (i32.and
+              (local.tee $var$4
+               (i32.add
+                (local.get $var$3)
+                (i32.const -1)
+               )
+              )
+              (local.get $var$3)
+             )
+            )
+            (call $wasm2js_scratch_store_i64
+             (i64.or
+              (i64.shl
+               (i64.extend_i32_u
+                (i32.and
+                 (local.get $var$4)
+                 (local.get $var$2)
+                )
+               )
+               (i64.const 32)
+              )
+              (i64.and
+               (local.get $var$0)
+               (i64.const 4294967295)
+              )
+             )
+            )
+            (return
+             (i64.extend_i32_u
+              (i32.shr_u
+               (local.get $var$2)
+               (i32.and
+                (i32.ctz
+                 (local.get $var$3)
+                )
+                (i32.const 31)
+               )
+              )
+             )
+            )
+           )
+           (unreachable)
+          )
+          (br_if $label$5
+           (i32.eqz
+            (i32.and
+             (local.tee $var$4
+              (i32.add
+               (local.get $var$3)
+               (i32.const -1)
+              )
+             )
+             (local.get $var$3)
+            )
+           )
+          )
+          (local.set $var$3
+           (i32.sub
+            (i32.const 0)
+            (local.tee $var$2
+             (i32.sub
+              (i32.add
+               (i32.clz
+                (local.get $var$3)
+               )
+               (i32.const 33)
+              )
+              (i32.clz
+               (local.get $var$2)
+              )
+             )
+            )
+           )
+          )
+          (br $label$3)
+         )
+         (local.set $var$3
+          (i32.sub
+           (i32.const 63)
+           (local.get $var$2)
+          )
+         )
+         (local.set $var$2
+          (i32.add
+           (local.get $var$2)
+           (i32.const 1)
+          )
+         )
+         (br $label$3)
+        )
+        (call $wasm2js_scratch_store_i64
+         (i64.shl
+          (i64.extend_i32_u
+           (i32.sub
+            (local.get $var$2)
+            (i32.mul
+             (local.tee $var$4
+              (i32.div_u
+               (local.get $var$2)
+               (local.get $var$3)
+              )
+             )
+             (local.get $var$3)
+            )
+           )
+          )
+          (i64.const 32)
+         )
+        )
+        (return
+         (i64.extend_i32_u
+          (local.get $var$4)
+         )
+        )
+       )
+       (br_if $label$4
+        (i32.lt_u
+         (local.tee $var$2
+          (i32.sub
+           (i32.clz
+            (local.get $var$3)
+           )
+           (i32.clz
+            (local.get $var$2)
+           )
+          )
+         )
+         (i32.const 31)
+        )
+       )
+       (br $label$2)
+      )
+      (call $wasm2js_scratch_store_i64
+       (i64.extend_i32_u
+        (i32.and
+         (local.get $var$4)
+         (i32.wrap_i64
+          (local.get $var$0)
+         )
+        )
+       )
+      )
+      (br_if $label$1
+       (i32.eq
+        (local.get $var$3)
+        (i32.const 1)
+       )
+      )
+      (return
+       (i64.shr_u
+        (local.get $var$0)
+        (i64.extend_i32_u
+         (i32.ctz
+          (local.get $var$3)
+         )
+        )
+       )
+      )
+     )
+     (local.set $var$3
+      (i32.sub
+       (i32.const 63)
+       (local.get $var$2)
+      )
+     )
+     (local.set $var$2
+      (i32.add
+       (local.get $var$2)
+       (i32.const 1)
+      )
+     )
+    )
+    (local.set $var$5
+     (i64.shr_u
+      (local.get $var$0)
+      (i64.extend_i32_u
+       (i32.and
+        (local.get $var$2)
+        (i32.const 63)
+       )
+      )
+     )
+    )
+    (local.set $var$0
+     (i64.shl
+      (local.get $var$0)
+      (i64.extend_i32_u
+       (i32.and
+        (local.get $var$3)
+        (i32.const 63)
+       )
+      )
+     )
+    )
+    (block $label$13
+     (if
+      (local.get $var$2)
+      (block
+       (local.set $var$8
+        (i64.add
+         (local.get $var$1)
+         (i64.const -1)
+        )
+       )
+       (loop $label$15
+        (local.set $var$5
+         (i64.sub
+          (local.tee $var$5
+           (i64.or
+            (i64.shl
+             (local.get $var$5)
+             (i64.const 1)
+            )
+            (i64.shr_u
+             (local.get $var$0)
+             (i64.const 63)
+            )
+           )
+          )
+          (i64.and
+           (local.tee $var$6
+            (i64.shr_s
+             (i64.sub
+              (local.get $var$8)
+              (local.get $var$5)
+             )
+             (i64.const 63)
+            )
+           )
+           (local.get $var$1)
+          )
+         )
+        )
+        (local.set $var$0
+         (i64.or
+          (i64.shl
+           (local.get $var$0)
+           (i64.const 1)
+          )
+          (local.get $var$7)
+         )
+        )
+        (local.set $var$7
+         (local.tee $var$6
+          (i64.and
+           (local.get $var$6)
+           (i64.const 1)
+          )
+         )
+        )
+        (br_if $label$15
+         (local.tee $var$2
+          (i32.add
+           (local.get $var$2)
+           (i32.const -1)
+          )
+         )
+        )
+       )
+       (br $label$13)
+      )
+     )
+    )
+    (call $wasm2js_scratch_store_i64
+     (local.get $var$5)
+    )
+    (return
+     (i64.or
+      (i64.shl
+       (local.get $var$0)
+       (i64.const 1)
+      )
+      (local.get $var$6)
+     )
+    )
+   )
+   (call $wasm2js_scratch_store_i64
+    (local.get $var$0)
+   )
+   (local.set $var$0
+    (i64.const 0)
+   )
+  )
+  (local.get $var$0)
+ )
+ (func $_ZN17compiler_builtins3int3mul3Mul3mul17h070e9a1c69faec5bE (; 15 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (local $var$2 i32)
+  (local $var$3 i32)
+  (local $var$4 i32)
+  (local $var$5 i32)
+  (local $var$6 i32)
+  (i64.or
+   (i64.shl
+    (i64.extend_i32_u
+     (i32.add
+      (i32.add
+       (i32.add
+        (i32.add
+         (i32.mul
+          (local.tee $var$4
+           (i32.shr_u
+            (local.tee $var$2
+             (i32.wrap_i64
+              (local.get $var$1)
+             )
+            )
+            (i32.const 16)
+           )
+          )
+          (local.tee $var$5
+           (i32.shr_u
+            (local.tee $var$3
+             (i32.wrap_i64
+              (local.get $var$0)
+             )
+            )
+            (i32.const 16)
+           )
+          )
+         )
+         (i32.mul
+          (local.get $var$2)
+          (i32.wrap_i64
+           (i64.shr_u
+            (local.get $var$0)
+            (i64.const 32)
+           )
+          )
+         )
+        )
+        (i32.mul
+         (i32.wrap_i64
+          (i64.shr_u
+           (local.get $var$1)
+           (i64.const 32)
+          )
+         )
+         (local.get $var$3)
+        )
+       )
+       (i32.shr_u
+        (local.tee $var$2
+         (i32.add
+          (i32.shr_u
+           (local.tee $var$6
+            (i32.mul
+             (local.tee $var$2
+              (i32.and
+               (local.get $var$2)
+               (i32.const 65535)
+              )
+             )
+             (local.tee $var$3
+              (i32.and
+               (local.get $var$3)
+               (i32.const 65535)
+              )
+             )
+            )
+           )
+           (i32.const 16)
+          )
+          (i32.mul
+           (local.get $var$2)
+           (local.get $var$5)
+          )
+         )
+        )
+        (i32.const 16)
+       )
+      )
+      (i32.shr_u
+       (local.tee $var$2
+        (i32.add
+         (i32.and
+          (local.get $var$2)
+          (i32.const 65535)
+         )
+         (i32.mul
+          (local.get $var$4)
+          (local.get $var$3)
+         )
+        )
+       )
+       (i32.const 16)
+      )
+     )
+    )
+    (i64.const 32)
+   )
+   (i64.extend_i32_u
+    (i32.or
+     (i32.shl
+      (local.get $var$2)
+      (i32.const 16)
+     )
+     (i32.and
+      (local.get $var$6)
+      (i32.const 65535)
+     )
+    )
+   )
+  )
+ )
+ (func $_ZN17compiler_builtins3int4sdiv3Div3div17he78fc483e41d7ec7E (; 16 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (local $var$2 i64)
+  (i64.sub
+   (i64.xor
+    (i64.div_u
+     (i64.sub
+      (i64.xor
+       (local.tee $var$2
+        (i64.shr_s
+         (local.get $var$0)
+         (i64.const 63)
+        )
+       )
+       (local.get $var$0)
+      )
+      (local.get $var$2)
+     )
+     (i64.sub
+      (i64.xor
+       (local.tee $var$2
+        (i64.shr_s
+         (local.get $var$1)
+         (i64.const 63)
+        )
+       )
+       (local.get $var$1)
+      )
+      (local.get $var$2)
+     )
+    )
+    (local.tee $var$0
+     (i64.shr_s
+      (i64.xor
+       (local.get $var$1)
+       (local.get $var$0)
+      )
+      (i64.const 63)
+     )
+    )
+   )
+   (local.get $var$0)
+  )
+ )
+ (func $_ZN17compiler_builtins3int4sdiv3Mod4mod_17h2cbb7bbf36e41d68E (; 17 ;) (type $0) (param $var$0 i64) (param $var$1 i64) (result i64)
+  (local $var$2 i64)
+  (i64.sub
+   (i64.xor
+    (i64.rem_u
+     (i64.sub
+      (i64.xor
+       (local.tee $var$2
+        (i64.shr_s
+         (local.get $var$0)
+         (i64.const 63)
+        )
+       )
+       (local.get $var$0)
+      )
+      (local.get $var$2)
+     )
+     (i64.sub
+      (i64.xor
+       (local.tee $var$0
+        (i64.shr_s
+         (local.get $var$1)
+         (i64.const 63)
+        )
+       )
+       (local.get $var$1)
+      )
+      (local.get $var$0)
+     )
+    )
+    (local.get $var$2)
+   )
+   (local.get $var$2)
+  )
+ )
+ ;; custom section "linking", size 3
+)