| (module $M2 |
| (type $#Top (struct |
| (field $field0 i32))) |
| (type $JSExternWrapper (sub $Object (struct |
| (field $field0 i32) |
| (field $field1 (mut i32)) |
| (field $_externRef externref)))) |
| (type $MyConstClass (sub final $Object (struct |
| (field $field0 i32) |
| (field $field1 (mut i32)) |
| (field $b (ref $JSExternWrapper))))) |
| (type $Object (sub $#Top (struct |
| (field $field0 i32) |
| (field $field1 (mut i32))))) |
| (global $.h0-nonshared-const (import "" "h0-nonshared-const") (ref extern)) |
| (table $M.cross-module-funcs-0 (import "M" "cross-module-funcs-0") 17 funcref) |
| (global $MyConstClass (ref $MyConstClass) |
| (i32.const 110) |
| (i32.const 0) |
| (i32.const 61) |
| (i32.const 0) |
| (global.get $.h0-nonshared-const) |
| (struct.new $JSExternWrapper) |
| (struct.new $MyConstClass)) |
| (elem $M.cross-module-funcs-0 |
| (set 3 (ref.func $modH0Use))) |
| (@binaryen.inline 0) |
| (func $modH0Use (param $var0 i32) (result (ref $MyConstClass)) |
| local.get $var0 |
| if (result (ref $MyConstClass)) |
| global.get $MyConstClass |
| else |
| i32.const 16 |
| call_indirect (result (ref $MyConstClass)) |
| end |
| ) |
| ) |