6502/millfork
1
0
Fork 0
mirror of https://github.com/KarolS/millfork.git synced 2024-05-29 04:41:30 +00:00
Code Issues Projects Releases Wiki Activity

Reserve flow analyser shouldn't mark parameters passed in registers as unimportant

Browse Source
This commit is contained in:
Karol Stasiak 2017-12-27 22:25:39 +01:00
parent a7372ec7ca
commit 138ff8b82d
2 changed files with 27 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -15,6 +15,7 @@ stuff
# compiled Millfork files
*.prg
*.asm
*.lbl
*.xex
*.nes
*.a2

28
src/main/scala/millfork/assembly/opt/ReverseFlowAnalyzer.scala
View File

@ -1,7 +1,8 @@
package millfork.assembly.opt
import millfork.assembly.{AssemblyLine, OpcodeClasses, State}
import millfork.env.{Label, MemoryAddressConstant, NormalFunction, NumericConstant}
import millfork.env._
import millfork.node.Register
import scala.collection.immutable
@ -96,7 +97,30 @@ object ReverseFlowAnalyzer {
case _ =>
}
codeArray(i) match {
// TODO: JSR?
case AssemblyLine(JSR, _, MemoryAddressConstant(fun:FunctionInMemory), _) =>
var result = new CpuImportance().copy(d = Important)
fun.params match {
case AssemblyParamSignature(params) =>
params.foreach(_.variable match {
case RegisterVariable(Register.A, _) =>
result = result.copy(a = Important)
case RegisterVariable(Register.X, _) =>
result = result.copy(x = Important)
case RegisterVariable(Register.Y, _) =>
result = result.copy(y = Important)
case RegisterVariable(Register.AX | Register.XA, _) =>
result = result.copy(a = Important, x = Important)
case RegisterVariable(Register.YA | Register.YA, _) =>
result = result.copy(a = Important, y = Important)
case RegisterVariable(Register.XY | Register.YX, _) =>
result = result.copy(x = Important, y=Important)
case _ =>
})
case _ =>
}
currentImportance = result
case AssemblyLine(JSR, _, _, _) =>
currentImportance = finalImportance
case AssemblyLine(JMP, Absolute, MemoryAddressConstant(Label(l)), _) =>
val L = l
val labelIndex = codeArray.indexWhere {