1 files changed, 34 insertions, 118 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index b7e3d5f59..8899b7965 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -3742,19 +3742,13 @@
                             (get_local $2)
                           )
                           (i32.sub
-                            (i32.add
-                              (i32.const 0)
-                              (i32.const 4)
-                            )
+                            (i32.const 4)
                             (i32.const 1)
                           )
                         )
                         (i32.xor
                           (i32.sub
-                            (i32.add
-                              (i32.const 0)
-                              (i32.const 4)
-                            )
+                            (i32.const 4)
                             (i32.const 1)
                           )
                           (i32.const -1)
@@ -4157,19 +4151,13 @@
                               (get_local $2)
                             )
                             (i32.sub
-                              (i32.add
-                                (i32.const 0)
-                                (i32.const 4)
-                              )
+                              (i32.const 4)
                               (i32.const 1)
                             )
                           )
                           (i32.xor
                             (i32.sub
-                              (i32.add
-                                (i32.const 0)
-                                (i32.const 4)
-                              )
+                              (i32.const 4)
                               (i32.const 1)
                             )
                             (i32.const -1)
@@ -5310,10 +5298,7 @@
                           (get_local $1)
                           (i32.const 2146435072)
                         )
-                        (i32.lt_s
-                          (i32.const 0)
-                          (i32.const 0)
-                        )
+                        (i32.const 0)
                       )
                     )
                     (block
@@ -7957,10 +7942,7 @@
                                 (get_local $14)
                                 (get_local $14)
                               )
-                              (f64.ne
-                                (f64.const 0)
-                                (f64.const 0)
-                              )
+                              (i32.const 0)
                             )
                           )
                         )
