testData format update: detailed descriptor rendering.
This commit is contained in:
Dmitry Petrov
committed by
Dmitry Petrov
Dmitry Petrov
parent
993c3fe51e
commit
4e112b3f88
+13
-13
@@ -4,19 +4,19 @@ FILE /arrayAccess.kt
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
FUN public fun foo(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
RETURN type=kotlin.Nothing from='foo(): Int'
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun test(/*0*/ a: kotlin.IntArray): kotlin.Int
|
||||
FUN public fun test(a: kotlin.IntArray): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test
|
||||
CALL .plus type=kotlin.Int operator=PLUS
|
||||
$this: CALL .plus type=kotlin.Int operator=PLUS
|
||||
$this: CALL .get type=kotlin.Int operator=GET_ARRAY_ELEMENT
|
||||
$this: GET_VAR a type=kotlin.IntArray operator=null
|
||||
RETURN type=kotlin.Nothing from='test(IntArray): Int'
|
||||
CALL 'plus(Int): Int' type=kotlin.Int operator=PLUS
|
||||
$this: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUS
|
||||
$this: CALL 'get(Int): Int' type=kotlin.Int operator=GET_ARRAY_ELEMENT
|
||||
$this: GET_VAR 'value-parameter a: IntArray' type=kotlin.IntArray operator=null
|
||||
index: CONST Int type=kotlin.Int value='0'
|
||||
other: CALL .get type=kotlin.Int operator=GET_ARRAY_ELEMENT
|
||||
$this: GET_VAR a type=kotlin.IntArray operator=null
|
||||
index: CALL .<get-p> type=kotlin.Int operator=GET_PROPERTY
|
||||
other: CALL .get type=kotlin.Int operator=GET_ARRAY_ELEMENT
|
||||
$this: GET_VAR a type=kotlin.IntArray operator=null
|
||||
index: CALL .foo type=kotlin.Int operator=null
|
||||
other: CALL 'get(Int): Int' type=kotlin.Int operator=GET_ARRAY_ELEMENT
|
||||
$this: GET_VAR 'value-parameter a: IntArray' type=kotlin.IntArray operator=null
|
||||
index: CALL '<get-p>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
other: CALL 'get(Int): Int' type=kotlin.Int operator=GET_ARRAY_ELEMENT
|
||||
$this: GET_VAR 'value-parameter a: IntArray' type=kotlin.IntArray operator=null
|
||||
index: CALL 'foo(): Int' type=kotlin.Int operator=null
|
||||
|
||||
@@ -2,26 +2,26 @@ FILE /arrayAssignment.kt
|
||||
FUN public fun test(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR val x: kotlin.IntArray
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
elements: VARARG type=IntArray varargElementType=Int
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
CONST Int type=kotlin.Int value='3'
|
||||
CALL .set type=kotlin.Unit operator=EQ
|
||||
$this: GET_VAR x type=kotlin.IntArray operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=EQ
|
||||
$this: GET_VAR 'x: IntArray' type=kotlin.IntArray operator=null
|
||||
index: CONST Int type=kotlin.Int value='1'
|
||||
value: CONST Int type=kotlin.Int value='0'
|
||||
FUN public fun foo(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
RETURN type=kotlin.Nothing from='foo(): Int'
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun test2(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
CALL .set type=kotlin.Unit operator=EQ
|
||||
$this: CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=EQ
|
||||
$this: CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
elements: VARARG type=IntArray varargElementType=Int
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
CONST Int type=kotlin.Int value='3'
|
||||
index: CALL .foo type=kotlin.Int operator=null
|
||||
index: CALL 'foo(): Int' type=kotlin.Int operator=null
|
||||
value: CONST Int type=kotlin.Int value='1'
|
||||
|
||||
@@ -1,74 +1,74 @@
|
||||
FILE /arrayAugmentedAssignment1.kt
|
||||
FUN public fun foo(): kotlin.IntArray
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
RETURN type=kotlin.Nothing from='foo(): IntArray'
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
elements: VARARG type=IntArray varargElementType=Int
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
CONST Int type=kotlin.Int value='3'
|
||||
FUN public fun bar(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=bar
|
||||
RETURN type=kotlin.Nothing from='bar(): Int'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
CLASS CLASS C
|
||||
CONSTRUCTOR public constructor C(/*0*/ x: kotlin.IntArray)
|
||||
CONSTRUCTOR public constructor C(x: kotlin.IntArray)
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
SET_BACKING_FIELD x type=kotlin.Unit operator=null
|
||||
receiver: THIS public final class C type=C
|
||||
value: GET_VAR x type=kotlin.IntArray operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=C
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
SET_BACKING_FIELD 'x: IntArray' type=kotlin.Unit operator=null
|
||||
receiver: THIS of 'C' type=C
|
||||
value: GET_VAR 'value-parameter x: IntArray' type=kotlin.IntArray operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='C'
|
||||
PROPERTY public final val x: kotlin.IntArray
|
||||
EXPRESSION_BODY
|
||||
GET_VAR x type=kotlin.IntArray operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
GET_VAR 'value-parameter x: IntArray' type=kotlin.IntArray operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
FUN public fun testVariable(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR var x: kotlin.IntArray
|
||||
CALL .foo type=kotlin.IntArray operator=null
|
||||
CALL 'foo(): IntArray' type=kotlin.IntArray operator=null
|
||||
BLOCK type=kotlin.Unit operator=PLUSEQ
|
||||
VAR val tmp0_array: kotlin.IntArray
|
||||
GET_VAR x type=kotlin.IntArray operator=null
|
||||
GET_VAR 'x: IntArray' type=kotlin.IntArray operator=null
|
||||
VAR val tmp1_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
CALL .set type=kotlin.Unit operator=PLUSEQ
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
value: CALL .plus type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL .get type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL 'get(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun testCall(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=MULTEQ
|
||||
VAR val tmp0_array: kotlin.IntArray
|
||||
CALL .foo type=kotlin.IntArray operator=null
|
||||
CALL 'foo(): IntArray' type=kotlin.IntArray operator=null
|
||||
VAR val tmp1_index0: kotlin.Int
|
||||
CALL .bar type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=MULTEQ
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
value: CALL .times type=kotlin.Int operator=MULTEQ
|
||||
$this: CALL .get type=kotlin.Int operator=MULTEQ
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
CALL 'bar(): Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=MULTEQ
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'times(Int): Int' type=kotlin.Int operator=MULTEQ
|
||||
$this: CALL 'get(Int): Int' type=kotlin.Int operator=MULTEQ
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='2'
|
||||
FUN public fun testMember(/*0*/ c: C): kotlin.Unit
|
||||
FUN public fun testMember(c: C): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0_array: kotlin.IntArray
|
||||
CALL .<get-x> type=kotlin.IntArray operator=GET_PROPERTY
|
||||
$this: GET_VAR c type=C operator=null
|
||||
CALL '<get-x>(): IntArray' type=kotlin.IntArray operator=GET_PROPERTY
|
||||
$this: GET_VAR 'value-parameter c: C' type=C operator=null
|
||||
VAR val tmp1_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
VAR val tmp2: kotlin.Int
|
||||
CALL .get type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
value: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
CALL 'get(Int): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
|
||||
@@ -1,21 +1,21 @@
|
||||
FILE /arrayAugmentedAssignment2.kt
|
||||
CLASS INTERFACE IA
|
||||
FUN public abstract operator fun get(/*0*/ index: kotlin.String): kotlin.Int
|
||||
FUN public abstract operator fun get(index: kotlin.String): kotlin.Int
|
||||
CLASS INTERFACE IB
|
||||
FUN public abstract operator fun IA.set(/*0*/ index: kotlin.String, /*1*/ value: kotlin.Int): kotlin.Unit
|
||||
FUN public fun IB.test(/*0*/ a: IA): kotlin.Unit
|
||||
FUN public abstract operator fun IA.set(index: kotlin.String, value: kotlin.Int): kotlin.Unit
|
||||
FUN public fun IB.test(a: IA): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=PLUSEQ
|
||||
VAR val tmp0_array: IA
|
||||
GET_VAR a type=IA operator=null
|
||||
GET_VAR 'value-parameter a: IA' type=IA operator=null
|
||||
VAR val tmp1_index0: kotlin.String
|
||||
CONST String type=kotlin.String value=''
|
||||
CALL .set type=kotlin.Unit operator=PLUSEQ
|
||||
$this: $RECEIVER of: test type=IB
|
||||
$receiver: GET_VAR tmp0_array type=IA operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.String operator=null
|
||||
value: CALL .plus type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL .get type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR tmp0_array type=IA operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.String operator=null
|
||||
CALL 'set(String, Int) on IA: Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
$this: $RECEIVER of 'test(IA) on IB: Unit' type=IB
|
||||
$receiver: GET_VAR 'tmp0_array: IA' type=IA operator=null
|
||||
index: GET_VAR 'tmp1_index0: String' type=kotlin.String operator=null
|
||||
value: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL 'get(String): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR 'tmp0_array: IA' type=IA operator=null
|
||||
index: GET_VAR 'tmp1_index0: String' type=kotlin.String operator=null
|
||||
other: CONST Int type=kotlin.Int value='42'
|
||||
|
||||
+14
-14
@@ -1,27 +1,27 @@
|
||||
FILE /assignments.kt
|
||||
CLASS CLASS Ref
|
||||
CONSTRUCTOR public constructor Ref(/*0*/ x: kotlin.Int)
|
||||
CONSTRUCTOR public constructor Ref(x: kotlin.Int)
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
SET_BACKING_FIELD x type=kotlin.Unit operator=null
|
||||
receiver: THIS public final class Ref type=Ref
|
||||
value: GET_VAR x type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Ref
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
SET_BACKING_FIELD 'x: Int' type=kotlin.Unit operator=null
|
||||
receiver: THIS of 'Ref' type=Ref
|
||||
value: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Ref'
|
||||
PROPERTY public final var x: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
GET_VAR x type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
FUN public fun test1(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR var x: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
SET_VAR x type=kotlin.Unit operator=EQ
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=EQ
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
SET_VAR x type=kotlin.Unit operator=EQ
|
||||
CALL .plus type=kotlin.Int operator=PLUS
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=EQ
|
||||
CALL 'plus(Int): Int' type=kotlin.Int operator=PLUS
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun test2(/*0*/ r: Ref): kotlin.Unit
|
||||
FUN public fun test2(r: Ref): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
CALL .<set-x> type=kotlin.Unit operator=EQ
|
||||
$this: GET_VAR r type=Ref operator=null
|
||||
CALL '<set-x>(Int): Unit' type=kotlin.Unit operator=EQ
|
||||
$this: GET_VAR 'value-parameter r: Ref' type=Ref operator=null
|
||||
<set-?>: CONST Int type=kotlin.Int value='0'
|
||||
|
||||
@@ -6,50 +6,50 @@ FILE /augmentedAssignment1.kt
|
||||
BLOCK_BODY
|
||||
VAR var x: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
SET_VAR x type=kotlin.Unit operator=PLUSEQ
|
||||
CALL .plus type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR x type=kotlin.Int operator=PLUSEQ
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=PLUSEQ
|
||||
CALL 'plus(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=PLUSEQ
|
||||
other: CONST Int type=kotlin.Int value='1'
|
||||
SET_VAR x type=kotlin.Unit operator=MINUSEQ
|
||||
CALL .minus type=kotlin.Int operator=MINUSEQ
|
||||
$this: GET_VAR x type=kotlin.Int operator=MINUSEQ
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=MINUSEQ
|
||||
CALL 'minus(Int): Int' type=kotlin.Int operator=MINUSEQ
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=MINUSEQ
|
||||
other: CONST Int type=kotlin.Int value='2'
|
||||
SET_VAR x type=kotlin.Unit operator=MULTEQ
|
||||
CALL .times type=kotlin.Int operator=MULTEQ
|
||||
$this: GET_VAR x type=kotlin.Int operator=MULTEQ
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=MULTEQ
|
||||
CALL 'times(Int): Int' type=kotlin.Int operator=MULTEQ
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=MULTEQ
|
||||
other: CONST Int type=kotlin.Int value='3'
|
||||
SET_VAR x type=kotlin.Unit operator=DIVEQ
|
||||
CALL .div type=kotlin.Int operator=DIVEQ
|
||||
$this: GET_VAR x type=kotlin.Int operator=DIVEQ
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=DIVEQ
|
||||
CALL 'div(Int): Int' type=kotlin.Int operator=DIVEQ
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=DIVEQ
|
||||
other: CONST Int type=kotlin.Int value='4'
|
||||
SET_VAR x type=kotlin.Unit operator=PERCEQ
|
||||
CALL .mod type=kotlin.Int operator=PERCEQ
|
||||
$this: GET_VAR x type=kotlin.Int operator=PERCEQ
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=PERCEQ
|
||||
CALL 'mod(Int): Int' type=kotlin.Int operator=PERCEQ
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=PERCEQ
|
||||
other: CONST Int type=kotlin.Int value='5'
|
||||
FUN public fun testProperty(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=PLUSEQ
|
||||
CALL .<set-p> type=kotlin.Unit operator=PLUSEQ
|
||||
<set-?>: CALL .plus type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=PLUSEQ
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
<set-?>: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=PLUSEQ
|
||||
other: CONST Int type=kotlin.Int value='1'
|
||||
BLOCK type=kotlin.Unit operator=MINUSEQ
|
||||
CALL .<set-p> type=kotlin.Unit operator=MINUSEQ
|
||||
<set-?>: CALL .minus type=kotlin.Int operator=MINUSEQ
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=MINUSEQ
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=MINUSEQ
|
||||
<set-?>: CALL 'minus(Int): Int' type=kotlin.Int operator=MINUSEQ
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=MINUSEQ
|
||||
other: CONST Int type=kotlin.Int value='2'
|
||||
BLOCK type=kotlin.Unit operator=MULTEQ
|
||||
CALL .<set-p> type=kotlin.Unit operator=MULTEQ
|
||||
<set-?>: CALL .times type=kotlin.Int operator=MULTEQ
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=MULTEQ
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=MULTEQ
|
||||
<set-?>: CALL 'times(Int): Int' type=kotlin.Int operator=MULTEQ
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=MULTEQ
|
||||
other: CONST Int type=kotlin.Int value='3'
|
||||
BLOCK type=kotlin.Unit operator=DIVEQ
|
||||
CALL .<set-p> type=kotlin.Unit operator=DIVEQ
|
||||
<set-?>: CALL .div type=kotlin.Int operator=DIVEQ
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=DIVEQ
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=DIVEQ
|
||||
<set-?>: CALL 'div(Int): Int' type=kotlin.Int operator=DIVEQ
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=DIVEQ
|
||||
other: CONST Int type=kotlin.Int value='4'
|
||||
BLOCK type=kotlin.Unit operator=PERCEQ
|
||||
CALL .<set-p> type=kotlin.Unit operator=PERCEQ
|
||||
<set-?>: CALL .mod type=kotlin.Int operator=PERCEQ
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=PERCEQ
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=PERCEQ
|
||||
<set-?>: CALL 'mod(Int): Int' type=kotlin.Int operator=PERCEQ
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=PERCEQ
|
||||
other: CONST Int type=kotlin.Int value='5'
|
||||
|
||||
@@ -2,59 +2,59 @@ FILE /augmentedAssignment2.kt
|
||||
CLASS CLASS A
|
||||
CONSTRUCTOR public constructor A()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=A
|
||||
FUN public operator fun A.plusAssign(/*0*/ s: kotlin.String): kotlin.Unit
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='A'
|
||||
FUN public operator fun A.plusAssign(s: kotlin.String): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public operator fun A.minusAssign(/*0*/ s: kotlin.String): kotlin.Unit
|
||||
FUN public operator fun A.minusAssign(s: kotlin.String): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public operator fun A.timesAssign(/*0*/ s: kotlin.String): kotlin.Unit
|
||||
FUN public operator fun A.timesAssign(s: kotlin.String): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public operator fun A.divAssign(/*0*/ s: kotlin.String): kotlin.Unit
|
||||
FUN public operator fun A.divAssign(s: kotlin.String): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public operator fun A.modAssign(/*0*/ s: kotlin.String): kotlin.Unit
|
||||
FUN public operator fun A.modAssign(s: kotlin.String): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
PROPERTY public val p: A
|
||||
EXPRESSION_BODY
|
||||
CALL .<init> type=A operator=null
|
||||
CALL 'constructor A()' type=A operator=null
|
||||
FUN public fun testVariable(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR val a: A
|
||||
CALL .<init> type=A operator=null
|
||||
CALL .plusAssign type=kotlin.Unit operator=PLUSEQ
|
||||
$receiver: GET_VAR a type=A operator=PLUSEQ
|
||||
CALL 'constructor A()' type=A operator=null
|
||||
CALL 'plusAssign(String) on A: Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
$receiver: GET_VAR 'a: A' type=A operator=PLUSEQ
|
||||
s: CONST String type=kotlin.String value='+='
|
||||
CALL .minusAssign type=kotlin.Unit operator=MINUSEQ
|
||||
$receiver: GET_VAR a type=A operator=MINUSEQ
|
||||
CALL 'minusAssign(String) on A: Unit' type=kotlin.Unit operator=MINUSEQ
|
||||
$receiver: GET_VAR 'a: A' type=A operator=MINUSEQ
|
||||
s: CONST String type=kotlin.String value='-='
|
||||
CALL .timesAssign type=kotlin.Unit operator=MULTEQ
|
||||
$receiver: GET_VAR a type=A operator=MULTEQ
|
||||
CALL 'timesAssign(String) on A: Unit' type=kotlin.Unit operator=MULTEQ
|
||||
$receiver: GET_VAR 'a: A' type=A operator=MULTEQ
|
||||
s: CONST String type=kotlin.String value='*='
|
||||
CALL .divAssign type=kotlin.Unit operator=DIVEQ
|
||||
$receiver: GET_VAR a type=A operator=DIVEQ
|
||||
CALL 'divAssign(String) on A: Unit' type=kotlin.Unit operator=DIVEQ
|
||||
$receiver: GET_VAR 'a: A' type=A operator=DIVEQ
|
||||
s: CONST String type=kotlin.String value='/='
|
||||
CALL .modAssign type=kotlin.Unit operator=PERCEQ
|
||||
$receiver: GET_VAR a type=A operator=PERCEQ
|
||||
CALL 'modAssign(String) on A: Unit' type=kotlin.Unit operator=PERCEQ
|
||||
$receiver: GET_VAR 'a: A' type=A operator=PERCEQ
|
||||
s: CONST String type=kotlin.String value='*='
|
||||
FUN public fun testProperty(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=PLUSEQ
|
||||
CALL .plusAssign type=kotlin.Unit operator=PLUSEQ
|
||||
$receiver: CALL .<get-p> type=A operator=PLUSEQ
|
||||
CALL 'plusAssign(String) on A: Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
$receiver: CALL '<get-p>(): A' type=A operator=PLUSEQ
|
||||
s: CONST String type=kotlin.String value='+='
|
||||
BLOCK type=kotlin.Unit operator=MINUSEQ
|
||||
CALL .minusAssign type=kotlin.Unit operator=MINUSEQ
|
||||
$receiver: CALL .<get-p> type=A operator=MINUSEQ
|
||||
CALL 'minusAssign(String) on A: Unit' type=kotlin.Unit operator=MINUSEQ
|
||||
$receiver: CALL '<get-p>(): A' type=A operator=MINUSEQ
|
||||
s: CONST String type=kotlin.String value='-='
|
||||
BLOCK type=kotlin.Unit operator=MULTEQ
|
||||
CALL .timesAssign type=kotlin.Unit operator=MULTEQ
|
||||
$receiver: CALL .<get-p> type=A operator=MULTEQ
|
||||
CALL 'timesAssign(String) on A: Unit' type=kotlin.Unit operator=MULTEQ
|
||||
$receiver: CALL '<get-p>(): A' type=A operator=MULTEQ
|
||||
s: CONST String type=kotlin.String value='*='
|
||||
BLOCK type=kotlin.Unit operator=DIVEQ
|
||||
CALL .divAssign type=kotlin.Unit operator=DIVEQ
|
||||
$receiver: CALL .<get-p> type=A operator=DIVEQ
|
||||
CALL 'divAssign(String) on A: Unit' type=kotlin.Unit operator=DIVEQ
|
||||
$receiver: CALL '<get-p>(): A' type=A operator=DIVEQ
|
||||
s: CONST String type=kotlin.String value='/='
|
||||
BLOCK type=kotlin.Unit operator=PERCEQ
|
||||
CALL .modAssign type=kotlin.Unit operator=PERCEQ
|
||||
$receiver: CALL .<get-p> type=A operator=PERCEQ
|
||||
CALL 'modAssign(String) on A: Unit' type=kotlin.Unit operator=PERCEQ
|
||||
$receiver: CALL '<get-p>(): A' type=A operator=PERCEQ
|
||||
s: CONST String type=kotlin.String value='%='
|
||||
|
||||
+18
-18
@@ -1,34 +1,34 @@
|
||||
FILE /bangbang.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.Any?): kotlin.Any
|
||||
FUN public fun test1(a: kotlin.Any?): kotlin.Any
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
RETURN type=kotlin.Nothing from='test1(Any?): Any'
|
||||
BLOCK type=kotlin.Any operator=EXCLEXCL
|
||||
VAR val tmp0_notnull: kotlin.Any?
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.Any operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_notnull type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_notnull: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CALL .THROW_NPE type=kotlin.Nothing operator=EXCLEXCL
|
||||
else: GET_VAR tmp0_notnull type=kotlin.Any? operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.Any?): kotlin.Int
|
||||
then: CALL 'THROW_NPE(): Nothing' type=kotlin.Nothing operator=EXCLEXCL
|
||||
else: GET_VAR 'tmp0_notnull: Any?' type=kotlin.Any? operator=null
|
||||
FUN public fun test2(a: kotlin.Any?): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(Any?): Int'
|
||||
BLOCK type=kotlin.Int operator=EXCLEXCL
|
||||
VAR val tmp1_notnull: kotlin.Int?
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.Any?
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .hashCode type=kotlin.Int operator=null
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.Any? operator=null
|
||||
else: CALL 'hashCode(): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'tmp0_safe_receiver: Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.Int operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp1_notnull type=kotlin.Int? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp1_notnull: Int?' type=kotlin.Int? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CALL .THROW_NPE type=kotlin.Nothing operator=EXCLEXCL
|
||||
else: GET_VAR tmp1_notnull type=kotlin.Int? operator=null
|
||||
then: CALL 'THROW_NPE(): Nothing' type=kotlin.Nothing operator=EXCLEXCL
|
||||
else: GET_VAR 'tmp1_notnull: Int?' type=kotlin.Int? operator=null
|
||||
|
||||
+18
-18
@@ -1,27 +1,27 @@
|
||||
FILE /booleanOperators.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.Boolean, /*1*/ b: kotlin.Boolean): kotlin.Boolean
|
||||
FUN public fun test1(a: kotlin.Boolean, b: kotlin.Boolean): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
RETURN type=kotlin.Nothing from='test1(Boolean, Boolean): Boolean'
|
||||
WHEN type=kotlin.Boolean operator=ANDAND
|
||||
if: GET_VAR a type=kotlin.Boolean operator=null
|
||||
then: GET_VAR b type=kotlin.Boolean operator=null
|
||||
if: GET_VAR 'value-parameter a: Boolean' type=kotlin.Boolean operator=null
|
||||
then: GET_VAR 'value-parameter b: Boolean' type=kotlin.Boolean operator=null
|
||||
else: CONST Boolean type=kotlin.Boolean value='false'
|
||||
FUN public fun test2(/*0*/ a: kotlin.Boolean, /*1*/ b: kotlin.Boolean): kotlin.Boolean
|
||||
FUN public fun test2(a: kotlin.Boolean, b: kotlin.Boolean): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(Boolean, Boolean): Boolean'
|
||||
WHEN type=kotlin.Boolean operator=OROR
|
||||
if: GET_VAR a type=kotlin.Boolean operator=null
|
||||
if: GET_VAR 'value-parameter a: Boolean' type=kotlin.Boolean operator=null
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: GET_VAR b type=kotlin.Boolean operator=null
|
||||
FUN public fun test1x(/*0*/ a: kotlin.Boolean, /*1*/ b: kotlin.Boolean): kotlin.Boolean
|
||||
else: GET_VAR 'value-parameter b: Boolean' type=kotlin.Boolean operator=null
|
||||
FUN public fun test1x(a: kotlin.Boolean, b: kotlin.Boolean): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1x
|
||||
CALL .and type=kotlin.Boolean operator=null
|
||||
$this: GET_VAR a type=kotlin.Boolean operator=null
|
||||
other: GET_VAR b type=kotlin.Boolean operator=null
|
||||
FUN public fun test2x(/*0*/ a: kotlin.Boolean, /*1*/ b: kotlin.Boolean): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test1x(Boolean, Boolean): Boolean'
|
||||
CALL 'and(Boolean): Boolean' type=kotlin.Boolean operator=null
|
||||
$this: GET_VAR 'value-parameter a: Boolean' type=kotlin.Boolean operator=null
|
||||
other: GET_VAR 'value-parameter b: Boolean' type=kotlin.Boolean operator=null
|
||||
FUN public fun test2x(a: kotlin.Boolean, b: kotlin.Boolean): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2x
|
||||
CALL .or type=kotlin.Boolean operator=null
|
||||
$this: GET_VAR a type=kotlin.Boolean operator=null
|
||||
other: GET_VAR b type=kotlin.Boolean operator=null
|
||||
RETURN type=kotlin.Nothing from='test2x(Boolean, Boolean): Boolean'
|
||||
CALL 'or(Boolean): Boolean' type=kotlin.Boolean operator=null
|
||||
$this: GET_VAR 'value-parameter a: Boolean' type=kotlin.Boolean operator=null
|
||||
other: GET_VAR 'value-parameter b: Boolean' type=kotlin.Boolean operator=null
|
||||
|
||||
+1
-1
@@ -1,5 +1,5 @@
|
||||
FILE /boxOk.kt
|
||||
FUN public fun box(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=box
|
||||
RETURN type=kotlin.Nothing from='box(): String'
|
||||
CONST String type=kotlin.String value='OK'
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
FILE /breakContinueInLoopHeader.kt
|
||||
FUN public fun test1(/*0*/ c: kotlin.Boolean?): kotlin.Unit
|
||||
FUN public fun test1(c: kotlin.Boolean?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHILE label=L operator=WHILE_LOOP
|
||||
condition: CONST Boolean type=kotlin.Boolean value='true'
|
||||
@@ -7,14 +7,14 @@ FILE /breakContinueInLoopHeader.kt
|
||||
WHILE label=null operator=WHILE_LOOP
|
||||
condition: BLOCK type=kotlin.Boolean operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.Boolean?
|
||||
GET_VAR c type=kotlin.Boolean? operator=null
|
||||
GET_VAR 'value-parameter c: Boolean?' type=kotlin.Boolean? operator=null
|
||||
WHEN type=kotlin.Boolean operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.Boolean? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: Boolean?' type=kotlin.Boolean? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: BREAK label=null loop.label=L depth=1
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.Boolean? operator=null
|
||||
FUN public fun test2(/*0*/ c: kotlin.Boolean?): kotlin.Unit
|
||||
else: GET_VAR 'tmp0_elvis_lhs: Boolean?' type=kotlin.Boolean? operator=null
|
||||
FUN public fun test2(c: kotlin.Boolean?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHILE label=L operator=WHILE_LOOP
|
||||
condition: CONST Boolean type=kotlin.Boolean value='true'
|
||||
@@ -22,58 +22,58 @@ FILE /breakContinueInLoopHeader.kt
|
||||
WHILE label=null operator=WHILE_LOOP
|
||||
condition: BLOCK type=kotlin.Boolean operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.Boolean?
|
||||
GET_VAR c type=kotlin.Boolean? operator=null
|
||||
GET_VAR 'value-parameter c: Boolean?' type=kotlin.Boolean? operator=null
|
||||
WHEN type=kotlin.Boolean operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.Boolean? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: Boolean?' type=kotlin.Boolean? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONTINUE label=null loop.label=L depth=1
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.Boolean? operator=null
|
||||
FUN public fun test3(/*0*/ ss: kotlin.collections.List<kotlin.String>?): kotlin.Unit
|
||||
else: GET_VAR 'tmp0_elvis_lhs: Boolean?' type=kotlin.Boolean? operator=null
|
||||
FUN public fun test3(ss: kotlin.collections.List<kotlin.String>?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHILE label=L operator=WHILE_LOOP
|
||||
condition: CONST Boolean type=kotlin.Boolean value='true'
|
||||
body: BLOCK type=kotlin.Unit operator=null
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp1_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: BLOCK type=kotlin.collections.List<kotlin.String> operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.collections.List<kotlin.String>?
|
||||
GET_VAR ss type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
GET_VAR 'value-parameter ss: List<String>?' type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
WHEN type=kotlin.collections.List<kotlin.String> operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: List<String>?' type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONTINUE label=null loop.label=L depth=0
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
else: GET_VAR 'tmp0_elvis_lhs: List<String>?' type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
FUN public fun test4(/*0*/ ss: kotlin.collections.List<kotlin.String>?): kotlin.Unit
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
FUN public fun test4(ss: kotlin.collections.List<kotlin.String>?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHILE label=L operator=WHILE_LOOP
|
||||
condition: CONST Boolean type=kotlin.Boolean value='true'
|
||||
body: BLOCK type=kotlin.Unit operator=null
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp1_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: BLOCK type=kotlin.collections.List<kotlin.String> operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.collections.List<kotlin.String>?
|
||||
GET_VAR ss type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
GET_VAR 'value-parameter ss: List<String>?' type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
WHEN type=kotlin.collections.List<kotlin.String> operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: List<String>?' type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: BREAK label=null loop.label=L depth=0
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
else: GET_VAR 'tmp0_elvis_lhs: List<String>?' type=kotlin.collections.List<kotlin.String>? operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
|
||||
@@ -1,40 +1,40 @@
|
||||
FILE /callWithReorderedArguments.kt
|
||||
FUN public fun foo(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Unit
|
||||
FUN public fun foo(a: kotlin.Int, b: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public fun noReorder1(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=noReorder1
|
||||
RETURN type=kotlin.Nothing from='noReorder1(): Int'
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun noReorder2(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=noReorder2
|
||||
RETURN type=kotlin.Nothing from='noReorder2(): Int'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
FUN public fun reordered1(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=reordered1
|
||||
RETURN type=kotlin.Nothing from='reordered1(): Int'
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun reordered2(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=reordered2
|
||||
RETURN type=kotlin.Nothing from='reordered2(): Int'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
FUN public fun test(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
CALL .foo type=kotlin.Unit operator=null
|
||||
a: CALL .noReorder1 type=kotlin.Int operator=null
|
||||
b: CALL .noReorder2 type=kotlin.Int operator=null
|
||||
CALL 'foo(Int, Int): Unit' type=kotlin.Unit operator=null
|
||||
a: CALL 'noReorder1(): Int' type=kotlin.Int operator=null
|
||||
b: CALL 'noReorder2(): Int' type=kotlin.Int operator=null
|
||||
BLOCK type=kotlin.Unit operator=ARGUMENTS_REORDERING_FOR_CALL
|
||||
VAR val tmp0_b: kotlin.Int
|
||||
CALL .reordered1 type=kotlin.Int operator=null
|
||||
CALL 'reordered1(): Int' type=kotlin.Int operator=null
|
||||
VAR val tmp1_a: kotlin.Int
|
||||
CALL .reordered2 type=kotlin.Int operator=null
|
||||
CALL .foo type=kotlin.Unit operator=null
|
||||
a: GET_VAR tmp1_a type=kotlin.Int operator=null
|
||||
b: GET_VAR tmp0_b type=kotlin.Int operator=null
|
||||
CALL 'reordered2(): Int' type=kotlin.Int operator=null
|
||||
CALL 'foo(Int, Int): Unit' type=kotlin.Unit operator=null
|
||||
a: GET_VAR 'tmp1_a: Int' type=kotlin.Int operator=null
|
||||
b: GET_VAR 'tmp0_b: Int' type=kotlin.Int operator=null
|
||||
BLOCK type=kotlin.Unit operator=ARGUMENTS_REORDERING_FOR_CALL
|
||||
VAR val tmp2_b: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
VAR val tmp3_a: kotlin.Int
|
||||
CALL .reordered2 type=kotlin.Int operator=null
|
||||
CALL .foo type=kotlin.Unit operator=null
|
||||
a: GET_VAR tmp3_a type=kotlin.Int operator=null
|
||||
b: GET_VAR tmp2_b type=kotlin.Int operator=null
|
||||
CALL 'reordered2(): Int' type=kotlin.Int operator=null
|
||||
CALL 'foo(Int, Int): Unit' type=kotlin.Unit operator=null
|
||||
a: GET_VAR 'tmp3_a: Int' type=kotlin.Int operator=null
|
||||
b: GET_VAR 'tmp2_b: Int' type=kotlin.Int operator=null
|
||||
|
||||
+27
-27
@@ -1,36 +1,36 @@
|
||||
FILE /calls.kt
|
||||
FUN public fun foo(/*0*/ x: kotlin.Int, /*1*/ y: kotlin.Int): kotlin.Int
|
||||
FUN public fun foo(x: kotlin.Int, y: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
GET_VAR x type=kotlin.Int operator=null
|
||||
FUN public fun bar(/*0*/ x: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='foo(Int, Int): Int'
|
||||
GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
FUN public fun bar(x: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=bar
|
||||
CALL .foo type=kotlin.Int operator=null
|
||||
x: GET_VAR x type=kotlin.Int operator=null
|
||||
RETURN type=kotlin.Nothing from='bar(Int): Int'
|
||||
CALL 'foo(Int, Int): Int' type=kotlin.Int operator=null
|
||||
x: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
y: CONST Int type=kotlin.Int value='1'
|
||||
FUN public fun qux(/*0*/ x: kotlin.Int): kotlin.Int
|
||||
FUN public fun qux(x: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=qux
|
||||
CALL .foo type=kotlin.Int operator=null
|
||||
x: CALL .foo type=kotlin.Int operator=null
|
||||
x: GET_VAR x type=kotlin.Int operator=null
|
||||
y: GET_VAR x type=kotlin.Int operator=null
|
||||
y: GET_VAR x type=kotlin.Int operator=null
|
||||
RETURN type=kotlin.Nothing from='qux(Int): Int'
|
||||
CALL 'foo(Int, Int): Int' type=kotlin.Int operator=null
|
||||
x: CALL 'foo(Int, Int): Int' type=kotlin.Int operator=null
|
||||
x: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
y: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
y: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
FUN public fun kotlin.Int.ext1(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ext1
|
||||
$RECEIVER of: ext1 type=kotlin.Int
|
||||
FUN public fun kotlin.Int.ext2(/*0*/ x: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='ext1() on Int: Int'
|
||||
$RECEIVER of 'ext1() on Int: Int' type=kotlin.Int
|
||||
FUN public fun kotlin.Int.ext2(x: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ext2
|
||||
CALL .foo type=kotlin.Int operator=null
|
||||
x: $RECEIVER of: ext2 type=kotlin.Int
|
||||
y: GET_VAR x type=kotlin.Int operator=null
|
||||
FUN public fun kotlin.Int.ext3(/*0*/ x: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='ext2(Int) on Int: Int'
|
||||
CALL 'foo(Int, Int): Int' type=kotlin.Int operator=null
|
||||
x: $RECEIVER of 'ext2(Int) on Int: Int' type=kotlin.Int
|
||||
y: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
FUN public fun kotlin.Int.ext3(x: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ext3
|
||||
CALL .foo type=kotlin.Int operator=null
|
||||
x: CALL .ext1 type=kotlin.Int operator=null
|
||||
$receiver: $RECEIVER of: ext3 type=kotlin.Int
|
||||
y: GET_VAR x type=kotlin.Int operator=null
|
||||
RETURN type=kotlin.Nothing from='ext3(Int) on Int: Int'
|
||||
CALL 'foo(Int, Int): Int' type=kotlin.Int operator=null
|
||||
x: CALL 'ext1() on Int: Int' type=kotlin.Int operator=null
|
||||
$receiver: $RECEIVER of 'ext3(Int) on Int: Int' type=kotlin.Int
|
||||
y: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
|
||||
+25
-25
@@ -2,19 +2,19 @@ FILE /chainOfSafeCalls.kt
|
||||
CLASS CLASS C
|
||||
CONSTRUCTOR public constructor C()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=C
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='C'
|
||||
FUN public final fun foo(): C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
THIS public final class C type=C
|
||||
RETURN type=kotlin.Nothing from='foo(): C'
|
||||
THIS of 'C' type=C
|
||||
FUN public final fun bar(): C?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=bar
|
||||
THIS public final class C type=C
|
||||
FUN public fun test(/*0*/ nc: C?): C?
|
||||
RETURN type=kotlin.Nothing from='bar(): C?'
|
||||
THIS of 'C' type=C
|
||||
FUN public fun test(nc: C?): C?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test
|
||||
RETURN type=kotlin.Nothing from='test(C?): C?'
|
||||
BLOCK type=C? operator=SAFE_CALL
|
||||
VAR val tmp3_safe_receiver: C?
|
||||
BLOCK type=C? operator=SAFE_CALL
|
||||
@@ -23,32 +23,32 @@ FILE /chainOfSafeCalls.kt
|
||||
VAR val tmp1_safe_receiver: C?
|
||||
BLOCK type=C? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: C?
|
||||
GET_VAR nc type=C? operator=null
|
||||
GET_VAR 'value-parameter nc: C?' type=C? operator=null
|
||||
WHEN type=C? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=C? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: C?' type=C? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .foo type=C operator=null
|
||||
$this: GET_VAR tmp0_safe_receiver type=C? operator=null
|
||||
else: CALL 'foo(): C' type=C operator=null
|
||||
$this: GET_VAR 'tmp0_safe_receiver: C?' type=C? operator=null
|
||||
WHEN type=C? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp1_safe_receiver type=C? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp1_safe_receiver: C?' type=C? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .bar type=C? operator=null
|
||||
$this: GET_VAR tmp1_safe_receiver type=C? operator=null
|
||||
else: CALL 'bar(): C?' type=C? operator=null
|
||||
$this: GET_VAR 'tmp1_safe_receiver: C?' type=C? operator=null
|
||||
WHEN type=C? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp2_safe_receiver type=C? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp2_safe_receiver: C?' type=C? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .foo type=C operator=null
|
||||
$this: GET_VAR tmp2_safe_receiver type=C? operator=null
|
||||
else: CALL 'foo(): C' type=C operator=null
|
||||
$this: GET_VAR 'tmp2_safe_receiver: C?' type=C? operator=null
|
||||
WHEN type=C? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp3_safe_receiver type=C? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp3_safe_receiver: C?' type=C? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .foo type=C operator=null
|
||||
$this: GET_VAR tmp3_safe_receiver type=C? operator=null
|
||||
else: CALL 'foo(): C' type=C operator=null
|
||||
$this: GET_VAR 'tmp3_safe_receiver: C?' type=C? operator=null
|
||||
|
||||
@@ -2,124 +2,124 @@ FILE /complexAugmentedAssignment.kt
|
||||
CLASS OBJECT X1
|
||||
CONSTRUCTOR private constructor X1()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=X1
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='X1'
|
||||
PROPERTY public final var x1: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
CLASS OBJECT X2
|
||||
CONSTRUCTOR private constructor X2()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=X2
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='X2'
|
||||
PROPERTY public final var x2: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
CLASS OBJECT X3
|
||||
CONSTRUCTOR private constructor X3()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=X3
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='X3'
|
||||
PROPERTY public final var x3: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
FUN public fun test1(/*0*/ a: kotlin.IntArray): kotlin.Unit
|
||||
FUN public fun test1(a: kotlin.IntArray): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR var i: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp1_array: kotlin.IntArray
|
||||
GET_VAR a type=kotlin.IntArray operator=null
|
||||
GET_VAR 'value-parameter a: IntArray' type=kotlin.IntArray operator=null
|
||||
VAR val tmp2_index0: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0: kotlin.Int
|
||||
GET_VAR i type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR i type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR 'i: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR 'i: Int' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
VAR val tmp3: kotlin.Int
|
||||
CALL .get type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp1_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp2_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp1_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp2_index0 type=kotlin.Int operator=null
|
||||
value: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp3 type=kotlin.Int operator=null
|
||||
GET_VAR tmp3 type=kotlin.Int operator=null
|
||||
CALL 'get(Int): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp1_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp2_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp1_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp2_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp3: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp3: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test2(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0_this: X1
|
||||
GET_OBJECT X1 type=X1
|
||||
GET_OBJECT 'X1' type=X1
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp1: kotlin.Int
|
||||
CALL .<get-x1> type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0_this type=X1 operator=null
|
||||
CALL .<set-x1> type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0_this type=X1 operator=null
|
||||
<set-?>: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
CALL '<get-x1>(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0_this: X1' type=X1 operator=null
|
||||
CALL '<set-x1>(Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0_this: X1' type=X1 operator=null
|
||||
<set-?>: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp2_this: X1.X2
|
||||
GET_OBJECT X2 type=X1.X2
|
||||
GET_OBJECT 'X2' type=X1.X2
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp3: kotlin.Int
|
||||
CALL .<get-x2> type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp2_this type=X1.X2 operator=null
|
||||
CALL .<set-x2> type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp2_this type=X1.X2 operator=null
|
||||
<set-?>: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp3 type=kotlin.Int operator=null
|
||||
GET_VAR tmp3 type=kotlin.Int operator=null
|
||||
CALL '<get-x2>(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp2_this: X1.X2' type=X1.X2 operator=null
|
||||
CALL '<set-x2>(Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp2_this: X1.X2' type=X1.X2 operator=null
|
||||
<set-?>: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp3: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp3: Int' type=kotlin.Int operator=null
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp4_this: X1.X2.X3
|
||||
GET_OBJECT X3 type=X1.X2.X3
|
||||
GET_OBJECT 'X3' type=X1.X2.X3
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp5: kotlin.Int
|
||||
CALL .<get-x3> type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp4_this type=X1.X2.X3 operator=null
|
||||
CALL .<set-x3> type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp4_this type=X1.X2.X3 operator=null
|
||||
<set-?>: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
CALL '<get-x3>(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp4_this: X1.X2.X3' type=X1.X2.X3 operator=null
|
||||
CALL '<set-x3>(Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp4_this: X1.X2.X3' type=X1.X2.X3 operator=null
|
||||
<set-?>: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
CLASS CLASS B
|
||||
CONSTRUCTOR public constructor B(/*0*/ s: kotlin.Int = ...)
|
||||
CONSTRUCTOR public constructor B(s: kotlin.Int = ...)
|
||||
s: EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
SET_BACKING_FIELD s type=kotlin.Unit operator=null
|
||||
receiver: THIS public final class B type=B
|
||||
value: GET_VAR s type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=B
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
SET_BACKING_FIELD 's: Int' type=kotlin.Unit operator=null
|
||||
receiver: THIS of 'B' type=B
|
||||
value: GET_VAR 'value-parameter s: Int = ...' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='B'
|
||||
PROPERTY public final var s: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
GET_VAR s type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
GET_VAR 'value-parameter s: Int = ...' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
CLASS OBJECT Host
|
||||
CONSTRUCTOR private constructor Host()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Host
|
||||
FUN public final operator fun B.plusAssign(/*0*/ b: B): kotlin.Unit
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Host'
|
||||
FUN public final operator fun B.plusAssign(b: B): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=PLUSEQ
|
||||
VAR val tmp0_this: B
|
||||
$RECEIVER of: plusAssign type=B
|
||||
CALL .<set-s> type=kotlin.Unit operator=PLUSEQ
|
||||
$this: GET_VAR tmp0_this type=B operator=null
|
||||
<set-?>: CALL .plus type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL .<get-s> type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR tmp0_this type=B operator=null
|
||||
other: CALL .<get-s> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR b type=B operator=null
|
||||
FUN public fun Host.test3(/*0*/ v: B): kotlin.Unit
|
||||
$RECEIVER of 'plusAssign(B) on B: Unit' type=B
|
||||
CALL '<set-s>(Int): Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
$this: GET_VAR 'tmp0_this: B' type=B operator=null
|
||||
<set-?>: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: CALL '<get-s>(): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_VAR 'tmp0_this: B' type=B operator=null
|
||||
other: CALL '<get-s>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR 'value-parameter b: B' type=B operator=null
|
||||
FUN public fun Host.test3(v: B): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
CALL .plusAssign type=kotlin.Unit operator=PLUSEQ
|
||||
$this: $RECEIVER of: test3 type=Host
|
||||
$receiver: GET_VAR v type=B operator=PLUSEQ
|
||||
b: CALL .<init> type=B operator=null
|
||||
CALL 'plusAssign(B) on B: Unit' type=kotlin.Unit operator=PLUSEQ
|
||||
$this: $RECEIVER of 'test3(B) on Host: Unit' type=Host
|
||||
$receiver: GET_VAR 'value-parameter v: B' type=B operator=PLUSEQ
|
||||
b: CALL 'constructor B(Int = ...)' type=B operator=null
|
||||
s: CONST Int type=kotlin.Int value='1000'
|
||||
|
||||
@@ -1,36 +1,36 @@
|
||||
FILE /conventionComparisons.kt
|
||||
CLASS INTERFACE IA
|
||||
CLASS INTERFACE IB
|
||||
FUN public abstract operator fun IA.compareTo(/*0*/ other: IA): kotlin.Int
|
||||
FUN public fun IB.test1(/*0*/ a1: IA, /*1*/ a2: IA): kotlin.Boolean
|
||||
FUN public abstract operator fun IA.compareTo(other: IA): kotlin.Int
|
||||
FUN public fun IB.test1(a1: IA, a2: IA): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: $RECEIVER of: test1 type=IB
|
||||
$receiver: GET_VAR a1 type=IA operator=null
|
||||
other: GET_VAR a2 type=IA operator=null
|
||||
FUN public fun IB.test2(/*0*/ a1: IA, /*1*/ a2: IA): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test1(IA, IA) on IB: Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(IA) on IA: Int' type=kotlin.Int operator=GT
|
||||
$this: $RECEIVER of 'test1(IA, IA) on IB: Boolean' type=IB
|
||||
$receiver: GET_VAR 'value-parameter a1: IA' type=IA operator=null
|
||||
other: GET_VAR 'value-parameter a2: IA' type=IA operator=null
|
||||
FUN public fun IB.test2(a1: IA, a2: IA): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: $RECEIVER of: test2 type=IB
|
||||
$receiver: GET_VAR a1 type=IA operator=null
|
||||
other: GET_VAR a2 type=IA operator=null
|
||||
FUN public fun IB.test3(/*0*/ a1: IA, /*1*/ a2: IA): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test2(IA, IA) on IB: Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(IA) on IA: Int' type=kotlin.Int operator=GTEQ
|
||||
$this: $RECEIVER of 'test2(IA, IA) on IB: Boolean' type=IB
|
||||
$receiver: GET_VAR 'value-parameter a1: IA' type=IA operator=null
|
||||
other: GET_VAR 'value-parameter a2: IA' type=IA operator=null
|
||||
FUN public fun IB.test3(a1: IA, a2: IA): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: $RECEIVER of: test3 type=IB
|
||||
$receiver: GET_VAR a1 type=IA operator=null
|
||||
other: GET_VAR a2 type=IA operator=null
|
||||
FUN public fun IB.test4(/*0*/ a1: IA, /*1*/ a2: IA): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test3(IA, IA) on IB: Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(IA) on IA: Int' type=kotlin.Int operator=LT
|
||||
$this: $RECEIVER of 'test3(IA, IA) on IB: Boolean' type=IB
|
||||
$receiver: GET_VAR 'value-parameter a1: IA' type=IA operator=null
|
||||
other: GET_VAR 'value-parameter a2: IA' type=IA operator=null
|
||||
FUN public fun IB.test4(a1: IA, a2: IA): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: $RECEIVER of: test4 type=IB
|
||||
$receiver: GET_VAR a1 type=IA operator=null
|
||||
other: GET_VAR a2 type=IA operator=null
|
||||
RETURN type=kotlin.Nothing from='test4(IA, IA) on IB: Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(IA) on IA: Int' type=kotlin.Int operator=LTEQ
|
||||
$this: $RECEIVER of 'test4(IA, IA) on IB: Boolean' type=IB
|
||||
$receiver: GET_VAR 'value-parameter a1: IA' type=IA operator=null
|
||||
other: GET_VAR 'value-parameter a2: IA' type=IA operator=null
|
||||
|
||||
+13
-13
@@ -2,31 +2,31 @@ FILE /destructuring1.kt
|
||||
CLASS OBJECT A
|
||||
CONSTRUCTOR private constructor A()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=A
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='A'
|
||||
CLASS OBJECT B
|
||||
CONSTRUCTOR private constructor B()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=B
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='B'
|
||||
FUN public final operator fun A.component1(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=component1
|
||||
RETURN type=kotlin.Nothing from='component1() on A: Int'
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
FUN public final operator fun A.component2(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=component2
|
||||
RETURN type=kotlin.Nothing from='component2() on A: Int'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
FUN public fun B.test(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=DESTRUCTURING_DECLARATION
|
||||
VAR val tmp0_container: A
|
||||
GET_OBJECT A type=A
|
||||
GET_OBJECT 'A' type=A
|
||||
VAR val x: kotlin.Int
|
||||
CALL .component1 type=kotlin.Int operator=COMPONENT_N(index=1)
|
||||
$this: $RECEIVER of: test type=B
|
||||
$receiver: GET_VAR tmp0_container type=A operator=null
|
||||
CALL 'component1() on A: Int' type=kotlin.Int operator=COMPONENT_N(index=1)
|
||||
$this: $RECEIVER of 'test() on B: Unit' type=B
|
||||
$receiver: GET_VAR 'tmp0_container: A' type=A operator=null
|
||||
VAR val y: kotlin.Int
|
||||
CALL .component2 type=kotlin.Int operator=COMPONENT_N(index=2)
|
||||
$this: $RECEIVER of: test type=B
|
||||
$receiver: GET_VAR tmp0_container type=A operator=null
|
||||
CALL 'component2() on A: Int' type=kotlin.Int operator=COMPONENT_N(index=2)
|
||||
$this: $RECEIVER of 'test() on B: Unit' type=B
|
||||
$receiver: GET_VAR 'tmp0_container: A' type=A operator=null
|
||||
|
||||
+11
-11
@@ -1,19 +1,19 @@
|
||||
FILE /dotQualified.kt
|
||||
FUN public fun length(/*0*/ s: kotlin.String): kotlin.Int
|
||||
FUN public fun length(s: kotlin.String): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=length
|
||||
CALL .<get-length> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR s type=kotlin.String operator=null
|
||||
FUN public fun lengthN(/*0*/ s: kotlin.String?): kotlin.Int?
|
||||
RETURN type=kotlin.Nothing from='length(String): Int'
|
||||
CALL '<get-length>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR 'value-parameter s: String' type=kotlin.String operator=null
|
||||
FUN public fun lengthN(s: kotlin.String?): kotlin.Int?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=lengthN
|
||||
RETURN type=kotlin.Nothing from='lengthN(String?): Int?'
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.String?
|
||||
GET_VAR s type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter s: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .<get-length> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
else: CALL '<get-length>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
|
||||
+40
-40
@@ -4,77 +4,77 @@ FILE /elvis.kt
|
||||
CONST Null type=kotlin.Nothing? value='null'
|
||||
FUN public fun foo(): kotlin.Any?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
RETURN type=kotlin.Nothing from='foo(): Any?'
|
||||
CONST Null type=kotlin.Nothing? value='null'
|
||||
FUN public fun test1(/*0*/ a: kotlin.Any?, /*1*/ b: kotlin.Any): kotlin.Any
|
||||
FUN public fun test1(a: kotlin.Any?, b: kotlin.Any): kotlin.Any
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
RETURN type=kotlin.Nothing from='test1(Any?, Any): Any'
|
||||
BLOCK type=kotlin.Any operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.Any?
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.Any operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: GET_VAR b type=kotlin.Any operator=null
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.String?, /*1*/ b: kotlin.Any): kotlin.Any
|
||||
then: GET_VAR 'value-parameter b: Any' type=kotlin.Any operator=null
|
||||
else: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
FUN public fun test2(a: kotlin.String?, b: kotlin.Any): kotlin.Any
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(String?, Any): Any'
|
||||
BLOCK type=kotlin.Any operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.String?
|
||||
GET_VAR a type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter a: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.Any operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: GET_VAR b type=kotlin.Any operator=null
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.String? operator=null
|
||||
FUN public fun test3(/*0*/ a: kotlin.Any?, /*1*/ b: kotlin.Any?): kotlin.String
|
||||
then: GET_VAR 'value-parameter b: Any' type=kotlin.Any operator=null
|
||||
else: GET_VAR 'tmp0_elvis_lhs: String?' type=kotlin.String? operator=null
|
||||
FUN public fun test3(a: kotlin.Any?, b: kotlin.Any?): kotlin.String
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR b type=kotlin.Any? operator=null
|
||||
then: RETURN type=kotlin.Nothing from=test3
|
||||
GET_VAR 'value-parameter b: Any?' type=kotlin.Any? operator=null
|
||||
then: RETURN type=kotlin.Nothing from='test3(Any?, Any?): String'
|
||||
CONST String type=kotlin.String value=''
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.String?
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
then: RETURN type=kotlin.Nothing from=test3
|
||||
GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
then: RETURN type=kotlin.Nothing from='test3(Any?, Any?): String'
|
||||
CONST String type=kotlin.String value=''
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
RETURN type=kotlin.Nothing from='test3(Any?, Any?): String'
|
||||
BLOCK type=kotlin.String operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.Any?
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.String operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR b type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter b: Any?' type=kotlin.Any? operator=null
|
||||
else: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
FUN public fun test4(/*0*/ x: kotlin.Any): kotlin.Any
|
||||
GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
FUN public fun test4(x: kotlin.Any): kotlin.Any
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
RETURN type=kotlin.Nothing from='test4(Any): Any'
|
||||
BLOCK type=kotlin.Any operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.Any?
|
||||
CALL .<get-p> type=kotlin.Any? operator=GET_PROPERTY
|
||||
CALL '<get-p>(): Any?' type=kotlin.Any? operator=GET_PROPERTY
|
||||
WHEN type=kotlin.Any operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: GET_VAR x type=kotlin.Any operator=null
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
FUN public fun test5(/*0*/ x: kotlin.Any): kotlin.Any
|
||||
then: GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
else: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
FUN public fun test5(x: kotlin.Any): kotlin.Any
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5
|
||||
RETURN type=kotlin.Nothing from='test5(Any): Any'
|
||||
BLOCK type=kotlin.Any operator=ELVIS
|
||||
VAR val tmp0_elvis_lhs: kotlin.Any?
|
||||
CALL .foo type=kotlin.Any? operator=null
|
||||
CALL 'foo(): Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.Any operator=null
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: GET_VAR x type=kotlin.Any operator=null
|
||||
else: GET_VAR tmp0_elvis_lhs type=kotlin.Any? operator=null
|
||||
then: GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
else: GET_VAR 'tmp0_elvis_lhs: Any?' type=kotlin.Any? operator=null
|
||||
|
||||
+16
-16
@@ -1,20 +1,20 @@
|
||||
FILE /equality.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
FUN public fun test1(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR a type=kotlin.Int operator=null
|
||||
arg1: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test1(Int, Int): Boolean'
|
||||
CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
arg1: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test2(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .NOT type=kotlin.Boolean operator=EXCLEQ
|
||||
arg0: CALL .EQEQ type=kotlin.Boolean operator=EXCLEQ
|
||||
arg0: GET_VAR a type=kotlin.Int operator=null
|
||||
arg1: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test3(/*0*/ a: kotlin.Any?, /*1*/ b: kotlin.Any?): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test2(Int, Int): Boolean'
|
||||
CALL 'NOT(Boolean): Boolean' type=kotlin.Boolean operator=EXCLEQ
|
||||
arg0: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EXCLEQ
|
||||
arg0: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
arg1: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test3(a: kotlin.Any?, b: kotlin.Any?): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR a type=kotlin.Any? operator=null
|
||||
arg1: GET_VAR b type=kotlin.Any? operator=null
|
||||
RETURN type=kotlin.Nothing from='test3(Any?, Any?): Boolean'
|
||||
CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
arg1: GET_VAR 'value-parameter b: Any?' type=kotlin.Any? operator=null
|
||||
|
||||
@@ -2,10 +2,10 @@ FILE /extensionPropertyGetterCall.kt
|
||||
PROPERTY public val kotlin.String.okext: kotlin.String
|
||||
PROPERTY_GETTER public fun kotlin.String.<get-okext>(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<get-okext>
|
||||
RETURN type=kotlin.Nothing from='<get-okext>() on String: String'
|
||||
CONST String type=kotlin.String value='OK'
|
||||
FUN public fun kotlin.String.test5(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5
|
||||
CALL .<get-okext> type=kotlin.String operator=GET_PROPERTY
|
||||
$receiver: $RECEIVER of: test5 type=kotlin.String
|
||||
RETURN type=kotlin.Nothing from='test5() on String: String'
|
||||
CALL '<get-okext>() on String: String' type=kotlin.String operator=GET_PROPERTY
|
||||
$receiver: $RECEIVER of 'test5() on String: String' type=kotlin.String
|
||||
|
||||
+8
-8
@@ -2,16 +2,16 @@ FILE /field.kt
|
||||
PROPERTY public var testSimple: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
PROPERTY_SETTER public fun <set-testSimple>(/*0*/ value: kotlin.Int): kotlin.Unit
|
||||
PROPERTY_SETTER public fun <set-testSimple>(value: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
SET_BACKING_FIELD testSimple type=kotlin.Unit operator=EQ
|
||||
value: GET_VAR value type=kotlin.Int operator=null
|
||||
SET_BACKING_FIELD 'testSimple: Int' type=kotlin.Unit operator=EQ
|
||||
value: GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=null
|
||||
PROPERTY public var testAugmented: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
PROPERTY_SETTER public fun <set-testAugmented>(/*0*/ value: kotlin.Int): kotlin.Unit
|
||||
PROPERTY_SETTER public fun <set-testAugmented>(value: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
SET_BACKING_FIELD testAugmented type=kotlin.Unit operator=PLUSEQ
|
||||
value: CALL .plus type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_BACKING_FIELD testAugmented type=kotlin.Int operator=PLUSEQ
|
||||
other: GET_VAR value type=kotlin.Int operator=null
|
||||
SET_BACKING_FIELD 'testAugmented: Int' type=kotlin.Unit operator=PLUSEQ
|
||||
value: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUSEQ
|
||||
$this: GET_BACKING_FIELD 'testAugmented: Int' type=kotlin.Int operator=PLUSEQ
|
||||
other: GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=null
|
||||
|
||||
+31
-31
@@ -1,54 +1,54 @@
|
||||
FILE /for.kt
|
||||
FUN public fun testEmpty(/*0*/ ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
FUN public fun testEmpty(ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
FUN public fun testIterable(/*0*/ ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
FUN public fun testIterable(ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
message: GET_VAR s type=kotlin.String operator=null
|
||||
FUN public fun testDestructuring(/*0*/ pp: kotlin.collections.List<kotlin.Pair<kotlin.Int, kotlin.String>>): kotlin.Unit
|
||||
CALL 'println(Any?): Unit' type=kotlin.Unit operator=null
|
||||
message: GET_VAR 's: String' type=kotlin.String operator=null
|
||||
FUN public fun testDestructuring(pp: kotlin.collections.List<kotlin.Pair<kotlin.Int, kotlin.String>>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR pp type=kotlin.collections.List<kotlin.Pair<kotlin.Int, kotlin.String>> operator=null
|
||||
CALL 'iterator(): Iterator<Pair<Int, String>>' type=kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter pp: List<Pair<Int, String>>' type=kotlin.collections.List<kotlin.Pair<kotlin.Int, kotlin.String>> operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<Pair<Int, String>>' type=kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val tmp1_loop_parameter: kotlin.Pair<kotlin.Int, kotlin.String>
|
||||
CALL .next type=kotlin.Pair<kotlin.Int, kotlin.String> operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>> operator=null
|
||||
CALL 'next(): Pair<Int, String>' type=kotlin.Pair<kotlin.Int, kotlin.String> operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<Pair<Int, String>>' type=kotlin.collections.Iterator<kotlin.Pair<kotlin.Int, kotlin.String>> operator=null
|
||||
VAR val i: kotlin.Int
|
||||
CALL .component1 type=kotlin.Int operator=COMPONENT_N(index=1)
|
||||
$this: GET_VAR tmp1_loop_parameter type=kotlin.Pair<kotlin.Int, kotlin.String> operator=null
|
||||
CALL 'component1(): Int' type=kotlin.Int operator=COMPONENT_N(index=1)
|
||||
$this: GET_VAR 'tmp1_loop_parameter: Pair<Int, String>' type=kotlin.Pair<kotlin.Int, kotlin.String> operator=null
|
||||
VAR val s: kotlin.String
|
||||
CALL .component2 type=kotlin.String operator=COMPONENT_N(index=2)
|
||||
$this: GET_VAR tmp1_loop_parameter type=kotlin.Pair<kotlin.Int, kotlin.String> operator=null
|
||||
CALL 'component2(): String' type=kotlin.String operator=COMPONENT_N(index=2)
|
||||
$this: GET_VAR 'tmp1_loop_parameter: Pair<Int, String>' type=kotlin.Pair<kotlin.Int, kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
message: GET_VAR i type=kotlin.Int operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
message: GET_VAR s type=kotlin.String operator=null
|
||||
CALL 'println(Int): Unit' type=kotlin.Unit operator=null
|
||||
message: GET_VAR 'i: Int' type=kotlin.Int operator=null
|
||||
CALL 'println(Any?): Unit' type=kotlin.Unit operator=null
|
||||
message: GET_VAR 's: String' type=kotlin.String operator=null
|
||||
|
||||
@@ -1,89 +1,89 @@
|
||||
FILE /forWithBreakContinue.kt
|
||||
FUN public fun testForBreak1(/*0*/ ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
FUN public fun testForBreak1(ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Nothing operator=null
|
||||
BREAK label=null loop.label=null depth=0
|
||||
FUN public fun testForBreak2(/*0*/ ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
FUN public fun testForBreak2(ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=OUTER operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s1: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Nothing operator=null
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp1_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=INNER operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s2: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Nothing operator=null
|
||||
BREAK label=OUTER loop.label=OUTER depth=1
|
||||
BREAK label=INNER loop.label=INNER depth=0
|
||||
BREAK label=null loop.label=INNER depth=0
|
||||
BREAK label=OUTER loop.label=OUTER depth=0
|
||||
FUN public fun testForContinue1(/*0*/ ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
FUN public fun testForContinue1(ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Nothing operator=null
|
||||
CONTINUE label=null loop.label=null depth=0
|
||||
FUN public fun testForContinue2(/*0*/ ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
FUN public fun testForContinue2(ss: kotlin.collections.List<kotlin.String>): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=OUTER operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s1: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp0_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp0_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Nothing operator=null
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp1_iterator: kotlin.collections.Iterator<kotlin.String>
|
||||
CALL .iterator type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR ss type=kotlin.collections.List<kotlin.String> operator=null
|
||||
CALL 'iterator(): Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=FOR_LOOP_ITERATOR
|
||||
$this: GET_VAR 'value-parameter ss: List<String>' type=kotlin.collections.List<kotlin.String> operator=null
|
||||
WHILE label=INNER operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
condition: CALL 'hasNext(): Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val s2: kotlin.String
|
||||
CALL .next type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR tmp1_iterator type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
CALL 'next(): String' type=kotlin.String operator=FOR_LOOP_NEXT
|
||||
$this: GET_VAR 'tmp1_iterator: Iterator<String>' type=kotlin.collections.Iterator<kotlin.String> operator=null
|
||||
BLOCK type=kotlin.Nothing operator=null
|
||||
CONTINUE label=OUTER loop.label=OUTER depth=1
|
||||
CONTINUE label=INNER loop.label=INNER depth=0
|
||||
|
||||
@@ -2,64 +2,64 @@ FILE /forWithImplicitReceivers.kt
|
||||
CLASS OBJECT FiveTimes
|
||||
CONSTRUCTOR private constructor FiveTimes()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=FiveTimes
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='FiveTimes'
|
||||
CLASS CLASS IntCell
|
||||
CONSTRUCTOR public constructor IntCell(/*0*/ value: kotlin.Int)
|
||||
CONSTRUCTOR public constructor IntCell(value: kotlin.Int)
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
SET_BACKING_FIELD value type=kotlin.Unit operator=null
|
||||
receiver: THIS public final class IntCell type=IntCell
|
||||
value: GET_VAR value type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=IntCell
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
SET_BACKING_FIELD 'value: Int' type=kotlin.Unit operator=null
|
||||
receiver: THIS of 'IntCell' type=IntCell
|
||||
value: GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='IntCell'
|
||||
PROPERTY public final var value: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
GET_VAR value type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
CLASS INTERFACE IReceiver
|
||||
FUN public open operator fun FiveTimes.iterator(): IntCell
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=iterator
|
||||
CALL .<init> type=IntCell operator=null
|
||||
RETURN type=kotlin.Nothing from='iterator() on FiveTimes: IntCell'
|
||||
CALL 'constructor IntCell(Int)' type=IntCell operator=null
|
||||
value: CONST Int type=kotlin.Int value='5'
|
||||
FUN public open operator fun IntCell.hasNext(): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=hasNext
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: CALL .<get-value> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: $RECEIVER of: hasNext type=IntCell
|
||||
RETURN type=kotlin.Nothing from='hasNext() on IntCell: Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=GT
|
||||
$this: CALL '<get-value>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: $RECEIVER of 'hasNext() on IntCell: Boolean' type=IntCell
|
||||
other: CONST Int type=kotlin.Int value='0'
|
||||
FUN public open operator fun IntCell.next(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=next
|
||||
RETURN type=kotlin.Nothing from='next() on IntCell: Int'
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_DECR
|
||||
VAR val tmp0_this: IntCell
|
||||
$RECEIVER of: next type=IntCell
|
||||
$RECEIVER of 'next() on IntCell: Int' type=IntCell
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_DECR
|
||||
VAR val tmp1: kotlin.Int
|
||||
CALL .<get-value> type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp0_this type=IntCell operator=null
|
||||
CALL .<set-value> type=kotlin.Unit operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp0_this type=IntCell operator=null
|
||||
<set-?>: CALL .dec type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
CALL '<get-value>(): Int' type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp0_this: IntCell' type=IntCell operator=null
|
||||
CALL '<set-value>(Int): Unit' type=kotlin.Unit operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp0_this: IntCell' type=IntCell operator=null
|
||||
<set-?>: CALL 'dec(): Int' type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
FUN public fun IReceiver.test(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit operator=FOR_LOOP
|
||||
VAR val tmp0_iterator: IntCell
|
||||
CALL .iterator type=IntCell operator=FOR_LOOP_ITERATOR
|
||||
$this: $RECEIVER of: test type=IReceiver
|
||||
$receiver: GET_OBJECT FiveTimes type=FiveTimes
|
||||
CALL 'iterator() on FiveTimes: IntCell' type=IntCell operator=FOR_LOOP_ITERATOR
|
||||
$this: $RECEIVER of 'test() on IReceiver: Unit' type=IReceiver
|
||||
$receiver: GET_OBJECT 'FiveTimes' type=FiveTimes
|
||||
WHILE label=null operator=FOR_LOOP_INNER_WHILE
|
||||
condition: CALL .hasNext type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: $RECEIVER of: test type=IReceiver
|
||||
$receiver: GET_VAR tmp0_iterator type=IntCell operator=null
|
||||
condition: CALL 'hasNext() on IntCell: Boolean' type=kotlin.Boolean operator=FOR_LOOP_HAS_NEXT
|
||||
$this: $RECEIVER of 'test() on IReceiver: Unit' type=IReceiver
|
||||
$receiver: GET_VAR 'tmp0_iterator: IntCell' type=IntCell operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=FOR_LOOP_INNER_WHILE
|
||||
VAR val i: kotlin.Int
|
||||
CALL .next type=kotlin.Int operator=FOR_LOOP_NEXT
|
||||
$this: $RECEIVER of: test type=IReceiver
|
||||
$receiver: GET_VAR tmp0_iterator type=IntCell operator=null
|
||||
CALL 'next() on IntCell: Int' type=kotlin.Int operator=FOR_LOOP_NEXT
|
||||
$this: $RECEIVER of 'test() on IReceiver: Unit' type=IReceiver
|
||||
$receiver: GET_VAR 'tmp0_iterator: IntCell' type=IntCell operator=null
|
||||
BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
message: GET_VAR i type=kotlin.Int operator=null
|
||||
CALL 'println(Int): Unit' type=kotlin.Unit operator=null
|
||||
message: GET_VAR 'i: Int' type=kotlin.Int operator=null
|
||||
|
||||
+16
-16
@@ -1,20 +1,20 @@
|
||||
FILE /identity.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
FUN public fun test1(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .EQEQEQ type=kotlin.Boolean operator=EQEQEQ
|
||||
arg0: GET_VAR a type=kotlin.Int operator=null
|
||||
arg1: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test1(Int, Int): Boolean'
|
||||
CALL 'EQEQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQEQ
|
||||
arg0: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
arg1: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test2(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .NOT type=kotlin.Boolean operator=EXCLEQEQ
|
||||
arg0: CALL .EQEQEQ type=kotlin.Boolean operator=EXCLEQEQ
|
||||
arg0: GET_VAR a type=kotlin.Int operator=null
|
||||
arg1: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test3(/*0*/ a: kotlin.Any?, /*1*/ b: kotlin.Any?): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test2(Int, Int): Boolean'
|
||||
CALL 'NOT(Boolean): Boolean' type=kotlin.Boolean operator=EXCLEQEQ
|
||||
arg0: CALL 'EQEQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EXCLEQEQ
|
||||
arg0: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
arg1: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test3(a: kotlin.Any?, b: kotlin.Any?): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .EQEQEQ type=kotlin.Boolean operator=EQEQEQ
|
||||
arg0: GET_VAR a type=kotlin.Any? operator=null
|
||||
arg1: GET_VAR b type=kotlin.Any? operator=null
|
||||
RETURN type=kotlin.Nothing from='test3(Any?, Any?): Boolean'
|
||||
CALL 'EQEQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQEQ
|
||||
arg0: GET_VAR 'value-parameter a: Any?' type=kotlin.Any? operator=null
|
||||
arg1: GET_VAR 'value-parameter b: Any?' type=kotlin.Any? operator=null
|
||||
|
||||
+8
-8
@@ -1,16 +1,16 @@
|
||||
FILE /ifElseIf.kt
|
||||
FUN public fun test(/*0*/ i: kotlin.Int): kotlin.Int
|
||||
FUN public fun test(i: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test
|
||||
RETURN type=kotlin.Nothing from='test(Int): Int'
|
||||
WHEN type=kotlin.Int operator=WHEN
|
||||
if: CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR i type=kotlin.Int operator=null
|
||||
if: CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter i: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='0'
|
||||
then: CONST Int type=kotlin.Int value='1'
|
||||
if: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR i type=kotlin.Int operator=null
|
||||
if: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter i: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='0'
|
||||
then: CONST Int type=kotlin.Int value='-1'
|
||||
else: CONST Int type=kotlin.Int value='0'
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
FILE /implicitCastOnPlatformType.kt
|
||||
FUN public fun test(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test
|
||||
RETURN type=kotlin.Nothing from='test(): String'
|
||||
TYPE_OP operator=IMPLICIT_NOTNULL typeOperand=kotlin.String
|
||||
CALL .getProperty type=kotlin.String! operator=null
|
||||
CALL 'getProperty(String!): String!' type=kotlin.String! operator=null
|
||||
p0: CONST String type=kotlin.String value='test'
|
||||
|
||||
+22
-22
@@ -1,27 +1,27 @@
|
||||
FILE /in.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.Any, /*1*/ x: kotlin.collections.Collection<kotlin.Any>): kotlin.Boolean
|
||||
FUN public fun test1(a: kotlin.Any, x: kotlin.collections.Collection<kotlin.Any>): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .contains type=kotlin.Boolean operator=IN
|
||||
$this: GET_VAR x type=kotlin.collections.Collection<kotlin.Any> operator=null
|
||||
element: GET_VAR a type=kotlin.Any operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.Any, /*1*/ x: kotlin.collections.Collection<kotlin.Any>): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test1(Any, Collection<Any>): Boolean'
|
||||
CALL 'contains(Any): Boolean' type=kotlin.Boolean operator=IN
|
||||
$this: GET_VAR 'value-parameter x: Collection<Any>' type=kotlin.collections.Collection<kotlin.Any> operator=null
|
||||
element: GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test2(a: kotlin.Any, x: kotlin.collections.Collection<kotlin.Any>): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .NOT type=kotlin.Boolean operator=NOT_IN
|
||||
arg0: CALL .contains type=kotlin.Boolean operator=NOT_IN
|
||||
$this: GET_VAR x type=kotlin.collections.Collection<kotlin.Any> operator=null
|
||||
element: GET_VAR a type=kotlin.Any operator=null
|
||||
FUN public fun </*0*/ T> test3(/*0*/ a: T, /*1*/ x: kotlin.collections.Collection<T>): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test2(Any, Collection<Any>): Boolean'
|
||||
CALL 'NOT(Boolean): Boolean' type=kotlin.Boolean operator=NOT_IN
|
||||
arg0: CALL 'contains(Any): Boolean' type=kotlin.Boolean operator=NOT_IN
|
||||
$this: GET_VAR 'value-parameter x: Collection<Any>' type=kotlin.collections.Collection<kotlin.Any> operator=null
|
||||
element: GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
FUN public fun <T> test3(a: T, x: kotlin.collections.Collection<T>): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .contains type=kotlin.Boolean operator=IN
|
||||
$this: GET_VAR x type=kotlin.collections.Collection<T> operator=null
|
||||
element: GET_VAR a type=T operator=null
|
||||
FUN public fun </*0*/ T> test4(/*0*/ a: T, /*1*/ x: kotlin.collections.Collection<T>): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test3(T, Collection<T>): Boolean'
|
||||
CALL 'contains(T): Boolean' type=kotlin.Boolean operator=IN
|
||||
$this: GET_VAR 'value-parameter x: Collection<T>' type=kotlin.collections.Collection<T> operator=null
|
||||
element: GET_VAR 'value-parameter a: T' type=T operator=null
|
||||
FUN public fun <T> test4(a: T, x: kotlin.collections.Collection<T>): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
CALL .NOT type=kotlin.Boolean operator=NOT_IN
|
||||
arg0: CALL .contains type=kotlin.Boolean operator=NOT_IN
|
||||
$this: GET_VAR x type=kotlin.collections.Collection<T> operator=null
|
||||
element: GET_VAR a type=T operator=null
|
||||
RETURN type=kotlin.Nothing from='test4(T, Collection<T>): Boolean'
|
||||
CALL 'NOT(Boolean): Boolean' type=kotlin.Boolean operator=NOT_IN
|
||||
arg0: CALL 'contains(T): Boolean' type=kotlin.Boolean operator=NOT_IN
|
||||
$this: GET_VAR 'value-parameter x: Collection<T>' type=kotlin.collections.Collection<T> operator=null
|
||||
element: GET_VAR 'value-parameter a: T' type=T operator=null
|
||||
|
||||
+81
-81
@@ -4,7 +4,7 @@ FILE /incrementDecrement.kt
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
PROPERTY public val arr: kotlin.IntArray
|
||||
EXPRESSION_BODY
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
elements: VARARG type=IntArray varargElementType=Int
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
CONST Int type=kotlin.Int value='2'
|
||||
@@ -16,19 +16,19 @@ FILE /incrementDecrement.kt
|
||||
VAR val x1: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_INCR
|
||||
VAR val tmp0: kotlin.Int
|
||||
CALL .inc type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: GET_VAR x type=kotlin.Int operator=PREFIX_INCR
|
||||
SET_VAR x type=kotlin.Unit operator=PREFIX_INCR
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=PREFIX_INCR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=PREFIX_INCR
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
VAR val x2: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_DECR
|
||||
VAR val tmp1: kotlin.Int
|
||||
CALL .dec type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: GET_VAR x type=kotlin.Int operator=PREFIX_DECR
|
||||
SET_VAR x type=kotlin.Unit operator=PREFIX_DECR
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
CALL 'dec(): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=PREFIX_DECR
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
FUN public fun testVarPostfix(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR var x: kotlin.Int
|
||||
@@ -36,124 +36,124 @@ FILE /incrementDecrement.kt
|
||||
VAR val x1: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR x type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR 'x: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
VAR val x2: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_DECR
|
||||
VAR val tmp1: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=POSTFIX_DECR
|
||||
SET_VAR x type=kotlin.Unit operator=POSTFIX_DECR
|
||||
CALL .dec type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR 'x: Int' type=kotlin.Int operator=POSTFIX_DECR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=POSTFIX_DECR
|
||||
CALL 'dec(): Int' type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
FUN public fun testPropPrefix(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR val p1: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_INCR
|
||||
BLOCK type=kotlin.Int operator=PREFIX_INCR
|
||||
VAR val tmp0: kotlin.Int
|
||||
CALL .inc type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=PREFIX_INCR
|
||||
CALL .<set-p> type=kotlin.Unit operator=PREFIX_INCR
|
||||
<set-?>: GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=PREFIX_INCR
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=PREFIX_INCR
|
||||
<set-?>: GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
VAR val p2: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_DECR
|
||||
BLOCK type=kotlin.Int operator=PREFIX_DECR
|
||||
VAR val tmp1: kotlin.Int
|
||||
CALL .dec type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=PREFIX_DECR
|
||||
CALL .<set-p> type=kotlin.Unit operator=PREFIX_DECR
|
||||
<set-?>: GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
CALL 'dec(): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=PREFIX_DECR
|
||||
<set-?>: GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
FUN public fun testPropPostfix(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR val p1: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0: kotlin.Int
|
||||
CALL .<get-p> type=kotlin.Int operator=POSTFIX_INCR
|
||||
CALL .<set-p> type=kotlin.Unit operator=POSTFIX_INCR
|
||||
<set-?>: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
CALL '<get-p>(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
<set-?>: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
VAR val p2: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_DECR
|
||||
BLOCK type=kotlin.Int operator=PREFIX_DECR
|
||||
VAR val tmp1: kotlin.Int
|
||||
CALL .dec type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: CALL .<get-p> type=kotlin.Int operator=PREFIX_DECR
|
||||
CALL .<set-p> type=kotlin.Unit operator=PREFIX_DECR
|
||||
<set-?>: GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
CALL 'dec(): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: CALL '<get-p>(): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
CALL '<set-p>(Int): Unit' type=kotlin.Unit operator=PREFIX_DECR
|
||||
<set-?>: GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
FUN public fun testArrayPrefix(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR val a1: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_INCR
|
||||
VAR val tmp0_array: kotlin.IntArray
|
||||
CALL .<get-arr> type=kotlin.IntArray operator=GET_PROPERTY
|
||||
CALL '<get-arr>(): IntArray' type=kotlin.IntArray operator=GET_PROPERTY
|
||||
VAR val tmp1_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
VAR val tmp2: kotlin.Int
|
||||
CALL .inc type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: CALL .get type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=PREFIX_INCR
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
value: GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: CALL 'get(Int): Int' type=kotlin.Int operator=PREFIX_INCR
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=PREFIX_INCR
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
value: GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
VAR val a2: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=PREFIX_DECR
|
||||
VAR val tmp3_array: kotlin.IntArray
|
||||
CALL .<get-arr> type=kotlin.IntArray operator=GET_PROPERTY
|
||||
CALL '<get-arr>(): IntArray' type=kotlin.IntArray operator=GET_PROPERTY
|
||||
VAR val tmp4_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
VAR val tmp5: kotlin.Int
|
||||
CALL .dec type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: CALL .get type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: GET_VAR tmp3_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp4_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=PREFIX_DECR
|
||||
$this: GET_VAR tmp3_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp4_index0 type=kotlin.Int operator=null
|
||||
value: GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
CALL 'dec(): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: CALL 'get(Int): Int' type=kotlin.Int operator=PREFIX_DECR
|
||||
$this: GET_VAR 'tmp3_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp4_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=PREFIX_DECR
|
||||
$this: GET_VAR 'tmp3_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp4_index0: Int' type=kotlin.Int operator=null
|
||||
value: GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
FUN public fun testArrayPostfix(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
VAR val a1: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0_array: kotlin.IntArray
|
||||
CALL .<get-arr> type=kotlin.IntArray operator=GET_PROPERTY
|
||||
CALL '<get-arr>(): IntArray' type=kotlin.IntArray operator=GET_PROPERTY
|
||||
VAR val tmp1_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
VAR val tmp2: kotlin.Int
|
||||
CALL .get type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp1_index0 type=kotlin.Int operator=null
|
||||
value: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
CALL 'get(Int): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp1_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
VAR val a2: kotlin.Int
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_DECR
|
||||
VAR val tmp3_array: kotlin.IntArray
|
||||
CALL .<get-arr> type=kotlin.IntArray operator=GET_PROPERTY
|
||||
CALL '<get-arr>(): IntArray' type=kotlin.IntArray operator=GET_PROPERTY
|
||||
VAR val tmp4_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
VAR val tmp5: kotlin.Int
|
||||
CALL .get type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp3_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp4_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp3_array type=kotlin.IntArray operator=null
|
||||
index: GET_VAR tmp4_index0 type=kotlin.Int operator=null
|
||||
value: CALL .dec type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
CALL 'get(Int): Int' type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp3_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp4_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int): Unit' type=kotlin.Unit operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp3_array: IntArray' type=kotlin.IntArray operator=null
|
||||
index: GET_VAR 'tmp4_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'dec(): Int' type=kotlin.Int operator=POSTFIX_DECR
|
||||
$this: GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
|
||||
@@ -2,20 +2,20 @@ FILE /Derived.kt
|
||||
CLASS CLASS Derived
|
||||
CONSTRUCTOR public constructor Derived()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Base
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Derived
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Base()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Derived'
|
||||
ANONYMOUS_INITIALIZER Derived
|
||||
BLOCK_BODY
|
||||
SET_BACKING_FIELD value type=kotlin.Unit operator=EQ
|
||||
receiver: THIS public final class Derived : Base type=Derived
|
||||
SET_BACKING_FIELD 'value: Int' type=kotlin.Unit operator=EQ
|
||||
receiver: THIS of 'Derived' type=Derived
|
||||
value: CONST Int type=kotlin.Int value='0'
|
||||
FUN public final fun getValue(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=getValue
|
||||
GET_BACKING_FIELD value type=kotlin.Int operator=GET_PROPERTY
|
||||
receiver: THIS public final class Derived : Base type=Derived
|
||||
FUN public final fun setValue(/*0*/ value: kotlin.Int): kotlin.Unit
|
||||
RETURN type=kotlin.Nothing from='getValue(): Int'
|
||||
GET_BACKING_FIELD 'value: Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
receiver: THIS of 'Derived' type=Derived
|
||||
FUN public final fun setValue(value: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
SET_BACKING_FIELD value type=kotlin.Unit operator=EQ
|
||||
receiver: THIS public final class Derived : Base type=Derived
|
||||
value: GET_VAR value type=kotlin.Int operator=null
|
||||
SET_BACKING_FIELD 'value: Int' type=kotlin.Unit operator=EQ
|
||||
receiver: THIS of 'Derived' type=Derived
|
||||
value: GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=null
|
||||
|
||||
@@ -1,42 +1,42 @@
|
||||
FILE /jvmStaticFieldReference.kt
|
||||
FUN public fun testFun(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(String!): Unit' type=kotlin.Unit operator=null
|
||||
$this: TYPE_OP operator=IMPLICIT_NOTNULL typeOperand=java.io.PrintStream
|
||||
GET_BACKING_FIELD out type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
GET_BACKING_FIELD 'out: PrintStream!' type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
p0: CONST String type=kotlin.String value='testFun'
|
||||
PROPERTY public var testProp: kotlin.Any
|
||||
PROPERTY_GETTER public fun <get-testProp>(): kotlin.Any
|
||||
BLOCK_BODY
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(String!): Unit' type=kotlin.Unit operator=null
|
||||
$this: TYPE_OP operator=IMPLICIT_NOTNULL typeOperand=java.io.PrintStream
|
||||
GET_BACKING_FIELD out type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
GET_BACKING_FIELD 'out: PrintStream!' type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
p0: CONST String type=kotlin.String value='testProp/get'
|
||||
RETURN type=kotlin.Nothing from=<get-testProp>
|
||||
RETURN type=kotlin.Nothing from='<get-testProp>(): Any'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
PROPERTY_SETTER public fun <set-testProp>(/*0*/ value: kotlin.Any): kotlin.Unit
|
||||
PROPERTY_SETTER public fun <set-testProp>(value: kotlin.Any): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(String!): Unit' type=kotlin.Unit operator=null
|
||||
$this: TYPE_OP operator=IMPLICIT_NOTNULL typeOperand=java.io.PrintStream
|
||||
GET_BACKING_FIELD out type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
GET_BACKING_FIELD 'out: PrintStream!' type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
p0: CONST String type=kotlin.String value='testProp/set'
|
||||
CLASS CLASS TestClass
|
||||
CONSTRUCTOR public constructor TestClass()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=TestClass
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='TestClass'
|
||||
PROPERTY public final val test: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
WHEN type=kotlin.Int operator=WHEN
|
||||
else: BLOCK type=kotlin.Int operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(String!): Unit' type=kotlin.Unit operator=null
|
||||
$this: TYPE_OP operator=IMPLICIT_NOTNULL typeOperand=java.io.PrintStream
|
||||
GET_BACKING_FIELD out type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
GET_BACKING_FIELD 'out: PrintStream!' type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
p0: CONST String type=kotlin.String value='TestClass/test'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
ANONYMOUS_INITIALIZER TestClass
|
||||
BLOCK_BODY
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(String!): Unit' type=kotlin.Unit operator=null
|
||||
$this: TYPE_OP operator=IMPLICIT_NOTNULL typeOperand=java.io.PrintStream
|
||||
GET_BACKING_FIELD out type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
GET_BACKING_FIELD 'out: PrintStream!' type=java.io.PrintStream! operator=GET_PROPERTY
|
||||
p0: CONST String type=kotlin.String value='TestClass/init'
|
||||
|
||||
+144
-144
@@ -1,169 +1,169 @@
|
||||
FILE /primitiveComparisons.kt
|
||||
FUN public fun btest1(/*0*/ a: kotlin.Byte, /*1*/ b: kotlin.Byte): kotlin.Boolean
|
||||
FUN public fun btest1(a: kotlin.Byte, b: kotlin.Byte): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=btest1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.Byte operator=null
|
||||
other: GET_VAR b type=kotlin.Byte operator=null
|
||||
FUN public fun btest2(/*0*/ a: kotlin.Byte, /*1*/ b: kotlin.Byte): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='btest1(Byte, Byte): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Byte): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: Byte' type=kotlin.Byte operator=null
|
||||
other: GET_VAR 'value-parameter b: Byte' type=kotlin.Byte operator=null
|
||||
FUN public fun btest2(a: kotlin.Byte, b: kotlin.Byte): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=btest2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.Byte operator=null
|
||||
other: GET_VAR b type=kotlin.Byte operator=null
|
||||
FUN public fun btest3(/*0*/ a: kotlin.Byte, /*1*/ b: kotlin.Byte): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='btest2(Byte, Byte): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Byte): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: Byte' type=kotlin.Byte operator=null
|
||||
other: GET_VAR 'value-parameter b: Byte' type=kotlin.Byte operator=null
|
||||
FUN public fun btest3(a: kotlin.Byte, b: kotlin.Byte): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=btest3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.Byte operator=null
|
||||
other: GET_VAR b type=kotlin.Byte operator=null
|
||||
FUN public fun btest4(/*0*/ a: kotlin.Byte, /*1*/ b: kotlin.Byte): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='btest3(Byte, Byte): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(Byte): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: Byte' type=kotlin.Byte operator=null
|
||||
other: GET_VAR 'value-parameter b: Byte' type=kotlin.Byte operator=null
|
||||
FUN public fun btest4(a: kotlin.Byte, b: kotlin.Byte): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=btest4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.Byte operator=null
|
||||
other: GET_VAR b type=kotlin.Byte operator=null
|
||||
FUN public fun stest1(/*0*/ a: kotlin.Short, /*1*/ b: kotlin.Short): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='btest4(Byte, Byte): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(Byte): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: Byte' type=kotlin.Byte operator=null
|
||||
other: GET_VAR 'value-parameter b: Byte' type=kotlin.Byte operator=null
|
||||
FUN public fun stest1(a: kotlin.Short, b: kotlin.Short): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=stest1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.Short operator=null
|
||||
other: GET_VAR b type=kotlin.Short operator=null
|
||||
FUN public fun stest2(/*0*/ a: kotlin.Short, /*1*/ b: kotlin.Short): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='stest1(Short, Short): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Short): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: Short' type=kotlin.Short operator=null
|
||||
other: GET_VAR 'value-parameter b: Short' type=kotlin.Short operator=null
|
||||
FUN public fun stest2(a: kotlin.Short, b: kotlin.Short): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=stest2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.Short operator=null
|
||||
other: GET_VAR b type=kotlin.Short operator=null
|
||||
FUN public fun stest3(/*0*/ a: kotlin.Short, /*1*/ b: kotlin.Short): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='stest2(Short, Short): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Short): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: Short' type=kotlin.Short operator=null
|
||||
other: GET_VAR 'value-parameter b: Short' type=kotlin.Short operator=null
|
||||
FUN public fun stest3(a: kotlin.Short, b: kotlin.Short): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=stest3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.Short operator=null
|
||||
other: GET_VAR b type=kotlin.Short operator=null
|
||||
FUN public fun stest4(/*0*/ a: kotlin.Short, /*1*/ b: kotlin.Short): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='stest3(Short, Short): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(Short): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: Short' type=kotlin.Short operator=null
|
||||
other: GET_VAR 'value-parameter b: Short' type=kotlin.Short operator=null
|
||||
FUN public fun stest4(a: kotlin.Short, b: kotlin.Short): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=stest4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.Short operator=null
|
||||
other: GET_VAR b type=kotlin.Short operator=null
|
||||
FUN public fun itest1(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='stest4(Short, Short): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(Short): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: Short' type=kotlin.Short operator=null
|
||||
other: GET_VAR 'value-parameter b: Short' type=kotlin.Short operator=null
|
||||
FUN public fun itest1(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=itest1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun itest2(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='itest1(Int, Int): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun itest2(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=itest2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun itest3(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='itest2(Int, Int): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun itest3(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=itest3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun itest4(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='itest3(Int, Int): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun itest4(a: kotlin.Int, b: kotlin.Int): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=itest4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun ltest1(/*0*/ a: kotlin.Long, /*1*/ b: kotlin.Long): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='itest4(Int, Int): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun ltest1(a: kotlin.Long, b: kotlin.Long): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ltest1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.Long operator=null
|
||||
other: GET_VAR b type=kotlin.Long operator=null
|
||||
FUN public fun ltest2(/*0*/ a: kotlin.Long, /*1*/ b: kotlin.Long): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ltest1(Long, Long): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Long): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: Long' type=kotlin.Long operator=null
|
||||
other: GET_VAR 'value-parameter b: Long' type=kotlin.Long operator=null
|
||||
FUN public fun ltest2(a: kotlin.Long, b: kotlin.Long): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ltest2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.Long operator=null
|
||||
other: GET_VAR b type=kotlin.Long operator=null
|
||||
FUN public fun ltest3(/*0*/ a: kotlin.Long, /*1*/ b: kotlin.Long): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ltest2(Long, Long): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Long): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: Long' type=kotlin.Long operator=null
|
||||
other: GET_VAR 'value-parameter b: Long' type=kotlin.Long operator=null
|
||||
FUN public fun ltest3(a: kotlin.Long, b: kotlin.Long): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ltest3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.Long operator=null
|
||||
other: GET_VAR b type=kotlin.Long operator=null
|
||||
FUN public fun ltest4(/*0*/ a: kotlin.Long, /*1*/ b: kotlin.Long): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ltest3(Long, Long): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(Long): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: Long' type=kotlin.Long operator=null
|
||||
other: GET_VAR 'value-parameter b: Long' type=kotlin.Long operator=null
|
||||
FUN public fun ltest4(a: kotlin.Long, b: kotlin.Long): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ltest4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.Long operator=null
|
||||
other: GET_VAR b type=kotlin.Long operator=null
|
||||
FUN public fun ftest1(/*0*/ a: kotlin.Float, /*1*/ b: kotlin.Float): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ltest4(Long, Long): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(Long): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: Long' type=kotlin.Long operator=null
|
||||
other: GET_VAR 'value-parameter b: Long' type=kotlin.Long operator=null
|
||||
FUN public fun ftest1(a: kotlin.Float, b: kotlin.Float): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ftest1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.Float operator=null
|
||||
other: GET_VAR b type=kotlin.Float operator=null
|
||||
FUN public fun ftest2(/*0*/ a: kotlin.Float, /*1*/ b: kotlin.Float): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ftest1(Float, Float): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Float): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: Float' type=kotlin.Float operator=null
|
||||
other: GET_VAR 'value-parameter b: Float' type=kotlin.Float operator=null
|
||||
FUN public fun ftest2(a: kotlin.Float, b: kotlin.Float): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ftest2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.Float operator=null
|
||||
other: GET_VAR b type=kotlin.Float operator=null
|
||||
FUN public fun ftest3(/*0*/ a: kotlin.Float, /*1*/ b: kotlin.Float): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ftest2(Float, Float): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Float): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: Float' type=kotlin.Float operator=null
|
||||
other: GET_VAR 'value-parameter b: Float' type=kotlin.Float operator=null
|
||||
FUN public fun ftest3(a: kotlin.Float, b: kotlin.Float): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ftest3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.Float operator=null
|
||||
other: GET_VAR b type=kotlin.Float operator=null
|
||||
FUN public fun ftest4(/*0*/ a: kotlin.Float, /*1*/ b: kotlin.Float): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ftest3(Float, Float): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(Float): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: Float' type=kotlin.Float operator=null
|
||||
other: GET_VAR 'value-parameter b: Float' type=kotlin.Float operator=null
|
||||
FUN public fun ftest4(a: kotlin.Float, b: kotlin.Float): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=ftest4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.Float operator=null
|
||||
other: GET_VAR b type=kotlin.Float operator=null
|
||||
FUN public fun dtest1(/*0*/ a: kotlin.Double, /*1*/ b: kotlin.Double): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='ftest4(Float, Float): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(Float): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: Float' type=kotlin.Float operator=null
|
||||
other: GET_VAR 'value-parameter b: Float' type=kotlin.Float operator=null
|
||||
FUN public fun dtest1(a: kotlin.Double, b: kotlin.Double): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=dtest1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.Double operator=null
|
||||
other: GET_VAR b type=kotlin.Double operator=null
|
||||
FUN public fun dtest2(/*0*/ a: kotlin.Double, /*1*/ b: kotlin.Double): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='dtest1(Double, Double): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(Double): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: Double' type=kotlin.Double operator=null
|
||||
other: GET_VAR 'value-parameter b: Double' type=kotlin.Double operator=null
|
||||
FUN public fun dtest2(a: kotlin.Double, b: kotlin.Double): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=dtest2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.Double operator=null
|
||||
other: GET_VAR b type=kotlin.Double operator=null
|
||||
FUN public fun dtest3(/*0*/ a: kotlin.Double, /*1*/ b: kotlin.Double): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='dtest2(Double, Double): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Double): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: Double' type=kotlin.Double operator=null
|
||||
other: GET_VAR 'value-parameter b: Double' type=kotlin.Double operator=null
|
||||
FUN public fun dtest3(a: kotlin.Double, b: kotlin.Double): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=dtest3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.Double operator=null
|
||||
other: GET_VAR b type=kotlin.Double operator=null
|
||||
FUN public fun dtest4(/*0*/ a: kotlin.Double, /*1*/ b: kotlin.Double): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='dtest3(Double, Double): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(Double): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: Double' type=kotlin.Double operator=null
|
||||
other: GET_VAR 'value-parameter b: Double' type=kotlin.Double operator=null
|
||||
FUN public fun dtest4(a: kotlin.Double, b: kotlin.Double): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=dtest4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.Double operator=null
|
||||
other: GET_VAR b type=kotlin.Double operator=null
|
||||
RETURN type=kotlin.Nothing from='dtest4(Double, Double): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(Double): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: Double' type=kotlin.Double operator=null
|
||||
other: GET_VAR 'value-parameter b: Double' type=kotlin.Double operator=null
|
||||
|
||||
+15
-15
@@ -4,37 +4,37 @@ FILE /references.kt
|
||||
CONST String type=kotlin.String value='OK'
|
||||
PROPERTY public val ok2: kotlin.String = "OK"
|
||||
EXPRESSION_BODY
|
||||
CALL .<get-ok> type=kotlin.String operator=GET_PROPERTY
|
||||
CALL '<get-ok>(): String' type=kotlin.String operator=GET_PROPERTY
|
||||
PROPERTY public val ok3: kotlin.String
|
||||
PROPERTY_GETTER public fun <get-ok3>(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<get-ok3>
|
||||
RETURN type=kotlin.Nothing from='<get-ok3>(): String'
|
||||
CONST String type=kotlin.String value='OK'
|
||||
FUN public fun test1(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .<get-ok> type=kotlin.String operator=GET_PROPERTY
|
||||
FUN public fun test2(/*0*/ x: kotlin.String): kotlin.String
|
||||
RETURN type=kotlin.Nothing from='test1(): String'
|
||||
CALL '<get-ok>(): String' type=kotlin.String operator=GET_PROPERTY
|
||||
FUN public fun test2(x: kotlin.String): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
GET_VAR x type=kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test2(String): String'
|
||||
GET_VAR 'value-parameter x: String' type=kotlin.String operator=null
|
||||
FUN public fun test3(): kotlin.String
|
||||
BLOCK_BODY
|
||||
VAR val x: kotlin.String = "OK"
|
||||
CONST String type=kotlin.String value='OK'
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
GET_VAR x type=kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test3(): String'
|
||||
GET_VAR 'x: String' type=kotlin.String operator=null
|
||||
FUN public fun test4(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
CALL .<get-ok3> type=kotlin.String operator=GET_PROPERTY
|
||||
RETURN type=kotlin.Nothing from='test4(): String'
|
||||
CALL '<get-ok3>(): String' type=kotlin.String operator=GET_PROPERTY
|
||||
PROPERTY public val kotlin.String.okext: kotlin.String
|
||||
PROPERTY_GETTER public fun kotlin.String.<get-okext>(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<get-okext>
|
||||
RETURN type=kotlin.Nothing from='<get-okext>() on String: String'
|
||||
CONST String type=kotlin.String value='OK'
|
||||
FUN public fun kotlin.String.test5(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5
|
||||
CALL .<get-okext> type=kotlin.String operator=GET_PROPERTY
|
||||
$receiver: $RECEIVER of: test5 type=kotlin.String
|
||||
RETURN type=kotlin.Nothing from='test5() on String: String'
|
||||
CALL '<get-okext>() on String: String' type=kotlin.String operator=GET_PROPERTY
|
||||
$receiver: $RECEIVER of 'test5() on String: String' type=kotlin.String
|
||||
|
||||
@@ -2,8 +2,8 @@ FILE /reflectionLiterals.kt
|
||||
CLASS CLASS A
|
||||
CONSTRUCTOR public constructor A()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=A
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='A'
|
||||
FUN public final fun foo(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public fun bar(): kotlin.Unit
|
||||
@@ -13,23 +13,23 @@ FILE /reflectionLiterals.kt
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
PROPERTY public val test1: kotlin.reflect.KClass<A>
|
||||
EXPRESSION_BODY
|
||||
CLASS_REFERENCE A type=kotlin.reflect.KClass<A>
|
||||
CLASS_REFERENCE 'A' type=kotlin.reflect.KClass<A>
|
||||
PROPERTY public val test2: kotlin.reflect.KClass<kotlin.Int>
|
||||
EXPRESSION_BODY
|
||||
GET_CLASS type=kotlin.reflect.KClass<kotlin.Int>
|
||||
CALL .<get-qux> type=kotlin.Int operator=GET_PROPERTY
|
||||
CALL '<get-qux>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
PROPERTY public val test3: kotlin.reflect.KFunction1<A, kotlin.Unit>
|
||||
EXPRESSION_BODY
|
||||
CALLABLE_REFERENCE foo type=kotlin.reflect.KFunction1<A, kotlin.Unit> operator=null
|
||||
CALLABLE_REFERENCE 'foo(): Unit' type=kotlin.reflect.KFunction1<A, kotlin.Unit> operator=null
|
||||
PROPERTY public val test4: kotlin.reflect.KFunction0<A>
|
||||
EXPRESSION_BODY
|
||||
CALLABLE_REFERENCE <init> type=kotlin.reflect.KFunction0<A> operator=null
|
||||
CALLABLE_REFERENCE 'constructor A()' type=kotlin.reflect.KFunction0<A> operator=null
|
||||
PROPERTY public val test5: kotlin.reflect.KFunction0<kotlin.Unit>
|
||||
EXPRESSION_BODY
|
||||
CALLABLE_REFERENCE foo type=kotlin.reflect.KFunction0<kotlin.Unit> operator=null
|
||||
CALLABLE_REFERENCE 'foo(): Unit' type=kotlin.reflect.KFunction0<kotlin.Unit> operator=null
|
||||
PROPERTY public val test6: kotlin.reflect.KFunction0<kotlin.Unit>
|
||||
EXPRESSION_BODY
|
||||
CALLABLE_REFERENCE bar type=kotlin.reflect.KFunction0<kotlin.Unit> operator=null
|
||||
CALLABLE_REFERENCE 'bar(): Unit' type=kotlin.reflect.KFunction0<kotlin.Unit> operator=null
|
||||
PROPERTY public val test7: kotlin.reflect.KProperty0<kotlin.Int>
|
||||
EXPRESSION_BODY
|
||||
CALLABLE_REFERENCE qux type=kotlin.reflect.KProperty0<kotlin.Int> operator=null
|
||||
CALLABLE_REFERENCE 'qux: Int' type=kotlin.reflect.KProperty0<kotlin.Int> operator=null
|
||||
|
||||
+40
-40
@@ -2,79 +2,79 @@ FILE /safeCallWithIncrementDecrement.kt
|
||||
CLASS CLASS C
|
||||
CONSTRUCTOR public constructor C()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=C
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='C'
|
||||
PROPERTY public var test.C?.p: kotlin.Int
|
||||
PROPERTY_GETTER public fun test.C?.<get-p>(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<get-p>
|
||||
RETURN type=kotlin.Nothing from='<get-p>() on C?: Int'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
PROPERTY_SETTER public fun test.C?.<set-p>(/*0*/ value: kotlin.Int): kotlin.Unit
|
||||
PROPERTY_SETTER public fun test.C?.<set-p>(value: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public operator fun kotlin.Int?.inc(): kotlin.Int?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=inc
|
||||
RETURN type=kotlin.Nothing from='inc() on Int?: Int?'
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.Int?
|
||||
$RECEIVER of: inc type=kotlin.Int?
|
||||
$RECEIVER of 'inc() on Int?: Int?' type=kotlin.Int?
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.Int? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: Int?' type=kotlin.Int? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .inc type=kotlin.Int operator=null
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.Int? operator=null
|
||||
FUN public operator fun kotlin.Int?.get(/*0*/ index: kotlin.Int): kotlin.Int
|
||||
else: CALL 'inc(): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'tmp0_safe_receiver: Int?' type=kotlin.Int? operator=null
|
||||
FUN public operator fun kotlin.Int?.get(index: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=get
|
||||
RETURN type=kotlin.Nothing from='get(Int) on Int?: Int'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
FUN public operator fun kotlin.Int?.set(/*0*/ index: kotlin.Int, /*1*/ value: kotlin.Int): kotlin.Unit
|
||||
FUN public operator fun kotlin.Int?.set(index: kotlin.Int, value: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public fun testProperty(/*0*/ nc: test.C?): kotlin.Unit
|
||||
FUN public fun testProperty(nc: test.C?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: test.C?
|
||||
GET_VAR nc type=test.C? operator=null
|
||||
GET_VAR 'value-parameter nc: C?' type=test.C? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=test.C? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: C?' type=test.C? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp1_this: test.C?
|
||||
GET_VAR tmp0_safe_receiver type=test.C? operator=null
|
||||
GET_VAR 'tmp0_safe_receiver: C?' type=test.C? operator=null
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp2: kotlin.Int
|
||||
CALL .<get-p> type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp1_this type=test.C? operator=null
|
||||
CALL .<set-p> type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp1_this type=test.C? operator=null
|
||||
value: CALL .inc type=kotlin.Int? operator=POSTFIX_INCR
|
||||
$receiver: GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
FUN public fun testArrayAccess(/*0*/ nc: test.C?): kotlin.Unit
|
||||
CALL '<get-p>() on C?: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp1_this: C?' type=test.C? operator=null
|
||||
CALL '<set-p>(Int) on C?: Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp1_this: C?' type=test.C? operator=null
|
||||
value: CALL 'inc() on Int?: Int?' type=kotlin.Int? operator=POSTFIX_INCR
|
||||
$receiver: GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
FUN public fun testArrayAccess(nc: test.C?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp3_array: kotlin.Int?
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: test.C?
|
||||
GET_VAR nc type=test.C? operator=null
|
||||
GET_VAR 'value-parameter nc: C?' type=test.C? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=test.C? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: C?' type=test.C? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .<get-p> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR tmp0_safe_receiver type=test.C? operator=null
|
||||
else: CALL '<get-p>() on C?: Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR 'tmp0_safe_receiver: C?' type=test.C? operator=null
|
||||
VAR val tmp4_index0: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
VAR val tmp5: kotlin.Int
|
||||
CALL .get type=kotlin.Int operator=POSTFIX_INCR
|
||||
$receiver: GET_VAR tmp3_array type=kotlin.Int? operator=null
|
||||
index: GET_VAR tmp4_index0 type=kotlin.Int operator=null
|
||||
CALL .set type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$receiver: GET_VAR tmp3_array type=kotlin.Int? operator=null
|
||||
index: GET_VAR tmp4_index0 type=kotlin.Int operator=null
|
||||
value: CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
GET_VAR tmp5 type=kotlin.Int operator=null
|
||||
CALL 'get(Int) on Int?: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$receiver: GET_VAR 'tmp3_array: Int?' type=kotlin.Int? operator=null
|
||||
index: GET_VAR 'tmp4_index0: Int' type=kotlin.Int operator=null
|
||||
CALL 'set(Int, Int) on Int?: Unit' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
$receiver: GET_VAR 'tmp3_array: Int?' type=kotlin.Int? operator=null
|
||||
index: GET_VAR 'tmp4_index0: Int' type=kotlin.Int operator=null
|
||||
value: CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp5: Int' type=kotlin.Int operator=null
|
||||
|
||||
+46
-46
@@ -1,85 +1,85 @@
|
||||
FILE /safeCalls.kt
|
||||
CLASS CLASS Ref
|
||||
CONSTRUCTOR public constructor Ref(/*0*/ value: kotlin.Int)
|
||||
CONSTRUCTOR public constructor Ref(value: kotlin.Int)
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
SET_BACKING_FIELD value type=kotlin.Unit operator=null
|
||||
receiver: THIS public final class Ref type=Ref
|
||||
value: GET_VAR value type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Ref
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
SET_BACKING_FIELD 'value: Int' type=kotlin.Unit operator=null
|
||||
receiver: THIS of 'Ref' type=Ref
|
||||
value: GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Ref'
|
||||
PROPERTY public final var value: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
GET_VAR value type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
GET_VAR 'value-parameter value: Int' type=kotlin.Int operator=INITIALIZE_PROPERTY_FROM_PARAMETER
|
||||
CLASS INTERFACE IHost
|
||||
FUN public open fun kotlin.String.extLength(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=extLength
|
||||
CALL .<get-length> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: $RECEIVER of: extLength type=kotlin.String
|
||||
FUN public fun test1(/*0*/ x: kotlin.String?): kotlin.Int?
|
||||
RETURN type=kotlin.Nothing from='extLength() on String: Int'
|
||||
CALL '<get-length>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: $RECEIVER of 'extLength() on String: Int' type=kotlin.String
|
||||
FUN public fun test1(x: kotlin.String?): kotlin.Int?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
RETURN type=kotlin.Nothing from='test1(String?): Int?'
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.String?
|
||||
GET_VAR x type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter x: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .<get-length> type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
FUN public fun test2(/*0*/ x: kotlin.String?): kotlin.Int?
|
||||
else: CALL '<get-length>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
FUN public fun test2(x: kotlin.String?): kotlin.Int?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(String?): Int?'
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.String?
|
||||
GET_VAR x type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter x: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .hashCode type=kotlin.Int operator=null
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
FUN public fun test3(/*0*/ x: kotlin.String?, /*1*/ y: kotlin.Any?): kotlin.Boolean?
|
||||
else: CALL 'hashCode(): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
FUN public fun test3(x: kotlin.String?, y: kotlin.Any?): kotlin.Boolean?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
RETURN type=kotlin.Nothing from='test3(String?, Any?): Boolean?'
|
||||
BLOCK type=kotlin.Boolean? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.String?
|
||||
GET_VAR x type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter x: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.Boolean? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .equals type=kotlin.Boolean operator=null
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
other: GET_VAR y type=kotlin.Any? operator=null
|
||||
FUN public fun test4(/*0*/ x: Ref?): kotlin.Unit
|
||||
else: CALL 'equals(Any?): Boolean' type=kotlin.Boolean operator=null
|
||||
$this: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
other: GET_VAR 'value-parameter y: Any?' type=kotlin.Any? operator=null
|
||||
FUN public fun test4(x: Ref?): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
BLOCK type=kotlin.Unit? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: Ref?
|
||||
GET_VAR x type=Ref? operator=null
|
||||
GET_VAR 'value-parameter x: Ref?' type=Ref? operator=null
|
||||
WHEN type=kotlin.Unit? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=Ref? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: Ref?' type=Ref? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .<set-value> type=kotlin.Unit operator=EQ
|
||||
$this: GET_VAR tmp0_safe_receiver type=Ref? operator=null
|
||||
else: CALL '<set-value>(Int): Unit' type=kotlin.Unit operator=EQ
|
||||
$this: GET_VAR 'tmp0_safe_receiver: Ref?' type=Ref? operator=null
|
||||
<set-?>: CONST Int type=kotlin.Int value='0'
|
||||
FUN public fun IHost.test5(/*0*/ s: kotlin.String?): kotlin.Int?
|
||||
FUN public fun IHost.test5(s: kotlin.String?): kotlin.Int?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5
|
||||
RETURN type=kotlin.Nothing from='test5(String?) on IHost: Int?'
|
||||
BLOCK type=kotlin.Int? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.String?
|
||||
GET_VAR s type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter s: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.Int? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .extLength type=kotlin.Int operator=null
|
||||
$this: $RECEIVER of: test5 type=IHost
|
||||
$receiver: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
else: CALL 'extLength() on String: Int' type=kotlin.Int operator=null
|
||||
$this: $RECEIVER of 'test5(String?) on IHost: Int?' type=IHost
|
||||
$receiver: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
|
||||
@@ -2,15 +2,15 @@ FILE /Derived.kt
|
||||
CLASS CLASS Derived
|
||||
CONSTRUCTOR public constructor Derived()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Base
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Derived
|
||||
FUN public final fun setValue(/*0*/ v: kotlin.Any): kotlin.Unit
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Base()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Derived'
|
||||
FUN public final fun setValue(v: kotlin.Any): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR v type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter v: Any' type=kotlin.Any operator=null
|
||||
then: BLOCK type=kotlin.Unit operator=null
|
||||
SET_BACKING_FIELD value type=kotlin.Unit operator=EQ
|
||||
receiver: THIS public final class Derived : Base type=Derived
|
||||
SET_BACKING_FIELD 'value: String!' type=kotlin.Unit operator=EQ
|
||||
receiver: THIS of 'Derived' type=Derived
|
||||
value: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String!
|
||||
GET_VAR v type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter v: Any' type=kotlin.Any operator=null
|
||||
|
||||
+55
-55
@@ -1,67 +1,67 @@
|
||||
FILE /simpleOperators.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
FUN public fun test1(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .plus type=kotlin.Int operator=PLUS
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test1(Int, Int): Int'
|
||||
CALL 'plus(Int): Int' type=kotlin.Int operator=PLUS
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test2(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .minus type=kotlin.Int operator=MINUS
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test3(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test2(Int, Int): Int'
|
||||
CALL 'minus(Int): Int' type=kotlin.Int operator=MINUS
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test3(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .times type=kotlin.Int operator=MUL
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test4(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test3(Int, Int): Int'
|
||||
CALL 'times(Int): Int' type=kotlin.Int operator=MUL
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test4(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
CALL .div type=kotlin.Int operator=DIV
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test5(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test4(Int, Int): Int'
|
||||
CALL 'div(Int): Int' type=kotlin.Int operator=DIV
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test5(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5
|
||||
CALL .mod type=kotlin.Int operator=PERC
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test6(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.ranges.IntRange
|
||||
RETURN type=kotlin.Nothing from='test5(Int, Int): Int'
|
||||
CALL 'mod(Int): Int' type=kotlin.Int operator=PERC
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test6(a: kotlin.Int, b: kotlin.Int): kotlin.ranges.IntRange
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test6
|
||||
CALL .rangeTo type=kotlin.ranges.IntRange operator=RANGE
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test1x(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test6(Int, Int): IntRange'
|
||||
CALL 'rangeTo(Int): IntRange' type=kotlin.ranges.IntRange operator=RANGE
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test1x(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1x
|
||||
CALL .plus type=kotlin.Int operator=null
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test2x(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test1x(Int, Int): Int'
|
||||
CALL 'plus(Int): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test2x(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2x
|
||||
CALL .minus type=kotlin.Int operator=null
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test3x(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test2x(Int, Int): Int'
|
||||
CALL 'minus(Int): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test3x(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3x
|
||||
CALL .times type=kotlin.Int operator=null
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test4x(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test3x(Int, Int): Int'
|
||||
CALL 'times(Int): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test4x(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4x
|
||||
CALL .div type=kotlin.Int operator=null
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test5x(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Int): kotlin.Int
|
||||
RETURN type=kotlin.Nothing from='test4x(Int, Int): Int'
|
||||
CALL 'div(Int): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test5x(a: kotlin.Int, b: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5x
|
||||
CALL .mod type=kotlin.Int operator=null
|
||||
$this: GET_VAR a type=kotlin.Int operator=null
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
RETURN type=kotlin.Nothing from='test5x(Int, Int): Int'
|
||||
CALL 'mod(Int): Int' type=kotlin.Int operator=null
|
||||
$this: GET_VAR 'value-parameter a: Int' type=kotlin.Int operator=null
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
|
||||
@@ -1,28 +1,28 @@
|
||||
FILE /simpleUnaryOperators.kt
|
||||
FUN public fun test1(/*0*/ x: kotlin.Int): kotlin.Int
|
||||
FUN public fun test1(x: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .unaryMinus type=kotlin.Int operator=UMINUS
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
RETURN type=kotlin.Nothing from='test1(Int): Int'
|
||||
CALL 'unaryMinus(): Int' type=kotlin.Int operator=UMINUS
|
||||
$this: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test2(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(): Int'
|
||||
CONST Int type=kotlin.Int value='-42'
|
||||
FUN public fun test3(/*0*/ x: kotlin.Int): kotlin.Int
|
||||
FUN public fun test3(x: kotlin.Int): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .unaryPlus type=kotlin.Int operator=UPLUS
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
RETURN type=kotlin.Nothing from='test3(Int): Int'
|
||||
CALL 'unaryPlus(): Int' type=kotlin.Int operator=UPLUS
|
||||
$this: GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test4(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
RETURN type=kotlin.Nothing from='test4(): Int'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
FUN public fun test5(/*0*/ x: kotlin.Boolean): kotlin.Boolean
|
||||
FUN public fun test5(x: kotlin.Boolean): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test5
|
||||
CALL .not type=kotlin.Boolean operator=EXCL
|
||||
$this: GET_VAR x type=kotlin.Boolean operator=null
|
||||
RETURN type=kotlin.Nothing from='test5(Boolean): Boolean'
|
||||
CALL 'not(): Boolean' type=kotlin.Boolean operator=EXCL
|
||||
$this: GET_VAR 'value-parameter x: Boolean' type=kotlin.Boolean operator=null
|
||||
FUN public fun test6(): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test6
|
||||
RETURN type=kotlin.Nothing from='test6(): Boolean'
|
||||
CONST Boolean type=kotlin.Boolean value='false'
|
||||
|
||||
+33
-33
@@ -1,55 +1,55 @@
|
||||
FILE /smartCasts.kt
|
||||
FUN public fun expectsString(/*0*/ s: kotlin.String): kotlin.Unit
|
||||
FUN public fun expectsString(s: kotlin.String): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public fun expectsInt(/*0*/ i: kotlin.Int): kotlin.Unit
|
||||
FUN public fun expectsInt(i: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
FUN public fun overloaded(/*0*/ s: kotlin.String): kotlin.String
|
||||
FUN public fun overloaded(s: kotlin.String): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=overloaded
|
||||
GET_VAR s type=kotlin.String operator=null
|
||||
FUN public fun overloaded(/*0*/ x: kotlin.Any): kotlin.Any
|
||||
RETURN type=kotlin.Nothing from='overloaded(String): String'
|
||||
GET_VAR 'value-parameter s: String' type=kotlin.String operator=null
|
||||
FUN public fun overloaded(x: kotlin.Any): kotlin.Any
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=overloaded
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
FUN public fun test1(/*0*/ x: kotlin.Any): kotlin.Unit
|
||||
RETURN type=kotlin.Nothing from='overloaded(Any): Any'
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test1(x: kotlin.Any): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from=test1
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
message: CALL .<get-length> type=kotlin.Int operator=GET_PROPERTY
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from='test1(Any): Unit'
|
||||
CALL 'println(Int): Unit' type=kotlin.Unit operator=null
|
||||
message: CALL '<get-length>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
CALL .expectsString type=kotlin.Unit operator=null
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
CALL 'expectsString(String): Unit' type=kotlin.Unit operator=null
|
||||
s: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
CALL .expectsInt type=kotlin.Unit operator=null
|
||||
i: CALL .<get-length> type=kotlin.Int operator=GET_PROPERTY
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
CALL 'expectsInt(Int): Unit' type=kotlin.Unit operator=null
|
||||
i: CALL '<get-length>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
$this: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
CALL .expectsString type=kotlin.Unit operator=null
|
||||
s: CALL .overloaded type=kotlin.String operator=null
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
CALL 'expectsString(String): Unit' type=kotlin.Unit operator=null
|
||||
s: CALL 'overloaded(String): String' type=kotlin.String operator=null
|
||||
s: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
FUN public fun test2(/*0*/ x: kotlin.Any): kotlin.String
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test2(x: kotlin.Any): kotlin.String
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from=test2
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from='test2(Any): String'
|
||||
CONST String type=kotlin.String value=''
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .overloaded type=kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test2(Any): String'
|
||||
CALL 'overloaded(String): String' type=kotlin.String operator=null
|
||||
s: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
FUN public fun test3(/*0*/ x: kotlin.Any): kotlin.String
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test3(x: kotlin.Any): kotlin.String
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from=test3
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from='test3(Any): String'
|
||||
CONST String type=kotlin.String value=''
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
RETURN type=kotlin.Nothing from='test3(Any): String'
|
||||
TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
|
||||
@@ -3,25 +3,25 @@ FILE /smartCastsWithDestructuring.kt
|
||||
CLASS INTERFACE I2
|
||||
FUN public operator fun I1.component1(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=component1
|
||||
RETURN type=kotlin.Nothing from='component1() on I1: Int'
|
||||
CONST Int type=kotlin.Int value='1'
|
||||
FUN public operator fun I2.component2(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=component2
|
||||
RETURN type=kotlin.Nothing from='component2() on I2: String'
|
||||
CONST String type=kotlin.String value=''
|
||||
FUN public fun test(/*0*/ x: I1): kotlin.Unit
|
||||
FUN public fun test(x: I1): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=I2
|
||||
GET_VAR x type=I1 operator=null
|
||||
then: RETURN type=kotlin.Nothing from=test
|
||||
GET_VAR 'value-parameter x: I1' type=I1 operator=null
|
||||
then: RETURN type=kotlin.Nothing from='test(I1): Unit'
|
||||
BLOCK type=kotlin.Unit operator=DESTRUCTURING_DECLARATION
|
||||
VAR val tmp0_container: I1
|
||||
GET_VAR x type=I1 operator=null
|
||||
GET_VAR 'value-parameter x: I1' type=I1 operator=null
|
||||
VAR val c1: kotlin.Int
|
||||
CALL .component1 type=kotlin.Int operator=COMPONENT_N(index=1)
|
||||
$receiver: GET_VAR tmp0_container type=I1 operator=null
|
||||
CALL 'component1() on I1: Int' type=kotlin.Int operator=COMPONENT_N(index=1)
|
||||
$receiver: GET_VAR 'tmp0_container: I1' type=I1 operator=null
|
||||
VAR val c2: kotlin.String
|
||||
CALL .component2 type=kotlin.String operator=COMPONENT_N(index=2)
|
||||
CALL 'component2() on I2: String' type=kotlin.String operator=COMPONENT_N(index=2)
|
||||
$receiver: TYPE_OP operator=IMPLICIT_CAST typeOperand=I2
|
||||
GET_VAR tmp0_container type=I1 operator=null
|
||||
GET_VAR 'tmp0_container: I1' type=I1 operator=null
|
||||
|
||||
+4
-4
@@ -1,7 +1,7 @@
|
||||
FILE /smoke.kt
|
||||
FUN public fun testFun(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=testFun
|
||||
RETURN type=kotlin.Nothing from='testFun(): String'
|
||||
CONST String type=kotlin.String value='OK'
|
||||
PROPERTY public val testSimpleVal: kotlin.Int = 1
|
||||
EXPRESSION_BODY
|
||||
@@ -9,7 +9,7 @@ FILE /smoke.kt
|
||||
PROPERTY public val testValWithGetter: kotlin.Int
|
||||
PROPERTY_GETTER public fun <get-testValWithGetter>(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<get-testValWithGetter>
|
||||
RETURN type=kotlin.Nothing from='<get-testValWithGetter>(): Int'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
PROPERTY public var testSimpleVar: kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
@@ -17,7 +17,7 @@ FILE /smoke.kt
|
||||
PROPERTY public var testVarWithAccessors: kotlin.Int
|
||||
PROPERTY_GETTER public fun <get-testVarWithAccessors>(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<get-testVarWithAccessors>
|
||||
RETURN type=kotlin.Nothing from='<get-testVarWithAccessors>(): Int'
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
PROPERTY_SETTER public fun <set-testVarWithAccessors>(/*0*/ v: kotlin.Int): kotlin.Unit
|
||||
PROPERTY_SETTER public fun <set-testVarWithAccessors>(v: kotlin.Int): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
|
||||
+24
-24
@@ -1,29 +1,29 @@
|
||||
FILE /stringComparisons.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.String, /*1*/ b: kotlin.String): kotlin.Boolean
|
||||
FUN public fun test1(a: kotlin.String, b: kotlin.String): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .GT0 type=kotlin.Boolean operator=GT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GT
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
other: GET_VAR b type=kotlin.String operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.String, /*1*/ b: kotlin.String): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test1(String, String): Boolean'
|
||||
CALL 'GT0(Int): Boolean' type=kotlin.Boolean operator=GT
|
||||
arg0: CALL 'compareTo(String): Int' type=kotlin.Int operator=GT
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: GET_VAR 'value-parameter b: String' type=kotlin.String operator=null
|
||||
FUN public fun test2(a: kotlin.String, b: kotlin.String): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
other: GET_VAR b type=kotlin.String operator=null
|
||||
FUN public fun test3(/*0*/ a: kotlin.String, /*1*/ b: kotlin.String): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test2(String, String): Boolean'
|
||||
CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(String): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: GET_VAR 'value-parameter b: String' type=kotlin.String operator=null
|
||||
FUN public fun test3(a: kotlin.String, b: kotlin.String): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .GTEQ0 type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
other: GET_VAR b type=kotlin.String operator=null
|
||||
FUN public fun test4(/*0*/ a: kotlin.String, /*1*/ b: kotlin.String): kotlin.Boolean
|
||||
RETURN type=kotlin.Nothing from='test3(String, String): Boolean'
|
||||
CALL 'GTEQ0(Int): Boolean' type=kotlin.Boolean operator=GTEQ
|
||||
arg0: CALL 'compareTo(String): Int' type=kotlin.Int operator=GTEQ
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: GET_VAR 'value-parameter b: String' type=kotlin.String operator=null
|
||||
FUN public fun test4(a: kotlin.String, b: kotlin.String): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
CALL .LTEQ0 type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
other: GET_VAR b type=kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test4(String, String): Boolean'
|
||||
CALL 'LTEQ0(Int): Boolean' type=kotlin.Boolean operator=LTEQ
|
||||
arg0: CALL 'compareTo(String): Int' type=kotlin.Int operator=LTEQ
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: GET_VAR 'value-parameter b: String' type=kotlin.String operator=null
|
||||
|
||||
+20
-20
@@ -1,27 +1,27 @@
|
||||
FILE /stringPlus.kt
|
||||
FUN public fun test1(/*0*/ a: kotlin.String, /*1*/ b: kotlin.Any): kotlin.String
|
||||
FUN public fun test1(a: kotlin.String, b: kotlin.Any): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .plus type=kotlin.String operator=PLUS
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
other: GET_VAR b type=kotlin.Any operator=null
|
||||
FUN public fun test2(/*0*/ a: kotlin.String, /*1*/ b: kotlin.Int): kotlin.String
|
||||
RETURN type=kotlin.Nothing from='test1(String, Any): String'
|
||||
CALL 'plus(Any?): String' type=kotlin.String operator=PLUS
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: GET_VAR 'value-parameter b: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test2(a: kotlin.String, b: kotlin.Int): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .plus type=kotlin.String operator=PLUS
|
||||
$this: CALL .plus type=kotlin.String operator=PLUS
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test2(String, Int): String'
|
||||
CALL 'plus(Any?): String' type=kotlin.String operator=PLUS
|
||||
$this: CALL 'plus(Any?): String' type=kotlin.String operator=PLUS
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: CONST String type=kotlin.String value='+'
|
||||
other: GET_VAR b type=kotlin.Int operator=null
|
||||
FUN public fun test3(/*0*/ a: kotlin.String, /*1*/ b: kotlin.Int): kotlin.String
|
||||
other: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
FUN public fun test3(a: kotlin.String, b: kotlin.Int): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .plus type=kotlin.String operator=PLUS
|
||||
$this: CALL .plus type=kotlin.String operator=PLUS
|
||||
$this: CALL .plus type=kotlin.String operator=PLUS
|
||||
$this: GET_VAR a type=kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test3(String, Int): String'
|
||||
CALL 'plus(Any?): String' type=kotlin.String operator=PLUS
|
||||
$this: CALL 'plus(Any?): String' type=kotlin.String operator=PLUS
|
||||
$this: CALL 'plus(Any?): String' type=kotlin.String operator=PLUS
|
||||
$this: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
other: CONST String type=kotlin.String value='+'
|
||||
other: CALL .plus type=kotlin.Int operator=PLUS
|
||||
$this: GET_VAR b type=kotlin.Int operator=null
|
||||
other: CALL 'plus(Int): Int' type=kotlin.Int operator=PLUS
|
||||
$this: GET_VAR 'value-parameter b: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='1'
|
||||
other: GET_VAR a type=kotlin.String operator=null
|
||||
other: GET_VAR 'value-parameter a: String' type=kotlin.String operator=null
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
FILE /stringTemplates.kt
|
||||
FUN public fun foo(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=foo
|
||||
RETURN type=kotlin.Nothing from='foo(): String'
|
||||
CONST String type=kotlin.String value=''
|
||||
PROPERTY public val test1: kotlin.String = ""
|
||||
EXPRESSION_BODY
|
||||
@@ -28,6 +28,6 @@ abc
|
||||
PROPERTY public val test6: kotlin.String
|
||||
EXPRESSION_BODY
|
||||
STRING_CONCATENATION type=kotlin.String
|
||||
CALL .<get-test1> type=kotlin.String operator=GET_PROPERTY
|
||||
CALL '<get-test1>(): String' type=kotlin.String operator=GET_PROPERTY
|
||||
CONST String type=kotlin.String value=' '
|
||||
CALL .foo type=kotlin.String operator=null
|
||||
CALL 'foo(): String' type=kotlin.String operator=null
|
||||
|
||||
+4
-4
@@ -2,13 +2,13 @@ FILE /throw.kt
|
||||
FUN public fun test1(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
THROW type=kotlin.Nothing
|
||||
CALL .<init> type=kotlin.Throwable operator=null
|
||||
FUN public fun testImplicitCast(/*0*/ a: kotlin.Any): kotlin.Unit
|
||||
CALL 'constructor Throwable()' type=kotlin.Throwable operator=null
|
||||
FUN public fun testImplicitCast(a: kotlin.Any): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=INSTANCEOF typeOperand=kotlin.Throwable
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
then: BLOCK type=kotlin.Nothing operator=null
|
||||
THROW type=kotlin.Nothing
|
||||
TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.Throwable
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
|
||||
+7
-7
@@ -3,20 +3,20 @@ FILE /tryCatch.kt
|
||||
BLOCK_BODY
|
||||
TRY_CATCH type=kotlin.Unit
|
||||
try: BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(): Unit' type=kotlin.Unit operator=null
|
||||
catch e: BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(): Unit' type=kotlin.Unit operator=null
|
||||
finally: BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(): Unit' type=kotlin.Unit operator=null
|
||||
FUN public fun test2(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(): Int'
|
||||
TRY_CATCH type=kotlin.Int
|
||||
try: BLOCK type=kotlin.Int operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(): Unit' type=kotlin.Unit operator=null
|
||||
CONST Int type=kotlin.Int value='42'
|
||||
catch e: BLOCK type=kotlin.Int operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(): Unit' type=kotlin.Unit operator=null
|
||||
CONST Int type=kotlin.Int value='24'
|
||||
finally: BLOCK type=kotlin.Unit operator=null
|
||||
CALL .println type=kotlin.Unit operator=null
|
||||
CALL 'println(): Unit' type=kotlin.Unit operator=null
|
||||
|
||||
@@ -1,14 +1,14 @@
|
||||
FILE /tryCatchWithImplicitCast.kt
|
||||
FUN public fun testImplicitCast(/*0*/ a: kotlin.Any): kotlin.Unit
|
||||
FUN public fun testImplicitCast(a: kotlin.Any): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from=testImplicitCast
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from='testImplicitCast(Any): Unit'
|
||||
VAR val t: kotlin.String
|
||||
TRY_CATCH type=kotlin.String
|
||||
try: BLOCK type=kotlin.String operator=null
|
||||
TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.String
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
catch e: BLOCK type=kotlin.String operator=null
|
||||
CONST String type=kotlin.String value=''
|
||||
|
||||
+12
-12
@@ -1,22 +1,22 @@
|
||||
FILE /typeOperators.kt
|
||||
CLASS INTERFACE IThing
|
||||
FUN public fun test1(/*0*/ x: kotlin.Any): kotlin.Boolean
|
||||
FUN public fun test1(x: kotlin.Any): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
RETURN type=kotlin.Nothing from='test1(Any): Boolean'
|
||||
TYPE_OP operator=INSTANCEOF typeOperand=IThing
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
FUN public fun test2(/*0*/ x: kotlin.Any): kotlin.Boolean
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test2(x: kotlin.Any): kotlin.Boolean
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
RETURN type=kotlin.Nothing from='test2(Any): Boolean'
|
||||
TYPE_OP operator=NOT_INSTANCEOF typeOperand=IThing
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
FUN public fun test3(/*0*/ x: kotlin.Any): IThing
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test3(x: kotlin.Any): IThing
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
RETURN type=kotlin.Nothing from='test3(Any): IThing'
|
||||
TYPE_OP operator=CAST typeOperand=IThing
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
FUN public fun test4(/*0*/ x: kotlin.Any): IThing?
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
FUN public fun test4(x: kotlin.Any): IThing?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
RETURN type=kotlin.Nothing from='test4(Any): IThing?'
|
||||
TYPE_OP operator=SAFE_CAST typeOperand=IThing
|
||||
GET_VAR x type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter x: Any' type=kotlin.Any operator=null
|
||||
|
||||
+20
-20
@@ -2,45 +2,45 @@ FILE /values.kt
|
||||
CLASS ENUM_CLASS Enum
|
||||
CONSTRUCTOR private constructor Enum()
|
||||
BLOCK_BODY
|
||||
ENUM_CONSTRUCTOR_CALL Enum super
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Enum
|
||||
ENUM_CONSTRUCTOR_CALL 'constructor Enum(String, Int)' super
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Enum'
|
||||
ENUM_ENTRY enum entry A
|
||||
init: ENUM_CONSTRUCTOR_CALL Enum A
|
||||
FUN public final /*synthesized*/ fun values(): kotlin.Array<Enum>
|
||||
init: ENUM_CONSTRUCTOR_CALL 'constructor Enum()' A
|
||||
FUN public final fun values(): kotlin.Array<Enum>
|
||||
SYNTHETIC_BODY kind=ENUM_VALUES
|
||||
FUN public final /*synthesized*/ fun valueOf(/*0*/ value: kotlin.String): Enum
|
||||
FUN public final fun valueOf(value: kotlin.String): Enum
|
||||
SYNTHETIC_BODY kind=ENUM_VALUEOF
|
||||
CLASS OBJECT A
|
||||
CONSTRUCTOR private constructor A()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=A
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='A'
|
||||
PROPERTY public val a: kotlin.Int = 0
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
CLASS CLASS Z
|
||||
CONSTRUCTOR public constructor Z()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Z
|
||||
CLASS OBJECT Companion
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='Z'
|
||||
CLASS OBJECT companion object of Z
|
||||
CONSTRUCTOR private constructor Companion()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=Companion
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='companion object of Z'
|
||||
FUN public fun test1(): Enum
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
GET_ENUM_VALUE A type=Enum
|
||||
RETURN type=kotlin.Nothing from='test1(): Enum'
|
||||
GET_ENUM_VALUE 'A' type=Enum
|
||||
FUN public fun test2(): A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
GET_OBJECT A type=A
|
||||
RETURN type=kotlin.Nothing from='test2(): A'
|
||||
GET_OBJECT 'A' type=A
|
||||
FUN public fun test3(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .<get-a> type=kotlin.Int operator=GET_PROPERTY
|
||||
RETURN type=kotlin.Nothing from='test3(): Int'
|
||||
CALL '<get-a>(): Int' type=kotlin.Int operator=GET_PROPERTY
|
||||
FUN public fun test4(): Z.Companion
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
GET_OBJECT Companion type=Z.Companion
|
||||
RETURN type=kotlin.Nothing from='test4(): Z.Companion'
|
||||
GET_OBJECT 'companion object of Z' type=Z.Companion
|
||||
|
||||
+5
-5
@@ -1,21 +1,21 @@
|
||||
FILE /vararg.kt
|
||||
PROPERTY public val test1: kotlin.Array<kotlin.String>
|
||||
EXPRESSION_BODY
|
||||
CALL .arrayOf type=kotlin.Array<kotlin.String> operator=null
|
||||
CALL 'arrayOf(vararg String): Array<String>' type=kotlin.Array<kotlin.String> operator=null
|
||||
PROPERTY public val test2: kotlin.Array<kotlin.String>
|
||||
EXPRESSION_BODY
|
||||
CALL .arrayOf type=kotlin.Array<kotlin.String> operator=null
|
||||
CALL 'arrayOf(vararg String): Array<String>' type=kotlin.Array<kotlin.String> operator=null
|
||||
elements: VARARG type=Array<out String> varargElementType=String
|
||||
CONST String type=kotlin.String value='1'
|
||||
CONST String type=kotlin.String value='2'
|
||||
CONST String type=kotlin.String value='3'
|
||||
PROPERTY public val test3: kotlin.Array<kotlin.String>
|
||||
EXPRESSION_BODY
|
||||
CALL .arrayOf type=kotlin.Array<kotlin.String> operator=null
|
||||
CALL 'arrayOf(vararg String): Array<String>' type=kotlin.Array<kotlin.String> operator=null
|
||||
elements: VARARG type=Array<out String> varargElementType=String
|
||||
CONST String type=kotlin.String value='0'
|
||||
SPREAD_ELEMENT
|
||||
CALL .<get-test2> type=kotlin.Array<kotlin.String> operator=GET_PROPERTY
|
||||
CALL '<get-test2>(): Array<String>' type=kotlin.Array<kotlin.String> operator=GET_PROPERTY
|
||||
SPREAD_ELEMENT
|
||||
CALL .<get-test1> type=kotlin.Array<kotlin.String> operator=GET_PROPERTY
|
||||
CALL '<get-test1>(): Array<String>' type=kotlin.Array<kotlin.String> operator=GET_PROPERTY
|
||||
CONST String type=kotlin.String value='4'
|
||||
|
||||
@@ -1,26 +1,26 @@
|
||||
FILE /varargWithImplicitCast.kt
|
||||
FUN public fun testScalar(/*0*/ a: kotlin.Any): kotlin.IntArray
|
||||
FUN public fun testScalar(a: kotlin.Any): kotlin.IntArray
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.Int
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from=testScalar
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
RETURN type=kotlin.Nothing from=testScalar
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from='testScalar(Any): IntArray'
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
RETURN type=kotlin.Nothing from='testScalar(Any): IntArray'
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
elements: VARARG type=IntArray varargElementType=Int
|
||||
TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.Int
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
FUN public fun testSpread(/*0*/ a: kotlin.Any): kotlin.IntArray
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
FUN public fun testSpread(a: kotlin.Any): kotlin.IntArray
|
||||
BLOCK_BODY
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=kotlin.IntArray
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from=testSpread
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
RETURN type=kotlin.Nothing from=testSpread
|
||||
CALL .intArrayOf type=kotlin.IntArray operator=null
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
then: RETURN type=kotlin.Nothing from='testSpread(Any): IntArray'
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
RETURN type=kotlin.Nothing from='testSpread(Any): IntArray'
|
||||
CALL 'intArrayOf(vararg Int): IntArray' type=kotlin.IntArray operator=null
|
||||
elements: VARARG type=IntArray varargElementType=Int
|
||||
SPREAD_ELEMENT
|
||||
TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.IntArray
|
||||
GET_VAR a type=kotlin.Any operator=null
|
||||
GET_VAR 'value-parameter a: Any' type=kotlin.Any operator=null
|
||||
|
||||
@@ -1,49 +1,49 @@
|
||||
FILE /variableAsFunctionCall.kt
|
||||
FUN public fun kotlin.String.k(): () -> kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=k
|
||||
RETURN type=kotlin.Nothing from='k() on String: () -> String'
|
||||
BLOCK type=() -> kotlin.String operator=LAMBDA
|
||||
FUN local final fun <anonymous>(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=<anonymous>
|
||||
$RECEIVER of: k type=kotlin.String
|
||||
CALLABLE_REFERENCE <anonymous> type=() -> kotlin.String operator=LAMBDA
|
||||
FUN public fun test1(/*0*/ f: () -> kotlin.Unit): kotlin.Unit
|
||||
RETURN type=kotlin.Nothing from='<anonymous>(): String'
|
||||
$RECEIVER of 'k() on String: () -> String' type=kotlin.String
|
||||
CALLABLE_REFERENCE '<anonymous>(): String' type=() -> kotlin.String operator=LAMBDA
|
||||
FUN public fun test1(f: () -> kotlin.Unit): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test1
|
||||
CALL .invoke type=kotlin.Unit operator=INVOKE
|
||||
$this: GET_VAR f type=() -> kotlin.Unit operator=VARIABLE_AS_FUNCTION
|
||||
FUN public fun test2(/*0*/ f: kotlin.String.() -> kotlin.Unit): kotlin.Unit
|
||||
RETURN type=kotlin.Nothing from='test1(() -> Unit): Unit'
|
||||
CALL 'invoke(): Unit' type=kotlin.Unit operator=INVOKE
|
||||
$this: GET_VAR 'value-parameter f: () -> Unit' type=() -> kotlin.Unit operator=VARIABLE_AS_FUNCTION
|
||||
FUN public fun test2(f: kotlin.String.() -> kotlin.Unit): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test2
|
||||
CALL .invoke type=kotlin.Unit operator=INVOKE
|
||||
$this: GET_VAR f type=kotlin.String.() -> kotlin.Unit operator=VARIABLE_AS_FUNCTION
|
||||
RETURN type=kotlin.Nothing from='test2(String.() -> Unit): Unit'
|
||||
CALL 'invoke() on String: Unit' type=kotlin.Unit operator=INVOKE
|
||||
$this: GET_VAR 'value-parameter f: String.() -> Unit' type=kotlin.String.() -> kotlin.Unit operator=VARIABLE_AS_FUNCTION
|
||||
$receiver: CONST String type=kotlin.String value='hello'
|
||||
FUN public fun test3(): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test3
|
||||
CALL .invoke type=kotlin.String operator=null
|
||||
$this: CALL .k type=() -> kotlin.String operator=null
|
||||
RETURN type=kotlin.Nothing from='test3(): String'
|
||||
CALL 'invoke(): String' type=kotlin.String operator=null
|
||||
$this: CALL 'k() on String: () -> String' type=() -> kotlin.String operator=null
|
||||
$receiver: CONST String type=kotlin.String value='hello'
|
||||
FUN public fun test4(/*0*/ ns: kotlin.String?): kotlin.String?
|
||||
FUN public fun test4(ns: kotlin.String?): kotlin.String?
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test4
|
||||
RETURN type=kotlin.Nothing from='test4(String?): String?'
|
||||
BLOCK type=kotlin.String? operator=SAFE_CALL
|
||||
VAR val tmp1_safe_receiver: (() -> kotlin.String)?
|
||||
BLOCK type=(() -> kotlin.String)? operator=SAFE_CALL
|
||||
VAR val tmp0_safe_receiver: kotlin.String?
|
||||
GET_VAR ns type=kotlin.String? operator=null
|
||||
GET_VAR 'value-parameter ns: String?' type=kotlin.String? operator=null
|
||||
WHEN type=(() -> kotlin.String)? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .k type=() -> kotlin.String operator=null
|
||||
$this: GET_VAR tmp0_safe_receiver type=kotlin.String? operator=null
|
||||
else: CALL 'k() on String: () -> String' type=() -> kotlin.String operator=null
|
||||
$this: GET_VAR 'tmp0_safe_receiver: String?' type=kotlin.String? operator=null
|
||||
WHEN type=kotlin.String? operator=SAFE_CALL
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp1_safe_receiver type=(() -> kotlin.String)? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp1_safe_receiver: (() -> String)?' type=(() -> kotlin.String)? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST Null type=kotlin.Nothing? value='null'
|
||||
else: CALL .invoke type=kotlin.String operator=null
|
||||
$this: GET_VAR tmp1_safe_receiver type=(() -> kotlin.String)? operator=null
|
||||
else: CALL 'invoke(): String' type=kotlin.String operator=null
|
||||
$this: GET_VAR 'tmp1_safe_receiver: (() -> String)?' type=(() -> kotlin.String)? operator=null
|
||||
|
||||
+46
-46
@@ -2,98 +2,98 @@ FILE /when.kt
|
||||
CLASS OBJECT A
|
||||
CONSTRUCTOR private constructor A()
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL Any
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor=A
|
||||
FUN public fun testWithSubject(/*0*/ x: kotlin.Any?): kotlin.String
|
||||
DELEGATING_CONSTRUCTOR_CALL 'constructor Any()'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='A'
|
||||
FUN public fun testWithSubject(x: kotlin.Any?): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=testWithSubject
|
||||
RETURN type=kotlin.Nothing from='testWithSubject(Any?): String'
|
||||
BLOCK type=kotlin.String operator=WHEN
|
||||
VAR val tmp0_subject: kotlin.Any?
|
||||
GET_VAR x type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter x: Any?' type=kotlin.Any? operator=null
|
||||
WHEN type=kotlin.String operator=WHEN
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST String type=kotlin.String value='null'
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Any? operator=null
|
||||
arg1: GET_OBJECT A type=A
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Any?' type=kotlin.Any? operator=null
|
||||
arg1: GET_OBJECT 'A' type=A
|
||||
then: CONST String type=kotlin.String value='A'
|
||||
if: TYPE_OP operator=INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR tmp0_subject type=kotlin.Any? operator=null
|
||||
GET_VAR 'tmp0_subject: Any?' type=kotlin.Any? operator=null
|
||||
then: CONST String type=kotlin.String value='String'
|
||||
if: CALL .contains type=kotlin.Boolean operator=IN
|
||||
$receiver: CALL .setOf type=kotlin.collections.Set<kotlin.Nothing> operator=null
|
||||
element: GET_VAR tmp0_subject type=kotlin.Any? operator=null
|
||||
if: CALL 'contains(Any) on Iterable<Any>: Boolean' type=kotlin.Boolean operator=IN
|
||||
$receiver: CALL 'setOf(): Set<Nothing>' type=kotlin.collections.Set<kotlin.Nothing> operator=null
|
||||
element: GET_VAR 'tmp0_subject: Any?' type=kotlin.Any? operator=null
|
||||
then: CONST String type=kotlin.String value='nothingness?'
|
||||
else: CONST String type=kotlin.String value='something'
|
||||
FUN public fun test(/*0*/ x: kotlin.Any?): kotlin.String
|
||||
FUN public fun test(x: kotlin.Any?): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test
|
||||
RETURN type=kotlin.Nothing from='test(Any?): String'
|
||||
WHEN type=kotlin.String operator=WHEN
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR x type=kotlin.Any? operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'value-parameter x: Any?' type=kotlin.Any? operator=null
|
||||
arg1: CONST Null type=kotlin.Nothing? value='null'
|
||||
then: CONST String type=kotlin.String value='null'
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR x type=kotlin.Any? operator=null
|
||||
arg1: GET_OBJECT A type=A
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'value-parameter x: Any?' type=kotlin.Any? operator=null
|
||||
arg1: GET_OBJECT 'A' type=A
|
||||
then: CONST String type=kotlin.String value='A'
|
||||
if: TYPE_OP operator=INSTANCEOF typeOperand=kotlin.String
|
||||
GET_VAR x type=kotlin.Any? operator=null
|
||||
GET_VAR 'value-parameter x: Any?' type=kotlin.Any? operator=null
|
||||
then: CONST String type=kotlin.String value='String'
|
||||
if: CALL .contains type=kotlin.Boolean operator=IN
|
||||
$receiver: CALL .setOf type=kotlin.collections.Set<kotlin.Nothing> operator=null
|
||||
element: GET_VAR x type=kotlin.Any? operator=null
|
||||
if: CALL 'contains(Any) on Iterable<Any>: Boolean' type=kotlin.Boolean operator=IN
|
||||
$receiver: CALL 'setOf(): Set<Nothing>' type=kotlin.collections.Set<kotlin.Nothing> operator=null
|
||||
element: GET_VAR 'value-parameter x: Any?' type=kotlin.Any? operator=null
|
||||
then: CONST String type=kotlin.String value='nothingness?'
|
||||
else: CONST String type=kotlin.String value='something'
|
||||
FUN public fun testComma(/*0*/ x: kotlin.Int): kotlin.String
|
||||
FUN public fun testComma(x: kotlin.Int): kotlin.String
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=testComma
|
||||
RETURN type=kotlin.Nothing from='testComma(Int): String'
|
||||
BLOCK type=kotlin.String operator=WHEN
|
||||
VAR val tmp0_subject: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=null
|
||||
GET_VAR 'value-parameter x: Int' type=kotlin.Int operator=null
|
||||
WHEN type=kotlin.String operator=WHEN
|
||||
if: WHEN type=kotlin.Boolean operator=WHEN_COMMA
|
||||
if: WHEN type=kotlin.Boolean operator=WHEN_COMMA
|
||||
if: WHEN type=kotlin.Boolean operator=WHEN_COMMA
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='1'
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
else: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='2'
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
else: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='3'
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
else: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='4'
|
||||
then: CONST String type=kotlin.String value='1234'
|
||||
if: WHEN type=kotlin.Boolean operator=WHEN_COMMA
|
||||
if: WHEN type=kotlin.Boolean operator=WHEN_COMMA
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='5'
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
else: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='6'
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
else: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='7'
|
||||
then: CONST String type=kotlin.String value='567'
|
||||
if: WHEN type=kotlin.Boolean operator=WHEN_COMMA
|
||||
if: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
if: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='8'
|
||||
then: CONST Boolean type=kotlin.Boolean value='true'
|
||||
else: CALL .EQEQ type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR tmp0_subject type=kotlin.Int operator=null
|
||||
else: CALL 'EQEQ(Any?, Any?): Boolean' type=kotlin.Boolean operator=EQEQ
|
||||
arg0: GET_VAR 'tmp0_subject: Int' type=kotlin.Int operator=null
|
||||
arg1: CONST Int type=kotlin.Int value='9'
|
||||
then: CONST String type=kotlin.String value='89'
|
||||
else: CONST String type=kotlin.String value='?'
|
||||
|
||||
+1
-1
@@ -1,6 +1,6 @@
|
||||
FILE /whenElse.kt
|
||||
FUN public fun test(): kotlin.Int
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from=test
|
||||
RETURN type=kotlin.Nothing from='test(): Int'
|
||||
WHEN type=kotlin.Int operator=WHEN
|
||||
else: CONST Int type=kotlin.Int value='42'
|
||||
|
||||
+41
-41
@@ -4,64 +4,64 @@ FILE /whileDoWhile.kt
|
||||
VAR var x: kotlin.Int
|
||||
CONST Int type=kotlin.Int value='0'
|
||||
WHILE label=null operator=WHILE_LOOP
|
||||
condition: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
condition: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='0'
|
||||
WHILE label=null operator=WHILE_LOOP
|
||||
condition: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
condition: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='5'
|
||||
body: BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp0: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR x type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR tmp0 type=kotlin.Int operator=null
|
||||
GET_VAR 'x: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp0: Int' type=kotlin.Int operator=null
|
||||
WHILE label=null operator=WHILE_LOOP
|
||||
condition: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
condition: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='10'
|
||||
body: BLOCK type=kotlin.Int operator=null
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp1: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR x type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR tmp1 type=kotlin.Int operator=null
|
||||
GET_VAR 'x: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp1: Int' type=kotlin.Int operator=null
|
||||
DO_WHILE label=null operator=DO_WHILE_LOOP
|
||||
condition: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
condition: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='0'
|
||||
DO_WHILE label=null operator=DO_WHILE_LOOP
|
||||
body: BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp2: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR x type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
GET_VAR tmp2 type=kotlin.Int operator=null
|
||||
condition: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
GET_VAR 'x: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp2: Int' type=kotlin.Int operator=null
|
||||
condition: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='15'
|
||||
DO_WHILE label=null operator=DO_WHILE_LOOP
|
||||
body: BLOCK type=kotlin.Unit operator=null
|
||||
BLOCK type=kotlin.Int operator=POSTFIX_INCR
|
||||
VAR val tmp3: kotlin.Int
|
||||
GET_VAR x type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR x type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL .inc type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR tmp3 type=kotlin.Int operator=null
|
||||
GET_VAR tmp3 type=kotlin.Int operator=null
|
||||
condition: CALL .LT0 type=kotlin.Boolean operator=LT
|
||||
arg0: CALL .compareTo type=kotlin.Int operator=LT
|
||||
$this: GET_VAR x type=kotlin.Int operator=null
|
||||
GET_VAR 'x: Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
SET_VAR 'x: Int' type=kotlin.Unit operator=POSTFIX_INCR
|
||||
CALL 'inc(): Int' type=kotlin.Int operator=POSTFIX_INCR
|
||||
$this: GET_VAR 'tmp3: Int' type=kotlin.Int operator=null
|
||||
GET_VAR 'tmp3: Int' type=kotlin.Int operator=null
|
||||
condition: CALL 'LT0(Int): Boolean' type=kotlin.Boolean operator=LT
|
||||
arg0: CALL 'compareTo(Int): Int' type=kotlin.Int operator=LT
|
||||
$this: GET_VAR 'x: Int' type=kotlin.Int operator=null
|
||||
other: CONST Int type=kotlin.Int value='20'
|
||||
FUN public fun testSmartcastInCondition(): kotlin.Unit
|
||||
BLOCK_BODY
|
||||
@@ -69,13 +69,13 @@ FILE /whileDoWhile.kt
|
||||
CONST Null type=kotlin.Nothing? value='null'
|
||||
WHEN type=kotlin.Unit operator=IF
|
||||
if: TYPE_OP operator=INSTANCEOF typeOperand=kotlin.Boolean
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'a: Any?' type=kotlin.Any? operator=null
|
||||
then: BLOCK type=kotlin.Unit operator=null
|
||||
WHILE label=null operator=WHILE_LOOP
|
||||
condition: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.Boolean
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'a: Any?' type=kotlin.Any? operator=null
|
||||
body: BLOCK type=kotlin.Unit operator=null
|
||||
DO_WHILE label=null operator=DO_WHILE_LOOP
|
||||
body: BLOCK type=kotlin.Unit operator=null
|
||||
condition: TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.Boolean
|
||||
GET_VAR a type=kotlin.Any? operator=null
|
||||
GET_VAR 'a: Any?' type=kotlin.Any? operator=null
|
||||
|
||||
Reference in New Issue
Block a user