6502/millfork
1
0
Fork 0
mirror of https://github.com/KarolS/millfork.git synced 2025-01-03 19:31:02 +00:00
Code Issues Projects Releases Wiki Activity

8080: improve comparisons against constants

Browse Source
This commit is contained in:
Karol Stasiak 2019-06-14 15:19:13 +02:00
parent 51a6ec9d73
commit 2a233930e8
2 changed files with 24 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/main/scala/millfork/compiler/z80/Z80Comparisons.scala
View File

@ -26,9 +26,13 @@ object Z80Comparisons {
return compile8BitComparison(ctx, ComparisonType.flip(compType), r, l, branches) return compile8BitComparison(ctx, ComparisonType.flip(compType), r, l, branches)
case _ => () case _ => ()
} }
val prepareAE = Z80ExpressionCompiler.compileToA(ctx, r) ++ val prepareAE = Z80ExpressionCompiler.compileToA(ctx, r) match {
List(ZLine.ld8(ZRegister.E, ZRegister.A)) ++ case List(ZLine0(ZOpcode.LD, TwoRegisters(ZRegister.A, ZRegister.IMM_8), param)) =>
Z80ExpressionCompiler.stashDEIfChanged(ctx, Z80ExpressionCompiler.compileToA(ctx, l)) Z80ExpressionCompiler.compileToA(ctx, l) :+ ZLine.ldImm8(ZRegister.E, param)
case compiledR => compiledR ++
List(ZLine.ld8(ZRegister.E, ZRegister.A)) ++
Z80ExpressionCompiler.stashDEIfChanged(ctx, Z80ExpressionCompiler.compileToA(ctx, l))
}
val calculateFlags = if (ComparisonType.isSigned(compType) && ctx.options.flag(CompilationFlag.EmitZ80Opcodes)) { val calculateFlags = if (ComparisonType.isSigned(compType) && ctx.options.flag(CompilationFlag.EmitZ80Opcodes)) {
val fixup = ctx.nextLabel("co") val fixup = ctx.nextLabel("co")
List( List(

17
src/test/scala/millfork/test/AssemblyOptimizationSuite.scala
View File

@ -691,4 +691,21 @@ class AssemblyOptimizationSuite extends FunSuite with Matchers {
} }
} }
test("Simple flags") {
EmuCrossPlatformBenchmarkRun(Cpu.Mos, Cpu.Intel8080)(
"""
| byte output @ $c000
| void main() {
| output = 0
| if f() & 1 != 0 {
| output += 1
| }
| }
| noinline byte f() = 1
""".stripMargin
) { m =>
m.readByte(0xc000) should equal(1)
}
}
} }