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

6502: Fix stack variables in more complex situations

Browse Source
This commit is contained in:
Karol Stasiak 2018-07-24 01:38:10 +02:00
parent 4be1e46308
commit c9cbd267c5
3 changed files with 51 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/scala/millfork/compiler/mos/BuiltIns.scala
View File

@ -100,7 +100,7 @@ object BuiltIns {
val preparations = parts._1
val finalRead = wrapInSedCldIfNeeded(decimal, parts._2)
if (preserveA && AssemblyLine.treatment(preparations, State.A) != Treatment.Unchanged) {
AssemblyLine.implied(PHA) :: (preparations ++ (AssemblyLine.implied(PLA) :: finalRead))
AssemblyLine.implied(PHA) :: (MosExpressionCompiler.fixTsx(preparations) ++ (AssemblyLine.implied(PLA) :: finalRead))
} else {
preparations ++ finalRead
}

2
src/main/scala/millfork/compiler/mos/PseudoregisterBuiltIns.scala
View File

@ -95,7 +95,7 @@ object PseudoregisterBuiltIns {
AssemblyLine.zeropage(LDA, reg, 1),
AssemblyLine.implied(PHA),
AssemblyLine.zeropage(LDA, reg),
AssemblyLine.implied(PHA)) ++ compileRight ++ List(
AssemblyLine.implied(PHA)) ++ MosExpressionCompiler.fixTsx(MosExpressionCompiler.fixTsx(compileRight)) ++ List(
prepareCarry,
AssemblyLine.implied(PLA),
AssemblyLine.zeropage(op, reg),

49
src/test/scala/millfork/test/StackVarSuite.scala
View File

@ -142,6 +142,55 @@ class StackVarSuite extends FunSuite with Matchers {
}
}
test("Recursion 2") {
EmuCrossPlatformBenchmarkRun(Cpu.Mos, Cpu.Z80)("""
| array output [6] @$c000
| byte fails @$c010
| void main () {
| word w
| byte i
| for i,0,until,output.length {
| w = fib(i)
| if w.hi != 0 { fails += 1 }
| output[i] = w.lo
| }
| }
| word fib(byte i) {
| stack byte j
| j = i
| if j < 2 {
| return 1
| }
| return fib(j-1) + fib(j-2)
| }
""".stripMargin){ m =>
m.readByte(0xc010) should equal(0)
m.readByte(0xc000) should equal(1)
m.readByte(0xc001) should equal(1)
m.readByte(0xc002) should equal(2)
m.readByte(0xc003) should equal(3)
m.readByte(0xc004) should equal(5)
m.readByte(0xc005) should equal(8)
}
}
test("Complex stack-related stuff") {
EmuCrossPlatformBenchmarkRun(Cpu.Mos, Cpu.Z80)("""
| byte output @$c000
| array id = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
| void main() {
| stack byte i
| i = b($4)
| output = b(id[b($2)]|id[b(i)])
| }
| noinline byte b(byte a) {
| return a
| }
""".stripMargin){ m =>
m.readByte(0xc000) should equal(6)
}
}
test("Indexing") {
EmuCrossPlatformBenchmarkRun(Cpu.Mos, Cpu.Z80)("""