| (module |
| (type $none_=>_none (func)) |
| (global $global_anyref (mut anyref) (ref.null any)) |
| (global $global_eqref (mut eqref) (ref.null eq)) |
| (global $global_i31ref (mut (ref null i31)) (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 |
| (local $local_i32 i32) |
| (local $local_anyref anyref) |
| (local $local_eqref eqref) |
| (local $local_i31ref (ref null i31)) |
| (local $local_dataref (ref null data)) |
| (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 |
| (local $local_i31refnull (ref null i31)) |
| (local $local_i31refnonnull (ref null i31)) |
| (local $local_datarefnull (ref null data)) |
| (local $local_datarefnonnull (ref null data)) |
| (nop) |
| ) |
| ) |
| |