Apple-2-SW/prog8
1
0
Fork 0
mirror of https://github.com/irmen/prog8.git synced 2024-12-24 16:29:21 +00:00
Code Issues Projects Releases Wiki Activity

added 3 tests for discovered problems

Browse Source
This commit is contained in:
Irmen de Jong 2021-11-18 23:55:20 +01:00
parent 42c8720e8b
commit fa4c83df6b
1 changed files with 61 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
compiler/test/TestOptimization.kt
View File

@ -368,4 +368,65 @@ class TestOptimization: FunSpec({
(z3plus.value as BinaryExpression).operator shouldBe "-"
(z3plus.value as BinaryExpression).right shouldBe NumericLiteralValue(DataType.UBYTE, 5.0, Position.DUMMY)
}
test("force_output option should work with optimizing memwrite assignment") {
val src="""
main {
%option force_output
sub start() {
uword aa
ubyte zz
@(aa) = zz + 32
}
}
"""
// TODO fix this problem!
val result = compileText(C64Target, optimize=true, src, writeAssembly=false).assertSuccess()
printAst(result.program)
val stmts = result.program.entrypoint.statements
stmts.size shouldBe 5
}
test("don't optimize memory writes away") {
val src="""
main {
sub start() {
uword aa
ubyte zz
@(aa) = zz + 32 ; do not optimize this away!
}
}
"""
// TODO fix this problem!
val result = compileText(C64Target, optimize=true, src, writeAssembly=false).assertSuccess()
printAst(result.program)
val stmts = result.program.entrypoint.statements
stmts.size shouldBe 5
}
test("correctly process constant prefix numbers") {
val src="""
main {
sub start() {
byte z1 = 1
byte z2 = +1
byte z3 = ~1
byte z4 = not 1
byte z5 = - 1
}
}
"""
// TODO fix this problem!
val result = compileText(C64Target, optimize=true, src, writeAssembly=false).assertSuccess()
printAst(result.program)
val stmts = result.program.entrypoint.statements
stmts.size shouldBe 2
}
})