[SIL] Bridge findPointerEscape() and fix OnoneSimplifyable

Do not bridge the hasPointerEscape flag until it is implemented.

Author: atrick

SwiftCompilerSources/Sources/Optimizer/InstructionSimplification/SimplifyBeginBorrow.swift

@@ -18,7 +18,7 @@ extension BeginBorrowInst : OnoneSimplifyable {
        // We need to keep lexical lifetimes in place.
        !isLexical,
        // The same for borrow-scopes which encapsulated pointer escapes.
-       !hasPointerEscape
+      !findPointerEscape()
     {
       tryReplaceBorrowWithOwnedOperand(beginBorrow: self, context)
     }

SwiftCompilerSources/Sources/Optimizer/Utilities/OptUtils.swift

@@ -41,6 +41,8 @@ extension Value {
     }
   }
 
+  func findPointerEscape() -> Bool { bridged.findPointerEscape() }
+
   /// Walks over all fields of an aggregate and checks if a reference count
   /// operation for this value is required. This differs from a simple `Type.isTrivial`
   /// check, because it treats a value_to_bridge_object instruction as "trivial".

SwiftCompilerSources/Sources/SIL/Instruction.swift

@@ -881,7 +881,6 @@ final public class BeginBorrowInst : SingleValueInstruction, UnaryInstruction, B
   public var borrowedValue: Value { operand.value }
 
   public var isLexical: Bool { bridged.BeginBorrow_isLexical() }
-  public var hasPointerEscape: Bool { bridged.BeginBorrow_hasPointerEscape() }
 }
 
 final public class ProjectBoxInst : SingleValueInstruction, UnaryInstruction {

include/swift/SIL/SILBridging.h

@@ -192,6 +192,8 @@ struct BridgedValue {
   SWIFT_IMPORT_UNSAFE BRIDGED_INLINE OptionalBridgedOperand getFirstUse() const;
   SWIFT_IMPORT_UNSAFE BRIDGED_INLINE BridgedType getType() const;
   BRIDGED_INLINE Ownership getOwnership() const;
+
+  bool findPointerEscape() const;
 };
 
 struct OptionalBridgedValue {
@@ -623,7 +625,6 @@ struct BridgedInstruction {
   BRIDGED_INLINE OptionalBridgedValue StructInst_getUniqueNonTrivialFieldValue() const;
   BRIDGED_INLINE SwiftInt StructElementAddrInst_fieldIndex() const;
   BRIDGED_INLINE bool BeginBorrow_isLexical() const;
-  BRIDGED_INLINE bool BeginBorrow_hasPointerEscape() const;
   BRIDGED_INLINE SwiftInt ProjectBoxInst_fieldIndex() const;
   BRIDGED_INLINE bool EndCOWMutationInst_doKeepUnique() const;
   BRIDGED_INLINE SwiftInt EnumInst_caseIndex() const;

include/swift/SIL/SILBridgingImpl.h

@@ -814,10 +814,6 @@ bool BridgedInstruction::BeginBorrow_isLexical() const {
   return getAs<swift::BeginBorrowInst>()->isLexical();
 }
 
-bool BridgedInstruction::BeginBorrow_hasPointerEscape() const {
-  return getAs<swift::BeginBorrowInst>()->hasPointerEscape();
-}
-
 SwiftInt BridgedInstruction::ProjectBoxInst_fieldIndex() const {
   return getAs<swift::ProjectBoxInst>()->getFieldIndex();
 }

include/swift/SIL/SILInstruction.h

@@ -4467,6 +4467,7 @@ class BeginBorrowInst
   /// doesn't have a lexical bit, do not do anything.
   void removeIsLexical() { sharedUInt8().BeginBorrowInst.lexical = false; }
 
+  /// WARNING: this flag is not yet implemented!
   bool hasPointerEscape() const {
     return sharedUInt8().BeginBorrowInst.pointerEscape;
   }

lib/SIL/Utils/SILBridging.cpp

@@ -20,6 +20,7 @@
 #include "swift/AST/Attr.h"
 #include "swift/AST/SemanticAttrs.h"
 #include "swift/SIL/MemAccessUtils.h"
+#include "swift/SIL/OwnershipUtils.h"
 #include "swift/SIL/ParseTestSpecification.h"
 #include "swift/SIL/SILBuilder.h"
 #include "swift/SIL/SILGlobalVariable.h"
@@ -273,6 +274,9 @@ ArrayRef<SILValue> BridgedValueArray::getValues(SmallVectorImpl<SILValue> &stora
   return storage;
 }
 
+bool BridgedValue::findPointerEscape() const {
+  return swift::findPointerEscape(getSILValue());
+}
 
 //===----------------------------------------------------------------------===//
 //                                SILArgument

test/SILOptimizer/simplify_begin_borrow.sil

@@ -159,9 +159,11 @@ bb0(%0 : @owned $C):
   return %6 : $()
 }
 
-// CHECK-LABEL: sil [ossa] @dont_replace_pointer_escape :
-// CHECK:         begin_borrow
-// CHECK:       } // end sil function 'dont_replace_pointer_escape'
+// FIXME: re-enable this test when the [pointer_escape] flag is implemented.
+//
+// HECK-LABEL: sil [ossa] @dont_replace_pointer_escape :
+// HECK:         begin_borrow
+// HECK:       } // end sil function 'dont_replace_pointer_escape'
 sil [ossa] @dont_replace_pointer_escape : $@convention(thin) (@owned C) -> () {
 bb0(%0 : @owned $C):
   %1 = begin_borrow [pointer_escape] %0 : $C