[test] effectful properties through SILGen

Author: kavon

test/SILGen/effectful_properties.swift

@@ -0,0 +1,68 @@
+// RUN: %target-swift-frontend -emit-silgen %s -module-name accessors -swift-version 5 -enable-experimental-concurrency | %FileCheck --enable-var-scope %s
+// REQUIRES: concurrency
+
+class C {
+  // CHECK-DAG: sil hidden [ossa] @$s9accessors1CC16prop_asyncThrowsSivg : $@convention(method) @async (@guaranteed C) -> (Int, @error Error) {
+  var prop_asyncThrows : Int {
+    get async throws { 0 }
+  }
+  // CHECK-DAG: sil hidden [ossa] @$s9accessors1CC10prop_asyncSivg : $@convention(method) @async (@guaranteed C) -> Int {
+  var prop_async : Int {
+    get async { 1 }
+  }
+  // CHECK-DAG: sil hidden [ossa] @$s9accessors1CC11prop_throwsSivg : $@convention(method) (@guaranteed C) -> (Int, @error Error) {
+  var prop_throws : Int {
+    get throws { 2 }
+  }
+}
+
+struct S {
+  // CHECK-DAG: sil hidden [ossa] @$s9accessors1SVyS2icig : $@convention(method) @async (Int, S) -> Int {
+  subscript(_ s : Int) -> Int {
+    get async { 0 }
+  }
+  // CHECK-DAG: sil hidden [ossa] @$s9accessors1SVySiSdcig : $@convention(method) (Double, S) -> (Int, @error Error) {
+  subscript(_ s : Double) -> Int {
+    get throws { 0 }
+  }
+}
+
+enum E {
+ // CHECK-DAG: sil hidden [ossa] @$s9accessors1EOyS2icig : $@convention(method) @async (Int, E) -> (Int, @error Error) {
+  subscript(_ e : Int) -> Int {
+    get async throws { 0 }
+  }
+}
+
+actor A {
+ // CHECK-DAG: sil hidden [transparent] [ossa] @$s9accessors1AC10normalPropSivg : $@convention(method) (@guaranteed A) -> Int {
+  var normalProp : Int = 0
+  // CHECK-DAG: sil hidden [ossa] @$s9accessors1AC12computedPropSivg : $@convention(method) (@guaranteed A) -> Int {
+  var computedProp : Int { get { 0 } }
+
+  // CHECK-LABEL: sil hidden [ossa] @$s9accessors1AC9asyncPropSivg : $@convention(method) @async (@guaranteed A) -> Int {
+  // CHECK:       bb0([[SELF:%[0-9]+]] : @guaranteed $A):
+  // CHECK:         hop_to_executor [[SELF]] : $A
+  // CHECK:       } // end sil function '$s9accessors1AC9asyncPropSivg'
+  var asyncProp : Int {
+    get async { 0 }
+  }
+
+}
+
+// CHECK-LABEL: sil hidden [ossa] @$s9accessors19testImplicitlyAsync1aSiAA1AC_tYF : $@convention(thin) @async (@guaranteed A) -> Int {
+// CHECK:         hop_to_executor
+// CHECK:         apply {{%[0-9]+}}({{%[0-9]+}}) : $@convention(method) (@guaranteed A) -> Int
+// CHECK:         hop_to_executor
+// CHECK:       } // end sil function '$s9accessors19testImplicitlyAsync1aSiAA1AC_tYF'
+func testImplicitlyAsync(a : A) async -> Int {
+  return await a.computedProp
+}
+
+
+// CHECK-LABEL: sil hidden [ossa] @$s9accessors15testNormalAsync1aSiAA1AC_tYF : $@convention(thin) @async (@guaranteed A) -> Int {
+// CHECK:          apply {{%[0-9]+}}({{%[0-9]+}}) : $@convention(method) @async (@guaranteed A) -> Int
+// CHECK:       } // end sil function '$s9accessors15testNormalAsync1aSiAA1AC_tYF'
+func testNormalAsync(a : A) async -> Int {
+  return await a.asyncProp
+}