| (module |
| (type $i31ref_dataref_=>_none (func (param i31ref dataref))) |
| (type $ref?|i31|_i31ref_ref?|data|_dataref_=>_none (func (param (ref null i31) i31ref (ref null data) dataref))) |
| (global $global_anyref (mut anyref) (ref.null any)) |
| (global $global_eqref (mut eqref) (ref.null eq)) |
| (global $global_i31ref (mut i31ref) (i31.new |
| (i32.const 0) |
| )) |
| (global $global_anyref2 (mut anyref) (ref.null eq)) |
| (global $global_anyref3 (mut anyref) (i31.new |
| (i32.const 0) |
| )) |
| (global $global_eqref2 (mut eqref) (i31.new |
| (i32.const 0) |
| )) |
| (func $test (param $local_i31ref i31ref) (param $local_dataref dataref) |
| (local $local_i32 i32) |
| (local $local_anyref anyref) |
| (local $local_eqref eqref) |
| (local.set $local_anyref |
| (local.get $local_anyref) |
| ) |
| (local.set $local_anyref |
| (global.get $global_anyref) |
| ) |
| (local.set $local_anyref |
| (ref.null any) |
| ) |
| (local.set $local_eqref |
| (local.get $local_eqref) |
| ) |
| (local.set $local_eqref |
| (global.get $global_eqref) |
| ) |
| (local.set $local_eqref |
| (ref.null eq) |
| ) |
| (local.set $local_i31ref |
| (local.get $local_i31ref) |
| ) |
| (local.set $local_i31ref |
| (global.get $global_i31ref) |
| ) |
| (local.set $local_i31ref |
| (i31.new |
| (i32.const 0) |
| ) |
| ) |
| (local.set $local_anyref |
| (local.get $local_eqref) |
| ) |
| (local.set $local_anyref |
| (global.get $global_eqref) |
| ) |
| (local.set $local_anyref |
| (ref.null eq) |
| ) |
| (local.set $local_anyref |
| (local.get $local_i31ref) |
| ) |
| (local.set $local_anyref |
| (global.get $global_i31ref) |
| ) |
| (local.set $local_anyref |
| (i31.new |
| (i32.const 0) |
| ) |
| ) |
| (local.set $local_eqref |
| (local.get $local_i31ref) |
| ) |
| (local.set $local_eqref |
| (global.get $global_i31ref) |
| ) |
| (local.set $local_eqref |
| (i31.new |
| (i32.const 0) |
| ) |
| ) |
| (global.set $global_anyref |
| (local.get $local_anyref) |
| ) |
| (global.set $global_anyref |
| (global.get $global_anyref) |
| ) |
| (global.set $global_anyref |
| (ref.null any) |
| ) |
| (global.set $global_eqref |
| (local.get $local_eqref) |
| ) |
| (global.set $global_eqref |
| (global.get $global_eqref) |
| ) |
| (global.set $global_eqref |
| (ref.null eq) |
| ) |
| (global.set $global_i31ref |
| (local.get $local_i31ref) |
| ) |
| (global.set $global_i31ref |
| (global.get $global_i31ref) |
| ) |
| (global.set $global_i31ref |
| (i31.new |
| (i32.const 0) |
| ) |
| ) |
| (global.set $global_anyref |
| (local.get $local_eqref) |
| ) |
| (global.set $global_anyref |
| (global.get $global_eqref) |
| ) |
| (global.set $global_anyref |
| (ref.null eq) |
| ) |
| (global.set $global_anyref |
| (local.get $local_i31ref) |
| ) |
| (global.set $global_anyref |
| (global.get $global_i31ref) |
| ) |
| (global.set $global_anyref |
| (i31.new |
| (i32.const 0) |
| ) |
| ) |
| (global.set $global_eqref |
| (local.get $local_i31ref) |
| ) |
| (global.set $global_eqref |
| (global.get $global_i31ref) |
| ) |
| (global.set $global_eqref |
| (i31.new |
| (i32.const 0) |
| ) |
| ) |
| (local.set $local_i32 |
| (i31.get_s |
| (local.get $local_i31ref) |
| ) |
| ) |
| (local.set $local_i32 |
| (i31.get_u |
| (local.get $local_i31ref) |
| ) |
| ) |
| ) |
| (func $test-variants (param $local_i31refnull (ref null i31)) (param $local_i31refnonnull i31ref) (param $local_datarefnull (ref null data)) (param $local_datarefnonnull dataref) |
| (nop) |
| ) |
| ) |
| |