fluencelabs/assemblyscript
1
0
Fork 0
mirror of https://github.com/fluencelabs/assemblyscript synced 2025-06-27 13:41:48 +00:00
Code Issues Projects Releases Wiki Activity

implications of 16b alignment

Browse Source
This commit is contained in:
dcode
2019-04-15 13:37:18 +02:00
parent aee3a3e3a7
commit ceffc18694
5 changed files with 206 additions and 143 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
tests/allocators/asrt/optimized.wat
View File

@ -16,7 +16,7 @@
(func $../../compiler/runtime/asrt/setTail (; 0 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32) (func $../../compiler/runtime/asrt/setTail (; 0 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
local.get $0 local.get $0
local.get $1 local.get $1
i32.store offset=2784 i32.store offset=1504
) )
(func $../../compiler/runtime/asrt/setSLMap (; 1 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32) (func $../../compiler/runtime/asrt/setSLMap (; 1 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
local.get $0 local.get $0
@ -30,7 +30,7 @@
(func $../../compiler/runtime/asrt/setHead (; 2 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (func $../../compiler/runtime/asrt/setHead (; 2 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32)
local.get $0 local.get $0
local.get $1 local.get $1
i32.const 5 i32.const 4
i32.shl i32.shl
local.get $2 local.get $2
i32.add i32.add
@ -59,7 +59,7 @@
(func $../../compiler/runtime/asrt/getHead (; 5 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (func $../../compiler/runtime/asrt/getHead (; 5 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
local.get $0 local.get $0
local.get $1 local.get $1
i32.const 5 i32.const 4
i32.shl i32.shl
local.get $2 local.get $2
i32.add i32.add
@ -86,7 +86,7 @@
i32.const -4 i32.const -4
i32.and i32.and
local.tee $2 local.tee $2
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
@ -99,14 +99,14 @@
local.get $2 local.get $2
call $../../compiler/runtime/asrt/fls<usize> call $../../compiler/runtime/asrt/fls<usize>
local.tee $3 local.tee $3
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 32 i32.const 16
i32.xor i32.xor
local.set $4 local.set $4
local.get $3 local.get $3
i32.const 8 i32.const 7
i32.sub i32.sub
end end
local.set $3 local.set $3
@ -247,7 +247,7 @@
i32.const -4 i32.const -4
i32.and i32.and
local.tee $2 local.tee $2
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
@ -260,14 +260,14 @@
local.get $2 local.get $2
call $../../compiler/runtime/asrt/fls<usize> call $../../compiler/runtime/asrt/fls<usize>
local.tee $3 local.tee $3
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 32 i32.const 16
i32.xor i32.xor
local.set $2 local.set $2
local.get $3 local.get $3
i32.const 8 i32.const 7
i32.sub i32.sub
end end
local.tee $3 local.tee $3
@ -315,7 +315,7 @@
local.get $2 local.get $2
block (result i32) block (result i32)
local.get $0 local.get $0
i32.load offset=2784 i32.load offset=1504
local.tee $2 local.tee $2
if if
local.get $1 local.get $1
@ -381,7 +381,7 @@
(local $3 i32) (local $3 i32)
i32.const 16 i32.const 16
local.tee $3 local.tee $3
i32.const 68323 i32.const 67043
i32.add i32.add
i32.const -65536 i32.const -65536
i32.and i32.and
@ -414,7 +414,7 @@
loop $repeat|0 loop $repeat|0
block $break|0 block $break|0
local.get $2 local.get $2
i32.const 21 i32.const 22
i32.ge_u i32.ge_u
br_if $break|0 br_if $break|0
local.get $0 local.get $0
@ -426,7 +426,7 @@
loop $repeat|1 loop $repeat|1
block $break|1 block $break|1
local.get $1 local.get $1
i32.const 32 i32.const 16
i32.ge_u i32.ge_u
br_if $break|1 br_if $break|1
local.get $0 local.get $0
@ -450,7 +450,7 @@
end end
local.get $0 local.get $0
local.get $3 local.get $3
i32.const 2803 i32.const 1523
i32.add i32.add
i32.const -16 i32.const -16
i32.and i32.and
@ -463,7 +463,7 @@
(func $../../compiler/runtime/asrt/searchBlock (; 11 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32) (func $../../compiler/runtime/asrt/searchBlock (; 11 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
(local $2 i32) (local $2 i32)
local.get $1 local.get $1
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $1 local.get $1
@ -474,18 +474,18 @@
local.get $1 local.get $1
call $../../compiler/runtime/asrt/fls<usize> call $../../compiler/runtime/asrt/fls<usize>
local.tee $2 local.tee $2
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 32 i32.const 16
i32.xor i32.xor
local.set $1 local.set $1
local.get $2 local.get $2
i32.const 8 i32.const 7
i32.sub i32.sub
local.set $2 local.set $2
local.get $1 local.get $1
i32.const 31 i32.const 15
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $1 local.get $1

100
tests/allocators/asrt/untouched.wat
View File

@ -1,9 +1,9 @@
(module (module
(type $FUNCSIG$ii (func (param i32) (result i32))) (type $FUNCSIG$ii (func (param i32) (result i32)))
(type $FUNCSIG$i (func (result i32))) (type $FUNCSIG$i (func (result i32)))
(type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
(type $FUNCSIG$vii (func (param i32 i32))) (type $FUNCSIG$vii (func (param i32 i32)))
(type $FUNCSIG$viii (func (param i32 i32 i32))) (type $FUNCSIG$viii (func (param i32 i32 i32)))
(type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
(type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32))) (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
(type $FUNCSIG$iii (func (param i32 i32) (result i32))) (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
(type $FUNCSIG$vi (func (param i32))) (type $FUNCSIG$vi (func (param i32)))
@ -22,11 +22,11 @@
(func $../../compiler/runtime/asrt/setTail (; 1 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32) (func $../../compiler/runtime/asrt/setTail (; 1 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
local.get $0 local.get $0
local.get $1 local.get $1
i32.store offset=2784 i32.store offset=1504
) )
(func $../../compiler/runtime/asrt/setSLMap (; 2 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32) (func $../../compiler/runtime/asrt/setSLMap (; 2 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
i32.eqz i32.eqz
if if
@ -47,11 +47,11 @@
) )
(func $../../compiler/runtime/asrt/setHead (; 3 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (func $../../compiler/runtime/asrt/setHead (; 3 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
else else
i32.const 0 i32.const 0
@ -67,7 +67,7 @@
end end
local.get $0 local.get $0
local.get $1 local.get $1
i32.const 32 i32.const 16
i32.mul i32.mul
local.get $2 local.get $2
i32.add i32.add
@ -79,7 +79,7 @@
) )
(func $../../compiler/runtime/asrt/getTail (; 4 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32) (func $../../compiler/runtime/asrt/getTail (; 4 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
local.get $0 local.get $0
i32.load offset=2784 i32.load offset=1504
) )
(func $../../compiler/runtime/asrt/getRight (; 5 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32) (func $../../compiler/runtime/asrt/getRight (; 5 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32) (local $1 i32)
@ -131,7 +131,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 465 i32.const 472
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -143,11 +143,11 @@
) )
(func $../../compiler/runtime/asrt/getHead (; 7 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (func $../../compiler/runtime/asrt/getHead (; 7 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
else else
i32.const 0 i32.const 0
@ -163,7 +163,7 @@
end end
local.get $0 local.get $0
local.get $1 local.get $1
i32.const 32 i32.const 16
i32.mul i32.mul
local.get $2 local.get $2
i32.add i32.add
@ -174,7 +174,7 @@
) )
(func $../../compiler/runtime/asrt/getSLMap (; 8 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32) (func $../../compiler/runtime/asrt/getSLMap (; 8 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
i32.eqz i32.eqz
if if
@ -241,7 +241,7 @@
unreachable unreachable
end end
local.get $3 local.get $3
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if if
i32.const 0 i32.const 0
@ -256,16 +256,16 @@
local.set $4 local.set $4
local.get $3 local.get $3
local.get $4 local.get $4
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 1 i32.const 1
i32.const 5 i32.const 4
i32.shl i32.shl
i32.xor i32.xor
local.set $5 local.set $5
local.get $4 local.get $4
i32.const 9 i32.const 8
i32.const 1 i32.const 1
i32.sub i32.sub
i32.sub i32.sub
@ -529,7 +529,7 @@
local.get $1 local.get $1
i32.store i32.store
local.get $7 local.get $7
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if if
i32.const 0 i32.const 0
@ -544,16 +544,16 @@
local.set $8 local.set $8
local.get $7 local.get $7
local.get $8 local.get $8
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 1 i32.const 1
i32.const 5 i32.const 4
i32.shl i32.shl
i32.xor i32.xor
local.set $9 local.set $9
local.get $8 local.get $8
i32.const 9 i32.const 8
i32.const 1 i32.const 1
i32.sub i32.sub
i32.sub i32.sub
@ -674,7 +674,7 @@
else else
local.get $1 local.get $1
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.ge_u i32.ge_u
i32.eqz i32.eqz
@ -751,6 +751,34 @@
(local $3 i32) (local $3 i32)
(local $4 i32) (local $4 i32)
(local $5 i32) (local $5 i32)
i32.const 256
i32.const 256
i32.eq
if (result i32)
i32.const 22
i32.const 22
i32.eq
else
i32.const 0
end
if (result i32)
i32.const 22
i32.const 16
i32.mul
i32.const 352
i32.eq
else
i32.const 0
end
i32.eqz
if
i32.const 0
i32.const 24
i32.const 434
i32.const 4
call $~lib/builtins/abort
unreachable
end
global.get $~lib/memory/HEAP_BASE global.get $~lib/memory/HEAP_BASE
i32.const 15 i32.const 15
i32.add i32.add
@ -762,7 +790,7 @@
current_memory current_memory
local.set $1 local.set $1
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.const 65535 i32.const 65535
i32.add i32.add
@ -802,7 +830,7 @@
local.set $4 local.set $4
loop $repeat|0 loop $repeat|0
local.get $4 local.get $4
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
i32.eqz i32.eqz
br_if $break|0 br_if $break|0
@ -816,7 +844,7 @@
local.set $5 local.set $5
loop $repeat|1 loop $repeat|1
local.get $5 local.get $5
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
i32.eqz i32.eqz
br_if $break|1 br_if $break|1
@ -846,7 +874,7 @@
end end
local.get $3 local.get $3
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.const 15 i32.const 15
i32.add i32.add
@ -869,7 +897,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 459 i32.const 466
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -885,7 +913,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 459 i32.const 466
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -900,7 +928,7 @@
(local $5 i32) (local $5 i32)
(local $6 i32) (local $6 i32)
local.get $1 local.get $1
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if if
i32.const 0 i32.const 0
@ -915,22 +943,22 @@
local.set $2 local.set $2
local.get $1 local.get $1
local.get $2 local.get $2
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 1 i32.const 1
i32.const 5 i32.const 4
i32.shl i32.shl
i32.xor i32.xor
local.set $3 local.set $3
local.get $2 local.get $2
i32.const 9 i32.const 8
i32.const 1 i32.const 1
i32.sub i32.sub
i32.sub i32.sub
local.set $2 local.set $2
local.get $3 local.get $3
i32.const 32 i32.const 16
i32.const 1 i32.const 1
i32.sub i32.sub
i32.lt_u i32.lt_u
@ -1211,7 +1239,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 488 i32.const 495
i32.const 15 i32.const 15
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1229,7 +1257,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 490 i32.const 497
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1265,7 +1293,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 452 i32.const 459
i32.const 2 i32.const 2
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1291,7 +1319,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 501 i32.const 508
i32.const 4 i32.const 4
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable

80
tests/compiler/runtime/asrt.optimized.wat
View File

@ -1,9 +1,9 @@
(module (module
(type $FUNCSIG$ii (func (param i32) (result i32))) (type $FUNCSIG$ii (func (param i32) (result i32)))
(type $FUNCSIG$i (func (result i32))) (type $FUNCSIG$i (func (result i32)))
(type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
(type $FUNCSIG$vii (func (param i32 i32))) (type $FUNCSIG$vii (func (param i32 i32)))
(type $FUNCSIG$viii (func (param i32 i32 i32))) (type $FUNCSIG$viii (func (param i32 i32 i32)))
(type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
(type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32))) (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
(type $FUNCSIG$iii (func (param i32 i32) (result i32))) (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
(type $FUNCSIG$vi (func (param i32))) (type $FUNCSIG$vi (func (param i32)))
@ -26,7 +26,7 @@
(export "__gc_collect" (func $runtime/asrt/collectCycles)) (export "__gc_collect" (func $runtime/asrt/collectCycles))
(func $runtime/asrt/setSLMap (; 1 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32) (func $runtime/asrt/setSLMap (; 1 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.ge_u i32.ge_u
if if
i32.const 0 i32.const 0
@ -46,11 +46,11 @@
) )
(func $runtime/asrt/setHead (; 2 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (func $runtime/asrt/setHead (; 2 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32)
local.get $2 local.get $2
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
i32.const 0 i32.const 0
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
select select
i32.eqz i32.eqz
@ -63,7 +63,7 @@
unreachable unreachable
end end
local.get $1 local.get $1
i32.const 5 i32.const 4
i32.shl i32.shl
local.get $2 local.get $2
i32.add i32.add
@ -115,7 +115,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 465 i32.const 472
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -127,11 +127,11 @@
) )
(func $runtime/asrt/getHead (; 5 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (func $runtime/asrt/getHead (; 5 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
local.get $2 local.get $2
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
i32.const 0 i32.const 0
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
select select
i32.eqz i32.eqz
@ -144,7 +144,7 @@
unreachable unreachable
end end
local.get $1 local.get $1
i32.const 5 i32.const 4
i32.shl i32.shl
local.get $2 local.get $2
i32.add i32.add
@ -156,7 +156,7 @@
) )
(func $runtime/asrt/getSLMap (; 6 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32) (func $runtime/asrt/getSLMap (; 6 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.ge_u i32.ge_u
if if
i32.const 0 i32.const 0
@ -215,7 +215,7 @@
unreachable unreachable
end end
local.get $2 local.get $2
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
@ -228,14 +228,14 @@
local.get $2 local.get $2
call $runtime/asrt/fls<usize> call $runtime/asrt/fls<usize>
local.tee $3 local.tee $3
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 32 i32.const 16
i32.xor i32.xor
local.set $4 local.set $4
local.get $3 local.get $3
i32.const 8 i32.const 7
i32.sub i32.sub
end end
local.set $3 local.set $3
@ -470,7 +470,7 @@
i32.store i32.store
local.get $0 local.get $0
local.get $2 local.get $2
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
@ -483,14 +483,14 @@
local.get $2 local.get $2
call $runtime/asrt/fls<usize> call $runtime/asrt/fls<usize>
local.tee $3 local.tee $3
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 32 i32.const 16
i32.xor i32.xor
local.set $2 local.set $2
local.get $3 local.get $3
i32.const 8 i32.const 7
i32.sub i32.sub
end end
local.tee $4 local.tee $4
@ -561,7 +561,7 @@
unreachable unreachable
end end
local.get $0 local.get $0
i32.load offset=2784 i32.load offset=1504
local.tee $3 local.tee $3
if if
local.get $1 local.get $1
@ -594,7 +594,7 @@
else else
local.get $1 local.get $1
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.lt_u i32.lt_u
if if
@ -642,7 +642,7 @@
i32.store i32.store
local.get $0 local.get $0
local.get $2 local.get $2
i32.store offset=2784 i32.store offset=1504
local.get $0 local.get $0
local.get $1 local.get $1
call $runtime/asrt/insertBlock call $runtime/asrt/insertBlock
@ -670,14 +670,14 @@
i32.const 112 i32.const 112
i32.const 0 i32.const 0
i32.store i32.store
i32.const 2896 i32.const 1616
i32.const 0 i32.const 0
i32.store i32.store
i32.const 0 i32.const 0
local.set $0 local.set $0
loop $repeat|0 loop $repeat|0
local.get $0 local.get $0
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
if if
i32.const 112 i32.const 112
@ -688,7 +688,7 @@
local.set $1 local.set $1
loop $repeat|1 loop $repeat|1
local.get $1 local.get $1
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
if if
i32.const 112 i32.const 112
@ -711,7 +711,7 @@
end end
end end
i32.const 112 i32.const 112
i32.const 2912 i32.const 1632
current_memory current_memory
i32.const 16 i32.const 16
i32.shl i32.shl
@ -724,7 +724,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 459 i32.const 466
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -736,7 +736,7 @@
(local $2 i32) (local $2 i32)
(local $3 i32) (local $3 i32)
local.get $1 local.get $1
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $1 local.get $1
@ -746,18 +746,18 @@
local.get $1 local.get $1
call $runtime/asrt/fls<usize> call $runtime/asrt/fls<usize>
local.tee $3 local.tee $3
i32.const 8 i32.const 7
i32.sub i32.sub
local.set $2 local.set $2
local.get $1 local.get $1
local.get $3 local.get $3
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 32 i32.const 16
i32.xor i32.xor
local.tee $1 local.tee $1
i32.const 31 i32.const 15
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $1 local.get $1
@ -982,7 +982,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 488 i32.const 495
i32.const 15 i32.const 15
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -997,7 +997,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 490 i32.const 497
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1026,7 +1026,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 452 i32.const 459
i32.const 2 i32.const 2
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1050,7 +1050,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 501 i32.const 508
i32.const 4 i32.const 4
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1084,7 +1084,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 624 i32.const 631
i32.const 15 i32.const 15
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1190,7 +1190,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 579 i32.const 586
i32.const 17 i32.const 17
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1238,7 +1238,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 590 i32.const 597
i32.const 6 i32.const 6
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1268,7 +1268,7 @@
end end
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 601 i32.const 608
i32.const 24 i32.const 24
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1290,7 +1290,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 608 i32.const 615
i32.const 2 i32.const 2
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable

15
tests/compiler/runtime/asrt.ts
View File

@ -18,13 +18,13 @@
// ╒══════════════ Block size interpretation (32-bit) ═════════════╕ // ╒══════════════ Block size interpretation (32-bit) ═════════════╕
// 3 2 1 // 3 2 1
// 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 bits // 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 bits
// ├─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┼─┴─┴─┴─┴─╫─┴─┴─┤ // ├─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┼─┴─┴─┴─╫─┴─┴─┴─┤
// │ | FL │ SB = SL + AL │ ◄─ usize // │ | FL │ SB = SL + AL │ ◄─ usize
// └───────────────────────────────────────────────┴─────────╨─────┘ // └───────────────────────────────────────────────┴───────╨───────┘
// FL: first level, SL: second level, AL: alignment, SB: small block // FL: first level, SL: second level, AL: alignment, SB: small block
// @ts-ignore: decorator // @ts-ignore: decorator
@inline const SL_BITS: u32 = 5; @inline const SL_BITS: u32 = 4;
// @ts-ignore: decorator // @ts-ignore: decorator
@inline const SL_SIZE: usize = 1 << <usize>SL_BITS; @inline const SL_SIZE: usize = 1 << <usize>SL_BITS;
@ -130,7 +130,7 @@ function getRight(block: Block): Block {
// ├───────────────────────────────────────────────────────────────┤ │ // ├───────────────────────────────────────────────────────────────┤ │
// │ ... │ ◄────┤ // │ ... │ ◄────┤
// ├───────────────────────────────────────────────────────────────┤ │ // ├───────────────────────────────────────────────────────────────┤ │
// │ head[703] │ ◄────┤ // │ head[351] │ ◄────┤
// ╞═══════════════════════════════════════════════════════════════╡ │ // ╞═══════════════════════════════════════════════════════════════╡ │
// │ tail │ ◄────┘ // │ tail │ ◄────┘
// └───────────────────────────────────────────────────────────────┘ SIZE ┘ // └───────────────────────────────────────────────────────────────┘ SIZE ┘
@ -430,6 +430,13 @@ function growMemory(root: Root, size: usize): void {
/** Initilizes the root structure. */ /** Initilizes the root structure. */
function initialize(): Root { function initialize(): Root {
if (DEBUG) {
assert(
SB_SIZE == 256 && // max size of a small block
FL_BITS == 22 && // number of second level maps
FL_BITS * SL_SIZE == 352 // number of heads
);
}
var rootOffset = (HEAP_BASE + AL_MASK) & ~AL_MASK; var rootOffset = (HEAP_BASE + AL_MASK) & ~AL_MASK;
var pagesBefore = memory.size(); var pagesBefore = memory.size();
var pagesNeeded = <i32>((((rootOffset + ROOT_SIZE) + 0xffff) & ~0xffff) >>> 16); var pagesNeeded = <i32>((((rootOffset + ROOT_SIZE) + 0xffff) & ~0xffff) >>> 16);

110
tests/compiler/runtime/asrt.untouched.wat
View File

@ -1,9 +1,9 @@
(module (module
(type $FUNCSIG$ii (func (param i32) (result i32))) (type $FUNCSIG$ii (func (param i32) (result i32)))
(type $FUNCSIG$i (func (result i32))) (type $FUNCSIG$i (func (result i32)))
(type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
(type $FUNCSIG$vii (func (param i32 i32))) (type $FUNCSIG$vii (func (param i32 i32)))
(type $FUNCSIG$viii (func (param i32 i32 i32))) (type $FUNCSIG$viii (func (param i32 i32 i32)))
(type $FUNCSIG$viiii (func (param i32 i32 i32 i32)))
(type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32))) (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
(type $FUNCSIG$iii (func (param i32 i32) (result i32))) (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
(type $FUNCSIG$vi (func (param i32))) (type $FUNCSIG$vi (func (param i32)))
@ -30,11 +30,11 @@
(func $runtime/asrt/setTail (; 1 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32) (func $runtime/asrt/setTail (; 1 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
local.get $0 local.get $0
local.get $1 local.get $1
i32.store offset=2784 i32.store offset=1504
) )
(func $runtime/asrt/setSLMap (; 2 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32) (func $runtime/asrt/setSLMap (; 2 ;) (type $FUNCSIG$viii) (param $0 i32) (param $1 i32) (param $2 i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
i32.eqz i32.eqz
if if
@ -55,11 +55,11 @@
) )
(func $runtime/asrt/setHead (; 3 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (func $runtime/asrt/setHead (; 3 ;) (type $FUNCSIG$viiii) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
else else
i32.const 0 i32.const 0
@ -75,7 +75,7 @@
end end
local.get $0 local.get $0
local.get $1 local.get $1
i32.const 32 i32.const 16
i32.mul i32.mul
local.get $2 local.get $2
i32.add i32.add
@ -87,7 +87,7 @@
) )
(func $runtime/asrt/getTail (; 4 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32) (func $runtime/asrt/getTail (; 4 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
local.get $0 local.get $0
i32.load offset=2784 i32.load offset=1504
) )
(func $runtime/asrt/getRight (; 5 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32) (func $runtime/asrt/getRight (; 5 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
(local $1 i32) (local $1 i32)
@ -139,7 +139,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 465 i32.const 472
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -151,11 +151,11 @@
) )
(func $runtime/asrt/getHead (; 7 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (func $runtime/asrt/getHead (; 7 ;) (type $FUNCSIG$iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
if (result i32) if (result i32)
local.get $2 local.get $2
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
else else
i32.const 0 i32.const 0
@ -171,7 +171,7 @@
end end
local.get $0 local.get $0
local.get $1 local.get $1
i32.const 32 i32.const 16
i32.mul i32.mul
local.get $2 local.get $2
i32.add i32.add
@ -182,7 +182,7 @@
) )
(func $runtime/asrt/getSLMap (; 8 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32) (func $runtime/asrt/getSLMap (; 8 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
local.get $1 local.get $1
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
i32.eqz i32.eqz
if if
@ -249,7 +249,7 @@
unreachable unreachable
end end
local.get $3 local.get $3
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if if
i32.const 0 i32.const 0
@ -264,16 +264,16 @@
local.set $4 local.set $4
local.get $3 local.get $3
local.get $4 local.get $4
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 1 i32.const 1
i32.const 5 i32.const 4
i32.shl i32.shl
i32.xor i32.xor
local.set $5 local.set $5
local.get $4 local.get $4
i32.const 9 i32.const 8
i32.const 1 i32.const 1
i32.sub i32.sub
i32.sub i32.sub
@ -537,7 +537,7 @@
local.get $1 local.get $1
i32.store i32.store
local.get $7 local.get $7
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if if
i32.const 0 i32.const 0
@ -552,16 +552,16 @@
local.set $8 local.set $8
local.get $7 local.get $7
local.get $8 local.get $8
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 1 i32.const 1
i32.const 5 i32.const 4
i32.shl i32.shl
i32.xor i32.xor
local.set $9 local.set $9
local.get $8 local.get $8
i32.const 9 i32.const 8
i32.const 1 i32.const 1
i32.sub i32.sub
i32.sub i32.sub
@ -682,7 +682,7 @@
else else
local.get $1 local.get $1
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.ge_u i32.ge_u
i32.eqz i32.eqz
@ -759,6 +759,34 @@
(local $3 i32) (local $3 i32)
(local $4 i32) (local $4 i32)
(local $5 i32) (local $5 i32)
i32.const 256
i32.const 256
i32.eq
if (result i32)
i32.const 22
i32.const 22
i32.eq
else
i32.const 0
end
if (result i32)
i32.const 22
i32.const 16
i32.mul
i32.const 352
i32.eq
else
i32.const 0
end
i32.eqz
if
i32.const 0
i32.const 24
i32.const 434
i32.const 4
call $~lib/builtins/abort
unreachable
end
global.get $~lib/memory/HEAP_BASE global.get $~lib/memory/HEAP_BASE
i32.const 15 i32.const 15
i32.add i32.add
@ -770,7 +798,7 @@
current_memory current_memory
local.set $1 local.set $1
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.const 65535 i32.const 65535
i32.add i32.add
@ -810,7 +838,7 @@
local.set $4 local.set $4
loop $repeat|0 loop $repeat|0
local.get $4 local.get $4
i32.const 21 i32.const 22
i32.lt_u i32.lt_u
i32.eqz i32.eqz
br_if $break|0 br_if $break|0
@ -824,7 +852,7 @@
local.set $5 local.set $5
loop $repeat|1 loop $repeat|1
local.get $5 local.get $5
i32.const 32 i32.const 16
i32.lt_u i32.lt_u
i32.eqz i32.eqz
br_if $break|1 br_if $break|1
@ -854,7 +882,7 @@
end end
local.get $3 local.get $3
local.get $0 local.get $0
i32.const 2788 i32.const 1508
i32.add i32.add
i32.const 15 i32.const 15
i32.add i32.add
@ -877,7 +905,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 459 i32.const 466
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -893,7 +921,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 459 i32.const 466
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -908,7 +936,7 @@
(local $5 i32) (local $5 i32)
(local $6 i32) (local $6 i32)
local.get $1 local.get $1
i32.const 512 i32.const 256
i32.lt_u i32.lt_u
if if
i32.const 0 i32.const 0
@ -923,22 +951,22 @@
local.set $2 local.set $2
local.get $1 local.get $1
local.get $2 local.get $2
i32.const 5 i32.const 4
i32.sub i32.sub
i32.shr_u i32.shr_u
i32.const 1 i32.const 1
i32.const 5 i32.const 4
i32.shl i32.shl
i32.xor i32.xor
local.set $3 local.set $3
local.get $2 local.get $2
i32.const 9 i32.const 8
i32.const 1 i32.const 1
i32.sub i32.sub
i32.sub i32.sub
local.set $2 local.set $2
local.get $3 local.get $3
i32.const 32 i32.const 16
i32.const 1 i32.const 1
i32.sub i32.sub
i32.lt_u i32.lt_u
@ -1219,7 +1247,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 488 i32.const 495
i32.const 15 i32.const 15
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1237,7 +1265,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 490 i32.const 497
i32.const 13 i32.const 13
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1269,7 +1297,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 452 i32.const 459
i32.const 2 i32.const 2
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1295,7 +1323,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 501 i32.const 508
i32.const 4 i32.const 4
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1641,7 +1669,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 624 i32.const 631
i32.const 15 i32.const 15
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1839,7 +1867,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 579 i32.const 586
i32.const 17 i32.const 17
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1886,7 +1914,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 590 i32.const 597
i32.const 6 i32.const 6
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1923,7 +1951,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 601 i32.const 608
i32.const 24 i32.const 24
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable
@ -1952,7 +1980,7 @@
if if
i32.const 0 i32.const 0
i32.const 24 i32.const 24
i32.const 608 i32.const 615
i32.const 2 i32.const 2
call $~lib/builtins/abort call $~lib/builtins/abort
unreachable unreachable