blob: 066928de4b1a3cc4c3081ee06dc47d4b87f6ddcb [file] [log] [blame] [edit]
(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)
)
)