enable udivmoddi4 opts in asm2wasm

1 files changed, 36 insertions, 919 deletions

diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index c13902e50..815fee11e 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -17592,944 +17592,61 @@
       (get_local $0)
     )
   )
-  (func $___udivmoddi4 (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (result i32)
-    (local $5 i32)
-    (local $6 i32)
-    (local $7 i32)
-    (local $8 i32)
-    (local $9 i32)
-    (local $10 i32)
-    (local $11 i32)
-    (local $12 i32)
-    (local $13 i32)
-    (local $14 i32)
-    (set_local $8
-      (get_local $0)
-    )
-    (set_local $5
-      (get_local $2)
-    )
-    (set_local $7
-      (tee_local $14
-        (get_local $3)
-      )
-    )
-    (if
-      (i32.eqz
-        (tee_local $6
-          (tee_local $9
-            (get_local $1)
-          )
-        )
-      )
-      (block
-        (set_local $2
-          (i32.ne
-            (get_local $4)
-            (i32.const 0)
-          )
+  (func $___udivmoddi4 (param $xl i32) (param $xh i32) (param $yl i32) (param $yh i32) (param $r i32) (result i32)
+    (local $x64 i64)
+    (local $y64 i64)
+    (set_local $x64
+      (i64.or
+        (i64.extend_u/i32
+          (get_local $xl)
         )
-        (if
-          (get_local $7)
-          (block
-            (if
-              (i32.eqz
-                (get_local $2)
-              )
-              (block
-                (set_global $tempRet0
-                  (i32.const 0)
-                )
-                (return
-                  (i32.const 0)
-                )
-              )
-            )
-            (i32.store
-              (get_local $4)
-              (i32.and
-                (get_local $0)
-                (i32.const -1)
-              )
-            )
-            (i32.store offset=4
-              (get_local $4)
-              (i32.and
-                (get_local $1)
-                (i32.const 0)
-              )
-            )
-            (set_global $tempRet0
-              (i32.const 0)
-            )
-            (return
-              (i32.const 0)
-            )
-          )
-          (block
-            (if
-              (get_local $2)
-              (block
-                (i32.store
-                  (get_local $4)
-                  (i32.rem_u
-                    (get_local $8)
-                    (get_local $5)
-                  )
-                )
-                (i32.store offset=4
-                  (get_local $4)
-                  (i32.const 0)
-                )
-              )
-            )
-            (set_global $tempRet0
-              (i32.const 0)
-            )
-            (return
-              (i32.div_u
-                (get_local $8)
-                (get_local $5)
-              )
-            )
+        (i64.shl
+          (i64.extend_u/i32
+            (get_local $xh)
           )
+          (i64.const 32)
         )
       )
     )
-    (set_local $10
-      (i32.eqz
-        (get_local $7)
-      )
-    )
-    (block $do-once$0
-      (if
-        (get_local $5)
-        (block
-          (if
-            (i32.eqz
-              (get_local $10)
-            )
-            (block
-              (if
-                (i32.le_u
-                  (tee_local $5
-                    (i32.sub
-                      (i32.clz
-                        (get_local $7)
-                      )
-                      (i32.clz
-                        (get_local $6)
-                      )
-                    )
-                  )
-                  (i32.const 31)
-                )
-                (block
-                  (set_local $12
-                    (tee_local $0
-                      (i32.add
-                        (get_local $5)
-                        (i32.const 1)
-                      )
-                    )
-                  )
-                  (set_local $11
-                    (i32.or
-                      (i32.and
-                        (i32.shr_u
-                          (get_local $8)
-                          (get_local $0)
-                        )
-                        (tee_local $9
-                          (i32.shr_s
-                            (i32.sub
-                              (get_local $5)
-                              (i32.const 31)
-                            )
-                            (i32.const 31)
-                          )
-                        )
-                      )
-                      (i32.shl
-                        (get_local $6)
-                        (tee_local $1
-                          (i32.sub
-                            (i32.const 31)
-                            (get_local $5)
-                          )
-                        )
-                      )
-                    )
-                  )
-                  (set_local $13
-                    (i32.and
-                      (i32.shr_u
-                        (get_local $6)
-                        (get_local $0)
-                      )
-                      (get_local $9)
-                    )
-                  )
-                  (set_local $10
-                    (i32.const 0)
-                  )
-                  (set_local $0
-                    (i32.shl
-                      (get_local $8)
-                      (get_local $1)
-                    )
-                  )
-                  (br $do-once$0)
-                )
-              )
-              (if
-                (i32.eqz
-                  (get_local $4)
-                )
-                (block
-                  (set_global $tempRet0
-                    (i32.const 0)
-                  )
-                  (return
-                    (i32.const 0)
-                  )
-                )
-              )
-              (i32.store
-                (get_local $4)
-                (i32.or
-                  (i32.const 0)
-                  (i32.and
-                    (get_local $0)
-                    (i32.const -1)
-                  )
-                )
-              )
-              (i32.store offset=4
-                (get_local $4)
-                (i32.or
-                  (get_local $9)
-                  (i32.and
-                    (get_local $1)
-                    (i32.const 0)
-                  )
-                )
-              )
-              (set_global $tempRet0
-                (i32.const 0)
-              )
-              (return
-                (i32.const 0)
-              )
-            )
-          )
-          (if
-            (i32.ne
-              (i32.and
-                (tee_local $7
-                  (i32.sub
-                    (get_local $5)
-                    (i32.const 1)
-                  )
-                )
-                (get_local $5)
-              )
-              (i32.const 0)
-            )
-            (block
-              (set_local $1
-                (i32.sub
-                  (i32.const 64)
-                  (tee_local $0
-                    (i32.sub
-                      (i32.add
-                        (i32.clz
-                          (get_local $5)
-                        )
-                        (i32.const 33)
-                      )
-                      (i32.clz
-                        (get_local $6)
-                      )
-                    )
-                  )
-                )
-              )
-              (set_local $5
-                (i32.shr_s
-                  (tee_local $9
-                    (i32.sub
-                      (i32.const 32)
-                      (get_local $0)
-                    )
-                  )
-                  (i32.const 31)
-                )
-              )
-              (set_local $10
-                (i32.shr_s
-                  (tee_local $7
-                    (i32.sub
-                      (get_local $0)
-                      (i32.const 32)
-                    )
-                  )
-                  (i32.const 31)
-                )
-              )
-              (set_local $12
-                (get_local $0)
-              )
-              (set_local $11
-                (i32.or
-                  (i32.and
-                    (i32.shr_s
-                      (i32.sub
-                        (get_local $9)
-                        (i32.const 1)
-                      )
-                      (i32.const 31)
-                    )
-                    (i32.shr_u
-                      (get_local $6)
-                      (get_local $7)
-                    )
-                  )
-                  (i32.and
-                    (i32.or
-                      (i32.shl
-                        (get_local $6)
-                        (get_local $9)
-                      )
-                      (i32.shr_u
-                        (get_local $8)
-                        (get_local $0)
-                      )
-                    )
-                    (get_local $10)
-                  )
-                )
-              )
-              (set_local $13
-                (i32.and
-                  (get_local $10)
-                  (i32.shr_u
-                    (get_local $6)
-                    (get_local $0)
-                  )
-                )
-              )
-              (set_local $10
-                (i32.and
-                  (i32.shl
-                    (get_local $8)
-                    (get_local $1)
-                  )
-                  (get_local $5)
-                )
-              )
-              (set_local $0
-                (i32.or
-                  (i32.and
-                    (i32.or
-                      (i32.shl
-                        (get_local $6)
-                        (get_local $1)
-                      )
-                      (i32.shr_u
-                        (get_local $8)
-                        (get_local $7)
-                      )
-                    )
-                    (get_local $5)
-                  )
-                  (i32.and
-                    (i32.shl
-                      (get_local $8)
-                      (get_local $9)
-                    )
-                    (i32.shr_s
-                      (i32.sub
-                        (get_local $0)
-                        (i32.const 33)
-                      )
-                      (i32.const 31)
-                    )
-                  )
-                )
-              )
-              (br $do-once$0)
-            )
-          )
-          (if
-            (i32.ne
-              (get_local $4)
-              (i32.const 0)
-            )
-            (block
-              (i32.store
-                (get_local $4)
-                (i32.and
-                  (get_local $7)
-                  (get_local $8)
-                )
-              )
-              (i32.store offset=4
-                (get_local $4)
-                (i32.const 0)
-              )
-            )
-          )
-          (if
-            (i32.eq
-              (get_local $5)
-              (i32.const 1)
-            )
-            (block
-              (set_global $tempRet0
-                (i32.or
-                  (get_local $9)
-                  (i32.and
-                    (get_local $1)
-                    (i32.const 0)
-                  )
-                )
-              )
-              (return
-                (i32.or
-                  (i32.const 0)
-                  (i32.and
-                    (get_local $0)
-                    (i32.const -1)
-                  )
-                )
-              )
-            )
-            (block
-              (set_global $tempRet0
-                (i32.or
-                  (i32.const 0)
-                  (i32.shr_u
-                    (get_local $6)
-                    (tee_local $0
-                      (i32.ctz
-                        (get_local $5)
-                      )
-                    )
-                  )
-                )
-              )
-              (return
-                (i32.or
-                  (i32.shl
-                    (get_local $6)
-                    (i32.sub
-                      (i32.const 32)
-                      (get_local $0)
-                    )
-                  )
-                  (i32.shr_u
-                    (get_local $8)
-                    (get_local $0)
-                  )
-                )
-              )
-            )
-          )
+    (set_local $y64
+      (i64.or
+        (i64.extend_u/i32
+          (get_local $yl)
         )
-        (block
-          (if
-            (get_local $10)
-            (block
-              (if
-                (i32.ne
-                  (get_local $4)
-                  (i32.const 0)
-                )
-                (block
-                  (i32.store
-                    (get_local $4)
-                    (i32.rem_u
-                      (get_local $6)
-                      (get_local $5)
-                    )
-                  )
-                  (i32.store offset=4
-                    (get_local $4)
-                    (i32.const 0)
-                  )
-                )
-              )
-              (set_global $tempRet0
-                (i32.const 0)
-              )
-              (return
-                (i32.div_u
-                  (get_local $6)
-                  (get_local $5)
-                )
-              )
-            )
-          )
-          (if
-            (i32.eqz
-              (get_local $8)
-            )
-            (block
-              (if
-                (i32.ne
-                  (get_local $4)
-                  (i32.const 0)
-                )
-                (block
-                  (i32.store
-                    (get_local $4)
-                    (i32.const 0)
-                  )
-                  (i32.store offset=4
-                    (get_local $4)
-                    (i32.rem_u
-                      (get_local $6)
-                      (get_local $7)
-                    )
-                  )
-                )
-              )
-              (set_global $tempRet0
-                (i32.const 0)
-              )
-              (return
-                (i32.div_u
-                  (get_local $6)
-                  (get_local $7)
-                )
-              )
-            )
-          )
-          (if
-            (i32.eqz
-              (i32.and
-                (tee_local $5
-                  (i32.sub
-                    (get_local $7)
-                    (i32.const 1)
-                  )
-                )
-                (get_local $7)
-              )
-            )
-            (block
-              (if
-                (i32.ne
-                  (get_local $4)
-                  (i32.const 0)
-                )
-                (block
-                  (i32.store
-                    (get_local $4)
-                    (i32.or
-                      (i32.const 0)
-                      (i32.and
-                        (get_local $0)
-                        (i32.const -1)
-                      )
-                    )
-                  )
-                  (i32.store offset=4
-                    (get_local $4)
-                    (i32.or
-                      (i32.and
-                        (get_local $5)
-                        (get_local $6)
-                      )
-                      (i32.and
-                        (get_local $1)
-                        (i32.const 0)
-                      )
-                    )
-                  )
-                )
-              )
-              (set_global $tempRet0
-                (i32.const 0)
-              )
-              (return
-                (i32.shr_u
-                  (get_local $6)
-                  (i32.ctz
-                    (get_local $7)
-                  )
-                )
-              )
-            )
-          )
-          (if
-            (i32.le_u
-              (tee_local $5
-                (i32.sub
-                  (i32.clz
-                    (get_local $7)
-                  )
-                  (i32.clz
-                    (get_local $6)
-                  )
-                )
-              )
-              (i32.const 30)
-            )
-            (block
-              (set_local $12
-                (tee_local $0
-                  (i32.add
-                    (get_local $5)
-                    (i32.const 1)
-                  )
-                )
-              )
-              (set_local $11
-                (i32.or
-                  (i32.shl
-                    (get_local $6)
-                    (tee_local $1
-                      (i32.sub
-                        (i32.const 31)
-                        (get_local $5)
-                      )
-                    )
-                  )
-                  (i32.shr_u
-                    (get_local $8)
-                    (get_local $0)
-                  )
-                )
-              )
-              (set_local $13
-                (i32.shr_u
-                  (get_local $6)
-                  (get_local $0)
-                )
-              )
-              (set_local $10
-                (i32.const 0)
-              )
-              (set_local $0
-                (i32.shl
-                  (get_local $8)
-                  (get_local $1)
-                )
-              )
-              (br $do-once$0)
-            )
-          )
-          (if
-            (i32.eqz
-              (get_local $4)
-            )
-            (block
-              (set_global $tempRet0
-                (i32.const 0)
-              )
-              (return
-                (i32.const 0)
-              )
-            )
-          )
-          (i32.store
-            (get_local $4)
-            (i32.or
-              (i32.const 0)
-              (i32.and
-                (get_local $0)
-                (i32.const -1)
-              )
-            )
-          )
-          (i32.store offset=4
-            (get_local $4)
-            (i32.or
-              (get_local $9)
-              (i32.and
-                (get_local $1)
-                (i32.const 0)
-              )
-            )
-          )
-          (set_global $tempRet0
-            (i32.const 0)
-          )
-          (return
-            (i32.const 0)
+        (i64.shl
+          (i64.extend_u/i32
+            (get_local $yh)
           )
+          (i64.const 32)
         )
       )
     )
-    (set_local $0
-      (if
-        (get_local $12)
-        (block
-          (set_local $3
-            (call $_i64Add
-              (tee_local $1
-                (i32.or
-                  (i32.const 0)
-                  (i32.and
-                    (get_local $2)
-                    (i32.const -1)
-                  )
-                )
-              )
-              (tee_local $2
-                (i32.or
-                  (get_local $14)
-                  (i32.and
-                    (get_local $3)
-                    (i32.const 0)
-                  )
-                )
-              )
-              (i32.const -1)
-              (i32.const -1)
-            )
-          )
-          (set_local $8
-            (get_global $tempRet0)
-          )
-          (set_local $9
-            (get_local $0)
-          )
-          (set_local $0
-            (i32.const 0)
-          )
-          (loop $while-in$3
-            (block $while-out$2
-              (set_local $6
-                (i32.or
-                  (i32.shr_u
-                    (get_local $10)
-                    (i32.const 31)
-                  )
-                  (i32.shl
-                    (get_local $9)
-                    (i32.const 1)
-                  )
-                )
-              )
-              (set_local $10
-                (i32.or
-                  (get_local $0)
-                  (i32.shl
-                    (get_local $10)
-                    (i32.const 1)
-                  )
-                )
-              )
-              (drop
-                (call $_i64Subtract
-                  (get_local $3)
-                  (get_local $8)
-                  (tee_local $0
-                    (i32.or
-                      (i32.const 0)
-                      (i32.or
-                        (i32.shl
-                          (get_local $11)
-                          (i32.const 1)
-                        )
-                        (i32.shr_u
-                          (get_local $9)
-                          (i32.const 31)
-                        )
-                      )
-                    )
-                  )
-                  (tee_local $9
-                    (i32.or
-                      (i32.shr_u
-                        (get_local $11)
-                        (i32.const 31)
-                      )
-                      (i32.shl
-                        (get_local $13)
-                        (i32.const 1)
-                      )
-                    )
-                  )
-                )
-              )
-              (set_local $7
-                (i32.and
-                  (tee_local $14
-                    (i32.or
-                      (i32.shr_s
-                        (tee_local $5
-                          (get_global $tempRet0)
-                        )
-                        (i32.const 31)
-                      )
-                      (i32.shl
-                        (select
-                          (i32.const -1)
-                          (i32.const 0)
-                          (i32.lt_s
-                            (get_local $5)
-                            (i32.const 0)
-                          )
-                        )
-                        (i32.const 1)
-                      )
-                    )
-                  )
-                  (i32.const 1)
-                )
-              )
-              (set_local $11
-                (call $_i64Subtract
-                  (get_local $0)
-                  (get_local $9)
-                  (i32.and
-                    (get_local $14)
-                    (get_local $1)
-                  )
-                  (i32.and
-                    (i32.or
-                      (i32.shr_s
-                        (select
-                          (i32.const -1)
-                          (i32.const 0)
-                          (i32.lt_s
-                            (get_local $5)
-                            (i32.const 0)
-                          )
-                        )
-                        (i32.const 31)
-                      )
-                      (i32.shl
-                        (select
-                          (i32.const -1)
-                          (i32.const 0)
-                          (i32.lt_s
-                            (get_local $5)
-                            (i32.const 0)
-                          )
-                        )
-                        (i32.const 1)
-                      )
-                    )
-                    (get_local $2)
-                  )
-                )
-              )
-              (set_local $13
-                (get_global $tempRet0)
-              )
-              (if
-                (tee_local $12
-                  (i32.sub
-                    (get_local $12)
-                    (i32.const 1)
-                  )
-                )
-                (block
-                  (set_local $9
-                    (get_local $6)
-                  )
-                  (set_local $0
-                    (get_local $7)
-                  )
-                )
-                (br $while-out$2)
-              )
-              (br $while-in$3)
-            )
-          )
-          (set_local $1
-            (i32.const 0)
-          )
-          (get_local $7)
-        )
-        (block
-          (set_local $6
-            (get_local $0)
-          )
-          (set_local $1
-            (i32.const 0)
-          )
-          (i32.const 0)
+    (if
+      (get_local $r)
+      (i64.store
+        (get_local $r)
+        (i64.rem_u
+          (get_local $x64)
+          (get_local $y64)
         )
       )
     )
-    (set_local $3
-      (i32.or
-        (get_local $6)
-        (tee_local $2
-          (i32.const 0)
-        )
-      )
-    )
-    (if
-      (i32.ne
-        (get_local $4)
-        (i32.const 0)
-      )
-      (block
-        (i32.store
-          (get_local $4)
-          (i32.or
-            (i32.const 0)
-            (get_local $11)
-          )
-        )
-        (i32.store offset=4
-          (get_local $4)
-          (get_local $13)
-        )
+    (set_local $x64
+      (i64.div_u
+        (get_local $x64)
+        (get_local $y64)
       )
     )
     (set_global $tempRet0
-      (i32.or
-        (i32.or
-          (i32.or
-            (i32.shr_u
-              (i32.or
-                (i32.const 0)
-                (get_local $10)
-              )
-              (i32.const 31)
-            )
-            (i32.shl
-              (get_local $3)
-              (i32.const 1)
-            )
-          )
-          (i32.and
-            (i32.or
-              (i32.shl
-                (get_local $2)
-                (i32.const 1)
-              )
-              (i32.shr_u
-                (get_local $10)
-                (i32.const 31)
-              )
-            )
-            (i32.const 0)
-          )
+      (i32.wrap/i64
+        (i64.shr_u
+          (get_local $x64)
+          (i64.const 32)
         )
-        (get_local $1)
       )
     )
-    (i32.or
-      (i32.and
-        (i32.or
-          (i32.shl
-            (get_local $10)
-            (i32.const 1)
-          )
-          (i32.const 0)
-        )
-        (i32.const -2)
-      )
-      (get_local $0)
+    (i32.wrap/i64
+      (get_local $x64)
     )
   )
   (func $dynCall_ii (param $0 i32) (param $1 i32) (result i32)