@@ -9032,19 +9014,13 @@
                                           (get_local $2)
                                         )
                                         (i32.sub
-                                          (i32.add
-                                            (i32.const 0)
-                                            (i32.const 4)
-                                          )
+                                          (i32.const 4)
                                           (i32.const 1)
                                         )
                                       )
                                       (i32.xor
                                         (i32.sub
-                                          (i32.add
-                                            (i32.const 0)
-                                            (i32.const 4)
-                                          )
+                                          (i32.const 4)
                                           (i32.const 1)
                                         )
                                         (i32.const -1)
@@ -9075,19 +9051,13 @@
                                         (get_local $2)
                                       )
                                       (i32.sub
-                                        (i32.add
-                                          (i32.const 0)
-                                          (i32.const 4)
-                                        )
+                                        (i32.const 4)
                                         (i32.const 1)
                                       )
                                     )
                                     (i32.xor
                                       (i32.sub
-                                        (i32.add
-                                          (i32.const 0)
-                                          (i32.const 4)
-                                        )
+                                        (i32.const 4)
                                         (i32.const 1)
                                       )
                                       (i32.const -1)
@@ -9131,19 +9101,13 @@
                                       (get_local $2)
                                     )
                                     (i32.sub
-                                      (i32.add
-                                        (i32.const 0)
-                                        (i32.const 4)
-                                      )
+                                      (i32.const 4)
                                       (i32.const 1)
                                     )
                                   )
                                   (i32.xor
                                     (i32.sub
-                                      (i32.add
-                                        (i32.const 0)
-                                        (i32.const 4)
-                                      )
+                                      (i32.const 4)
                                       (i32.const 1)
                                     )
                                     (i32.const -1)
@@ -9179,19 +9143,13 @@
                                       (get_local $2)
                                     )
                                     (i32.sub
-                                      (i32.add
-                                        (i32.const 0)
-                                        (i32.const 8)
-                                      )
+                                      (i32.const 8)
                                       (i32.const 1)
                                     )
                                   )
                                   (i32.xor
                                     (i32.sub
-                                      (i32.add
-                                        (i32.const 0)
-                                        (i32.const 8)
-                                      )
+                                      (i32.const 8)
                                       (i32.const 1)
                                     )
                                     (i32.const -1)
@@ -9232,19 +9190,13 @@
                                   (get_local $2)
                                 )
                                 (i32.sub
-                                  (i32.add
-                                    (i32.const 0)
-                                    (i32.const 4)
-                                  )
+                                  (i32.const 4)
                                   (i32.const 1)
                                 )
                               )
                               (i32.xor
                                 (i32.sub
-                                  (i32.add
-                                    (i32.const 0)
-                                    (i32.const 4)
-                                  )
+                                  (i32.const 4)
                                   (i32.const 1)
                                 )
                                 (i32.const -1)
@@ -9302,19 +9254,13 @@
                                 (get_local $2)
                               )
                               (i32.sub
-                                (i32.add
-                                  (i32.const 0)
-                                  (i32.const 4)
-                                )
+                                (i32.const 4)
                                 (i32.const 1)
                               )
                             )
                             (i32.xor
                               (i32.sub
-                                (i32.add
-                                  (i32.const 0)
-                                  (i32.const 4)
-                                )
+                                (i32.const 4)
                                 (i32.const 1)
                               )
                               (i32.const -1)
@@ -9352,19 +9298,13 @@
                               (get_local $2)
                             )
                             (i32.sub
-                              (i32.add
-                                (i32.const 0)
-                                (i32.const 4)
-                              )
+                              (i32.const 4)
                               (i32.const 1)
                             )
                           )
                           (i32.xor
                             (i32.sub
-                              (i32.add
-                                (i32.const 0)
-                                (i32.const 4)
-                              )
+                              (i32.const 4)
                               (i32.const 1)
                             )
                             (i32.const -1)
@@ -9422,19 +9362,13 @@
                             (get_local $2)
                           )
                           (i32.sub
-                            (i32.add
-                              (i32.const 0)
-                              (i32.const 4)
-                            )
+                            (i32.const 4)
                             (i32.const 1)
                           )
                         )
                         (i32.xor
                           (i32.sub
-                            (i32.add
-                              (i32.const 0)
-                              (i32.const 4)
-                            )
+                            (i32.const 4)
                             (i32.const 1)
                           )
                           (i32.const -1)
@@ -9472,19 +9406,13 @@
                           (get_local $2)
                         )
                         (i32.sub
-                          (i32.add
-                            (i32.const 0)
-                            (i32.const 8)
-                          )
+                          (i32.const 8)
                           (i32.const 1)
                         )
                       )
                       (i32.xor
                         (i32.sub
-                          (i32.add
-                            (i32.const 0)
-                            (i32.const 8)
-                          )
+                          (i32.const 8)
                           (i32.const 1)
                         )
                         (i32.const -1)
@@ -9515,19 +9443,13 @@
                         (get_local $2)
                       )
                       (i32.sub
-                        (i32.add
-                          (i32.const 0)
-                          (i32.const 8)
-                        )
+                        (i32.const 8)
                         (i32.const 1)
                       )
                     )
                     (i32.xor
                       (i32.sub
-                        (i32.add
-                          (i32.const 0)
-                          (i32.const 8)
-                        )
+                        (i32.const 8)
                         (i32.const 1)
                       )
                       (i32.const -1)
@@ -15470,20 +15392,20 @@
               )
               (i32.store offset=4
                 (get_local $4)
-                (i32.load offset=4
-                  (i32.const 624)
+                (i32.load
+                  (i32.const 628)
                 )
               )
               (i32.store offset=8
                 (get_local $4)
-                (i32.load offset=8
-                  (i32.const 624)
+                (i32.load
+                  (i32.const 632)
                 )
               )
               (i32.store offset=12
                 (get_local $4)
-                (i32.load offset=12
-                  (i32.const 624)
+                (i32.load
+                  (i32.const 636)
                 )
               )
               (i32.store
@@ -18125,10 +18047,7 @@
         (set_local $6
           (i32.and
             (get_local $4)
-            (i32.xor
-              (i32.const 3)
-              (i32.const -1)
-            )
+            (i32.const -4)
           )
         )
         (if
@@ -20025,10 +19944,7 @@
             (get_local $7)
             (i32.const 1)
           )
-          (i32.shr_u
-            (i32.const 0)
-            (i32.const 31)
-          )
+          (i32.const 0)
         )
         (i32.const -2)
       )