Add lifetime dependence unit tests for synthesized accessors.

Author: atrick

test/SILOptimizer/lifetime_dependence/accessors.swift

@@ -0,0 +1,55 @@
+// RUN: %target-swift-emit-sil -enable-experimental-feature Lifetimes -primary-file %s | %FileCheck %s
+
+// REQUIRES: swift_feature_Lifetimes
+
+struct NE : ~Escapable {
+  let _p: UnsafeRawPointer
+
+  @_lifetime(borrow p)
+  init(_ p: UnsafeRawPointer) { self._p = p }
+}
+
+struct NEStoredProp : ~Copyable, ~Escapable {
+  var ne: NE
+}
+
+struct NCNE : ~Copyable, ~Escapable {
+  let _p: UnsafeRawPointer
+
+  @_lifetime(borrow p)
+  init(_ p: UnsafeRawPointer) {
+    self._p = p
+  }
+}
+
+struct NCNEHolder : ~Copyable, ~Escapable {
+  var p: UnsafeRawPointer
+
+  // this cannot be public in order to synthesize the _read accessor.
+  var ncneBorrow: NCNE {
+    // CHECK-LABEL: sil{{.*}} @$s9accessors10NCNEHolderV10ncneBorrowAA4NCNEVvr : $@yield_once @convention(method) (@guaranteed NCNEHolder) -> @lifetime(borrow 0) @yields @guaranteed NCNE {
+    @_lifetime(borrow self)
+    borrowing get {
+      _overrideLifetime(NCNE(p), borrowing: self)
+    }
+    // CHECK-LABEL: sil{{.*}} @$s9accessors10NCNEHolderV10ncneBorrowAA4NCNEVvM : $@yield_once @convention(method) (@lifetime(copy 0) @inout NCNEHolder) -> @lifetime(borrow 0) @yields @inout NCNE {
+    @_lifetime(self: copy self)
+    set {
+      p = newValue._p
+    }
+  }
+
+  // this cannot be public in order to synthesize the _read accessor.
+  var ncneCopy: NCNE {
+    // CHECK-LABEL: sil{{.*}} @$s9accessors10NCNEHolderV8ncneCopyAA4NCNEVvr : $@yield_once @convention(method) (@guaranteed NCNEHolder) -> @lifetime(copy 0) @yields @guaranteed NCNE {
+    @_lifetime(copy self)
+    borrowing get {
+      _overrideLifetime(NCNE(p), copying: self)
+    }
+    // CHECK-LABEL: sil{{.*}} @$s9accessors10NCNEHolderV8ncneCopyAA4NCNEVvM : $@yield_once @convention(method) (@lifetime(copy 0) @inout NCNEHolder) -> @lifetime(copy 0) @yields @inout NCNE {
+    @_lifetime(self: copy self)
+    set {
+      p = newValue._p
+    }
+  }
+}

test/SILOptimizer/simplify_mark_dependence.sil

@@ -167,7 +167,7 @@ bb0(%0 : $*Builtin.Int64, %1 : $B):
 
 // CHECK-LABEL: sil hidden [ossa] @testChainedDependence : $@convention(thin) (@guaranteed NEHolder) -> () {
 // CHECK: bb0(%0 : @noImplicitCopy @guaranteed $NEHolder):
-// CHECK:   ([[YIELD:%[0-9]+]], [[TOKEN:%[0-9]+]]) = begin_apply %2(%1) : $@yield_once @convention(method) (@guaranteed NEHolder) -> @lifetime(borrow 0) @yields @guaranteed NE
+// CHECK:   ([[YIELD:%[0-9]+]], [[TOKEN:%[0-9]+]]) = begin_apply %{{.*}}(%{{.*}}) : $@yield_once @convention(method) (@guaranteed NEHolder) -> @lifetime(borrow 0) @yields @guaranteed NE
 // CHECK:   [[MD1:%[0-9]+]] = mark_dependence [nonescaping] [[YIELD]] on [[TOKEN]]
 // CHECK:   mark_dependence [nonescaping] [[MD1]] on
 // CHECK-LABEL: } // end sil function 'testChainedDependence'