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

fix IR codegen type error on array pointer dereference

Browse Source
This commit is contained in:
Irmen de Jong
2025-07-28 20:25:56 +02:00
parent 08810c2749
commit 23ad540aa5
3 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
intermediate/src/prog8/intermediate/IRInstructions.kt
+7 -7
View File
@@ -920,7 +920,7 @@ data class IRInstruction(
val existingType = regsTypes[reg1]
if (existingType!=null) {
if (existingType != actualtype)
throw IllegalArgumentException("register $reg1 given multiple types! $existingType and $actualtype in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register $reg1 given multiple types! $existingType and $actualtype in $chunk")
} else
regsTypes[reg1] = actualtype
}
@@ -932,7 +932,7 @@ data class IRInstruction(
val existingType = regsTypes[reg1]
if (existingType!=null) {
if (existingType != actualtype)
throw IllegalArgumentException("register $reg1 given multiple types! $existingType and $actualtype in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register $reg1 given multiple types! $existingType and $actualtype in chunk $chunk")
} else
regsTypes[reg1] = actualtype
@@ -946,7 +946,7 @@ data class IRInstruction(
val existingType = regsTypes[reg1]
if (existingType!=null) {
if (existingType != actualtype)
throw IllegalArgumentException("register $reg1 given multiple types! $existingType and $actualtype in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register $reg1 given multiple types! $existingType and $actualtype in $chunk")
} else
regsTypes[reg1] = actualtype
@@ -962,7 +962,7 @@ data class IRInstruction(
val existingType = regsTypes[reg2]
if (existingType!=null) {
if (existingType != actualtype)
throw IllegalArgumentException("register $reg2 given multiple types! $existingType and $actualtype in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register $reg2 given multiple types! $existingType and $actualtype in $chunk")
} else
regsTypes[reg2] = actualtype
}
@@ -978,7 +978,7 @@ data class IRInstruction(
val existingType = regsTypes[reg3]
if (existingType!=null) {
if (existingType != actualtype)
throw IllegalArgumentException("register $reg3 given multiple types! $existingType and $actualtype in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register $reg3 given multiple types! $existingType and $actualtype in $chunk")
} else
regsTypes[reg3] = actualtype
}
@@ -1011,7 +1011,7 @@ data class IRInstruction(
val existingType = regsTypes[it.registerNum]
if (existingType!=null) {
if (existingType != it.dt)
throw IllegalArgumentException("register ${it.registerNum} given multiple types! $existingType and ${it.dt} in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register ${it.registerNum} given multiple types! $existingType and ${it.dt} in $chunk")
} else
regsTypes[it.registerNum] = it.dt
}
@@ -1024,7 +1024,7 @@ data class IRInstruction(
val existingType = regsTypes[it.reg.registerNum]
if (existingType!=null) {
if (existingType != it.reg.dt)
throw IllegalArgumentException("register ${it.reg.registerNum} given multiple types! $existingType and ${it.reg.dt} in label ${chunk?.label} chunk $chunk")
throw IllegalArgumentException("register ${it.reg.registerNum} given multiple types! $existingType and ${it.reg.dt} in $chunk")
} else
regsTypes[it.reg.registerNum] = it.reg.dt
}
intermediate/src/prog8/intermediate/IRProgram.kt
+2
View File
@@ -509,6 +509,8 @@ class IRCodeChunk(label: String?, next: IRCodeChunkBase?): IRCodeChunkBase(label
}
val sourceLinesPositions = mutableListOf<Position>()
override fun toString(): String = "IRCodeChunk(label=$label, firstpos=${sourceLinesPositions.firstOrNull()})"
}
class IRInlineAsmChunk(label: String?,