azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[IR] Simplify logic of constructing unsigned number in interpreter

Browse Source 
This way it is a little less "hacky". We are looking only for "data"
property, and as long as this property is declared in constructor, we
can safely assume we will get the correct one even if it is
renamed.
This commit is contained in:
Ivan Kylchik
2023-07-18 16:13:07 +02:00
committed by Space Team
parent d795ce3582
commit 6204119219
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/ir/ir.interpreter/src/org/jetbrains/kotlin/ir/interpreter/CallInterceptor.kt
+8 -6
View File
@@ -19,7 +19,10 @@ import org.jetbrains.kotlin.ir.interpreter.intrinsics.IntrinsicEvaluator
import org.jetbrains.kotlin.ir.interpreter.proxy.wrap import org.jetbrains.kotlin.ir.interpreter.proxy.wrap
import org.jetbrains.kotlin.ir.interpreter.stack.CallStack import org.jetbrains.kotlin.ir.interpreter.stack.CallStack
import org.jetbrains.kotlin.ir.interpreter.state.* import org.jetbrains.kotlin.ir.interpreter.state.*
import org.jetbrains.kotlin.ir.types.* import org.jetbrains.kotlin.ir.types.IrType
import org.jetbrains.kotlin.ir.types.classOrNull
import org.jetbrains.kotlin.ir.types.isArray
import org.jetbrains.kotlin.ir.types.isUnsignedType
import org.jetbrains.kotlin.ir.util.* import org.jetbrains.kotlin.ir.util.*
import org.jetbrains.kotlin.ir.util.hasAnnotation import org.jetbrains.kotlin.ir.util.hasAnnotation
import org.jetbrains.kotlin.name.FqName import org.jetbrains.kotlin.name.FqName
@@ -89,11 +92,10 @@ internal class DefaultCallInterceptor(override val interpreter: IrInterpreter) :
verify(handleIntrinsicMethods(irConstructor)) { "Unsupported intrinsic constructor: ${irConstructor.render()}" } verify(handleIntrinsicMethods(irConstructor)) { "Unsupported intrinsic constructor: ${irConstructor.render()}" }
} }
irClass.defaultType.isUnsignedType() -> { irClass.defaultType.isUnsignedType() -> {
// Check for type is a hack needed for Native; val propertyName = irClass.inlineClassRepresentation?.underlyingPropertyName
// in UInt, for example, we may have (after lowerings, I guess) additional property "$companion". val propertySymbol = irClass.declarations.filterIsInstance<IrProperty>()
// Check for fake overrides is a hack needed for Wasm; .single { it.name == propertyName && it.getter?.extensionReceiverParameter == null }
// in UInt, for example, we may have additional typeInfo and hashCode properties declared in "Any" .symbol
val propertySymbol = irClass.declarations.single { it is IrProperty && !it.isFakeOverride && it.getter?.returnType?.isPrimitiveType() == true }.symbol
callStack.pushState(receiver.apply { this.setField(propertySymbol, args.single()) }) callStack.pushState(receiver.apply { this.setField(propertySymbol, args.single()) })
} }
else -> defaultAction() else -> defaultAction()