assemblyscript/tests/compiler/memcpy.optimized.wat
Daniel Wirtz 0c64f21250
Rework resolver (#489)
* Rework IR and resolver to use nested lookup tables
* Integrate types into IR
* Make components prefer IR, slimmed down AST
* Implement `export *`
* Add `@lazy` annotation and remove `--noTreeShaking`
* Add `@start` annotation and remove magic `main`
* Related refactoring, cleanup and docs
2019-02-21 00:11:22 +01:00

1100 lines
17 KiB
Plaintext

(module
(type $iiii (func (param i32 i32 i32) (result i32)))
(type $iiii_ (func (param i32 i32 i32 i32)))
(type $_ (func))
(import "env" "abort" (func $~lib/env/abort (param i32 i32 i32 i32)))
(memory $0 1)
(data (i32.const 8) "\t\00\00\00m\00e\00m\00c\00p\00y\00.\00t\00s")
(table $0 1 funcref)
(elem (i32.const 0) $null)
(global $memcpy/dest (mut i32) (i32.const 0))
(export "memory" (memory $0))
(export "table" (table $0))
(export "memcpy" (func $memcpy/memcpy))
(start $start)
(func $memcpy/memcpy (; 1 ;) (type $iiii) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
(local $3 i32)
(local $4 i32)
(local $5 i32)
(local $6 i32)
local.get $0
local.set $6
loop $continue|0
local.get $1
i32.const 3
i32.and
local.get $2
local.get $2
select
if
local.get $0
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
local.get $2
i32.const 1
i32.sub
local.set $2
br $continue|0
end
end
local.get $0
i32.const 3
i32.and
i32.eqz
if
loop $continue|1
local.get $2
i32.const 16
i32.ge_u
if
local.get $0
local.get $1
i32.load
i32.store
local.get $0
i32.const 4
i32.add
local.get $1
i32.const 4
i32.add
i32.load
i32.store
local.get $0
i32.const 8
i32.add
local.get $1
i32.const 8
i32.add
i32.load
i32.store
local.get $0
i32.const 12
i32.add
local.get $1
i32.const 12
i32.add
i32.load
i32.store
local.get $1
i32.const 16
i32.add
local.set $1
local.get $0
i32.const 16
i32.add
local.set $0
local.get $2
i32.const 16
i32.sub
local.set $2
br $continue|1
end
end
local.get $2
i32.const 8
i32.and
if
local.get $0
local.get $1
i32.load
i32.store
local.get $0
i32.const 4
i32.add
local.get $1
i32.const 4
i32.add
i32.load
i32.store
local.get $1
i32.const 8
i32.add
local.set $1
local.get $0
i32.const 8
i32.add
local.set $0
end
local.get $2
i32.const 4
i32.and
if
local.get $0
local.get $1
i32.load
i32.store
local.get $1
i32.const 4
i32.add
local.set $1
local.get $0
i32.const 4
i32.add
local.set $0
end
local.get $2
i32.const 2
i32.and
if
local.get $0
local.get $1
i32.load16_u
i32.store16
local.get $1
i32.const 2
i32.add
local.set $1
local.get $0
i32.const 2
i32.add
local.set $0
end
local.get $2
i32.const 1
i32.and
if
local.get $0
local.get $1
i32.load8_u
i32.store8
end
local.get $6
return
end
local.get $2
i32.const 32
i32.ge_u
if
block $break|2
block $case2|2
block $case1|2
local.get $0
i32.const 3
i32.and
local.tee $3
i32.const 1
i32.ne
if
local.get $3
i32.const 2
i32.eq
br_if $case1|2
local.get $3
i32.const 3
i32.eq
br_if $case2|2
br $break|2
end
local.get $1
i32.load
local.set $5
local.get $0
local.get $1
local.tee $3
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $1
local.set $0
local.get $1
local.get $3
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
i32.const 1
i32.add
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
local.get $2
i32.const 3
i32.sub
local.set $2
loop $continue|3
local.get $2
i32.const 17
i32.ge_u
if
local.get $0
local.get $1
i32.const 1
i32.add
i32.load
local.tee $3
i32.const 8
i32.shl
local.get $5
i32.const 24
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 4
i32.add
local.get $1
i32.const 5
i32.add
i32.load
local.tee $5
i32.const 8
i32.shl
local.get $3
i32.const 24
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 8
i32.add
local.get $1
i32.const 9
i32.add
i32.load
local.tee $3
i32.const 8
i32.shl
local.get $5
i32.const 24
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 12
i32.add
local.get $1
i32.const 13
i32.add
i32.load
local.tee $5
i32.const 8
i32.shl
local.get $3
i32.const 24
i32.shr_u
i32.or
i32.store
local.get $1
i32.const 16
i32.add
local.set $1
local.get $0
i32.const 16
i32.add
local.set $0
local.get $2
i32.const 16
i32.sub
local.set $2
br $continue|3
end
end
br $break|2
end
local.get $1
i32.load
local.set $5
local.get $0
local.get $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
i32.const 1
i32.add
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
local.get $2
i32.const 2
i32.sub
local.set $2
loop $continue|4
local.get $2
i32.const 18
i32.ge_u
if
local.get $0
local.get $1
i32.const 2
i32.add
i32.load
local.tee $3
i32.const 16
i32.shl
local.get $5
i32.const 16
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 4
i32.add
local.get $1
i32.const 6
i32.add
i32.load
local.tee $5
i32.const 16
i32.shl
local.get $3
i32.const 16
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 8
i32.add
local.get $1
i32.const 10
i32.add
i32.load
local.tee $3
i32.const 16
i32.shl
local.get $5
i32.const 16
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 12
i32.add
local.get $1
i32.const 14
i32.add
i32.load
local.tee $5
i32.const 16
i32.shl
local.get $3
i32.const 16
i32.shr_u
i32.or
i32.store
local.get $1
i32.const 16
i32.add
local.set $1
local.get $0
i32.const 16
i32.add
local.set $0
local.get $2
i32.const 16
i32.sub
local.set $2
br $continue|4
end
end
br $break|2
end
local.get $1
i32.load
local.set $5
local.get $0
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
local.get $2
i32.const 1
i32.sub
local.set $2
loop $continue|5
local.get $2
i32.const 19
i32.ge_u
if
local.get $0
local.get $1
i32.const 3
i32.add
i32.load
local.tee $3
i32.const 24
i32.shl
local.get $5
i32.const 8
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 4
i32.add
local.get $1
i32.const 7
i32.add
i32.load
local.tee $5
i32.const 24
i32.shl
local.get $3
i32.const 8
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 8
i32.add
local.get $1
i32.const 11
i32.add
i32.load
local.tee $3
i32.const 24
i32.shl
local.get $5
i32.const 8
i32.shr_u
i32.or
i32.store
local.get $0
i32.const 12
i32.add
local.get $1
i32.const 15
i32.add
i32.load
local.tee $5
i32.const 24
i32.shl
local.get $3
i32.const 8
i32.shr_u
i32.or
i32.store
local.get $1
i32.const 16
i32.add
local.set $1
local.get $0
i32.const 16
i32.add
local.set $0
local.get $2
i32.const 16
i32.sub
local.set $2
br $continue|5
end
end
end
end
local.get $2
i32.const 16
i32.and
if
local.get $0
local.get $1
local.tee $3
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $1
local.set $0
local.get $1
local.get $3
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
i32.const 1
i32.add
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
end
local.get $2
i32.const 8
i32.and
if
local.get $0
local.get $1
local.tee $3
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $1
local.set $0
local.get $1
local.get $3
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
i32.const 1
i32.add
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
end
local.get $2
i32.const 4
i32.and
if
local.get $0
local.get $1
local.tee $3
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $1
local.set $0
local.get $1
local.get $3
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $3
local.set $0
local.get $3
local.get $1
i32.const 1
i32.add
local.tee $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
i32.const 1
i32.add
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
end
local.get $2
i32.const 2
i32.and
if
local.get $0
local.get $1
i32.load8_u
i32.store8
local.get $0
i32.const 1
i32.add
local.tee $4
i32.const 1
i32.add
local.set $0
local.get $1
i32.const 1
i32.add
local.tee $3
i32.const 1
i32.add
local.set $1
local.get $4
local.get $3
i32.load8_u
i32.store8
end
local.get $2
i32.const 1
i32.and
if
local.get $0
local.get $1
i32.load8_u
i32.store8
end
local.get $6
)
(func $start:memcpy (; 2 ;) (type $_)
i32.const 8
i64.const 1229782938247303441
i64.store
i32.const 16
i64.const 2459565876494606882
i64.store
i32.const 24
i64.const 3689348814741910323
i64.store
i32.const 32
i64.const 4919131752989213764
i64.store
i32.const 9
i32.const 24
i32.const 4
call $memcpy/memcpy
global.set $memcpy/dest
global.get $memcpy/dest
i32.const 9
i32.ne
if
i32.const 0
i32.const 8
i32.const 151
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 8
i64.load
i64.const 1229783084848853777
i64.ne
if
i32.const 0
i32.const 8
i32.const 152
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 8
i32.const 8
i32.const 32
call $memcpy/memcpy
global.set $memcpy/dest
global.get $memcpy/dest
i32.const 8
i32.ne
if
i32.const 0
i32.const 8
i32.const 155
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 8
i64.load
i64.const 1229783084848853777
i64.ne
if
i32.const 0
i32.const 8
i32.const 156
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 16
i64.load
i64.const 2459565876494606882
i64.ne
if
i32.const 0
i32.const 8
i32.const 157
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 24
i64.load
i64.const 3689348814741910323
i64.ne
if
i32.const 0
i32.const 8
i32.const 158
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 32
i64.load
i64.const 4919131752989213764
i64.ne
if
i32.const 0
i32.const 8
i32.const 159
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 13
i32.const 36
i32.const 3
call $memcpy/memcpy
global.set $memcpy/dest
i32.const 8
i64.load
i64.const 4919131679688438545
i64.ne
if
i32.const 0
i32.const 8
i32.const 162
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 16
i32.const 24
i32.const 15
call $memcpy/memcpy
global.set $memcpy/dest
i32.const 8
i64.load
i64.const 4919131679688438545
i64.ne
if
i32.const 0
i32.const 8
i32.const 165
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 16
i64.load
i64.const 3689348814741910323
i64.ne
if
i32.const 0
i32.const 8
i32.const 166
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 24
i64.load
i64.const 3694152654344438852
i64.ne
if
i32.const 0
i32.const 8
i32.const 167
i32.const 0
call $~lib/env/abort
unreachable
end
i32.const 32
i64.load
i64.const 4919131752989213764
i64.ne
if
i32.const 0
i32.const 8
i32.const 168
i32.const 0
call $~lib/env/abort
unreachable
end
)
(func $start (; 3 ;) (type $_)
call $start:memcpy
)
(func $null (; 4 ;) (type $_)
nop
)
)