rra/zhelenskiy/flattening_impl

[IR] Remove unused MFVC getters Signed-off-by: Evgeniy.Zhelenskiy <Evgeniy.Zhelenskiy@jetbrains.com> #KT-1179 [IR] Add context receivers test, fix a flattening fields bug Signed-off-by: Evgeniy.Zhelenskiy <Evgeniy.Zhelenskiy@jetbrains.com> #KT-1179 [IR] Support `try` for MFVC #KT-1179 [IR] Support `if` and `when` for MFVC, fix several bugs, refactor #KT-1179 [IR] Rename MFVC tests + Add test for get-field optimization #KT-1179 [IR] Suppress temporary test failing on Android Bug is fixed in https://jetbrains.team/p/kt/reviews/6452 #KT-1179 [IR] Document the new MFVC lowering classes when necessary #KT-1179 [IR] Correct work of the new MFVC lowering classes #KT-1179 [IR] Prepare MFVC-lowering for the new MFVC classes #KT-1179 [IR] Fix MFVC with type arguments/parameters #KT-1179 [IR] Support MFVC with type parameters #KT-1179 [IR] Integrate MFVC with Inline classes #KT-1179 [IR] Fix compilation of MFVC in different module #KT-1179 [IR] Add MFVC generation tests #KT-1179 [IR] Implement equals call correct generation for MFVC #KT-1179 [IR] Implement bridges generation for MFVC #KT-1179 [IR] Implement MFVC basic flattening #KT-1179 Merge-request: KT-MR-6213 Merged-by: Evgeniy Zhelenskiy <Evgeniy.Zhelenskiy@jetbrains.com>
2022-10-06 20:45:45 +00:00
parent 5c9802ae84
commit b7f5c039a6
64 changed files with 15451 additions and 332 deletions
@@ -0,0 +1,53 @@
+// CHECK_BYTECODE_LISTING
+// WITH_STDLIB
+// TARGET_BACKEND: JVM_IR
+// WORKS_WHEN_VALUE_CLASS
+// LANGUAGE: +ValueClasses
+
+@JvmInline
+value class DPoint(val x: Double, val y: Double) {
+    init {
+        counter++
+    }
+    companion object {
+        @JvmStatic
+        var counter: Int = 0
+    }
+}
+
+fun ifExpr() = if (DPoint(0.0, 1.0).x > 0.0) DPoint(2.0, 3.0) else DPoint(4.0, 5.0)
+
+fun whenExpr() = when {
+    DPoint(6.0, 7.0).x > 0.0 -> DPoint(8.0, 9.0)
+    DPoint(10.0, 11.0).x > 0.0 -> DPoint(12.0, 13.0)
+    else -> DPoint(14.0, 15.0)
+}
+
+fun ifBody() {
+    if (DPoint(0.0, 1.0).x > 0.0) DPoint(2.0, 3.0) else DPoint(4.0, 5.0)
+    val x = if (DPoint(0.0, 1.0).x > 0.0) DPoint(2.0, 3.0) else DPoint(4.0, 5.0)
+    require(x == DPoint(4.0, 5.0))
+}
+
+fun whenBody() {
+    when {
+        DPoint(6.0, 7.0).x > 0.0 -> DPoint(8.0, 9.0)
+        DPoint(10.0, 11.0).x > 0.0 -> DPoint(12.0, 13.0)
+        else -> DPoint(14.0, 15.0)
+    }
+    val x = when {
+        DPoint(6.0, 7.0).x > 0.0 -> DPoint(8.0, 9.0)
+        DPoint(10.0, 11.0).x > 0.0 -> DPoint(12.0, 13.0)
+        else -> DPoint(14.0, 15.0)
+    }
+    require(x == DPoint(8.0, 9.0))
+}
+
+fun box(): String {
+    ifBody()
+    whenBody()
+    require(ifExpr() == DPoint(4.0, 5.0))
+    require(whenExpr() == DPoint(8.0, 9.0))
+    require(DPoint.counter == 5 + 5 + 2 + 1 + 2 + 1)
+    return "OK"
+}