| (module |
| (type $i32_=>_none (func (param i32))) |
| (type $i32_i32_=>_i32 (func (param i32 i32) (result i32))) |
| (type $i32_i32_i32_f32_f64_=>_none (func (param i32 i32 i32 f32 f64))) |
| (type $i32_i64_f32_f64_=>_none (func (param i32 i64 f32 f64))) |
| (type $i32_f32_f64_=>_none (func (param i32 f32 f64))) |
| (type $i32_f32_f64_=>_i32 (func (param i32 f32 f64) (result i32))) |
| (type $i32_f32_f64_=>_i64 (func (param i32 f32 f64) (result i64))) |
| (import "env" "setTempRet0" (func $setTempRet0 (param i32))) |
| (memory $0 256 256) |
| (export "add" (func $add)) |
| (export "no_return" (func $no-return)) |
| (export "types" (func $legalstub$types)) |
| (export "types2" (func $types2)) |
| (export "types3" (func $legalstub$types3)) |
| (func $add (param $x i32) (param $y i32) (result i32) |
| (i32.add |
| (local.get $x) |
| (local.get $y) |
| ) |
| ) |
| (func $unexported (param $x i32) (param $y i32) (result i32) |
| (i32.add |
| (local.get $x) |
| (local.get $y) |
| ) |
| ) |
| (func $no-return (param $x i32) |
| (drop |
| (i32.add |
| (local.get $x) |
| (local.get $x) |
| ) |
| ) |
| ) |
| (func $types (param $x i32) (param $y i64) (param $z f32) (param $w f64) |
| (nop) |
| ) |
| (func $types2 (param $x i32) (param $z f32) (param $w f64) |
| (nop) |
| ) |
| (func $types3 (param $x i32) (param $z f32) (param $w f64) (result i64) |
| (i64.const 1) |
| ) |
| (func $legalstub$types (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f32) (param $4 f64) |
| (call $types |
| (local.get $0) |
| (i64.or |
| (i64.extend_i32_u |
| (local.get $1) |
| ) |
| (i64.shl |
| (i64.extend_i32_u |
| (local.get $2) |
| ) |
| (i64.const 32) |
| ) |
| ) |
| (local.get $3) |
| (local.get $4) |
| ) |
| ) |
| (func $legalstub$types3 (param $0 i32) (param $1 f32) (param $2 f64) (result i32) |
| (local $3 i64) |
| (local.set $3 |
| (call $types3 |
| (local.get $0) |
| (local.get $1) |
| (local.get $2) |
| ) |
| ) |
| (call $setTempRet0 |
| (i32.wrap_i64 |
| (i64.shr_u |
| (local.get $3) |
| (i64.const 32) |
| ) |
| ) |
| ) |
| (i32.wrap_i64 |
| (local.get $3) |
| ) |
| ) |
| ) |