Apple-2-SW/prog8
1
0
Fork 0
mirror of https://github.com/irmen/prog8.git synced 2025-04-23 00:37:21 +00:00
Code Issues Projects Releases Wiki Activity

remove problematic rewriting of X=value-X

Browse Source
This commit is contained in:
Irmen de Jong 2025-04-14 02:35:37 +02:00
parent 4388466451
commit dfda8b7ed5
2 changed files with 5 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
codeOptimizers/src/prog8/optimizer/StatementOptimizer.kt
View File

@ -5,11 +5,7 @@ import prog8.ast.expressions.*
import prog8.ast.statements.*
import prog8.ast.walk.AstWalker
import prog8.ast.walk.IAstModification
import prog8.code.core.AssociativeOperators
import prog8.code.core.BaseDataType
import prog8.code.core.CompilationOptions
import prog8.code.core.IErrorReporter
import prog8.code.core.Position
import prog8.code.core.*
class StatementOptimizer(private val program: Program,
@ -315,17 +311,6 @@ class StatementOptimizer(private val program: Program,
val bexpr=assignment.value as? BinaryExpression
if(bexpr!=null) {
val rightCv = bexpr.right.constValue(program)?.number
if(bexpr.operator=="-" && rightCv==null && targetIDt.isInteger) {
if(bexpr.right.isSimple && bexpr.right isSameAs assignment.target) {
// X = value - X --> X = -X ; X += value (to avoid need of stack-evaluation, for integers)
val negation = PrefixExpression("-", bexpr.right.copy(), bexpr.position)
val addValue = Assignment(assignment.target.copy(), BinaryExpression(bexpr.right, "+", bexpr.left, bexpr.position), AssignmentOrigin.OPTIMIZER, assignment.position)
return listOf(
IAstModification.ReplaceNode(bexpr, negation, assignment),
IAstModification.InsertAfter(assignment, addValue, parent as IStatementContainer)
)
}
}
if (rightCv != null && assignment.target isSameAs bexpr.left) {
// assignments of the form: X = X <operator> <expr>

7
examples/test.p8
View File

@ -4,8 +4,9 @@
main {
sub start() {
sys.exit3(100,101,102,true)
sys.exit2(100,101,102)
sys.exit(100)
uword @shared crc1 = $ED
uword @shared temp = $100
crc1 = temp - crc1
}
}