Optimize mutable globals (#2066)

If a global is marked mutable but not assigned to, make it immutable.

If an immutable global is a copy of another, use the original, so we can remove the duplicates.

Fixes #2011

1 files changed, 3 insertions, 4 deletions

diff --git a/test/dynamicLibrary.fromasm.imprecise b/test/dynamicLibrary.fromasm.imprecise
index 9c5b5c7c3..146ff741b 100644
--- a/test/dynamicLibrary.fromasm.imprecise
+++ b/test/dynamicLibrary.fromasm.imprecise
@@ -4,7 +4,6 @@
  (import "env" "memoryBase" (global $memoryBase$asm2wasm$import i32))
  (import "env" "abortStackOverflow" (func $abortStackOverflow (param i32)))
  (import "env" "_puts" (func $_puts (param i32) (result i32)))
- (global $memoryBase (mut i32) (global.get $memoryBase$asm2wasm$import))
  (global $STACKTOP (mut i32) (i32.const 0))
  (global $STACK_MAX (mut i32) (i32.const 0))
  (global $_global i32 (i32.const 5242912))
@@ -33,7 +32,7 @@
   )
   (drop
    (call $_puts
-    (global.get $memoryBase)
+    (global.get $memoryBase$asm2wasm$import)
    )
   )
   (global.set $STACKTOP
@@ -46,7 +45,7 @@
  (func $__post_instantiate (; 4 ;) (; has Stack IR ;)
   (global.set $STACKTOP
    (i32.add
-    (global.get $memoryBase)
+    (global.get $memoryBase$asm2wasm$import)
     (i32.const 32)
    )
   )
@@ -58,7 +57,7 @@
   )
   (call $__ZN3FooC2Ev
    (i32.add
-    (global.get $memoryBase)
+    (global.get $memoryBase$asm2wasm$import)
     (i32.const 5242912)
    )
   )