assemblyscript/tests/compiler/assert-nonnull.untouched.wat
2019-06-13 15:33:43 +02:00

607 lines
13 KiB
Plaintext

(module
(type $FUNCSIG$ii (func (param i32) (result i32)))
(type $FUNCSIG$vi (func (param i32)))
(type $FUNCSIG$iii (func (param i32 i32) (result i32)))
(type $FUNCSIG$i (func (result i32)))
(type $FUNCSIG$v (func))
(memory $0 1)
(data (i32.const 8) "\n\00\00\00\01\00\00\00\01\00\00\00\n\00\00\00E\00r\00r\00o\00r\00")
(data (i32.const 40) "\00\00\00\00\01\00\00\00\01\00\00\00\00\00\00\00")
(data (i32.const 56) "^\00\00\00\01\00\00\00\01\00\00\00^\00\00\00E\00l\00e\00m\00e\00n\00t\00 \00t\00y\00p\00e\00 \00m\00u\00s\00t\00 \00b\00e\00 \00n\00u\00l\00l\00a\00b\00l\00e\00 \00i\00f\00 \00a\00r\00r\00a\00y\00 \00i\00s\00 \00h\00o\00l\00e\00y\00")
(data (i32.const 168) "\14\00\00\00\01\00\00\00\01\00\00\00\14\00\00\00R\00a\00n\00g\00e\00E\00r\00r\00o\00r\00")
(data (i32.const 208) "$\00\00\00\01\00\00\00\01\00\00\00$\00\00\00I\00n\00d\00e\00x\00 \00o\00u\00t\00 \00o\00f\00 \00r\00a\00n\00g\00e\00")
(table $0 1 funcref)
(elem (i32.const 0) $null)
(global $~lib/error (mut i32) (i32.const 0))
(global $~lib/rt/stub/startOffset (mut i32) (i32.const 0))
(global $~lib/rt/stub/offset (mut i32) (i32.const 0))
(global $~lib/argc (mut i32) (i32.const 0))
(global $~lib/heap/__heap_base i32 (i32.const 260))
(export "memory" (memory $0))
(export "testVar" (func $assert-nonnull/testVar))
(export "testObj" (func $assert-nonnull/testObj))
(export "testProp" (func $assert-nonnull/testProp))
(export "testArr" (func $assert-nonnull/testArr))
(export "testElem" (func $assert-nonnull/testElem))
(export "testAll" (func $assert-nonnull/testAll))
(export "testAll2" (func $assert-nonnull/testAll2))
(export "testFn" (func $assert-nonnull/testFn))
(export "testFn2" (func $assert-nonnull/testFn2))
(export "testRet" (func $assert-nonnull/testRet))
(export "testObjFn" (func $assert-nonnull/testObjFn))
(export "testObjRet" (func $assert-nonnull/testObjRet))
(start $start)
(func $~lib/rt/stub/__retain (; 0 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
local.get $0
)
(func $~lib/rt/stub/__release (; 1 ;) (type $FUNCSIG$vi) (param $0 i32)
nop
)
(func $assert-nonnull/testVar (; 2 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $1
local.get $0
call $~lib/rt/stub/__release
local.get $1
)
(func $assert-nonnull/testObj (; 3 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
i32.load
call $~lib/rt/stub/__retain
local.set $1
local.get $0
call $~lib/rt/stub/__release
local.get $1
)
(func $assert-nonnull/testProp (; 4 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
i32.load
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $1
local.get $0
call $~lib/rt/stub/__release
local.get $1
)
(func $~lib/rt/stub/__alloc (; 5 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local $3 i32)
(local $4 i32)
(local $5 i32)
(local $6 i32)
(local $7 i32)
(local $8 i32)
local.get $0
i32.const 1073741808
i32.gt_u
if
unreachable
end
global.get $~lib/rt/stub/offset
i32.const 16
i32.add
local.set $2
local.get $2
local.get $0
local.tee $3
i32.const 1
local.tee $4
local.get $3
local.get $4
i32.gt_u
select
i32.add
i32.const 15
i32.add
i32.const 15
i32.const -1
i32.xor
i32.and
local.set $5
memory.size
local.set $6
local.get $5
local.get $6
i32.const 16
i32.shl
i32.gt_u
if
local.get $5
local.get $2
i32.sub
i32.const 65535
i32.add
i32.const 65535
i32.const -1
i32.xor
i32.and
i32.const 16
i32.shr_u
local.set $3
local.get $6
local.tee $4
local.get $3
local.tee $7
local.get $4
local.get $7
i32.gt_s
select
local.set $4
local.get $4
memory.grow
i32.const 0
i32.lt_s
if
local.get $3
memory.grow
i32.const 0
i32.lt_s
if
unreachable
end
end
end
local.get $5
global.set $~lib/rt/stub/offset
local.get $2
i32.const 16
i32.sub
local.set $8
local.get $8
local.get $1
i32.store offset=8
local.get $8
local.get $0
i32.store offset=12
local.get $2
)
(func $~lib/error/Error#constructor (; 6 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $1
call $~lib/rt/stub/__retain
drop
local.get $0
i32.eqz
if
i32.const 12
i32.const 3
call $~lib/rt/stub/__alloc
call $~lib/rt/stub/__retain
local.set $0
end
local.get $0
i32.const 24
call $~lib/rt/stub/__retain
i32.store
local.get $0
i32.const 56
call $~lib/rt/stub/__retain
i32.store offset=4
local.get $0
local.get $1
i32.store offset=8
local.get $1
call $~lib/rt/stub/__release
local.get $0
)
(func $~lib/error/RangeError#constructor (; 7 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
(local $3 i32)
local.get $1
call $~lib/rt/stub/__retain
drop
local.get $0
if (result i32)
local.get $0
else
i32.const 12
i32.const 6
call $~lib/rt/stub/__alloc
call $~lib/rt/stub/__retain
end
local.get $1
call $~lib/error/Error#constructor
local.set $0
local.get $0
local.tee $2
i32.const 184
local.tee $3
local.get $2
i32.load
local.tee $2
i32.ne
if
local.get $3
call $~lib/rt/stub/__retain
drop
local.get $2
call $~lib/rt/stub/__release
end
local.get $3
i32.store
local.get $1
call $~lib/rt/stub/__release
local.get $0
)
(func $~lib/array/Array<assert-nonnull/Foo>#__unchecked_get (; 8 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $0
i32.load offset=4
local.get $1
i32.const 2
i32.shl
i32.add
i32.load
call $~lib/rt/stub/__retain
)
(func $~lib/array/Array<assert-nonnull/Foo>#__get (; 9 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $1
local.get $0
i32.load offset=12
i32.ge_u
if
i32.const 0
i32.const 72
call $~lib/error/Error#constructor
global.set $~lib/error
i32.const 0
return
end
local.get $1
local.get $0
i32.load offset=8
i32.const 2
i32.shr_u
i32.ge_u
if
i32.const 0
i32.const 224
call $~lib/error/RangeError#constructor
global.set $~lib/error
i32.const 0
return
end
local.get $0
local.get $1
call $~lib/array/Array<assert-nonnull/Foo>#__unchecked_get
)
(func $assert-nonnull/testArr (; 10 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
i32.const 0
call $~lib/array/Array<assert-nonnull/Foo>#__get
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.set $1
local.get $0
call $~lib/rt/stub/__release
local.get $1
)
(func $~lib/array/Array<assert-nonnull/Foo | null>#__unchecked_get (; 11 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $0
i32.load offset=4
local.get $1
i32.const 2
i32.shl
i32.add
i32.load
call $~lib/rt/stub/__retain
)
(func $~lib/array/Array<assert-nonnull/Foo | null>#__get (; 12 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $1
local.get $0
i32.load offset=8
i32.const 2
i32.shr_u
i32.ge_u
if
i32.const 0
i32.const 224
call $~lib/error/RangeError#constructor
global.set $~lib/error
i32.const 0
return
end
local.get $0
local.get $1
call $~lib/array/Array<assert-nonnull/Foo | null>#__unchecked_get
)
(func $assert-nonnull/testElem (; 13 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
i32.const 0
call $~lib/array/Array<assert-nonnull/Foo | null>#__get
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $1
local.get $0
call $~lib/rt/stub/__release
local.get $1
)
(func $assert-nonnull/testAll (; 14 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
i32.const 0
call $~lib/array/Array<assert-nonnull/Foo | null>#__get
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
i32.load
local.tee $2
if (result i32)
local.get $2
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $2
local.get $1
call $~lib/rt/stub/__release
local.get $0
call $~lib/rt/stub/__release
local.get $2
)
(func $assert-nonnull/testAll2 (; 15 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
local.get $0
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
i32.const 0
call $~lib/array/Array<assert-nonnull/Foo | null>#__get
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
i32.load
local.tee $2
if (result i32)
local.get $2
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $2
local.get $1
call $~lib/rt/stub/__release
local.get $0
call $~lib/rt/stub/__release
local.get $2
)
(func $assert-nonnull/testFn (; 16 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
i32.const 0
global.set $~lib/argc
local.get $0
call_indirect (type $FUNCSIG$i)
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
call $~lib/rt/stub/__retain
local.set $2
local.get $1
call $~lib/rt/stub/__release
local.get $2
)
(func $assert-nonnull/testFn2 (; 17 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
(local $3 i32)
local.get $0
local.tee $1
if (result i32)
local.get $1
else
unreachable
end
local.set $2
i32.const 0
global.set $~lib/argc
local.get $2
call_indirect (type $FUNCSIG$i)
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
call $~lib/rt/stub/__retain
local.set $3
local.get $1
call $~lib/rt/stub/__release
local.get $3
)
(func $assert-nonnull/testRet (; 18 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
i32.const 0
global.set $~lib/argc
local.get $0
call_indirect (type $FUNCSIG$i)
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
local.tee $2
if (result i32)
local.get $2
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $2
local.get $1
call $~lib/rt/stub/__release
local.get $2
)
(func $assert-nonnull/testObjFn (; 19 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
i32.const 0
global.set $~lib/argc
local.get $0
i32.load offset=4
call_indirect (type $FUNCSIG$i)
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
call $~lib/rt/stub/__retain
local.set $2
local.get $1
call $~lib/rt/stub/__release
local.get $0
call $~lib/rt/stub/__release
local.get $2
)
(func $assert-nonnull/testObjRet (; 20 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
local.get $0
call $~lib/rt/stub/__retain
drop
i32.const 0
global.set $~lib/argc
local.get $0
i32.load offset=4
call_indirect (type $FUNCSIG$i)
local.set $1
global.get $~lib/error
if
i32.const 0
return
end
local.get $1
local.tee $1
local.tee $2
if (result i32)
local.get $2
else
unreachable
end
call $~lib/rt/stub/__retain
local.set $2
local.get $1
call $~lib/rt/stub/__release
local.get $0
call $~lib/rt/stub/__release
local.get $2
)
(func $start (; 21 ;) (type $FUNCSIG$v)
global.get $~lib/heap/__heap_base
i32.const 15
i32.add
i32.const 15
i32.const -1
i32.xor
i32.and
global.set $~lib/rt/stub/startOffset
global.get $~lib/rt/stub/startOffset
global.set $~lib/rt/stub/offset
)
(func $null (; 22 ;) (type $FUNCSIG$v)
)
)