| (module |
| (type $func.0 (func)) |
| (import "env" "global-1" (global $g1 i32)) |
| (global $g2 i32 (global.get $g1)) |
| (func $foo |
| (drop |
| (global.get $g1) |
| ) |
| (drop |
| (global.get $g1) |
| ) |
| ) |
| ) |
| (module |
| (type $func.0 (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 |
| (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 $func.0 (func)) |
| (import "env" "global-1" (global $g1 i32)) |
| (global $g2 i32 (global.get $g1)) |
| (func $foo |
| (unreachable) |
| ) |
| ) |
| (module |
| (import "env" "global-1" (global $g1 (mut i32))) |
| (global $g2 (mut i32) (global.get $g1)) |
| (export "global-2" (global $g2)) |
| ) |
| (module |
| (type $func.0 (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 |
| (global.set $ga |
| (i32.const 6) |
| ) |
| (global.set $gb |
| (i32.const 7) |
| ) |
| ) |
| ) |
| (module |
| (type $func.0 (func (param i32) (result i32))) |
| (global $g1 (mut i32) (i32.const 1)) |
| (global $g2 (mut i32) (i32.const 1)) |
| (func $f (param $0 i32) (result i32) |
| (global.set $g1 |
| (i32.const 100) |
| ) |
| (global.set $g2 |
| (local.get $0) |
| ) |
| (if |
| (local.get $0) |
| (return |
| (i32.const 0) |
| ) |
| ) |
| (if |
| (local.tee $0 |
| (i32.add |
| (global.get $g1) |
| (global.get $g2) |
| ) |
| ) |
| (return |
| (i32.const 1) |
| ) |
| ) |
| (global.set $g1 |
| (i32.const 200) |
| ) |
| (global.set $g2 |
| (local.get $0) |
| ) |
| (i32.add |
| (global.get $g2) |
| (i32.const 200) |
| ) |
| ) |
| ) |
| (module |
| (type $func.0 (func (param i32) (result i32))) |
| (global $g1 (mut i32) (i32.const 1)) |
| (global $g2 (mut i32) (i32.const 1)) |
| (func $f (param $0 i32) (result i32) |
| (global.set $g1 |
| (i32.const 100) |
| ) |
| (global.set $g2 |
| (local.get $0) |
| ) |
| (i32.add |
| (global.get $g2) |
| (i32.const 200) |
| ) |
| ) |
| ) |
| (module |
| (type $func.0 (func (param i32) (result i32))) |
| (global $g1 (mut i32) (i32.const 1)) |
| (global $g2 i32 (i32.const 1)) |
| (func $no (param $x i32) (result i32) |
| (global.set $g1 |
| (i32.const 100) |
| ) |
| (drop |
| (call $no |
| (i32.const 200) |
| ) |
| ) |
| (global.get $g1) |
| ) |
| (func $no2 (param $x i32) (result i32) |
| (global.set $g1 |
| (i32.const 100) |
| ) |
| (global.set $g1 |
| (local.get $x) |
| ) |
| (global.get $g1) |
| ) |
| (func $yes (param $0 i32) (result i32) |
| (global.set $g1 |
| (i32.const 100) |
| ) |
| (i32.const 100) |
| ) |
| ) |
| (module |
| (type $func.0 (func (result f64))) |
| (global $global$0 i32 (i32.const 0)) |
| (global $global$1 i32 (i32.const 0)) |
| (export "func_9" (func $0)) |
| (func $0 (result f64) |
| (drop |
| (unreachable) |
| ) |
| ) |
| ) |