Update IR text test

Additional implicit coercions to unit was added
This commit is contained in:
Mikhael Bogdanov
2018-08-15 14:16:46 +03:00
parent 300876348a
commit 1a1bb53381
6 changed files with 94 additions and 70 deletions
@@ -39,6 +39,8 @@ FILE fqName:<root> fileName:/localDelegatedPropertyWithSuspendOperators.kt
VALUE_PARAMETER name:value index:2 type:kotlin.Int flags: VALUE_PARAMETER name:value index:2 type:kotlin.Int flags:
BLOCK_BODY BLOCK_BODY
RETURN type=kotlin.Nothing from='setValue(Any?, KProperty<*>, Int): Unit' RETURN type=kotlin.Nothing from='setValue(Any?, KProperty<*>, Int): Unit'
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'suspendCoroutineOrReturn(crossinline (Continuation<Unit>) -> Any?): Unit' type=kotlin.Unit origin=null CALL 'suspendCoroutineOrReturn(crossinline (Continuation<Unit>) -> Any?): Unit' type=kotlin.Unit origin=null
<T>: kotlin.Unit <T>: kotlin.Unit
block: BLOCK type=(kotlin.coroutines.experimental.Continuation<kotlin.Unit>) -> kotlin.Any origin=LAMBDA block: BLOCK type=(kotlin.coroutines.experimental.Continuation<kotlin.Unit>) -> kotlin.Any origin=LAMBDA
@@ -5,6 +5,8 @@ FILE fqName:<root> fileName:/catchParameterAccess.kt
RETURN type=kotlin.Nothing from='test(() -> Unit): Unit' RETURN type=kotlin.Nothing from='test(() -> Unit): Unit'
TRY type=kotlin.Unit TRY type=kotlin.Unit
try: BLOCK type=kotlin.Unit origin=null try: BLOCK type=kotlin.Unit origin=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'invoke(): Unit' type=kotlin.Unit origin=INVOKE CALL 'invoke(): Unit' type=kotlin.Unit origin=INVOKE
$this: GET_VAR 'value-parameter f: () -> Unit' type=() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION $this: GET_VAR 'value-parameter f: () -> Unit' type=() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION
CATCH parameter=e: Exception /* = Exception */ CATCH parameter=e: Exception /* = Exception */
@@ -4,6 +4,8 @@ FILE fqName:<root> fileName:/extFunInvokeAsFun.kt
VALUE_PARAMETER name:block index:1 type:kotlin.Any?.() -> kotlin.Unit flags: VALUE_PARAMETER name:block index:1 type:kotlin.Any?.() -> kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
RETURN type=kotlin.Nothing from='with1(Any?, Any?.() -> Unit): Unit' RETURN type=kotlin.Nothing from='with1(Any?, Any?.() -> Unit): Unit'
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'invoke(Any?): Unit' type=kotlin.Unit origin=INVOKE CALL 'invoke(Any?): Unit' type=kotlin.Unit origin=INVOKE
$this: GET_VAR 'value-parameter block: Any?.() -> Unit' type=kotlin.Any?.() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION $this: GET_VAR 'value-parameter block: Any?.() -> Unit' type=kotlin.Any?.() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION
p1: GET_VAR 'value-parameter receiver: Any?' type=kotlin.Any? origin=null p1: GET_VAR 'value-parameter receiver: Any?' type=kotlin.Any? origin=null
@@ -12,6 +14,8 @@ FILE fqName:<root> fileName:/extFunInvokeAsFun.kt
VALUE_PARAMETER name:block index:1 type:kotlin.Any?.() -> kotlin.Unit flags: VALUE_PARAMETER name:block index:1 type:kotlin.Any?.() -> kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
RETURN type=kotlin.Nothing from='with2(Any?, Any?.() -> Unit): Unit' RETURN type=kotlin.Nothing from='with2(Any?, Any?.() -> Unit): Unit'
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'invoke(Any?): Unit' type=kotlin.Unit origin=INVOKE CALL 'invoke(Any?): Unit' type=kotlin.Unit origin=INVOKE
$this: GET_VAR 'value-parameter block: Any?.() -> Unit' type=kotlin.Any?.() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION $this: GET_VAR 'value-parameter block: Any?.() -> Unit' type=kotlin.Any?.() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION
p1: GET_VAR 'value-parameter receiver: Any?' type=kotlin.Any? origin=null p1: GET_VAR 'value-parameter receiver: Any?' type=kotlin.Any? origin=null
@@ -74,7 +74,9 @@ FILE fqName:<root> fileName:/implicitCastToNonNull.kt
arg0: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean origin=EXCLEQ arg0: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean origin=EXCLEQ
arg0: GET_VAR 'value-parameter x: T' type=T origin=null arg0: GET_VAR 'value-parameter x: T' type=T origin=null
arg1: CONST Null type=kotlin.Nothing? value=null arg1: CONST Null type=kotlin.Nothing? value=null
then: CALL 'invoke(S): Unit' type=kotlin.Unit origin=INVOKE then: TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'invoke(S): Unit' type=kotlin.Unit origin=INVOKE
$this: GET_VAR 'value-parameter fn: (S) -> Unit' type=(S) -> kotlin.Unit origin=VARIABLE_AS_FUNCTION $this: GET_VAR 'value-parameter fn: (S) -> Unit' type=(S) -> kotlin.Unit origin=VARIABLE_AS_FUNCTION
p1: GET_VAR 'value-parameter x: T' type=T origin=null p1: GET_VAR 'value-parameter x: T' type=T origin=null
@@ -13,12 +13,16 @@ FILE fqName:<root> fileName:/variableAsFunctionCall.kt
VALUE_PARAMETER name:f index:0 type:() -> kotlin.Unit flags: VALUE_PARAMETER name:f index:0 type:() -> kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
RETURN type=kotlin.Nothing from='test1(() -> Unit): Unit' RETURN type=kotlin.Nothing from='test1(() -> Unit): Unit'
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'invoke(): Unit' type=kotlin.Unit origin=INVOKE CALL 'invoke(): Unit' type=kotlin.Unit origin=INVOKE
$this: GET_VAR 'value-parameter f: () -> Unit' type=() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION $this: GET_VAR 'value-parameter f: () -> Unit' type=() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION
FUN name:test2 visibility:public modality:FINAL <> (f:kotlin.String.() -> kotlin.Unit) returnType:kotlin.Unit flags: FUN name:test2 visibility:public modality:FINAL <> (f:kotlin.String.() -> kotlin.Unit) returnType:kotlin.Unit flags:
VALUE_PARAMETER name:f index:0 type:kotlin.String.() -> kotlin.Unit flags: VALUE_PARAMETER name:f index:0 type:kotlin.String.() -> kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
RETURN type=kotlin.Nothing from='test2(String.() -> Unit): Unit' RETURN type=kotlin.Nothing from='test2(String.() -> Unit): Unit'
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'invoke(String): Unit' type=kotlin.Unit origin=INVOKE CALL 'invoke(String): Unit' type=kotlin.Unit origin=INVOKE
$this: GET_VAR 'value-parameter f: String.() -> Unit' type=kotlin.String.() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION $this: GET_VAR 'value-parameter f: String.() -> Unit' type=kotlin.String.() -> kotlin.Unit origin=VARIABLE_AS_FUNCTION
p1: CONST String type=kotlin.String value=hello p1: CONST String type=kotlin.String value=hello
+10
View File
@@ -1,6 +1,8 @@
FILE fqName:<root> fileName:/nonLocalReturn.kt FILE fqName:<root> fileName:/nonLocalReturn.kt
FUN name:test0 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags: FUN name:test0 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'run(() -> Nothing): Nothing' type=kotlin.Nothing origin=null CALL 'run(() -> Nothing): Nothing' type=kotlin.Nothing origin=null
<R>: kotlin.Nothing <R>: kotlin.Nothing
block: BLOCK type=() -> kotlin.Nothing origin=LAMBDA block: BLOCK type=() -> kotlin.Nothing origin=LAMBDA
@@ -11,6 +13,8 @@ FILE fqName:<root> fileName:/nonLocalReturn.kt
FUNCTION_REFERENCE '<anonymous>(): Nothing' type=() -> kotlin.Nothing origin=LAMBDA FUNCTION_REFERENCE '<anonymous>(): Nothing' type=() -> kotlin.Nothing origin=LAMBDA
FUN name:test1 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags: FUN name:test1 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'run(() -> Unit): Unit' type=kotlin.Unit origin=null CALL 'run(() -> Unit): Unit' type=kotlin.Unit origin=null
<R>: kotlin.Unit <R>: kotlin.Unit
block: BLOCK type=() -> kotlin.Unit origin=LAMBDA block: BLOCK type=() -> kotlin.Unit origin=LAMBDA
@@ -21,6 +25,8 @@ FILE fqName:<root> fileName:/nonLocalReturn.kt
FUNCTION_REFERENCE '<anonymous>(): Unit' type=() -> kotlin.Unit origin=LAMBDA FUNCTION_REFERENCE '<anonymous>(): Unit' type=() -> kotlin.Unit origin=LAMBDA
FUN name:test2 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags: FUN name:test2 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'run(() -> Unit): Unit' type=kotlin.Unit origin=null CALL 'run(() -> Unit): Unit' type=kotlin.Unit origin=null
<R>: kotlin.Unit <R>: kotlin.Unit
block: BLOCK type=() -> kotlin.Unit origin=LAMBDA block: BLOCK type=() -> kotlin.Unit origin=LAMBDA
@@ -31,12 +37,16 @@ FILE fqName:<root> fileName:/nonLocalReturn.kt
FUNCTION_REFERENCE '<anonymous>(): Unit' type=() -> kotlin.Unit origin=LAMBDA FUNCTION_REFERENCE '<anonymous>(): Unit' type=() -> kotlin.Unit origin=LAMBDA
FUN name:test3 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags: FUN name:test3 visibility:public modality:FINAL <> () returnType:kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'run(() -> Unit): Unit' type=kotlin.Unit origin=null CALL 'run(() -> Unit): Unit' type=kotlin.Unit origin=null
<R>: kotlin.Unit <R>: kotlin.Unit
block: BLOCK type=() -> kotlin.Unit origin=LAMBDA block: BLOCK type=() -> kotlin.Unit origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit flags: FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit flags:
BLOCK_BODY BLOCK_BODY
RETURN type=kotlin.Nothing from='<anonymous>(): Unit' RETURN type=kotlin.Nothing from='<anonymous>(): Unit'
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public flags: superTypes:[kotlin.Any]
CALL 'run(() -> Nothing): Nothing' type=kotlin.Nothing origin=null CALL 'run(() -> Nothing): Nothing' type=kotlin.Nothing origin=null
<R>: kotlin.Nothing <R>: kotlin.Nothing
block: BLOCK type=() -> kotlin.Nothing origin=LAMBDA block: BLOCK type=() -> kotlin.Nothing origin=LAMBDA