blob: 6143768810202b7aafe876945949eadbf19f15be [file] [log] [blame] [edit]
(module
(type $i31ref_dataref_=>_none (func (param i31ref dataref)))
(type $i31ref_ref|i31|_dataref_ref|data|_=>_none (func (param i31ref (ref i31) dataref (ref data))))
(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 (param $0 i31ref) (param $1 dataref)
(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 (param $0 i31ref) (param $1 (ref i31)) (param $2 dataref) (param $3 (ref data))
(nop)
)
)