LifetimeDependence stored property unit tests

Author: atrick

test/SILOptimizer/lifetime_dependence_borrow.swift

@@ -8,48 +8,78 @@
 // REQUIRES: asserts
 // REQUIRES: swift_in_compiler
 
+// Some container-ish thing.
+struct CN: ~Copyable {
+  let p: UnsafeRawPointer
+  let i: Int
+}
+
+// Some Bufferview-ish thing.
 @_nonescapable
 struct BV {
   let p: UnsafeRawPointer
-  let c: Int
+  let i: Int
 
-  public var isEmpty: Bool { c == 0 }
+  public var isEmpty: Bool { i == 0 }
 
   @_unsafeNonescapableResult
-  init(_ p: UnsafeRawPointer, _ c: Int) {
+  init(_ p: UnsafeRawPointer, _ i: Int) {
     self.p = p
-    self.c = c
+    self.i = i
+  }
+
+  init(_ cn: borrowing CN) {
+    self.p = cn.p
+    self.i = cn.i
   }
 }
 
+// Some MutableBufferview-ish thing.
 @_nonescapable
-struct NCNE : ~Copyable {
+struct MBV : ~Copyable {
   let p: UnsafeRawPointer
-  let c: Int
+  let i: Int
 
   @_unsafeNonescapableResult
-  init(_ p: UnsafeRawPointer, _ c: Int) {
+  init(_ p: UnsafeRawPointer, _ i: Int) {
     self.p = p
-    self.c = c
+    self.i = i
   }
 
   // Requires a borrow.
   borrowing func getBV() -> _borrow(self) BV {
-    BV(p, c)
+    BV(p, i)
+  }
+}
+
+// Nonescapable wrapper.
+@_nonescapable
+struct NEBV {
+  var bv: BV
+
+  init(_ bv: consuming BV) {
+    self.bv = bv
   }
 }
 
 // Propagate a borrow.
-func bv_get_borrow(container: borrowing NCNE) -> _borrow(container) BV {
+func bv_get_borrow(container: borrowing MBV) -> _borrow(container) BV {
   container.getBV()
 }
 
 // Copy a borrow.
-func bv_get_copy(container: borrowing NCNE) -> _copy(container) BV {
+func bv_get_copy(container: borrowing MBV) -> _copy(container) BV {
   return container.getBV()
 }
 
 // Recognize nested accesses as part of the same dependence scope.
-func bv_get_mutate(container: inout NCNE) -> _mutate(container) BV {
+func bv_get_mutate(container: inout MBV) -> _mutate(container) BV {
   container.getBV()
 }
+
+// Create and decompose a nonescapable aggregate.
+func ne_wrap_and_extract_member(cn: borrowing CN) -> _borrow(cn) BV {
+  let bv = BV(cn)
+  let ne = NEBV(bv)
+  return ne.bv
+}

test/SILOptimizer/lifetime_dependence_inherit.swift

@@ -41,3 +41,8 @@ struct NE {
 func bv_derive(bv: consuming BV) -> _consume(bv) BV {
   bv.derive()
 }
+
+// Test lifetime inheritance through stored properties.
+func ne_extract_member(ne: consuming NE) -> _consume(ne) BV {
+  return ne.bv
+}