Merge pull request #71776 from meg-gupta/lifetimedependencetest

[NFC] Update CHECK lines for lifetime dependence tests

Author: meg-gupta

test/SIL/buffer_view_prototype.swift renamed to test/SIL/lifetime_dependence_buffer_view_test.swift

@@ -9,8 +9,6 @@
 // REQUIRES: swift_in_compiler
 // REQUIRES: noncopyable_generics
 
-// Incrementally testing https://github.pie.apple.com/guillaume-l/BufferView with lifetime dependence
-
 // TODO: Use real Range
 public struct FakeRange<Bound> {
   public let lowerBound: Bound
@@ -65,6 +63,7 @@ public struct BufferView<Element> : ~Escapable {
   public let count: Int
   private var baseAddress: UnsafeRawPointer { start._rawValue }
 
+// CHECK: sil @$s31lifetime_dependence_scope_fixup10BufferViewV11baseAddress5count9dependsOnACyxGSVYls_Siqd__htclufC : $@convention(method) <Element><Owner> (UnsafeRawPointer, Int, @in_guaranteed Owner, @thin BufferView<Element>.Type) -> _scope(1) @owned BufferView<Element> {
   public init<Owner>(
       baseAddress: UnsafeRawPointer,
       count: Int,
@@ -74,6 +73,7 @@ public struct BufferView<Element> : ~Escapable {
         start: .init(rawValue: baseAddress), count: count, dependsOn: owner
       )
   }
+// CHECK: sil hidden @$s31lifetime_dependence_scope_fixup10BufferViewV5start5count9dependsOnACyxGAA0eF5IndexVyxGYls_Siqd__htclufC : $@convention(method) <Element><Owner> (BufferViewIndex<Element>, Int, @in_guaranteed Owner, @thin BufferView<Element>.Type) -> _scope(1) @owned BufferView<Element> {
   init<Owner>(
     start index: BufferViewIndex<Element>,
     count: Int,
@@ -122,6 +122,7 @@ extension BufferView {
     }
   }
 
+// CHECK: sil @$s31lifetime_dependence_scope_fixup10BufferViewVyACyxGAA9FakeRangeVyAA0eF5IndexVyxGGcig : $@convention(method) <Element> (FakeRange<BufferViewIndex<Element>>, @guaranteed BufferView<Element>) -> _scope(0) @owned BufferView<Element> {
   public subscript(bounds: FakeRange<BufferViewIndex<Element>>) -> Self {
     get {
       BufferView(
@@ -140,6 +141,7 @@ extension Array {
   // }
   // TODO: Implementation of getter should not need a temporary
   // rdar://123071321
+// CHECK: sil hidden @$sSa31lifetime_dependence_scope_fixupE4viewAA10BufferViewVyxGvg : $@convention(method) <Element> (@guaranteed Array<Element>) -> _scope(0) @owned BufferView<Element> {
   var view: BufferView<Element> {
     var _view : BufferView<Element>? 
     withUnsafePointer(to:self) {

test/SILOptimizer/lifetime_dependence_scope_fixup.swift

@@ -112,6 +112,19 @@ func test1(_ a: Array<Int>) {
   }
 }
 
+// CHECK-LABEL: sil private @$s31lifetime_dependence_scope_fixup5test2yySaySiGFySWXEfU_ : $@convention(thin) @substituted <τ_0_0> (UnsafeRawBufferPointer) -> (@out τ_0_0, @error any Error) for <()> {
+// CHECK:   [[CONT:%.*]] = alloc_stack [lexical] $NCContainer, var, name "x"
+// CHECK:   [[BA:%.*]] = begin_access [read] [static] [[CONT]] : $*NCContainer
+// CHECK:   [[LD:%.*]] = load [[CONT]] : $*NCContainer
+// CHECK:   [[FUNC:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup16getBorrowingViewyAA0G0VAA11NCContainerVYlsF : $@convention(thin) (@guaranteed NCContainer) -> _scope(1) @owned View
+// CHECK:   [[VIEW:%.*]] = apply [[FUNC]]([[LD]]) : $@convention(thin) (@guaranteed NCContainer) -> _scope(1) @owned View
+// CHECK:   [[MDI:%.*]] = mark_dependence [nonescaping] [[VIEW]] : $View on [[BA]] : $*NCContainer
+// CHECK:   [[USE:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup3useyyAA4ViewVF : $@convention(thin) (@guaranteed View) -> ()
+// CHECK:   apply [[USE]]([[MDI]]) : $@convention(thin) (@guaranteed View) -> ()
+// CHECK:   [[CONSUME:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup7consumeyyAA4ViewVnF : $@convention(thin) (@owned View) -> ()
+// CHECK:   apply [[CONSUME]]([[VIEW]]) : $@convention(thin) (@owned View) -> ()
+// CHECK:   end_access [[BA]] : $*NCContainer
+// CHECK-LABEL: } // end sil function '$s31lifetime_dependence_scope_fixup5test2yySaySiGFySWXEfU_'
 func test2(_ a: Array<Int>) {
   a.withUnsafeBytes {
     var x = NCContainer($0, a.count)
@@ -166,6 +179,18 @@ func test6(_ a: Array<Int>) {
   use(p!)
 }
 
+// CHECK-LABEL: sil hidden @$s31lifetime_dependence_scope_fixup5test7yySWF : $@convention(thin) (UnsafeRawBufferPointer) -> () {
+// CHECK:   [[CONT:%.*]] = alloc_stack $NEContainer, var, name "x"
+// CHECK:   [[BA:%.*]] = begin_access [read] [static] [[CONT]] : $*NEContainer
+// CHECK:   [[LD:%.*]] = load [[BA]] : $*NEContainer
+// CHECK:   [[FUNC:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup16getBorrowingViewyAA0G0VAA11NEContainerVYlsF : $@convention(thin) (@guaranteed NEContainer) -> _scope(1) @owned View
+// CHECK:   [[VIEW:%.*]] = apply [[FUNC]]([[LD]]) : $@convention(thin) (@guaranteed NEContainer) -> _scope(1) @owned View
+// CHECK:   [[MDI:%.*]] = mark_dependence [nonescaping] [[VIEW]] : $View on [[BA]] : $*NEContainer
+// CHECK:   [[USE:%.*]] = function_ref @$s31lifetime_dependence_scope_fixup3useyyAA4ViewVF : $@convention(thin) (@guaranteed View) -> ()
+// CHECK:   apply [[USE]]([[MDI]]) : $@convention(thin) (@guaranteed View) -> ()
+// CHECK:   release_value [[MDI]] : $View
+// CHECK:   end_access [[BA]] : $*NEContainer
+// CHECK-LABEL: } // end sil function '$s31lifetime_dependence_scope_fixup5test7yySWF'
 func test7(_ a: UnsafeRawBufferPointer) {
   var x = NEContainer(a, a.count)
   do {