Apple-2-SW/prog8
1
0
Fork 0
mirror of https://github.com/irmen/prog8.git synced 2025-01-26 19:30:59 +00:00
Code Issues Projects Releases Wiki Activity

don't remove essential subroutines even though they seem unused

Browse Source
This commit is contained in:
Irmen de Jong 2024-10-22 21:17:02 +02:00
parent 1e82483152
commit 6da1f7eb4c
1 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
codeOptimizers/src/prog8/optimizer/UnusedCodeRemover.kt
View File

@ -21,6 +21,31 @@ class UnusedCodeRemover(private val program: Program,
): AstWalker() {
private lateinit var callgraph: CallGraph
private val neverRemoveSubroutines = mutableListOf<Subroutine>()
init {
neverRemoveSubroutines.add(program.entrypoint)
program.allBlocks.singleOrNull { it.name=="sys" } ?.let {
val subroutines = it.statements.filterIsInstance<Subroutine>()
val push = subroutines.single { it.name == "push" }
val pushw = subroutines.single { it.name == "pushw" }
val pop = subroutines.single { it.name == "pop" }
val popw = subroutines.single { it.name == "popw" }
neverRemoveSubroutines.add(push)
neverRemoveSubroutines.add(pushw)
neverRemoveSubroutines.add(pop)
neverRemoveSubroutines.add(popw)
}
program.allBlocks.singleOrNull { it.name=="floats" } ?.let {
val subroutines = it.statements.filterIsInstance<Subroutine>()
val push = subroutines.single { it.name == "push" }
val pop = subroutines.single { it.name == "pop" }
neverRemoveSubroutines.add(push)
neverRemoveSubroutines.add(pop)
}
}
override fun before(program: Program): Iterable<IAstModification> {
callgraph = CallGraph(program)
@ -92,7 +117,7 @@ class UnusedCodeRemover(private val program: Program,
override fun after(subroutine: Subroutine, parent: Node): Iterable<IAstModification> {
val forceOutput = "force_output" in subroutine.definingBlock.options()
if (subroutine !== program.entrypoint && !forceOutput && !subroutine.isAsmSubroutine) {
if (subroutine !in neverRemoveSubroutines && !forceOutput && !subroutine.isAsmSubroutine) {
if(callgraph.unused(subroutine)) {
if(subroutine.containsNoCodeNorVars) {
if("ignore_unused" !in subroutine.definingBlock.options())