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

[IR] Normalize temp var names in Kotlin-like dump

Browse Source 
^KT-61983 Fixed
This commit is contained in:
Vladimir Sukharev
2023-09-19 21:29:17 +02:00
committed by Space Team
parent 6c519488a6
commit bae8b283c7
199 changed files with 1599 additions and 2273 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/ir/irText/firProblems/ArrayMap.fir.kt.txt
Vendored
+12 -12
View File
@@ -197,9 +197,9 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
when {
EQEQ(arg0 = <this>.<get-data>().get(index = index), arg1 = null) -> { // BLOCK
{ // BLOCK
val <unary>: Int = <this>.<get-size>()
<this>.<set-size>(<set-?> = <unary>.inc())
<unary>
val tmp_0: Int = <this>.<get-size>()
<this>.<set-size>(<set-?> = tmp_0.inc())
tmp_0
}
} /*~> Unit */
}
@@ -232,9 +232,9 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
{ // BLOCK
do// COMPOSITE {
{ // BLOCK
val <unary>: Int = <this>.<get-index>()
<this>.<set-index>(<set-?> = <unary>.inc())
<unary>
val tmp_1: Int = <this>.<get-index>()
<this>.<set-index>(<set-?> = tmp_1.inc())
tmp_1
}
// } while (when {
less(arg0 = <this>.<get-index>(), arg1 = <this>.<get-data>().<get-size>()) -> EQEQ(arg0 = <this>.<get-data>().get(index = <this>.<get-index>()), arg1 = null)
@@ -261,9 +261,9 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
when {
EQEQ(arg0 = <this>.<get-data>().get(index = index), arg1 = null).not() -> { // BLOCK
{ // BLOCK
val <unary>: Int = <this>.<get-size>()
<this>.<set-size>(<set-?> = <unary>.dec())
<unary>
val tmp_2: Int = <this>.<get-size>()
<this>.<set-size>(<set-?> = tmp_2.dec())
tmp_2
}
} /*~> Unit */
}
@@ -327,12 +327,12 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
when {
other !is Entry<T> -> return false
}
val tmp0_other_with_cast: Entry<T> = other as Entry<T>
val tmp_3: Entry<T> = other as Entry<T>
when {
EQEQ(arg0 = <this>.#key, arg1 = tmp0_other_with_cast.#key).not() -> return false
EQEQ(arg0 = <this>.#key, arg1 = tmp_3.#key).not() -> return false
}
when {
EQEQ(arg0 = <this>.#value, arg1 = tmp0_other_with_cast.#value).not() -> return false
EQEQ(arg0 = <this>.#value, arg1 = tmp_3.#value).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/ArrayMap.kt.txt
Vendored
+15 -15
View File
@@ -197,11 +197,11 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
when {
EQEQ(arg0 = <this>.<get-data>().get(index = index), arg1 = null) -> { // BLOCK
{ // BLOCK
val tmp0_this: ArrayMapImpl<T> = <this>
val tmp_0: ArrayMapImpl<T> = <this>
{ // BLOCK
val tmp1: Int = tmp0_this.<get-size>()
tmp0_this.<set-size>(<set-?> = tmp1.inc())
tmp1
val tmp_1: Int = tmp_0.<get-size>()
tmp_0.<set-size>(<set-?> = tmp_1.inc())
tmp_1
}
}
} /*~> Unit */
@@ -235,11 +235,11 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
{ // BLOCK
do// COMPOSITE {
{ // BLOCK
val tmp0_this: <no name provided><T> = <this>
val tmp_2: <no name provided><T> = <this>
{ // BLOCK
val tmp1: Int = tmp0_this.<get-index>()
tmp0_this.<set-index>(<set-?> = tmp1.inc())
tmp1
val tmp_3: Int = tmp_2.<get-index>()
tmp_2.<set-index>(<set-?> = tmp_3.inc())
tmp_3
}
} /*~> Unit */
// } while (when {
@@ -267,11 +267,11 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
when {
EQEQ(arg0 = <this>.<get-data>().get(index = index), arg1 = null).not() -> { // BLOCK
{ // BLOCK
val tmp0_this: ArrayMapImpl<T> = <this>
val tmp_4: ArrayMapImpl<T> = <this>
{ // BLOCK
val tmp1: Int = tmp0_this.<get-size>()
tmp0_this.<set-size>(<set-?> = tmp1.dec())
tmp1
val tmp_5: Int = tmp_4.<get-size>()
tmp_4.<set-size>(<set-?> = tmp_5.dec())
tmp_5
}
}
} /*~> Unit */
@@ -336,12 +336,12 @@ internal class ArrayMapImpl<T : Any> : ArrayMap<T> {
when {
other !is Entry<T> -> return false
}
val tmp0_other_with_cast: Entry<T> = other as Entry<T>
val tmp_6: Entry<T> = other as Entry<T>
when {
EQEQ(arg0 = <this>.#key, arg1 = tmp0_other_with_cast.#key).not() -> return false
EQEQ(arg0 = <this>.#key, arg1 = tmp_6.#key).not() -> return false
}
when {
EQEQ(arg0 = <this>.#value, arg1 = tmp0_other_with_cast.#value).not() -> return false
EQEQ(arg0 = <this>.#value, arg1 = tmp_6.#value).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/AssignmentOperator.fir.kt.txt
Vendored
+81 -81
View File
@@ -40,56 +40,56 @@ fun main() {
val a: A = A()
id<A>(t = a).<set-prop>(<set-?> = 10)
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().plus(other = 20))
val tmp_0: A = id<A>(t = a)
tmp_0.<set-prop>(<set-?> = tmp_0.<get-prop>().plus(other = 20))
}
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().minus(other = 20))
val tmp_1: A = id<A>(t = a)
tmp_1.<set-prop>(<set-?> = tmp_1.<get-prop>().minus(other = 20))
}
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().times(other = 2))
val tmp_2: A = id<A>(t = a)
tmp_2.<set-prop>(<set-?> = tmp_2.<get-prop>().times(other = 2))
}
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().div(other = 5))
val tmp_3: A = id<A>(t = a)
tmp_3.<set-prop>(<set-?> = tmp_3.<get-prop>().div(other = 5))
}
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().rem(other = 3))
val tmp_4: A = id<A>(t = a)
tmp_4.<set-prop>(<set-?> = tmp_4.<get-prop>().rem(other = 3))
}
{ // BLOCK
val <receiver>: A = id<A>(t = a)
val <unary>: Int = <receiver>.<get-prop>()
<receiver>.<set-prop>(<set-?> = <unary>.inc())
<unary>
val tmp_5: A = id<A>(t = a)
val tmp_6: Int = tmp_5.<get-prop>()
tmp_5.<set-prop>(<set-?> = tmp_6.inc())
tmp_6
} /*~> Unit */
{ // BLOCK
val <receiver>: A = id<A>(t = a)
val <unary>: Int = <receiver>.<get-prop>()
<receiver>.<set-prop>(<set-?> = <unary>.dec())
<unary>
val tmp_7: A = id<A>(t = a)
val tmp_8: Int = tmp_7.<get-prop>()
tmp_7.<set-prop>(<set-?> = tmp_8.dec())
tmp_8
} /*~> Unit */
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().inc())
<receiver>.<get-prop>()
val tmp_9: A = id<A>(t = a)
tmp_9.<set-prop>(<set-?> = tmp_9.<get-prop>().inc())
tmp_9.<get-prop>()
} /*~> Unit */
{ // BLOCK
val <receiver>: A = id<A>(t = a)
<receiver>.<set-prop>(<set-?> = <receiver>.<get-prop>().dec())
<receiver>.<get-prop>()
val tmp_10: A = id<A>(t = a)
tmp_10.<set-prop>(<set-?> = tmp_10.<get-prop>().dec())
tmp_10.<get-prop>()
} /*~> Unit */
{ // BLOCK
val <unary>: Int = B.<get-prop>()
B.<set-prop>(<set-?> = <unary>.inc())
<unary>
val tmp_11: Int = B.<get-prop>()
B.<set-prop>(<set-?> = tmp_11.inc())
tmp_11
} /*~> Unit */
{ // BLOCK
val <unary>: Int = B.<get-prop>()
B.<set-prop>(<set-?> = <unary>.dec())
<unary>
val tmp_12: Int = B.<get-prop>()
B.<set-prop>(<set-?> = tmp_12.dec())
tmp_12
} /*~> Unit */
{ // BLOCK
B.<set-prop>(<set-?> = B.<get-prop>().inc())
@@ -101,64 +101,64 @@ fun main() {
} /*~> Unit */
id<Array<Int>>(t = <get-array>()).set(index = 0, value = 10)
{ // BLOCK
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).plus(other = 20))
val tmp_13: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_14: Int = 0
tmp_13.set(index = tmp_14, value = tmp_13.get(index = tmp_14).plus(other = 20))
}
{ // BLOCK
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).minus(other = 20))
val tmp_15: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_16: Int = 0
tmp_15.set(index = tmp_16, value = tmp_15.get(index = tmp_16).minus(other = 20))
}
{ // BLOCK
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).times(other = 2))
val tmp_17: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_18: Int = 0
tmp_17.set(index = tmp_18, value = tmp_17.get(index = tmp_18).times(other = 2))
}
{ // BLOCK
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).div(other = 5))
val tmp_19: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_20: Int = 0
tmp_19.set(index = tmp_20, value = tmp_19.get(index = tmp_20).div(other = 5))
}
{ // BLOCK
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).rem(other = 3))
val tmp_21: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_22: Int = 0
tmp_21.set(index = tmp_22, value = tmp_21.get(index = tmp_22).rem(other = 3))
}
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
val <unary>: Int = <array>.get(index = <index_0>)
<array>.set(index = <index_0>, value = <unary>.inc())
<unary> /*~> Unit */
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
val <unary>: Int = <array>.get(index = <index_0>)
<array>.set(index = <index_0>, value = <unary>.dec())
<unary> /*~> Unit */
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).inc())
<array>.get(index = <index_0>) /*~> Unit */
val <array>: Array<Int> = id<Array<Int>>(t = <get-array>())
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).dec())
<array>.get(index = <index_0>) /*~> Unit */
val <array>: Array<Int> = <get-array>()
val <index_0>: Int = 0
val <unary>: Int = <array>.get(index = <index_0>)
<array>.set(index = <index_0>, value = <unary>.inc())
<unary> /*~> Unit */
val <array>: Array<Int> = <get-array>()
val <index_0>: Int = 0
val <unary>: Int = <array>.get(index = <index_0>)
<array>.set(index = <index_0>, value = <unary>.dec())
<unary> /*~> Unit */
val <array>: Array<Int> = <get-array>()
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).inc())
<array>.get(index = <index_0>) /*~> Unit */
val <array>: Array<Int> = <get-array>()
val <index_0>: Int = 0
<array>.set(index = <index_0>, value = <array>.get(index = <index_0>).dec())
<array>.get(index = <index_0>) /*~> Unit */
val tmp_23: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_24: Int = 0
val tmp_25: Int = tmp_23.get(index = tmp_24)
tmp_23.set(index = tmp_24, value = tmp_25.inc())
tmp_25 /*~> Unit */
val tmp_26: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_27: Int = 0
val tmp_28: Int = tmp_26.get(index = tmp_27)
tmp_26.set(index = tmp_27, value = tmp_28.dec())
tmp_28 /*~> Unit */
val tmp_29: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_30: Int = 0
tmp_29.set(index = tmp_30, value = tmp_29.get(index = tmp_30).inc())
tmp_29.get(index = tmp_30) /*~> Unit */
val tmp_31: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_32: Int = 0
tmp_31.set(index = tmp_32, value = tmp_31.get(index = tmp_32).dec())
tmp_31.get(index = tmp_32) /*~> Unit */
val tmp_33: Array<Int> = <get-array>()
val tmp_34: Int = 0
val tmp_35: Int = tmp_33.get(index = tmp_34)
tmp_33.set(index = tmp_34, value = tmp_35.inc())
tmp_35 /*~> Unit */
val tmp_36: Array<Int> = <get-array>()
val tmp_37: Int = 0
val tmp_38: Int = tmp_36.get(index = tmp_37)
tmp_36.set(index = tmp_37, value = tmp_38.dec())
tmp_38 /*~> Unit */
val tmp_39: Array<Int> = <get-array>()
val tmp_40: Int = 0
tmp_39.set(index = tmp_40, value = tmp_39.get(index = tmp_40).inc())
tmp_39.get(index = tmp_40) /*~> Unit */
val tmp_41: Array<Int> = <get-array>()
val tmp_42: Int = 0
tmp_41.set(index = tmp_42, value = tmp_41.get(index = tmp_42).dec())
tmp_41.get(index = tmp_42) /*~> Unit */
}
compiler/testData/ir/irText/firProblems/AssignmentOperator.kt.txt
Vendored
+89 -89
View File
@@ -40,161 +40,161 @@ fun main() {
val a: A = A()
id<A>(t = a).<set-prop>(<set-?> = 10)
{ // BLOCK
val tmp0_this: A = id<A>(t = a)
tmp0_this.<set-prop>(<set-?> = tmp0_this.<get-prop>().plus(other = 20))
val tmp_0: A = id<A>(t = a)
tmp_0.<set-prop>(<set-?> = tmp_0.<get-prop>().plus(other = 20))
}
{ // BLOCK
val tmp1_this: A = id<A>(t = a)
tmp1_this.<set-prop>(<set-?> = tmp1_this.<get-prop>().minus(other = 20))
val tmp_1: A = id<A>(t = a)
tmp_1.<set-prop>(<set-?> = tmp_1.<get-prop>().minus(other = 20))
}
{ // BLOCK
val tmp2_this: A = id<A>(t = a)
tmp2_this.<set-prop>(<set-?> = tmp2_this.<get-prop>().times(other = 2))
val tmp_2: A = id<A>(t = a)
tmp_2.<set-prop>(<set-?> = tmp_2.<get-prop>().times(other = 2))
}
{ // BLOCK
val tmp3_this: A = id<A>(t = a)
tmp3_this.<set-prop>(<set-?> = tmp3_this.<get-prop>().div(other = 5))
val tmp_3: A = id<A>(t = a)
tmp_3.<set-prop>(<set-?> = tmp_3.<get-prop>().div(other = 5))
}
{ // BLOCK
val tmp4_this: A = id<A>(t = a)
tmp4_this.<set-prop>(<set-?> = tmp4_this.<get-prop>().rem(other = 3))
val tmp_4: A = id<A>(t = a)
tmp_4.<set-prop>(<set-?> = tmp_4.<get-prop>().rem(other = 3))
}
{ // BLOCK
val tmp5_this: A = id<A>(t = a)
val tmp_5: A = id<A>(t = a)
{ // BLOCK
val tmp6: Int = tmp5_this.<get-prop>()
tmp5_this.<set-prop>(<set-?> = tmp6.inc())
tmp6
val tmp_6: Int = tmp_5.<get-prop>()
tmp_5.<set-prop>(<set-?> = tmp_6.inc())
tmp_6
}
} /*~> Unit */
{ // BLOCK
val tmp7_this: A = id<A>(t = a)
val tmp_7: A = id<A>(t = a)
{ // BLOCK
val tmp8: Int = tmp7_this.<get-prop>()
tmp7_this.<set-prop>(<set-?> = tmp8.dec())
tmp8
val tmp_8: Int = tmp_7.<get-prop>()
tmp_7.<set-prop>(<set-?> = tmp_8.dec())
tmp_8
}
} /*~> Unit */
{ // BLOCK
val tmp9_this: A = id<A>(t = a)
val tmp_9: A = id<A>(t = a)
{ // BLOCK
tmp9_this.<set-prop>(<set-?> = tmp9_this.<get-prop>().inc())
tmp9_this.<get-prop>()
tmp_9.<set-prop>(<set-?> = tmp_9.<get-prop>().inc())
tmp_9.<get-prop>()
}
} /*~> Unit */
{ // BLOCK
val tmp10_this: A = id<A>(t = a)
val tmp_10: A = id<A>(t = a)
{ // BLOCK
tmp10_this.<set-prop>(<set-?> = tmp10_this.<get-prop>().dec())
tmp10_this.<get-prop>()
tmp_10.<set-prop>(<set-?> = tmp_10.<get-prop>().dec())
tmp_10.<get-prop>()
}
} /*~> Unit */
{ // BLOCK
val tmp11_this: B = B
val tmp_11: B = B
{ // BLOCK
val tmp12: Int = tmp11_this.<get-prop>()
tmp11_this.<set-prop>(<set-?> = tmp12.inc())
tmp12
val tmp_12: Int = tmp_11.<get-prop>()
tmp_11.<set-prop>(<set-?> = tmp_12.inc())
tmp_12
}
} /*~> Unit */
{ // BLOCK
val tmp13_this: B = B
val tmp_13: B = B
{ // BLOCK
val tmp14: Int = tmp13_this.<get-prop>()
tmp13_this.<set-prop>(<set-?> = tmp14.dec())
tmp14
val tmp_14: Int = tmp_13.<get-prop>()
tmp_13.<set-prop>(<set-?> = tmp_14.dec())
tmp_14
}
} /*~> Unit */
{ // BLOCK
val tmp15_this: B = B
val tmp_15: B = B
{ // BLOCK
tmp15_this.<set-prop>(<set-?> = tmp15_this.<get-prop>().inc())
tmp15_this.<get-prop>()
tmp_15.<set-prop>(<set-?> = tmp_15.<get-prop>().inc())
tmp_15.<get-prop>()
}
} /*~> Unit */
{ // BLOCK
val tmp16_this: B = B
val tmp_16: B = B
{ // BLOCK
tmp16_this.<set-prop>(<set-?> = tmp16_this.<get-prop>().dec())
tmp16_this.<get-prop>()
tmp_16.<set-prop>(<set-?> = tmp_16.<get-prop>().dec())
tmp_16.<get-prop>()
}
} /*~> Unit */
id<Array<Int>>(t = <get-array>()).set(index = 0, value = 10)
{ // BLOCK
val tmp17_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp18_index0: Int = 0
tmp17_array.set(index = tmp18_index0, value = tmp17_array.get(index = tmp18_index0).plus(other = 20))
val tmp_17: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_18: Int = 0
tmp_17.set(index = tmp_18, value = tmp_17.get(index = tmp_18).plus(other = 20))
}
{ // BLOCK
val tmp19_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp20_index0: Int = 0
tmp19_array.set(index = tmp20_index0, value = tmp19_array.get(index = tmp20_index0).minus(other = 20))
val tmp_19: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_20: Int = 0
tmp_19.set(index = tmp_20, value = tmp_19.get(index = tmp_20).minus(other = 20))
}
{ // BLOCK
val tmp21_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp22_index0: Int = 0
tmp21_array.set(index = tmp22_index0, value = tmp21_array.get(index = tmp22_index0).times(other = 2))
val tmp_21: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_22: Int = 0
tmp_21.set(index = tmp_22, value = tmp_21.get(index = tmp_22).times(other = 2))
}
{ // BLOCK
val tmp23_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp24_index0: Int = 0
tmp23_array.set(index = tmp24_index0, value = tmp23_array.get(index = tmp24_index0).div(other = 5))
val tmp_23: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_24: Int = 0
tmp_23.set(index = tmp_24, value = tmp_23.get(index = tmp_24).div(other = 5))
}
{ // BLOCK
val tmp25_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp26_index0: Int = 0
tmp25_array.set(index = tmp26_index0, value = tmp25_array.get(index = tmp26_index0).rem(other = 3))
val tmp_25: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_26: Int = 0
tmp_25.set(index = tmp_26, value = tmp_25.get(index = tmp_26).rem(other = 3))
}
{ // BLOCK
val tmp27_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp28_index0: Int = 0
val tmp29: Int = tmp27_array.get(index = tmp28_index0)
tmp27_array.set(index = tmp28_index0, value = tmp29.inc())
tmp29
val tmp_27: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_28: Int = 0
val tmp_29: Int = tmp_27.get(index = tmp_28)
tmp_27.set(index = tmp_28, value = tmp_29.inc())
tmp_29
} /*~> Unit */
{ // BLOCK
val tmp30_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp31_index0: Int = 0
val tmp32: Int = tmp30_array.get(index = tmp31_index0)
tmp30_array.set(index = tmp31_index0, value = tmp32.dec())
tmp32
val tmp_30: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_31: Int = 0
val tmp_32: Int = tmp_30.get(index = tmp_31)
tmp_30.set(index = tmp_31, value = tmp_32.dec())
tmp_32
} /*~> Unit */
{ // BLOCK
val tmp33_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp34_index0: Int = 0
tmp33_array.set(index = tmp34_index0, value = tmp33_array.get(index = tmp34_index0).inc())
tmp33_array.get(index = tmp34_index0)
val tmp_33: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_34: Int = 0
tmp_33.set(index = tmp_34, value = tmp_33.get(index = tmp_34).inc())
tmp_33.get(index = tmp_34)
} /*~> Unit */
{ // BLOCK
val tmp35_array: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp36_index0: Int = 0
tmp35_array.set(index = tmp36_index0, value = tmp35_array.get(index = tmp36_index0).dec())
tmp35_array.get(index = tmp36_index0)
val tmp_35: Array<Int> = id<Array<Int>>(t = <get-array>())
val tmp_36: Int = 0
tmp_35.set(index = tmp_36, value = tmp_35.get(index = tmp_36).dec())
tmp_35.get(index = tmp_36)
} /*~> Unit */
{ // BLOCK
val tmp37_array: Array<Int> = <get-array>()
val tmp38_index0: Int = 0
val tmp39: Int = tmp37_array.get(index = tmp38_index0)
tmp37_array.set(index = tmp38_index0, value = tmp39.inc())
tmp39
val tmp_37: Array<Int> = <get-array>()
val tmp_38: Int = 0
val tmp_39: Int = tmp_37.get(index = tmp_38)
tmp_37.set(index = tmp_38, value = tmp_39.inc())
tmp_39
} /*~> Unit */
{ // BLOCK
val tmp40_array: Array<Int> = <get-array>()
val tmp41_index0: Int = 0
val tmp42: Int = tmp40_array.get(index = tmp41_index0)
tmp40_array.set(index = tmp41_index0, value = tmp42.dec())
tmp42
val tmp_40: Array<Int> = <get-array>()
val tmp_41: Int = 0
val tmp_42: Int = tmp_40.get(index = tmp_41)
tmp_40.set(index = tmp_41, value = tmp_42.dec())
tmp_42
} /*~> Unit */
{ // BLOCK
val tmp43_array: Array<Int> = <get-array>()
val tmp44_index0: Int = 0
tmp43_array.set(index = tmp44_index0, value = tmp43_array.get(index = tmp44_index0).inc())
tmp43_array.get(index = tmp44_index0)
val tmp_43: Array<Int> = <get-array>()
val tmp_44: Int = 0
tmp_43.set(index = tmp_44, value = tmp_43.get(index = tmp_44).inc())
tmp_43.get(index = tmp_44)
} /*~> Unit */
{ // BLOCK
val tmp45_array: Array<Int> = <get-array>()
val tmp46_index0: Int = 0
tmp45_array.set(index = tmp46_index0, value = tmp45_array.get(index = tmp46_index0).dec())
tmp45_array.get(index = tmp46_index0)
val tmp_45: Array<Int> = <get-array>()
val tmp_46: Int = 0
tmp_45.set(index = tmp_46, value = tmp_45.get(index = tmp_46).dec())
tmp_45.get(index = tmp_46)
} /*~> Unit */
}
compiler/testData/ir/irText/firProblems/ClashResolutionDescriptor.fir.kt.txt
Vendored
+6 -6
View File
@@ -46,15 +46,15 @@ private val registrationMap: HashMap<Type, Any>
fun resolveClashesIfAny(container: ComponentContainer, clashResolvers: List<PlatformExtensionsClashResolver<*>>) {
{ // BLOCK
val <iterator>: Iterator<PlatformExtensionsClashResolver<*>> = clashResolvers.iterator()
while (<iterator>.hasNext()) { // BLOCK
val resolver: PlatformExtensionsClashResolver<*> = <iterator>.next()
val tmp_0: Iterator<PlatformExtensionsClashResolver<*>> = clashResolvers.iterator()
while (tmp_0.hasNext()) { // BLOCK
val resolver: PlatformExtensionsClashResolver<*> = tmp_0.next()
{ // BLOCK
val clashedComponents: Collection<ComponentDescriptor> = { // BLOCK
val <elvis>: Collection<ComponentDescriptor>? = <get-registrationMap>().get(p0 = resolver.<get-applicableTo>()) as? Collection<ComponentDescriptor>
val tmp_1: Collection<ComponentDescriptor>? = <get-registrationMap>().get(p0 = resolver.<get-applicableTo>()) as? Collection<ComponentDescriptor>
when {
EQEQ(arg0 = <elvis>, arg1 = null) -> continue
else -> <elvis>
EQEQ(arg0 = tmp_1, arg1 = null) -> continue
else -> tmp_1
}
}
val substituteDescriptor: ClashResolutionDescriptor<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>> = ClashResolutionDescriptor<PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>>(container = container, resolver = resolver, clashedComponents = clashedComponents.toList<ComponentDescriptor>())
compiler/testData/ir/irText/firProblems/ClashResolutionDescriptor.kt.txt
Vendored
+6 -6
View File
@@ -46,15 +46,15 @@ private val registrationMap: HashMap<Type, Any>
fun resolveClashesIfAny(container: ComponentContainer, clashResolvers: List<PlatformExtensionsClashResolver<*>>) {
{ // BLOCK
val tmp0_iterator: Iterator<PlatformExtensionsClashResolver<*>> = clashResolvers.iterator()
while (tmp0_iterator.hasNext()) { // BLOCK
val resolver: PlatformExtensionsClashResolver<*> = tmp0_iterator.next()
val tmp_0: Iterator<PlatformExtensionsClashResolver<*>> = clashResolvers.iterator()
while (tmp_0.hasNext()) { // BLOCK
val resolver: PlatformExtensionsClashResolver<*> = tmp_0.next()
{ // BLOCK
val clashedComponents: Collection<ComponentDescriptor> = { // BLOCK
val tmp1_elvis_lhs: Collection<ComponentDescriptor>? = <get-registrationMap>().get(key = resolver.<get-applicableTo>()) as? Collection<ComponentDescriptor>
val tmp_1: Collection<ComponentDescriptor>? = <get-registrationMap>().get(key = resolver.<get-applicableTo>()) as? Collection<ComponentDescriptor>
when {
EQEQ(arg0 = tmp1_elvis_lhs, arg1 = null) -> continue
else -> tmp1_elvis_lhs
EQEQ(arg0 = tmp_1, arg1 = null) -> continue
else -> tmp_1
}
}
val substituteDescriptor: ClashResolutionDescriptor<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>> = ClashResolutionDescriptor<PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>>(container = container, resolver = resolver, clashedComponents = clashedComponents.toList<ComponentDescriptor>())
compiler/testData/ir/irText/firProblems/DeepCopyIrTree.fir.kt.txt
Vendored
+5 -5
View File
@@ -54,11 +54,11 @@ class DeepCopyIrTreeWithSymbols {
))
<this>.<get-typeRemapper>().withinScope<Unit>(irTypeParametersContainer = <this>, fn = local fun <anonymous>() {
{ // BLOCK
val <iterator>: Iterator<Pair<IrTypeParameter, IrTypeParameter>> = <this>.<get-typeParameters>().zip<IrTypeParameter, IrTypeParameter>(other = other.<get-typeParameters>()).iterator()
while (<iterator>.hasNext()) { // BLOCK
val <destruct>: Pair<IrTypeParameter, IrTypeParameter> = <iterator>.next()
val thisTypeParameter: IrTypeParameter = <destruct>.component1()
val otherTypeParameter: IrTypeParameter = <destruct>.component2()
val tmp_0: Iterator<Pair<IrTypeParameter, IrTypeParameter>> = <this>.<get-typeParameters>().zip<IrTypeParameter, IrTypeParameter>(other = other.<get-typeParameters>()).iterator()
while (tmp_0.hasNext()) { // BLOCK
val tmp_1: Pair<IrTypeParameter, IrTypeParameter> = tmp_0.next()
val thisTypeParameter: IrTypeParameter = tmp_1.component1()
val otherTypeParameter: IrTypeParameter = tmp_1.component2()
{ // BLOCK
otherTypeParameter.<get-superTypes>().mapTo<IrType, IrType, MutableList<IrType>>(destination = thisTypeParameter.<get-superTypes>(), transform = local fun <anonymous>(it: IrType): IrType {
return <this>.<get-typeRemapper>().remapType(type = it)
compiler/testData/ir/irText/firProblems/DeepCopyIrTree.kt.txt
Vendored
+5 -5
View File
@@ -54,11 +54,11 @@ class DeepCopyIrTreeWithSymbols {
))
<this>.<get-typeRemapper>().withinScope<Unit>(irTypeParametersContainer = <this>, fn = local fun <anonymous>() {
{ // BLOCK
val tmp0_iterator: Iterator<Pair<IrTypeParameter, IrTypeParameter>> = <this>.<get-typeParameters>().zip<IrTypeParameter, IrTypeParameter>(other = other.<get-typeParameters>()).iterator()
while (tmp0_iterator.hasNext()) { // BLOCK
val tmp1_loop_parameter: Pair<IrTypeParameter, IrTypeParameter> = tmp0_iterator.next()
val thisTypeParameter: IrTypeParameter = tmp1_loop_parameter.component1()
val otherTypeParameter: IrTypeParameter = tmp1_loop_parameter.component2()
val tmp_0: Iterator<Pair<IrTypeParameter, IrTypeParameter>> = <this>.<get-typeParameters>().zip<IrTypeParameter, IrTypeParameter>(other = other.<get-typeParameters>()).iterator()
while (tmp_0.hasNext()) { // BLOCK
val tmp_1: Pair<IrTypeParameter, IrTypeParameter> = tmp_0.next()
val thisTypeParameter: IrTypeParameter = tmp_1.component1()
val otherTypeParameter: IrTypeParameter = tmp_1.component2()
{ // BLOCK
otherTypeParameter.<get-superTypes>().mapTo<IrType, IrType, MutableList<IrType>>(destination = thisTypeParameter.<get-superTypes>(), transform = local fun <anonymous>(it: IrType): IrType {
return <this>.<get-typeRemapper>().remapType(type = it)
compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.kt.txt
Vendored
+3 -3
View File
@@ -76,10 +76,10 @@ fun box(): String {
val stack: PersistentImplicitReceiverStack = PersistentImplicitReceiverStack(stack = listOf<ImplicitReceiverValue<Nothing>>(elements = [ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "O"), ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "K")]))
foo(stack = stack)
return stack.first<ImplicitReceiverValue<*>>().<get-type>().plus(other = { // BLOCK
val tmp0_safe_receiver: ImplicitReceiverValue<*>? = stack.get(name = null)
val tmp_0: ImplicitReceiverValue<*>? = stack.get(name = null)
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.<get-type>()
EQEQ(arg0 = tmp_0, arg1 = null) -> null
else -> tmp_0.<get-type>()
}
})
}
compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt.txt
Vendored
+3 -3
View File
@@ -76,10 +76,10 @@ fun box(): String {
val stack: PersistentImplicitReceiverStack = PersistentImplicitReceiverStack(stack = listOf<ImplicitReceiverValue<Nothing>>(elements = [ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "O"), ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "K")]))
foo(stack = stack)
return stack.first<ImplicitReceiverValue<*>>().<get-type>().plus(other = { // BLOCK
val tmp0_safe_receiver: ImplicitReceiverValue<*>? = stack.get(name = null)
val tmp_0: ImplicitReceiverValue<*>? = stack.get(name = null)
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.<get-type>()
EQEQ(arg0 = tmp_0, arg1 = null) -> null
else -> tmp_0.<get-type>()
}
})
}
compiler/testData/ir/irText/firProblems/MultiList.fir.kt.txt
Vendored
+2 -2
View File
@@ -35,9 +35,9 @@ data class Some<T : Any?> {
when {
other !is Some<T> -> return false
}
val tmp0_other_with_cast: Some<T> = other as Some<T>
val tmp_0: Some<T> = other as Some<T>
when {
EQEQ(arg0 = <this>.#value, arg1 = tmp0_other_with_cast.#value).not() -> return false
EQEQ(arg0 = <this>.#value, arg1 = tmp_0.#value).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/MultiList.kt.txt
Vendored
+2 -2
View File
@@ -35,9 +35,9 @@ data class Some<T : Any?> {
when {
other !is Some<T> -> return false
}
val tmp0_other_with_cast: Some<T> = other as Some<T>
val tmp_0: Some<T> = other as Some<T>
when {
EQEQ(arg0 = <this>.#value, arg1 = tmp0_other_with_cast.#value).not() -> return false
EQEQ(arg0 = <this>.#value, arg1 = tmp_0.#value).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/SafeLetWithReturn.fir.ir.txt
Vendored
-105
View File
@@ -1,105 +0,0 @@
FILE fqName:<root> fileName:/SafeLetWithReturn.kt
FUN name:foo visibility:public modality:FINAL <> (s:kotlin.String?) returnType:kotlin.String
VALUE_PARAMETER name:s index:0 type:kotlin.String?
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
BLOCK type=kotlin.Nothing? origin=SAFE_CALL
VAR IR_TEMPORARY_VARIABLE name:tmp_0 type:kotlin.String? [val]
GET_VAR 's: kotlin.String? declared in <root>.foo' type=kotlin.String? origin=null
WHEN type=kotlin.Nothing? origin=null
BRANCH
if: CALL 'public final fun EQEQ (arg0: kotlin.Any?, arg1: kotlin.Any?): kotlin.Boolean declared in kotlin.internal.ir' type=kotlin.Boolean origin=EQEQ
arg0: GET_VAR 'val tmp_0: kotlin.String? declared in <root>.foo' type=kotlin.String? origin=null
arg1: CONST Null type=kotlin.Nothing? value=null
then: CONST Null type=kotlin.Nothing? value=null
BRANCH
if: CONST Boolean type=kotlin.Boolean value=true
then: CALL 'public final fun let <T, R> (block: kotlin.Function1<T of kotlin.let, R of kotlin.let>): R of kotlin.let declared in kotlin' type=kotlin.Nothing origin=null
<T>: kotlin.String
<R>: kotlin.Nothing
$receiver: GET_VAR 'val tmp_0: kotlin.String? declared in <root>.foo' type=kotlin.String? origin=null
block: FUN_EXPR type=kotlin.Function1<kotlin.String, kotlin.Nothing> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.String) returnType:kotlin.Nothing
VALUE_PARAMETER name:it index:0 type:kotlin.String
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun foo (s: kotlin.String?): kotlin.String declared in <root>'
GET_VAR 'it: kotlin.String declared in <root>.foo.<anonymous>' type=kotlin.String origin=null
RETURN type=kotlin.Nothing from='public final fun foo (s: kotlin.String?): kotlin.String declared in <root>'
CONST String type=kotlin.String value=""
FUN name:bar visibility:public modality:FINAL <> (s:kotlin.String?, t:kotlin.String?) returnType:kotlin.String
VALUE_PARAMETER name:s index:0 type:kotlin.String?
VALUE_PARAMETER name:t index:1 type:kotlin.String?
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
BLOCK type=kotlin.Nothing? origin=SAFE_CALL
VAR IR_TEMPORARY_VARIABLE name:tmp_1 type:kotlin.String? [val]
GET_VAR 's: kotlin.String? declared in <root>.bar' type=kotlin.String? origin=null
WHEN type=kotlin.Nothing? origin=null
BRANCH
if: CALL 'public final fun EQEQ (arg0: kotlin.Any?, arg1: kotlin.Any?): kotlin.Boolean declared in kotlin.internal.ir' type=kotlin.Boolean origin=EQEQ
arg0: GET_VAR 'val tmp_1: kotlin.String? declared in <root>.bar' type=kotlin.String? origin=null
arg1: CONST Null type=kotlin.Nothing? value=null
then: CONST Null type=kotlin.Nothing? value=null
BRANCH
if: CONST Boolean type=kotlin.Boolean value=true
then: CALL 'public final fun let <T, R> (block: kotlin.Function1<T of kotlin.let, R of kotlin.let>): R of kotlin.let declared in kotlin' type=kotlin.Nothing? origin=null
<T>: kotlin.String
<R>: kotlin.Nothing?
$receiver: GET_VAR 'val tmp_1: kotlin.String? declared in <root>.bar' type=kotlin.String? origin=null
block: FUN_EXPR type=kotlin.Function1<kotlin.String, kotlin.Nothing?> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.String) returnType:kotlin.Nothing?
VALUE_PARAMETER name:it index:0 type:kotlin.String
BLOCK_BODY
RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: kotlin.String): kotlin.Nothing? declared in <root>.bar'
BLOCK type=kotlin.Nothing? origin=SAFE_CALL
VAR IR_TEMPORARY_VARIABLE name:tmp_2 type:kotlin.String? [val]
GET_VAR 't: kotlin.String? declared in <root>.bar' type=kotlin.String? origin=null
WHEN type=kotlin.Nothing? origin=null
BRANCH
if: CALL 'public final fun EQEQ (arg0: kotlin.Any?, arg1: kotlin.Any?): kotlin.Boolean declared in kotlin.internal.ir' type=kotlin.Boolean origin=EQEQ
arg0: GET_VAR 'val tmp_2: kotlin.String? declared in <root>.bar.<anonymous>' type=kotlin.String? origin=null
arg1: CONST Null type=kotlin.Nothing? value=null
then: CONST Null type=kotlin.Nothing? value=null
BRANCH
if: CONST Boolean type=kotlin.Boolean value=true
then: CALL 'public final fun let <T, R> (block: kotlin.Function1<T of kotlin.let, R of kotlin.let>): R of kotlin.let declared in kotlin' type=kotlin.Nothing origin=null
<T>: kotlin.String
<R>: kotlin.Nothing
$receiver: GET_VAR 'val tmp_2: kotlin.String? declared in <root>.bar.<anonymous>' type=kotlin.String? origin=null
block: FUN_EXPR type=kotlin.Function1<kotlin.String, kotlin.Nothing> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.String) returnType:kotlin.Nothing
VALUE_PARAMETER name:it index:0 type:kotlin.String
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun bar (s: kotlin.String?, t: kotlin.String?): kotlin.String declared in <root>'
GET_VAR 'it: kotlin.String declared in <root>.bar.<anonymous>.<anonymous>' type=kotlin.String origin=null
RETURN type=kotlin.Nothing from='public final fun bar (s: kotlin.String?, t: kotlin.String?): kotlin.String declared in <root>'
CONST String type=kotlin.String value=""
PROPERTY name:baz visibility:public modality:FINAL [val]
FUN name:<get-baz> visibility:public modality:FINAL <> ($receiver:kotlin.String?) returnType:kotlin.String
correspondingProperty: PROPERTY name:baz visibility:public modality:FINAL [val]
$receiver: VALUE_PARAMETER name:<this> type:kotlin.String?
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
BLOCK type=kotlin.Nothing? origin=SAFE_CALL
VAR IR_TEMPORARY_VARIABLE name:tmp_3 type:kotlin.String? [val]
GET_VAR '<this>: kotlin.String? declared in <root>.<get-baz>' type=kotlin.String? origin=null
WHEN type=kotlin.Nothing? origin=null
BRANCH
if: CALL 'public final fun EQEQ (arg0: kotlin.Any?, arg1: kotlin.Any?): kotlin.Boolean declared in kotlin.internal.ir' type=kotlin.Boolean origin=EQEQ
arg0: GET_VAR 'val tmp_3: kotlin.String? declared in <root>.<get-baz>' type=kotlin.String? origin=null
arg1: CONST Null type=kotlin.Nothing? value=null
then: CONST Null type=kotlin.Nothing? value=null
BRANCH
if: CONST Boolean type=kotlin.Boolean value=true
then: CALL 'public final fun let <T, R> (block: kotlin.Function1<T of kotlin.let, R of kotlin.let>): R of kotlin.let declared in kotlin' type=kotlin.Nothing origin=null
<T>: kotlin.String
<R>: kotlin.Nothing
$receiver: GET_VAR 'val tmp_3: kotlin.String? declared in <root>.<get-baz>' type=kotlin.String? origin=null
block: FUN_EXPR type=kotlin.Function1<kotlin.String, kotlin.Nothing> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.String) returnType:kotlin.Nothing
VALUE_PARAMETER name:it index:0 type:kotlin.String
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-baz> (): kotlin.String declared in <root>'
GET_VAR 'it: kotlin.String declared in <root>.<get-baz>.<anonymous>' type=kotlin.String origin=null
RETURN type=kotlin.Nothing from='public final fun <get-baz> (): kotlin.String declared in <root>'
CONST String type=kotlin.String value=""
compiler/testData/ir/irText/firProblems/SafeLetWithReturn.fir.kt.txt
Vendored
-51
View File
@@ -1,51 +0,0 @@
fun foo(s: String?): String {
{ // BLOCK
val tmp0_safe_receiver: String? = s
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
return it
}
)
}
} /*~> Unit */
return ""
}
fun bar(s: String?, t: String?): String {
{ // BLOCK
val tmp1_safe_receiver: String? = s
when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
else -> tmp1_safe_receiver.let<String, Nothing?>(block = local fun <anonymous>(it: String): Nothing? {
return { // BLOCK
val tmp2_safe_receiver: String? = t
when {
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
else -> tmp2_safe_receiver.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
return it
}
)
}
}
}
)
}
} /*~> Unit */
return ""
}
val String?.baz: String
get(): String {
{ // BLOCK
val tmp3_safe_receiver: String? = <this>
when {
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null
else -> tmp3_safe_receiver.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
return it
}
)
}
} /*~> Unit */
return ""
}
compiler/testData/ir/irText/firProblems/SafeLetWithReturn.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// WITH_STDLIB
fun foo(s: String?): String {
compiler/testData/ir/irText/firProblems/SafeLetWithReturn.kt.txt
Vendored
+12 -12
View File
@@ -1,9 +1,9 @@
fun foo(s: String?): String {
{ // BLOCK
val tmp0_safe_receiver: String? = s
val tmp_0: String? = s
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
EQEQ(arg0 = tmp_0, arg1 = null) -> null
else -> tmp_0.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
return it
}
)
@@ -14,15 +14,15 @@ fun foo(s: String?): String {
fun bar(s: String?, t: String?): String {
{ // BLOCK
val tmp0_safe_receiver: String? = s
val tmp_1: String? = s
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.let<String, Nothing?>(block = local fun <anonymous>(it: String): Nothing? {
EQEQ(arg0 = tmp_1, arg1 = null) -> null
else -> tmp_1.let<String, Nothing?>(block = local fun <anonymous>(it: String): Nothing? {
return { // BLOCK
val tmp0_safe_receiver: String? = t
val tmp_2: String? = t
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
EQEQ(arg0 = tmp_2, arg1 = null) -> null
else -> tmp_2.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
return it
}
)
@@ -38,10 +38,10 @@ fun bar(s: String?, t: String?): String {
val String?.baz: String
get(): String {
{ // BLOCK
val tmp0_safe_receiver: String? = <this>
val tmp_3: String? = <this>
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
EQEQ(arg0 = tmp_3, arg1 = null) -> null
else -> tmp_3.let<String, Nothing>(block = local fun <anonymous>(it: String): Nothing {
return it
}
)
compiler/testData/ir/irText/firProblems/SignatureClash.fir.kt.txt
Vendored
+2 -2
View File
@@ -67,9 +67,9 @@ data class DataClass : Derived, Delegate {
when {
other !is DataClass -> return false
}
val tmp0_other_with_cast: DataClass = other as DataClass
val tmp_0: DataClass = other as DataClass
when {
EQEQ(arg0 = <this>.#delegate, arg1 = tmp0_other_with_cast.#delegate).not() -> return false
EQEQ(arg0 = <this>.#delegate, arg1 = tmp_0.#delegate).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/SignatureClash.kt.txt
Vendored
+2 -2
View File
@@ -67,9 +67,9 @@ data class DataClass : Derived, Delegate {
when {
other !is DataClass -> return false
}
val tmp0_other_with_cast: DataClass = other as DataClass
val tmp_0: DataClass = other as DataClass
when {
EQEQ(arg0 = <this>.#delegate, arg1 = tmp0_other_with_cast.#delegate).not() -> return false
EQEQ(arg0 = <this>.#delegate, arg1 = tmp_0.#delegate).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/coercionToUnitForNestedWhen.fir.kt.txt
Vendored
+6 -6
View File
@@ -4,13 +4,13 @@ private const val BACKSLASH: Char
private fun Reader.nextChar(): Char? {
return { // BLOCK
val tmp0_safe_receiver: Int? = <this>.read().takeUnless<Int>(predicate = local fun <anonymous>(it: Int): Boolean {
val tmp_0: Int? = <this>.read().takeUnless<Int>(predicate = local fun <anonymous>(it: Int): Boolean {
return EQEQ(arg0 = it, arg1 = -1)
}
)
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.toChar()
EQEQ(arg0 = tmp_0, arg1 = null) -> null
else -> tmp_0.toChar()
}
}
}
@@ -23,10 +23,10 @@ fun Reader.consumeRestOfQuotedSequence(sb: StringBuilder, quote: Char) {
}) { // BLOCK
when {
EQEQ(arg0 = ch, arg1 = '\\') -> { // BLOCK
val tmp1_safe_receiver: Char? = <this>.nextChar()
val tmp_1: Char? = <this>.nextChar()
when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
else -> tmp1_safe_receiver.let<Char, @FlexibleNullability StringBuilder?>(block = local fun <anonymous>(it: Char): @FlexibleNullability StringBuilder? {
EQEQ(arg0 = tmp_1, arg1 = null) -> null
else -> tmp_1.let<Char, @FlexibleNullability StringBuilder?>(block = local fun <anonymous>(it: Char): @FlexibleNullability StringBuilder? {
return sb.append(p0 = it)
}
)
compiler/testData/ir/irText/firProblems/coercionToUnitForNestedWhen.kt.txt
Vendored
+6 -6
View File
@@ -4,13 +4,13 @@ private const val BACKSLASH: Char
private fun Reader.nextChar(): Char? {
return { // BLOCK
val tmp0_safe_receiver: Int? = <this>.read().takeUnless<Int>(predicate = local fun <anonymous>(it: Int): Boolean {
val tmp_0: Int? = <this>.read().takeUnless<Int>(predicate = local fun <anonymous>(it: Int): Boolean {
return EQEQ(arg0 = it, arg1 = -1)
}
)
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.toChar()
EQEQ(arg0 = tmp_0, arg1 = null) -> null
else -> tmp_0.toChar()
}
}
}
@@ -23,10 +23,10 @@ fun Reader.consumeRestOfQuotedSequence(sb: StringBuilder, quote: Char) {
}) { // BLOCK
when {
EQEQ(arg0 = ch, arg1 = <get-BACKSLASH>()) -> { // BLOCK
val tmp0_safe_receiver: Char? = <this>.nextChar()
val tmp_1: Char? = <this>.nextChar()
when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
else -> tmp0_safe_receiver.let<Char, @FlexibleNullability StringBuilder?>(block = local fun <anonymous>(it: Char): @FlexibleNullability StringBuilder? {
EQEQ(arg0 = tmp_1, arg1 = null) -> null
else -> tmp_1.let<Char, @FlexibleNullability StringBuilder?>(block = local fun <anonymous>(it: Char): @FlexibleNullability StringBuilder? {
return sb.append(p0 = it)
}
)
compiler/testData/ir/irText/firProblems/elvisOnBackingFieldInGetter.fir.kt.txt
Vendored
+3 -3
View File
@@ -20,10 +20,10 @@ class Test {
}
}
return { // BLOCK
val <elvis>: ResourceTable? = <this>.#resourceTable
val tmp_0: ResourceTable? = <this>.#resourceTable
when {
EQEQ(arg0 = <elvis>, arg1 = null) -> ResourceTable()
else -> <elvis>
EQEQ(arg0 = tmp_0, arg1 = null) -> ResourceTable()
else -> tmp_0
}
}
}
compiler/testData/ir/irText/firProblems/elvisOnBackingFieldInGetter.kt.txt
Vendored
+3 -3
View File
@@ -20,10 +20,10 @@ class Test {
}
}
return { // BLOCK
val tmp0_elvis_lhs: ResourceTable? = <this>.#resourceTable
val tmp_0: ResourceTable? = <this>.#resourceTable
when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> ResourceTable()
else -> tmp0_elvis_lhs
EQEQ(arg0 = tmp_0, arg1 = null) -> ResourceTable()
else -> tmp_0
}
}
}
compiler/testData/ir/irText/firProblems/emptyWhen.kt.txt
Vendored
+2 -2
View File
@@ -3,14 +3,14 @@ fun foo() {
}
val x: Int = 0
{ // BLOCK
val tmp0_subject: Int = x
val tmp_0: Int = x
when {
else -> { // BLOCK
}
}
}
val z: Unit = { // BLOCK
val tmp1_subject: Int = x
val tmp_1: Int = x
when {
else -> { // BLOCK
}
compiler/testData/ir/irText/firProblems/kt55458.fir.kt.txt
Vendored
+2 -2
View File
@@ -1,5 +1,5 @@
fun main() {
val <destruct>: Pair<Int, Int> = 1.to<Int, Int>(that = 2)
val a: Int = <destruct>.component1()
val tmp_0: Pair<Int, Int> = 1.to<Int, Int>(that = 2)
val a: Int = tmp_0.component1()
println(message = a)
}
compiler/testData/ir/irText/firProblems/kt55458.kt.txt
Vendored
+2 -2
View File
@@ -1,7 +1,7 @@
fun main() {
// COMPOSITE {
val tmp0_container: Pair<Int, Int> = 1.to<Int, Int>(that = 2)
val a: Int = tmp0_container.component1()
val tmp_0: Pair<Int, Int> = 1.to<Int, Int>(that = 2)
val a: Int = tmp_0.component1()
// }
println(message = a)
}
compiler/testData/ir/irText/firProblems/valueClassEquals.fir.kt.txt
Vendored
+2 -2
View File
@@ -22,9 +22,9 @@ value class Z {
when {
other !is Z -> return false
}
val tmp0_other_with_cast: Z = other as Z
val tmp_0: Z = other as Z
when {
EQEQ(arg0 = <this>.#s, arg1 = tmp0_other_with_cast.#s).not() -> return false
EQEQ(arg0 = <this>.#s, arg1 = tmp_0.#s).not() -> return false
}
return true
}
compiler/testData/ir/irText/firProblems/valueClassEquals.kt.txt
Vendored
+2 -2
View File
@@ -22,9 +22,9 @@ value class Z {
when {
other !is Z -> return false
}
val tmp0_other_with_cast: Z = other as Z
val tmp_0: Z = other as Z
when {
EQEQ(arg0 = <this>.#s, arg1 = tmp0_other_with_cast.#s).not() -> return false
EQEQ(arg0 = <this>.#s, arg1 = tmp_0.#s).not() -> return false
}
return true
}