ownership_liveness unit tests

Author: atrick

SwiftCompilerSources/Sources/Optimizer/Utilities/BorrowUtils.swift

@@ -809,7 +809,6 @@ private struct EnclosingValues {
 let borrowIntroducersTest = FunctionTest("borrow_introducers") {
   function, arguments, context in
   let value = arguments.takeValue()
-  print(function)
   print("Borrow introducers for: \(value)")
   var introducers = Stack<Value>(context)
   defer {
@@ -822,7 +821,6 @@ let borrowIntroducersTest = FunctionTest("borrow_introducers") {
 let enclosingValuesTest = FunctionTest("enclosing_values") {
   function, arguments, context in
   let value = arguments.takeValue()
-  print(function)
   print("Enclosing values for: \(value)")
   var enclosing = Stack<Value>(context)
   defer {

SwiftCompilerSources/Sources/Optimizer/Utilities/OwnershipLiveness.swift

@@ -835,7 +835,6 @@ struct LivenessBoundary : CustomStringConvertible {
 let linearLivenessTest = FunctionTest("linear_liveness_swift") {
   function, arguments, context in
   let value = arguments.takeValue()
-  print(function)
   print("Linear liveness: \(value)")
   var range = computeLinearLiveness(for: value, context)
   defer { range.deinitialize() }
@@ -849,7 +848,6 @@ let linearLivenessTest = FunctionTest("linear_liveness_swift") {
 let interiorLivenessTest = FunctionTest("interior_liveness_swift") {
   function, arguments, context in
   let value = arguments.takeValue()
-  print(function)
   print("Interior liveness: \(value)")
 
   var range = InstructionRange(for: value, context)

test/SILOptimizer/ownership_liveness_unit.sil

@@ -18,7 +18,6 @@ case some(T)
 class C {}
 class D {
   var object: C
-  @_borrowed @_hasStorage var borrowed: C { get set }
 }
 
 struct PairC {
@@ -307,7 +306,6 @@ bb1(%reborrow : @guaranteed $C):
 }
 
 // CHECK-LABEL: testInteriorNondominatedReborrow: interior_liveness_swift with: %borrow1
-// CHECK-LABEL: sil [ossa] @testInteriorNondominatedReborrow : $@convention(thin) (@guaranteed C) -> () {
 // CHECK: Interior liveness:   %{{.*}} = begin_borrow %0 : $C
 // CHECK-NEXT: begin:      %{{.*}} = begin_borrow %0 : $C
 // CHECK-NEXT: ends:       br bb1(%{{.*}} : $C, %{{.*}} : $D)
@@ -333,7 +331,6 @@ bb3(%reborrow1 : @guaranteed $C, %reborrow2 : @guaranteed $D):
 }
 
 // CHECK-LABEL: testInteriorDominatedReborrow: interior_liveness_swift with: %borrow1
-// CHECK: sil [ossa] @testInteriorDominatedReborrow : $@convention(thin) (@guaranteed C) -> () {
 // CHECK: Interior liveness:   %{{.*}} = begin_borrow %0 : $C
 // CHECK-NEXT: begin:      %{{.*}} = begin_borrow %0 : $C
 // CHECK-NEXT: ends:       end_borrow %{{.*}} : $C