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

Implement instance of check in compile time

Browse Source
This commit is contained in:
Ivan Kylchik
2020-02-11 16:40:57 +03:00
parent 0a70277240
commit d6a45dfe75
1 changed files with 14 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/interpreter/IrInterpreter.kt
+14 -6
View File
@@ -552,13 +552,12 @@ class IrInterpreter(irModule: IrModuleFragment) {
}
private suspend fun interpretTypeOperatorCall(expression: IrTypeOperatorCall, data: Frame): Code {
val code = expression.argument.interpret(data).also { if (it != Code.NEXT) return it }
return when (expression.operator) {
IrTypeOperator.IMPLICIT_COERCION_TO_UNIT -> {
// coercion to unit means that return value isn't used
expression.argument.interpret(data).apply { if (this == Code.NEXT) data.popReturnValue() }
}
// coercion to unit means that return value isn't used
IrTypeOperator.IMPLICIT_COERCION_TO_UNIT -> code
IrTypeOperator.CAST, IrTypeOperator.IMPLICIT_CAST -> {
val code = expression.argument.interpret(data)
if (!data.peekReturnValue().irClass.defaultType.isSubtypeOf(expression.type, irBuiltIns)) {
val convertibleClassName = data.popReturnValue().irClass.fqNameForIrSerialization
val castClassName = expression.type.classOrNull?.owner?.fqNameForIrSerialization
@@ -570,13 +569,22 @@ class IrInterpreter(irModule: IrModuleFragment) {
}
}
IrTypeOperator.SAFE_CAST -> {
val code = expression.argument.interpret(data)
if (!data.peekReturnValue().irClass.defaultType.isSubtypeOf(expression.type, irBuiltIns)) {
data.popReturnValue()
data.pushReturnValue(null.toState(irBuiltIns.nothingType))
}
code
}
IrTypeOperator.INSTANCEOF -> {
val isInstance = data.popReturnValue().irClass.defaultType.isSubtypeOf(expression.typeOperand, irBuiltIns)
data.pushReturnValue(isInstance.toState(irBuiltIns.nothingType))
code
}
IrTypeOperator.NOT_INSTANCEOF -> {
val isInstance = data.popReturnValue().irClass.defaultType.isSubtypeOf(expression.typeOperand, irBuiltIns)
data.pushReturnValue((!isInstance).toState(irBuiltIns.nothingType))
code
}
else -> TODO("${expression.operator} not implemented")
}
}