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

CODEGEN: support for safe cast type operator added

Browse Source
This commit is contained in:
Konstantin Anisimov
2016-11-28 12:05:24 +03:00
committed by vvlevchenko
parent 837ae60eaf
commit 5ae4e3372b
1 changed files with 26 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/llvm/IrToBitcode.kt
+26 -1
View File
@@ -499,13 +499,38 @@ internal class CodeGeneratorVisitor(val context: Context) : IrElementVisitorVoid
IrTypeOperator.IMPLICIT_CAST -> return evaluateExpression(tmpVariableName, value.argument)
IrTypeOperator.IMPLICIT_NOTNULL -> TODO("${ir2string(value)}")
IrTypeOperator.IMPLICIT_COERCION_TO_UNIT -> return evaluateExpression("", value.argument)
IrTypeOperator.SAFE_CAST -> TODO("${ir2string(value)}")
IrTypeOperator.SAFE_CAST -> return evaluateSafeCast(tmpVariableName, value)
IrTypeOperator.INSTANCEOF -> return evaluateInstanceOf(tmpVariableName, value)
IrTypeOperator.NOT_INSTANCEOF -> return evaluateNotInstanceOf(tmpVariableName, value)
}
}
//-------------------------------------------------------------------------//
private fun evaluateSafeCast(tmpVariableName: String, value: IrTypeOperatorCall): LLVMValueRef? {
val bbTrue = codegen.basicBlock()!!
val bbFalse = codegen.basicBlock()!!
val bbExit = codegen.basicBlock()!!
val result = codegen.alloca(getLLVMType(value.type), codegen.newVar())
val condition = evaluateInstanceOf(codegen.newVar(), value)
codegen.condBr(condition, bbTrue, bbFalse)
codegen.positionAtEnd(bbTrue)
val castResult = evaluateExpression(codegen.newVar(), value.argument)
codegen.store(castResult!!, result)
codegen.br(bbExit)
codegen.positionAtEnd(bbFalse)
val nullResult = kNullPtr
codegen.store(nullResult, result)
codegen.br(bbExit)
codegen.positionAtEnd(bbExit)
return codegen.load(result, tmpVariableName)
}
//-------------------------------------------------------------------------//
// table of conversion with llvm for primitive types
// to be used in replacement fo primitive.toX() calls with