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

fix ast printing

Browse Source
This commit is contained in:
Irmen de Jong
2025-07-30 23:04:40 +02:00
parent 1988496512
commit 3d10882f57
2 changed files with 17 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
compiler/src/prog8/compiler/astprocessing/CodeDesugarer.kt
View File

@@ -340,6 +340,18 @@ _after:
}
if(expr.operator==".") {
if(expr.left is IdentifierReference) {
require(expr.right !is IdentifierReference)
val ri = expr.right as? ArrayIndexedExpression
if(ri!=null && ri.plainarrayvar!=null) {
// a.b . c.d[i] -> a.b.c.d[i]
val joined = (expr.left as IdentifierReference).nameInSource + ri.plainarrayvar!!.nameInSource
val ai = ArrayIndexedExpression(IdentifierReference(joined, expr.position), null, ri.indexer, expr.position)
return listOf(IAstModification.ReplaceNode(expr, ai, parent))
}
}
val left = expr.left as? ArrayIndexedExpression
val right = expr.right as? PtrDereference
if(left!=null && right!=null) {
@@ -629,12 +641,13 @@ _after:
if(deref.chain.last().second!=null && deref.derefLast && deref.chain.dropLast(1).all { it.second==null } ) {
// parent could be Assigment directly, or a binexpr chained pointer expression (with '.' operator)_
// parent could be Assigment directly, or a binexpr chained pointer expression (with '.' operator)
if(parent is Assignment) {
val dt = deref.inferType(program).getOrUndef()
require(dt.isNumericOrBool)
if (parent.value isSameAs deref) {
// x = z[i]^^ --> peekX(z[i])
// get rid of ArrayIndexedPtrDereference in the assignment value
// x = z[i]^^ --> x = peekX(z[i])
val (peekFunc, cast) =
if(dt.isBool) "peekbool" to null
else if (dt.isUnsignedByte) "peek" to null
@@ -672,6 +685,7 @@ _after:
TODO("translate deref $deref here ${deref.position}")
}
else if(parent is AssignTarget) {
// get rid of ArrayIndexedPtrDereference in the assignment target
// z[i]^^ = value --> pokeX(z[i], value)
val dt = deref.inferType(program).getOrUndef()
require(dt.isNumericOrBool)