test/passes/simplify-globals_enable-mutable-globals.txt

(module
 (type $FUNCSIG$v (func))
 (import "env" "global-1" (global $g1 i32))
 (global $g2 i32 (global.get $g1))
 (func $foo (; 0 ;) (type $FUNCSIG$v)
  (drop
   (global.get $g1)
  )
  (drop
   (global.get $g1)
  )
 )
)
(module
 (type $FUNCSIG$v (func))
 (import "env" "global-1" (global $g1 i32))
 (global $g2 i32 (global.get $g1))
 (global $g3 i32 (global.get $g2))
 (global $g4 i32 (global.get $g3))
 (func $foo (; 0 ;) (type $FUNCSIG$v)
  (drop
   (global.get $g1)
  )
  (drop
   (global.get $g1)
  )
  (drop
   (global.get $g1)
  )
  (drop
   (global.get $g1)
  )
 )
)
(module
 (import "env" "global-1" (global $g1 (mut i32)))
 (global $g2 i32 (global.get $g1))
)
(module
 (type $FUNCSIG$v (func))
 (import "env" "global-1" (global $g1 i32))
 (global $g2 (mut i32) (global.get $g1))
 (func $foo (; 0 ;) (type $FUNCSIG$v)
  (global.set $g2
   (unreachable)
  )
 )
)
(module
 (import "env" "global-1" (global $g1 (mut i32)))
 (global $g2 (mut i32) (global.get $g1))
 (export "global-2" (global $g2))
)
(module
 (type $FUNCSIG$v (func))
 (global $g1 i32 (i32.const 1))
 (global $g2 i32 (i32.const 1))
 (global $g3 f64 (f64.const -3.4))
 (global $g4 f64 (f64.const -2.8))
 (global $g5 i32 (i32.const 2))
 (global $g6 i32 (i32.const 2))
 (global $g7 i32 (i32.const 3))
 (global $g8 i32 (i32.const 3))
 (global $g9 i32 (i32.const 4))
 (global $ga (mut i32) (i32.const 4))
 (global $gb (mut i32) (i32.const 5))
 (global $gc i32 (i32.const 5))
 (func $foo (; 0 ;) (type $FUNCSIG$v)
  (drop
   (i32.const 1)
  )
  (drop
   (i32.const 1)
  )
  (drop
   (f64.const -3.4)
  )
  (drop
   (f64.const -2.8)
  )
  (drop
   (i32.const 2)
  )
  (drop
   (i32.const 2)
  )
  (drop
   (i32.const 3)
  )
  (drop
   (i32.const 3)
  )
  (drop
   (i32.const 4)
  )
  (drop
   (global.get $ga)
  )
  (drop
   (global.get $gb)
  )
  (drop
   (i32.const 5)
  )
  (global.set $ga
   (i32.const 6)
  )
  (global.set $gb
   (i32.const 7)
  )
 )
)