SwiftCompilerSources CopyingInstruction

And UnmanagedRetain/Release.

Author: atrick

SwiftCompilerSources/Sources/SIL/ForwardingInstruction.swift

@@ -269,6 +269,14 @@ extension TupleExtractInst {
   public var canForwardOwnedValues: Bool { false }
 }
 
+extension CopyableToMoveOnlyWrapperValueInst {
+  public var preservesRepresentation: Bool { true }
+}
+
+extension MoveOnlyWrapperToCopyableValueInst {
+  public var preservesRepresentation: Bool { true }
+}
+
 extension TuplePackExtractInst {
   public var preservesRepresentation: Bool { true }
   public var canForwardOwnedValues: Bool { false }

SwiftCompilerSources/Sources/SIL/Instruction.swift

@@ -474,6 +474,10 @@ final public class RetainValueInst : RefCountingInst {
   public var value: Value { return operand.value }
 }
 
+final public class UnmanagedRetainValueInst : RefCountingInst {
+  public var value: Value { return operand.value }
+}
+
 final public class RetainValueAddrInst : RefCountingInst {
 }
 
@@ -492,6 +496,10 @@ final public class ReleaseValueInst : RefCountingInst {
   public var value: Value { return operand.value }
 }
 
+final public class UnmanagedReleaseValueInst : RefCountingInst {
+  public var value: Value { return operand.value }
+}
+
 final public class DestroyValueInst : Instruction, UnaryInstruction {
   public var destroyedValue: Value { operand.value }
 }
@@ -980,7 +988,13 @@ final public class ProjectBoxInst : SingleValueInstruction, UnaryInstruction {
   public var fieldIndex: Int { bridged.ProjectBoxInst_fieldIndex() }
 }
 
-final public class CopyValueInst : SingleValueInstruction, UnaryInstruction {
+public protocol CopyingInstruction : SingleValueInstruction, UnaryInstruction {}
+
+final public class CopyValueInst : SingleValueInstruction, UnaryInstruction, CopyingInstruction {
+  public var fromValue: Value { operand.value }
+}
+
+final public class ExplicitCopyValueInst : SingleValueInstruction, UnaryInstruction, CopyingInstruction {
   public var fromValue: Value { operand.value }
 }
 
@@ -1041,19 +1055,25 @@ final public class IsUniqueInst : SingleValueInstruction, UnaryInstruction {}
 
 final public class IsEscapingClosureInst : SingleValueInstruction, UnaryInstruction {}
 
-final public
-class MarkUnresolvedNonCopyableValueInst : SingleValueInstruction, UnaryInstruction {}
+final public class MarkUnresolvedNonCopyableValueInst
+  : SingleValueInstruction, UnaryInstruction, ConversionInstruction {}
 
 final public class MarkUnresolvedMoveAddrInst : Instruction, SourceDestAddrInstruction {
   public var isTakeOfSrc: Bool { true }
   public var isInitializationOfDest: Bool { true }
 }
 
-final public
-class CopyableToMoveOnlyWrapperAddrInst : SingleValueInstruction, UnaryInstruction {}
+final public class CopyableToMoveOnlyWrapperValueInst
+  : SingleValueInstruction, UnaryInstruction, ConversionInstruction {}
 
-final public
-class MoveOnlyWrapperToCopyableAddrInst : SingleValueInstruction, UnaryInstruction {}
+final public class MoveOnlyWrapperToCopyableValueInst
+  : SingleValueInstruction, UnaryInstruction, ConversionInstruction {}
+
+final public class CopyableToMoveOnlyWrapperAddrInst
+  : SingleValueInstruction, UnaryInstruction {}
+
+final public class MoveOnlyWrapperToCopyableAddrInst
+  : SingleValueInstruction, UnaryInstruction {}
 
 final public class ObjectInst : SingleValueInstruction {
   public var baseOperands: OperandArray {

SwiftCompilerSources/Sources/SIL/Utilities/WalkUtils.swift

@@ -779,7 +779,10 @@ extension AddressUseDefWalker {
       }
     case let mdi as MarkDependenceInst:
       return walkUp(address: mdi.operands[0].value, path: path)
-    default:
+    case is MoveOnlyWrapperToCopyableAddrInst,
+         is CopyableToMoveOnlyWrapperAddrInst:
+      return walkUp(address: (def as! Instruction).operands[0].value, path: path)
+  default:
       return rootDef(address: def, path: path)
     }
   }