mirror of
https://github.com/fluencelabs/assemblyscript
synced 2025-04-25 07:02:13 +00:00
Add memcpy compiler test
This commit is contained in:
dcodeIO
parent
bbb57baecb
commit
da672e2ca6
10
NOTICE
10
NOTICE
@ -2,6 +2,7 @@ Includes parts of TypeScript:
|
||||
|
||||
https://github.com/Microsoft/TypeScript
|
||||
|
||||
Copyright (c) Microsoft Corporation. All rights reserved.
|
||||
Apache License, Version 2.0
|
||||
https://www.apache.org/licenses/LICENSE-2.0
|
||||
|
||||
@ -9,5 +10,14 @@ Includes parts of Binaryen:
|
||||
|
||||
https://github.com/WebAssembly/binaryen
|
||||
|
||||
Copyright 2015 WebAssembly Community Group participants
|
||||
Apache License, Version 2.0
|
||||
https://www.apache.org/licenses/LICENSE-2.0
|
||||
|
||||
Includes parts of musl:
|
||||
|
||||
http://www.musl-libc.org
|
||||
|
||||
Copyright © 2005-2014 Rich Felker, et al.
|
||||
MIT License
|
||||
https://opensource.org/licenses/MIT
|
||||
|
||||
@ -929,8 +929,8 @@ export class Function extends Element {
|
||||
/** Contextual type arguments. */
|
||||
contextualTypeArguments: Map<string,Type> = new Map();
|
||||
|
||||
private breakMajor: i32 = 0;
|
||||
private breakMinor: i32 = 0;
|
||||
private nextBreakId: i32 = 0;
|
||||
private breakStack: i32[] | null = null;
|
||||
|
||||
/** Constructs a new concrete function. */
|
||||
constructor(prototype: FunctionPrototype, internalName: string, typeArguments: Type[], parameters: Parameter[], returnType: Type, instanceMethodOf: Class | null) {
|
||||
@ -974,17 +974,26 @@ export class Function extends Element {
|
||||
|
||||
/** Enters a(nother) break context. */
|
||||
enterBreakContext(): string {
|
||||
if (!this.breakMinor)
|
||||
this.breakMajor++;
|
||||
return this.breakContext = this.breakMajor.toString(10) + "." + (++this.breakMinor).toString(10);
|
||||
const id: i32 = this.nextBreakId++;
|
||||
if (!this.breakStack)
|
||||
this.breakStack = [ id ];
|
||||
else
|
||||
this.breakStack.push(id);
|
||||
return this.breakContext = id.toString(10);
|
||||
}
|
||||
|
||||
/** Leaves the current break context. */
|
||||
leaveBreakContext(): void {
|
||||
if (this.breakMinor < 1)
|
||||
throw new Error("unexpected unbalanced break context");
|
||||
if (--this.breakMinor == 0)
|
||||
assert(this.breakStack != null);
|
||||
const length: i32 = (<i32[]>this.breakStack).length;
|
||||
assert(length > 0);
|
||||
(<i32[]>this.breakStack).pop();
|
||||
if (length > 1) {
|
||||
this.breakContext = (<i32[]>this.breakStack)[length - 2].toString(10)
|
||||
} else {
|
||||
this.breakContext = null;
|
||||
this.breakStack = null;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
145
std/impl/heap.ts
145
std/impl/heap.ts
@ -34,5 +34,150 @@ class Heap {
|
||||
return (<usize>current_memory() << 16) - HEAP_START;
|
||||
}
|
||||
|
||||
static copy(dest: usize, src: usize, n: usize): usize {
|
||||
assert(dest >= HEAP_START);
|
||||
|
||||
// the following is based on musl's implementation of memcpy
|
||||
let dst: usize = dest;
|
||||
let w: u32, x: u32;
|
||||
|
||||
// copy 1 byte each until src is aligned to 4 bytes
|
||||
while (n != 0 && src % 4 != 0) {
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
n--;
|
||||
}
|
||||
|
||||
// if dst is aligned to 4 bytes as well, copy 4 bytes each
|
||||
if (dst % 4 == 0) {
|
||||
while (n >= 16) {
|
||||
store<u32>(dst , load<u32>(src ));
|
||||
store<u32>(dst + 4, load<u32>(src + 4));
|
||||
store<u32>(dst + 8, load<u32>(src + 8));
|
||||
store<u32>(dst + 12, load<u32>(src + 12));
|
||||
src += 16; dst += 16; n -= 16;
|
||||
}
|
||||
if (n & 8) {
|
||||
store<u32>(dst , load<u32>(src ));
|
||||
store<u32>(dst + 4, load<u32>(src + 4));
|
||||
dst += 8; src += 8;
|
||||
}
|
||||
if (n & 4) {
|
||||
store<u32>(dst, load<u32>(src));
|
||||
dst += 4; src += 4;
|
||||
}
|
||||
if (n & 2) { // drop to 2 bytes each
|
||||
store<u16>(dst, load<u16>(src));
|
||||
dst += 2; src += 2;
|
||||
}
|
||||
if (n & 1) { // drop to 1 byte
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
}
|
||||
return dest;
|
||||
}
|
||||
|
||||
// if dst is not aligned to 4 bytes, use alternating shifts to copy 4 bytes each
|
||||
// doing shifts if faster when copying enough bytes (here: 32 or more)
|
||||
if (n >= 32) {
|
||||
switch (dst % 4) {
|
||||
// known to be != 0
|
||||
case 1:
|
||||
w = load<u32>(src);
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
n -= 3;
|
||||
while (n >= 17) {
|
||||
x = load<u32>(src + 1);
|
||||
store<u32>(dst, w >> 24 | x << 8);
|
||||
w = load<u32>(src + 5);
|
||||
store<u32>(dst + 4, x >> 24 | w << 8);
|
||||
x = load<u32>(src + 9);
|
||||
store<u32>(dst + 8, w >> 24 | x << 8);
|
||||
w = load<u32>(src + 13);
|
||||
store<u32>(dst + 12, x >> 24 | w << 8);
|
||||
src += 16; dst += 16; n -= 16;
|
||||
}
|
||||
break;
|
||||
case 2:
|
||||
w = load<u32>(src);
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
n -= 2;
|
||||
while (n >= 18) {
|
||||
x = load<u32>(src + 2);
|
||||
store<u32>(dst, w >> 16 | x << 16);
|
||||
w = load<u32>(src + 6);
|
||||
store<u32>(dst + 4, x >> 16 | w << 16);
|
||||
x = load<u32>(src + 10);
|
||||
store<u32>(dst + 8, w >> 16 | x << 16);
|
||||
w = load<u32>(src + 14);
|
||||
store<u32>(dst + 12, x >> 16 | w << 16);
|
||||
src += 16; dst += 16; n -= 16;
|
||||
}
|
||||
break;
|
||||
case 3:
|
||||
w = load<u32>(src);
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
n -= 1;
|
||||
while (n >= 19) {
|
||||
x = load<u32>(src + 3);
|
||||
store<u32>(dst, w >> 8 | x << 24);
|
||||
w = load<u32>(src + 7);
|
||||
store<u32>(dst + 4, x >> 8 | w << 24);
|
||||
x = load<u32>(src + 11);
|
||||
store<u32>(dst + 8, w >> 8 | x << 24);
|
||||
w = load<u32>(src + 15);
|
||||
store<u32>(dst + 12, x >> 8 | w << 24);
|
||||
src += 16; dst += 16; n -= 16;
|
||||
}
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
// copy remaining bytes one by one
|
||||
if (n & 16) {
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
}
|
||||
if (n & 8) {
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
}
|
||||
if (n & 4) {
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
}
|
||||
if (n & 2) {
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
}
|
||||
if (n & 1) {
|
||||
store<u8>(dst++, load<u8>(src++));
|
||||
}
|
||||
return dest;
|
||||
}
|
||||
|
||||
private constructor() {}
|
||||
}
|
||||
|
||||
@ -5,8 +5,8 @@
|
||||
(export "loopDoInDo" (func $do/loopDoInDo))
|
||||
(export "memory" (memory $0))
|
||||
(func $do/loopDo (; 0 ;) (type $iv) (param $0 i32)
|
||||
(loop $continue|1.1
|
||||
(br_if $continue|1.1
|
||||
(loop $continue|0
|
||||
(br_if $continue|0
|
||||
(tee_local $0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
@ -17,15 +17,15 @@
|
||||
)
|
||||
)
|
||||
(func $do/loopDoInDo (; 1 ;) (type $iv) (param $0 i32)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(set_local $0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(br_if $continue|1.2
|
||||
(loop $continue|1
|
||||
(br_if $continue|1
|
||||
(tee_local $0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
@ -34,7 +34,7 @@
|
||||
)
|
||||
)
|
||||
)
|
||||
(br_if $continue|1.1
|
||||
(br_if $continue|0
|
||||
(get_local $0)
|
||||
)
|
||||
)
|
||||
|
||||
@ -6,23 +6,23 @@
|
||||
(export "loopDoInDo" (func $do/loopDoInDo))
|
||||
(export "memory" (memory $0))
|
||||
(func $do/loopDo (; 0 ;) (type $iv) (param $0 i32)
|
||||
(block $break|1.1
|
||||
(loop $continue|1.1
|
||||
(block $break|0
|
||||
(loop $continue|0
|
||||
(set_local $0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br_if $continue|1.1
|
||||
(br_if $continue|0
|
||||
(get_local $0)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(func $do/loopDoInDo (; 1 ;) (type $iv) (param $0 i32)
|
||||
(block $break|1.1
|
||||
(loop $continue|1.1
|
||||
(block $break|0
|
||||
(loop $continue|0
|
||||
(block
|
||||
(set_local $0
|
||||
(i32.sub
|
||||
@ -30,21 +30,21 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(block $break|1.2
|
||||
(loop $continue|1.2
|
||||
(block $break|1
|
||||
(loop $continue|1
|
||||
(set_local $0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br_if $continue|1.2
|
||||
(br_if $continue|1
|
||||
(get_local $0)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(br_if $continue|1.1
|
||||
(br_if $continue|0
|
||||
(get_local $0)
|
||||
)
|
||||
)
|
||||
|
||||
@ -9,7 +9,7 @@
|
||||
(set_global $for/i
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_global $for/i)
|
||||
@ -22,7 +22,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -36,7 +36,7 @@
|
||||
(set_local $0
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|2.1
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $0)
|
||||
@ -49,11 +49,11 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|2.1)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
(loop $continue|3.1
|
||||
(loop $continue|2
|
||||
(if
|
||||
(i32.gt_s
|
||||
(get_global $for/i)
|
||||
@ -66,7 +66,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|3.1)
|
||||
(br $continue|2)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -74,9 +74,9 @@
|
||||
(get_global $for/i)
|
||||
(unreachable)
|
||||
)
|
||||
(block $break|4.1
|
||||
(loop $continue|4.1
|
||||
(br_if $break|4.1
|
||||
(block $break|3
|
||||
(loop $continue|3
|
||||
(br_if $break|3
|
||||
(i32.eq
|
||||
(get_global $for/i)
|
||||
(i32.const 10)
|
||||
@ -88,17 +88,17 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|4.1)
|
||||
(br $continue|3)
|
||||
)
|
||||
)
|
||||
(loop $continue|5.1
|
||||
(loop $continue|4
|
||||
(set_global $for/i
|
||||
(i32.sub
|
||||
(get_global $for/i)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br_if $continue|5.1
|
||||
(br_if $continue|4
|
||||
(get_global $for/i)
|
||||
)
|
||||
)
|
||||
|
||||
@ -7,11 +7,11 @@
|
||||
(start $start)
|
||||
(func $start (; 0 ;) (type $v)
|
||||
(local $0 i32)
|
||||
(block $break|1.1
|
||||
(block $break|0
|
||||
(set_global $for/i
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_global $for/i)
|
||||
@ -25,7 +25,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -39,13 +39,13 @@
|
||||
)
|
||||
(unreachable)
|
||||
)
|
||||
(block $break|2.1
|
||||
(block $break|1
|
||||
(block
|
||||
(set_local $0
|
||||
(i32.const 0)
|
||||
)
|
||||
)
|
||||
(loop $continue|2.1
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $0)
|
||||
@ -59,14 +59,14 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|2.1)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(block $break|3.1
|
||||
(block $break|2
|
||||
(nop)
|
||||
(loop $continue|3.1
|
||||
(loop $continue|2
|
||||
(if
|
||||
(i32.gt_s
|
||||
(get_global $for/i)
|
||||
@ -80,7 +80,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|3.1)
|
||||
(br $continue|2)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -94,9 +94,9 @@
|
||||
)
|
||||
(unreachable)
|
||||
)
|
||||
(block $break|4.1
|
||||
(block $break|3
|
||||
(nop)
|
||||
(loop $continue|4.1
|
||||
(loop $continue|3
|
||||
(if
|
||||
(i32.const 1)
|
||||
(block
|
||||
@ -105,7 +105,7 @@
|
||||
(get_global $for/i)
|
||||
(i32.const 10)
|
||||
)
|
||||
(br $break|4.1)
|
||||
(br $break|3)
|
||||
)
|
||||
(set_global $for/i
|
||||
(i32.add
|
||||
@ -113,14 +113,14 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|4.1)
|
||||
(br $continue|3)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(block $break|5.1
|
||||
(block $break|4
|
||||
(nop)
|
||||
(loop $continue|5.1
|
||||
(loop $continue|4
|
||||
(if
|
||||
(i32.const 1)
|
||||
(block
|
||||
@ -137,10 +137,10 @@
|
||||
)
|
||||
(i32.const 0)
|
||||
)
|
||||
(br $break|5.1)
|
||||
(br $break|4)
|
||||
)
|
||||
(nop)
|
||||
(br $continue|5.1)
|
||||
(br $continue|4)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
@ -46,7 +46,7 @@
|
||||
(set_local $0
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $0)
|
||||
@ -79,7 +79,7 @@
|
||||
(set_local $1
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $1)
|
||||
@ -259,7 +259,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -269,7 +269,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
@ -57,11 +57,11 @@
|
||||
(i32.const 0)
|
||||
)
|
||||
)
|
||||
(block $break|1.1
|
||||
(block $break|0
|
||||
(set_local $0
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $0)
|
||||
@ -95,11 +95,11 @@
|
||||
)
|
||||
)
|
||||
)
|
||||
(block $break|1.2
|
||||
(block $break|1
|
||||
(set_local $3
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $3)
|
||||
@ -289,7 +289,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -301,7 +301,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
1727
tests/compiler/memcpy.optimized.wast
Normal file
1727
tests/compiler/memcpy.optimized.wast
Normal file
File diff suppressed because it is too large
Load Diff
169
tests/compiler/memcpy.ts
Normal file
169
tests/compiler/memcpy.ts
Normal file
@ -0,0 +1,169 @@
|
||||
export function memcpy(dest: usize, src: usize, n: usize): usize {
|
||||
// the following is based on musl's implementation of memcpy
|
||||
let d: usize = dest, s: usize = src;
|
||||
let w: u32, x: u32;
|
||||
|
||||
// copy 1 byte each until src is aligned to 4 bytes
|
||||
while (n != 0 && s % 4 != 0) {
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
n--;
|
||||
}
|
||||
|
||||
// if dst is aligned to 4 bytes as well, copy 4 bytes each
|
||||
if (d % 4 == 0) {
|
||||
while (n >= 16) {
|
||||
store<u32>(d , load<u32>(s ));
|
||||
store<u32>(d + 4, load<u32>(s + 4));
|
||||
store<u32>(d + 8, load<u32>(s + 8));
|
||||
store<u32>(d + 12, load<u32>(s + 12));
|
||||
s += 16; d += 16; n -= 16;
|
||||
}
|
||||
if (n & 8) {
|
||||
store<u32>(d , load<u32>(s ));
|
||||
store<u32>(d + 4, load<u32>(s + 4));
|
||||
d += 8; s += 8;
|
||||
}
|
||||
if (n & 4) {
|
||||
store<u32>(d, load<u32>(s));
|
||||
d += 4; s += 4;
|
||||
}
|
||||
if (n & 2) { // drop to 2 bytes each
|
||||
store<u16>(d, load<u16>(s));
|
||||
d += 2; s += 2;
|
||||
}
|
||||
if (n & 1) { // drop to 1 byte
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
}
|
||||
return dest;
|
||||
}
|
||||
|
||||
// if dst is not aligned to 4 bytes, use alternating shifts to copy 4 bytes each
|
||||
// doing shifts if faster when copying enough bytes (here: 32 or more)
|
||||
if (n >= 32) {
|
||||
switch (d % 4) {
|
||||
// known to be != 0
|
||||
case 1:
|
||||
w = load<u32>(s);
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
n -= 3;
|
||||
while (n >= 17) {
|
||||
x = load<u32>(s + 1);
|
||||
store<u32>(d, w >> 24 | x << 8);
|
||||
w = load<u32>(s + 5);
|
||||
store<u32>(d + 4, x >> 24 | w << 8);
|
||||
x = load<u32>(s + 9);
|
||||
store<u32>(d + 8, w >> 24 | x << 8);
|
||||
w = load<u32>(s + 13);
|
||||
store<u32>(d + 12, x >> 24 | w << 8);
|
||||
s += 16; d += 16; n -= 16;
|
||||
}
|
||||
break;
|
||||
case 2:
|
||||
w = load<u32>(s);
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
n -= 2;
|
||||
while (n >= 18) {
|
||||
x = load<u32>(s + 2);
|
||||
store<u32>(d, w >> 16 | x << 16);
|
||||
w = load<u32>(s + 6);
|
||||
store<u32>(d + 4, x >> 16 | w << 16);
|
||||
x = load<u32>(s + 10);
|
||||
store<u32>(d + 8, w >> 16 | x << 16);
|
||||
w = load<u32>(s + 14);
|
||||
store<u32>(d + 12, x >> 16 | w << 16);
|
||||
s += 16; d += 16; n -= 16;
|
||||
}
|
||||
break;
|
||||
case 3:
|
||||
w = load<u32>(s);
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
n -= 1;
|
||||
while (n >= 19) {
|
||||
x = load<u32>(s + 3);
|
||||
store<u32>(d, w >> 8 | x << 24);
|
||||
w = load<u32>(s + 7);
|
||||
store<u32>(d + 4, x >> 8 | w << 24);
|
||||
x = load<u32>(s + 11);
|
||||
store<u32>(d + 8, w >> 8 | x << 24);
|
||||
w = load<u32>(s + 15);
|
||||
store<u32>(d + 12, x >> 8 | w << 24);
|
||||
s += 16; d += 16; n -= 16;
|
||||
}
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
// copy remaining bytes one by one
|
||||
if (n & 16) {
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
}
|
||||
if (n & 8) {
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
}
|
||||
if (n & 4) {
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
}
|
||||
if (n & 2) {
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
}
|
||||
if (n & 1) {
|
||||
store<u8>(d++, load<u8>(s++));
|
||||
}
|
||||
return dest;
|
||||
}
|
||||
|
||||
const base: usize = 8;
|
||||
store<u64>(base , 0x1111111111111111);
|
||||
store<u64>(base + 8 , 0x2222222222222222);
|
||||
store<u64>(base + 16, 0x3333333333333333);
|
||||
store<u64>(base + 24, 0x4444444444444444);
|
||||
|
||||
let dst: usize;
|
||||
dst = memcpy(base + 1, base + 16, 4);
|
||||
assert(dst == base + 1);
|
||||
assert(load<u64>(base) == 0x1111113333333311);
|
||||
|
||||
dst = memcpy(base, base, 32);
|
||||
assert(dst == base);
|
||||
assert(load<u64>(base) == 0x1111113333333311);
|
||||
assert(load<u64>(base + 8) == 0x2222222222222222);
|
||||
assert(load<u64>(base + 16) == 0x3333333333333333);
|
||||
assert(load<u64>(base + 24) == 0x4444444444444444);
|
||||
|
||||
dst = memcpy(base + 5, base + 28, 3);
|
||||
assert(load<u64>(base) == 0x4444443333333311);
|
||||
|
||||
dst = memcpy(base + 8, base + 16, 15);
|
||||
assert(load<u64>(base) == 0x4444443333333311);
|
||||
assert(load<u64>(base + 8) == 0x3333333333333333);
|
||||
assert(load<u64>(base + 16) == 0x3344444444444444);
|
||||
assert(load<u64>(base + 24) == 0x4444444444444444);
|
||||
2175
tests/compiler/memcpy.wast
Normal file
2175
tests/compiler/memcpy.wast
Normal file
File diff suppressed because it is too large
Load Diff
@ -6,15 +6,15 @@
|
||||
(export "doSwitchDefaultOmitted" (func $switch/doSwitchDefaultOmitted))
|
||||
(export "memory" (memory $0))
|
||||
(func $switch/doSwitch (; 0 ;) (type $ii) (param $0 i32) (result i32)
|
||||
(block $case4|1.1
|
||||
(block $case2|1.1
|
||||
(block $case0|1.1
|
||||
(block $case4|0
|
||||
(block $case2|0
|
||||
(block $case0|0
|
||||
(block $tablify|0
|
||||
(br_table $case2|1.1 $case0|1.1 $case4|1.1 $case4|1.1 $tablify|0
|
||||
(br_table $case2|0 $case0|0 $case4|0 $case4|0 $tablify|0
|
||||
(get_local $0)
|
||||
)
|
||||
)
|
||||
(br $case2|1.1)
|
||||
(br $case2|0)
|
||||
)
|
||||
(return
|
||||
(i32.const 1)
|
||||
@ -27,10 +27,10 @@
|
||||
(i32.const 23)
|
||||
)
|
||||
(func $switch/doSwitchDefaultFirst (; 1 ;) (type $ii) (param $0 i32) (result i32)
|
||||
(block $case3|1.1
|
||||
(block $case1|1.1
|
||||
(block $case3|0
|
||||
(block $case1|0
|
||||
(block $tablify|0
|
||||
(br_table $case1|1.1 $case3|1.1 $case3|1.1 $tablify|0
|
||||
(br_table $case1|0 $case3|0 $case3|0 $tablify|0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
(i32.const 1)
|
||||
@ -48,18 +48,18 @@
|
||||
(i32.const 23)
|
||||
)
|
||||
(func $switch/doSwitchDefaultOmitted (; 2 ;) (type $ii) (param $0 i32) (result i32)
|
||||
(block $break|1.1
|
||||
(block $case2|1.1
|
||||
(block $case0|1.1
|
||||
(block $break|0
|
||||
(block $case2|0
|
||||
(block $case0|0
|
||||
(block $tablify|0
|
||||
(br_table $case0|1.1 $case2|1.1 $case2|1.1 $tablify|0
|
||||
(br_table $case0|0 $case2|0 $case2|0 $tablify|0
|
||||
(i32.sub
|
||||
(get_local $0)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
)
|
||||
(br $break|1.1)
|
||||
(br $break|0)
|
||||
)
|
||||
(return
|
||||
(i32.const 1)
|
||||
|
||||
@ -8,40 +8,40 @@
|
||||
(export "memory" (memory $0))
|
||||
(func $switch/doSwitch (; 0 ;) (type $ii) (param $0 i32) (result i32)
|
||||
(local $1 i32)
|
||||
(block $break|1.1
|
||||
(block $case4|1.1
|
||||
(block $case3|1.1
|
||||
(block $case2|1.1
|
||||
(block $case1|1.1
|
||||
(block $case0|1.1
|
||||
(block $break|0
|
||||
(block $case4|0
|
||||
(block $case3|0
|
||||
(block $case2|0
|
||||
(block $case1|0
|
||||
(block $case0|0
|
||||
(set_local $1
|
||||
(get_local $0)
|
||||
)
|
||||
(br_if $case0|1.1
|
||||
(br_if $case0|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br_if $case1|1.1
|
||||
(br_if $case1|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 0)
|
||||
)
|
||||
)
|
||||
(br_if $case3|1.1
|
||||
(br_if $case3|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 2)
|
||||
)
|
||||
)
|
||||
(br_if $case4|1.1
|
||||
(br_if $case4|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 3)
|
||||
)
|
||||
)
|
||||
(br $case2|1.1)
|
||||
(br $case2|0)
|
||||
)
|
||||
(return
|
||||
(i32.const 1)
|
||||
@ -60,33 +60,33 @@
|
||||
)
|
||||
(func $switch/doSwitchDefaultFirst (; 1 ;) (type $ii) (param $0 i32) (result i32)
|
||||
(local $1 i32)
|
||||
(block $break|1.1
|
||||
(block $case3|1.1
|
||||
(block $case2|1.1
|
||||
(block $case1|1.1
|
||||
(block $case0|1.1
|
||||
(block $break|0
|
||||
(block $case3|0
|
||||
(block $case2|0
|
||||
(block $case1|0
|
||||
(block $case0|0
|
||||
(set_local $1
|
||||
(get_local $0)
|
||||
)
|
||||
(br_if $case1|1.1
|
||||
(br_if $case1|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br_if $case2|1.1
|
||||
(br_if $case2|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 2)
|
||||
)
|
||||
)
|
||||
(br_if $case3|1.1
|
||||
(br_if $case3|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 3)
|
||||
)
|
||||
)
|
||||
(br $case0|1.1)
|
||||
(br $case0|0)
|
||||
)
|
||||
(return
|
||||
(i32.const 0)
|
||||
@ -104,32 +104,32 @@
|
||||
)
|
||||
(func $switch/doSwitchDefaultOmitted (; 2 ;) (type $ii) (param $0 i32) (result i32)
|
||||
(local $1 i32)
|
||||
(block $break|1.1
|
||||
(block $case2|1.1
|
||||
(block $case1|1.1
|
||||
(block $case0|1.1
|
||||
(block $break|0
|
||||
(block $case2|0
|
||||
(block $case1|0
|
||||
(block $case0|0
|
||||
(set_local $1
|
||||
(get_local $0)
|
||||
)
|
||||
(br_if $case0|1.1
|
||||
(br_if $case0|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br_if $case1|1.1
|
||||
(br_if $case1|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 2)
|
||||
)
|
||||
)
|
||||
(br_if $case2|1.1
|
||||
(br_if $case2|0
|
||||
(i32.eq
|
||||
(get_local $1)
|
||||
(i32.const 3)
|
||||
)
|
||||
)
|
||||
(br $break|1.1)
|
||||
(br $break|0)
|
||||
)
|
||||
(return
|
||||
(i32.const 1)
|
||||
|
||||
@ -131,7 +131,7 @@
|
||||
(set_local $1
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $1)
|
||||
@ -176,7 +176,7 @@
|
||||
(set_local $2
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $2)
|
||||
@ -195,7 +195,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -205,7 +205,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
@ -132,7 +132,7 @@
|
||||
(set_local $1
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $1)
|
||||
@ -147,7 +147,7 @@
|
||||
(set_local $2
|
||||
(i32.const 0)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $2)
|
||||
@ -166,7 +166,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -176,7 +176,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
@ -166,13 +166,13 @@
|
||||
(get_local $0)
|
||||
(i32.const 0)
|
||||
)
|
||||
(block $break|1.1
|
||||
(block $break|0
|
||||
(block
|
||||
(set_local $1
|
||||
(i32.const 0)
|
||||
)
|
||||
)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $1)
|
||||
@ -185,13 +185,13 @@
|
||||
(get_local $1)
|
||||
(i32.const 0)
|
||||
)
|
||||
(block $break|1.2
|
||||
(block $break|1
|
||||
(block
|
||||
(set_local $2
|
||||
(i32.const 0)
|
||||
)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(loop $continue|1
|
||||
(if
|
||||
(i32.lt_s
|
||||
(get_local $2)
|
||||
@ -210,7 +210,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
@ -222,7 +222,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
(export "loopWhileInWhile" (func $while/loopWhileInWhile))
|
||||
(export "memory" (memory $0))
|
||||
(func $while/loopWhile (; 0 ;) (type $iv) (param $0 i32)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(get_local $0)
|
||||
(block
|
||||
@ -15,13 +15,13 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(func $while/loopWhileInWhile (; 1 ;) (type $iv) (param $0 i32)
|
||||
(loop $continue|1.1
|
||||
(loop $continue|0
|
||||
(if
|
||||
(get_local $0)
|
||||
(block
|
||||
@ -31,7 +31,7 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(loop $continue|1.2
|
||||
(loop $continue|1
|
||||
(if
|
||||
(get_local $0)
|
||||
(block
|
||||
@ -41,11 +41,11 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
@ -6,8 +6,8 @@
|
||||
(export "loopWhileInWhile" (func $while/loopWhileInWhile))
|
||||
(export "memory" (memory $0))
|
||||
(func $while/loopWhile (; 0 ;) (type $iv) (param $0 i32)
|
||||
(block $break|1.1
|
||||
(loop $continue|1.1
|
||||
(block $break|0
|
||||
(loop $continue|0
|
||||
(if
|
||||
(get_local $0)
|
||||
(block
|
||||
@ -17,15 +17,15 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(func $while/loopWhileInWhile (; 1 ;) (type $iv) (param $0 i32)
|
||||
(block $break|1.1
|
||||
(loop $continue|1.1
|
||||
(block $break|0
|
||||
(loop $continue|0
|
||||
(if
|
||||
(get_local $0)
|
||||
(block
|
||||
@ -36,8 +36,8 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(block $break|1.2
|
||||
(loop $continue|1.2
|
||||
(block $break|1
|
||||
(loop $continue|1
|
||||
(if
|
||||
(get_local $0)
|
||||
(block
|
||||
@ -47,13 +47,13 @@
|
||||
(i32.const 1)
|
||||
)
|
||||
)
|
||||
(br $continue|1.2)
|
||||
(br $continue|1)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(br $continue|1.1)
|
||||
(br $continue|0)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user