fluencelabs/assemblyscript
1
0
Fork 0
mirror of https://github.com/fluencelabs/assemblyscript synced 2025-04-25 23:12:19 +00:00
Code Issues Projects Releases Wiki Activity

Add test case for #26

Browse Source
This commit is contained in:
dcodeIO 2018-02-10 09:45:49 +01:00
parent 0f4449438b
commit 0f99f39600
3 changed files with 244 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
tests/compiler/overflow.optimized.wast Normal file
View File

@ -0,0 +1,60 @@
(module
(type $iiiiv (func (param i32 i32 i32 i32)))
(type $v (func))
(import "env" "abort" (func $abort (param i32 i32 i32 i32)))
(global $overflow/badByte (mut i32) (i32.const 255))
(global $overflow/anotherBadByte (mut i32) (i32.const 255))
(global $overflow/badIncrementer (mut i32) (i32.const 1))
(memory $0 1)
(data (i32.const 8) "\0b\00\00\00o\00v\00e\00r\00f\00l\00o\00w\00.\00t\00s")
(export "memory" (memory $0))
(start $start)
(func $overflow/local (; 1 ;) (type $v)
(nop)
)
(func $start (; 2 ;) (type $v)
(set_global $overflow/badByte
(i32.and
(i32.add
(get_global $overflow/badByte)
(i32.const 1)
)
(i32.const 255)
)
)
(if
(get_global $overflow/badByte)
(block
(call $abort
(i32.const 0)
(i32.const 8)
(i32.const 3)
(i32.const 0)
)
(unreachable)
)
)
(set_global $overflow/anotherBadByte
(i32.and
(i32.add
(get_global $overflow/anotherBadByte)
(get_global $overflow/badIncrementer)
)
(i32.const 255)
)
)
(if
(get_global $overflow/anotherBadByte)
(block
(call $abort
(i32.const 0)
(i32.const 8)
(i32.const 8)
(i32.const 0)
)
(unreachable)
)
)
(call $overflow/local)
)
)

23
tests/compiler/overflow.ts Normal file
View File

@ -0,0 +1,23 @@
// see also: https://github.com/AssemblyScript/assemblyscript/issues/26
var badByte: u8 = 0xFF;
badByte += 1;
assert(badByte == 0);
var anotherBadByte: u8 = 0xFF;
var badIncrementer: u8 = 1;
anotherBadByte += badIncrementer;
assert(anotherBadByte == 0);
function local(): void {
var badByte: u8 = 0xFF;
badByte += 1;
assert(badByte == 0);
var anotherBadByte: u8 = 0xFF;
var badIncrementer: u8 = 1;
anotherBadByte += badIncrementer;
assert(anotherBadByte == 0);
}
local();

161
tests/compiler/overflow.wast Normal file
View File

@ -0,0 +1,161 @@
(module
(type $iiiiv (func (param i32 i32 i32 i32)))
(type $v (func))
(import "env" "abort" (func $abort (param i32 i32 i32 i32)))
(global $overflow/badByte (mut i32) (i32.const 255))
(global $overflow/anotherBadByte (mut i32) (i32.const 255))
(global $overflow/badIncrementer (mut i32) (i32.const 1))
(global $HEAP_BASE i32 (i32.const 36))
(memory $0 1)
(data (i32.const 8) "\0b\00\00\00o\00v\00e\00r\00f\00l\00o\00w\00.\00t\00s\00")
(export "memory" (memory $0))
(start $start)
(func $overflow/local (; 1 ;) (type $v)
(local $0 i32)
(local $1 i32)
(local $2 i32)
;;@ overflow.ts:11:2
(set_local $0
;;@ overflow.ts:11:20
(i32.const 255)
)
;;@ overflow.ts:12:2
(set_local $0
(i32.and
(i32.add
(get_local $0)
;;@ overflow.ts:12:13
(i32.const 1)
)
(i32.const 255)
)
)
;;@ overflow.ts:13:2
(if
(i32.eqz
;;@ overflow.ts:13:9
(i32.eq
(get_local $0)
;;@ overflow.ts:13:20
(i32.const 0)
)
)
(block
(call $abort
(i32.const 0)
(i32.const 8)
(i32.const 13)
(i32.const 2)
)
(unreachable)
)
)
;;@ overflow.ts:15:2
(set_local $1
;;@ overflow.ts:15:27
(i32.const 255)
)
;;@ overflow.ts:16:2
(set_local $2
;;@ overflow.ts:16:27
(i32.const 1)
)
;;@ overflow.ts:17:2
(set_local $1
(i32.and
(i32.add
(get_local $1)
;;@ overflow.ts:17:20
(get_local $2)
)
(i32.const 255)
)
)
;;@ overflow.ts:18:2
(if
(i32.eqz
;;@ overflow.ts:18:9
(i32.eq
(get_local $1)
;;@ overflow.ts:18:27
(i32.const 0)
)
)
(block
(call $abort
(i32.const 0)
(i32.const 8)
(i32.const 18)
(i32.const 2)
)
(unreachable)
)
)
)
(func $start (; 2 ;) (type $v)
;;@ overflow.ts:2:0
(set_global $overflow/badByte
(i32.and
(i32.add
(get_global $overflow/badByte)
;;@ overflow.ts:2:11
(i32.const 1)
)
(i32.const 255)
)
)
;;@ overflow.ts:3:0
(if
(i32.eqz
;;@ overflow.ts:3:7
(i32.eq
(get_global $overflow/badByte)
;;@ overflow.ts:3:18
(i32.const 0)
)
)
(block
(call $abort
(i32.const 0)
(i32.const 8)
(i32.const 3)
(i32.const 0)
)
(unreachable)
)
)
;;@ overflow.ts:7:0
(set_global $overflow/anotherBadByte
(i32.and
(i32.add
(get_global $overflow/anotherBadByte)
;;@ overflow.ts:7:18
(get_global $overflow/badIncrementer)
)
(i32.const 255)
)
)
;;@ overflow.ts:8:0
(if
(i32.eqz
;;@ overflow.ts:8:7
(i32.eq
(get_global $overflow/anotherBadByte)
;;@ overflow.ts:8:25
(i32.const 0)
)
)
(block
(call $abort
(i32.const 0)
(i32.const 8)
(i32.const 8)
(i32.const 0)
)
(unreachable)
)
)
;;@ overflow.ts:21:0
(call $overflow/local)
)
)