[AddressLowering] Handle moveonly_to_copyable.

The _value version of the instruction lowers to the _address version.

Author: nate-chandler

lib/SIL/Utils/InstWrappers.cpp

@@ -51,6 +51,7 @@ bool ForwardingOperation::hasSameRepresentation() const {
   case SILInstructionKind::OpenExistentialRefInst:
   case SILInstructionKind::OpenExistentialValueInst:
   case SILInstructionKind::MarkUnresolvedNonCopyableValueInst:
+  case SILInstructionKind::MoveOnlyWrapperToCopyableValueInst:
   case SILInstructionKind::MarkUninitializedInst:
   case SILInstructionKind::StructExtractInst:
   case SILInstructionKind::TupleExtractInst:

lib/SILOptimizer/Mandatory/AddressLowering.cpp

@@ -1009,6 +1009,7 @@ static Operand *getReusedStorageOperand(SILValue value) {
   default:
     break;
 
+  case ValueKind::MoveOnlyWrapperToCopyableValueInst:
   case ValueKind::OpenExistentialValueInst:
   case ValueKind::OpenExistentialBoxValueInst:
   case ValueKind::UncheckedEnumDataInst:
@@ -3495,6 +3496,19 @@ class UseRewriter : SILInstructionVisitor<UseRewriter> {
 
   void visitMoveValueInst(MoveValueInst *mvi);
 
+  void visitMoveOnlyWrapperToCopyableValueInst(
+      MoveOnlyWrapperToCopyableValueInst *inst) {
+    assert(use == getReusedStorageOperand(inst));
+    assert(inst->getType().isAddressOnly(*pass.function));
+    SILValue srcVal = inst->getOperand();
+    SILValue srcAddr = pass.valueStorageMap.getStorage(srcVal).storageAddress;
+
+    auto destAddr =
+        builder.createMoveOnlyWrapperToCopyableAddr(inst->getLoc(), srcAddr);
+
+    markRewritten(inst, destAddr);
+  }
+
   void visitReturnInst(ReturnInst *returnInst) {
     // Returns are rewritten for any function with indirect results after
     // opaque value rewriting.

test/SILOptimizer/address_lowering.sil

@@ -2552,6 +2552,34 @@ entry(%t : @owned $@moveOnly T):
   return %retval : $()
 }
 
+// CHECK-LABEL: sil [ossa] @test_moveonlywrapper_to_copyable_1_owned : {{.*}} {
+// CHECK:       bb0([[TMO:%[^,]+]] :
+// CHECK:         [[T:%[^,]+]] = moveonlywrapper_to_copyable_addr [[TMO]]
+// CHECK:         destroy_addr [[T]]
+// CHECK-LABEL: } // end sil function 'test_moveonlywrapper_to_copyable_1_owned'
+sil [ossa] @test_moveonlywrapper_to_copyable_1_owned : $@convention(thin) <T> (@in @moveOnly T) -> () {
+entry(%tmo : @owned $@moveOnly T):
+  %t = moveonlywrapper_to_copyable [owned] %tmo : $@moveOnly T
+  destroy_value %t : $T
+  %retval = tuple ()
+  return %retval : $()
+}
+
+// CHECK-LABEL: sil [ossa] @test_moveonlywrapper_to_copyable_2_guaranteed : {{.*}} {
+// CHECK:       bb0([[TMO:%[^,]+]] :
+// CHECK:         [[T:%[^,]+]] = moveonlywrapper_to_copyable_addr [[TMO]]
+// CHECK:         [[BORROW_T:%[^,]+]] = function_ref @borrowT
+// CHECK:         apply [[BORROW_T]]<T>([[T]])
+// CHECK-LABEL: } // end sil function 'test_moveonlywrapper_to_copyable_2_guaranteed'
+sil [ossa] @test_moveonlywrapper_to_copyable_2_guaranteed : $@convention(thin) <T> (@in_guaranteed @moveOnly T) -> () {
+entry(%tmo : @guaranteed $@moveOnly T):
+  %t = moveonlywrapper_to_copyable [guaranteed] %tmo : $@moveOnly T
+  %borrowT = function_ref @borrowT : $@convention(thin) <T> (@in_guaranteed T) -> ()
+  apply %borrowT<T>(%t) : $@convention(thin) <T> (@in_guaranteed T) -> ()
+  %retval = tuple ()
+  return %retval : $()
+}
+
 // CHECK-LABEL: sil [ossa] @test_open_pack_element_dominance : $@convention(thin) <each T> (@pack_guaranteed Pack{repeat each T}, Builtin.Word) -> () {
 // CHECK:       bb0([[PACK:%[^,]+]] : 
 // CHECK-SAME:      [[RAW_INDEX:%[^,]+]] :