[sil] Split operand ownership classification from SILOwnershipVerifie…

include/swift/SIL/OwnershipUtils.h

@@ -14,6 +14,7 @@
 #define SWIFT_SIL_OWNERSHIPUTILS_H
 
 #include "swift/Basic/LLVM.h"
+#include "swift/SIL/SILValue.h"
 #include "llvm/ADT/SmallPtrSet.h"
 #include "llvm/ADT/SmallVector.h"
 
@@ -101,6 +102,22 @@ bool valueHasLinearLifetime(SILValue value,
                             DeadEndBlocks &deadEndBlocks,
                             ownership::ErrorBehaviorKind errorBehavior);
 
+/// Returns true if v is an address or trivial.
+bool isValueAddressOrTrivial(SILValue v, SILModule &m);
+
+/// These operations forward both owned and guaranteed ownership.
+bool isOwnershipForwardingValueKind(SILNodeKind kind);
+
+/// These operations forward guaranteed ownership, but don't necessarily forward
+/// owned values.
+bool isGuaranteedForwardingValueKind(SILNodeKind kind);
+
+bool isGuaranteedForwardingValue(SILValue value);
+
+bool isGuaranteedForwardingInst(SILInstruction *i);
+
+bool isOwnershipForwardingInst(SILInstruction *i);
+
 } // namespace swift
 
 #endif

lib/SIL/CMakeLists.txt

@@ -11,7 +11,9 @@ add_swift_library(swiftSIL STATIC
   LinearLifetimeChecker.cpp
   LoopInfo.cpp
   Notifications.cpp
+  OperandOwnership.cpp
   OptimizationRemark.cpp
+  OwnershipUtils.cpp
   PrettyStackTrace.cpp
   Projection.cpp
   SIL.cpp