add extra simplify-global-optimizig

Author: MaxGraey

cli/asc.js

@@ -775,6 +775,7 @@ exports.main = function main(argv, options, callback) {
       // }
       if (optimizeLevel >= 3) {
         add("optimize-instructions");
+        add("simplify-globals-optimizing");
       }
       if (optimizeLevel >= 2 || shrinkLevel >= 1) {
         add("rse");

tests/compiler/comma.optimized.wat

@@ -76,21 +76,10 @@
   global.set $comma/b
   i32.const 2
   global.set $comma/a
-  global.get $comma/a
+  i32.const 2
   global.set $comma/b
-  global.get $comma/b
-  global.set $comma/a
-  global.get $comma/a
   i32.const 2
-  i32.ne
-  if
-   i32.const 0
-   i32.const 1040
-   i32.const 18
-   i32.const 1
-   call $~lib/builtins/abort
-   unreachable
-  end
+  global.set $comma/a
   global.get $comma/b
   i32.const 2
   i32.ne

tests/compiler/resolve-elementaccess.optimized.wat

@@ -2001,13 +2001,14 @@
   i32.const 7
   call $~lib/rt/stub/__alloc
   local.tee $0
-  if (result i32)
-   local.get $0
-  else
+  i32.eqz
+  if
    i32.const 12
    i32.const 8
    call $~lib/rt/stub/__alloc
+   local.set $0
   end
+  local.get $0
   i32.const 0
   call $~lib/arraybuffer/ArrayBufferView#constructor
   global.set $resolve-elementaccess/buf

tests/compiler/unary.optimized.wat

@@ -44,9 +44,7 @@
   global.set $unary/i
   i32.const 0
   global.set $unary/i
-  global.get $unary/i
-  i32.const 1
-  i32.sub
+  i32.const -1
   global.set $unary/i
   global.get $unary/i
   local.tee $0
@@ -94,9 +92,7 @@
   global.set $unary/I
   i64.const 0
   global.set $unary/I
-  global.get $unary/I
-  i64.const 1
-  i64.sub
+  i64.const -1
   global.set $unary/I
   global.get $unary/I
   local.tee $1
@@ -144,14 +140,11 @@
   global.set $unary/f
   f32.const 1.25
   global.set $unary/f
-  f32.const 1.25
-  local.tee $2
-  f32.const 1
-  f32.add
+  f32.const 2.25
   global.set $unary/f
-  local.get $2
+  f32.const 1.25
   global.set $unary/f
-  global.get $unary/f
+  f32.const 1.25
   local.tee $2
   f32.const 1
   f32.sub
@@ -190,14 +183,11 @@
   global.set $unary/F
   f64.const 1.25
   global.set $unary/F
-  f64.const 1.25
-  local.tee $3
-  f64.const 1
-  f64.add
+  f64.const 2.25
   global.set $unary/F
-  local.get $3
+  f64.const 1.25
   global.set $unary/F
-  global.get $unary/F
+  f64.const 1.25
   local.tee $3
   f64.const 1
   f64.sub