blob: b9cc6b04af895f2cc53b3dd3c156773204b9beab [file] [log] [blame] [edit]
(module
(type $i31ref_structref_=>_none (func (param i31ref structref)))
(type $i31ref_ref|i31|_structref_ref|struct|_=>_none (func (param i31ref (ref i31) structref (ref struct))))
(global $global$0 (mut anyref) (ref.null none))
(global $global$1 (mut eqref) (ref.null none))
(global $global$2 (mut i31ref) (i31.new
(i32.const 0)
))
(global $global$3 (mut anyref) (ref.null none))
(global $global$4 (mut anyref) (i31.new
(i32.const 0)
))
(global $global$5 (mut eqref) (i31.new
(i32.const 0)
))
(func $0 (type $i31ref_structref_=>_none) (param $0 i31ref) (param $1 structref)
(local $2 i32)
(local $3 anyref)
(local $4 eqref)
(local.set $3
(local.get $3)
)
(local.set $3
(global.get $global$0)
)
(local.set $3
(ref.null none)
)
(local.set $4
(local.get $4)
)
(local.set $4
(global.get $global$1)
)
(local.set $4
(ref.null none)
)
(local.set $0
(local.get $0)
)
(local.set $0
(global.get $global$2)
)
(local.set $0
(i31.new
(i32.const 0)
)
)
(local.set $3
(local.get $4)
)
(local.set $3
(global.get $global$1)
)
(local.set $3
(ref.null none)
)
(local.set $3
(local.get $0)
)
(local.set $3
(global.get $global$2)
)
(local.set $3
(i31.new
(i32.const 0)
)
)
(local.set $4
(local.get $0)
)
(local.set $4
(global.get $global$2)
)
(local.set $4
(i31.new
(i32.const 0)
)
)
(global.set $global$0
(local.get $3)
)
(global.set $global$0
(global.get $global$0)
)
(global.set $global$0
(ref.null none)
)
(global.set $global$1
(local.get $4)
)
(global.set $global$1
(global.get $global$1)
)
(global.set $global$1
(ref.null none)
)
(global.set $global$2
(local.get $0)
)
(global.set $global$2
(global.get $global$2)
)
(global.set $global$2
(i31.new
(i32.const 0)
)
)
(global.set $global$0
(local.get $4)
)
(global.set $global$0
(global.get $global$1)
)
(global.set $global$0
(ref.null none)
)
(global.set $global$0
(local.get $0)
)
(global.set $global$0
(global.get $global$2)
)
(global.set $global$0
(i31.new
(i32.const 0)
)
)
(global.set $global$1
(local.get $0)
)
(global.set $global$1
(global.get $global$2)
)
(global.set $global$1
(i31.new
(i32.const 0)
)
)
(local.set $2
(i31.get_s
(local.get $0)
)
)
(local.set $2
(i31.get_u
(local.get $0)
)
)
)
(func $1 (type $i31ref_ref|i31|_structref_ref|struct|_=>_none) (param $0 i31ref) (param $1 (ref i31)) (param $2 structref) (param $3 (ref struct))
(nop)
)
)