Merge pull request #62192 from nate-chandler/opaque-values/2/20221118

[AddressLowering] Factored out unconditional_checked_cast rewriting.

Author: nate-chandler

lib/SILOptimizer/Mandatory/AddressLowering.cpp

@@ -2485,6 +2485,74 @@ class CheckedCastBrRewriter {
   }
 };
 
+//===----------------------------------------------------------------------===//
+//                 unconditional_checked_cast rewriting
+//
+//      Rewrites an unconditional_checked_cast to an address instruction.
+//===----------------------------------------------------------------------===//
+
+static UnconditionalCheckedCastAddrInst *rewriteUnconditionalCheckedCastInst(
+    UnconditionalCheckedCastInst *uncondCheckedCast, AddressLoweringState &pass,
+    AddressMaterialization *addrMat) {
+  auto srcVal = uncondCheckedCast->getOperand();
+  auto destVal = SILValue(uncondCheckedCast);
+  auto srcType = srcVal->getType();
+  auto destType = destVal->getType();
+  // There are four cases to handle:
+  // - source address-only, target address-only
+  // - source address-only, target loadable
+  // - source loadable,     target address-only
+  // - source loadable,     target loadable
+  auto srcAddrOnly = srcType.isAddressOnly(*pass.function);
+  auto destAddrOnly = destType.isAddressOnly(*pass.function);
+  SILValue srcAddr;
+
+  auto loc = uncondCheckedCast->getLoc();
+
+  auto builder = pass.getBuilder(uncondCheckedCast->getIterator());
+  if (srcAddrOnly) {
+    srcAddr = pass.valueStorageMap.getStorage(srcVal).storageAddress;
+  } else {
+    srcAddr = builder.createAllocStack(loc, srcType);
+    builder.createStore(loc, srcVal, srcAddr,
+                        srcType.isTrivial(*pass.function)
+                            ? StoreOwnershipQualifier::Trivial
+                            : StoreOwnershipQualifier::Init);
+  }
+  assert(srcAddr);
+  SILValue destAddr;
+  if (destAddrOnly) {
+    destAddr = addrMat->materializeAddress(destVal);
+  } else {
+    destAddr = builder.createAllocStack(loc, destType);
+  }
+  assert(destAddr);
+  auto *uccai = builder.createUnconditionalCheckedCastAddr(
+      uncondCheckedCast->getLoc(), srcAddr, srcAddr->getType().getASTType(),
+      destAddr, destAddr->getType().getASTType());
+  auto afterBuilder =
+      pass.getBuilder(uncondCheckedCast->getNextInstruction()->getIterator());
+  if (srcAddrOnly) {
+    // No cleanup to do.
+  } else {
+    afterBuilder.createDeallocStack(loc, srcAddr);
+  }
+  if (destAddrOnly) {
+    // No cleanup to do.
+  } else {
+    auto *load = afterBuilder.createLoad(loc, destAddr,
+                                         destType.isTrivial(*pass.function)
+                                             ? LoadOwnershipQualifier::Trivial
+                                             : LoadOwnershipQualifier::Take);
+    destVal->replaceAllUsesWith(load);
+    afterBuilder.createDeallocStack(loc, destAddr);
+  }
+  if (!srcAddrOnly && !destAddrOnly) {
+    pass.deleter.forceDelete(uncondCheckedCast);
+  }
+  return uccai;
+}
+
 //===----------------------------------------------------------------------===//
 //                               ReturnRewriter
 //
@@ -2724,13 +2792,16 @@ void YieldRewriter::rewriteOperand(YieldInst *yieldInst, unsigned index) {
   }
 }
 
+//
+
 //===----------------------------------------------------------------------===//
 //                                UseRewriter
 //
 // Rewrite opaque value uses in forward order--uses are rewritten before defs.
 //===----------------------------------------------------------------------===//
 
 namespace {
+
 class UseRewriter : SILInstructionVisitor<UseRewriter> {
   friend SILVisitorBase<UseRewriter>;
   friend SILInstructionVisitor<UseRewriter>;
@@ -2999,7 +3070,15 @@ class UseRewriter : SILInstructionVisitor<UseRewriter> {
   }
 
   void visitUnconditionalCheckedCastInst(
-      UnconditionalCheckedCastInst *uncondCheckedCast);
+      UnconditionalCheckedCastInst *uncondCheckedCast) {
+    assert(uncondCheckedCast->getOperand()->getType().isAddressOnly(
+        *pass.function));
+    auto *uccai =
+        rewriteUnconditionalCheckedCastInst(uncondCheckedCast, pass, &addrMat);
+    if (uncondCheckedCast->getType().isAddressOnly(*pass.function)) {
+      markRewritten(uncondCheckedCast, uccai->getDest());
+    }
+  }
 
   void visitCheckedCastBranchInst(CheckedCastBranchInst *checkedCastBranch);
 
@@ -3293,38 +3372,6 @@ void UseRewriter::visitUncheckedEnumDataInst(
   markRewritten(enumDataInst, enumAddrInst);
 }
 
-void UseRewriter::visitUnconditionalCheckedCastInst(
-    UnconditionalCheckedCastInst *uncondCheckedCast) {
-  SILValue srcVal = uncondCheckedCast->getOperand();
-  assert(srcVal->getType().isAddressOnly(*pass.function));
-  SILValue srcAddr = pass.valueStorageMap.getStorage(srcVal).storageAddress;
-
-  if (uncondCheckedCast->getType().isAddressOnly(*pass.function)) {
-    // When cast destination has address only type, use the storage address
-    SILValue destAddr = addrMat.materializeAddress(uncondCheckedCast);
-    markRewritten(uncondCheckedCast, destAddr);
-    builder.createUnconditionalCheckedCastAddr(
-        uncondCheckedCast->getLoc(), srcAddr, srcAddr->getType().getASTType(),
-        destAddr, destAddr->getType().getASTType());
-    return;
-  }
-  // For loadable cast destination type, create a stack temporary
-  SILValue destAddr = builder.createAllocStack(uncondCheckedCast->getLoc(),
-                                               uncondCheckedCast->getType());
-  builder.createUnconditionalCheckedCastAddr(
-      uncondCheckedCast->getLoc(), srcAddr, srcAddr->getType().getASTType(),
-      destAddr, destAddr->getType().getASTType());
-  auto nextBuilder =
-      pass.getBuilder(uncondCheckedCast->getNextInstruction()->getIterator());
-  auto dest = nextBuilder.createLoad(
-      uncondCheckedCast->getLoc(), destAddr,
-      destAddr->getType().isTrivial(*uncondCheckedCast->getFunction())
-          ? LoadOwnershipQualifier::Trivial
-          : LoadOwnershipQualifier::Take);
-  nextBuilder.createDeallocStack(uncondCheckedCast->getLoc(), destAddr);
-  uncondCheckedCast->replaceAllUsesWith(dest);
-}
-
 //===----------------------------------------------------------------------===//
 //                                DefRewriter
 //
@@ -3511,25 +3558,11 @@ class DefRewriter : SILInstructionVisitor<DefRewriter> {
 
   void visitUnconditionalCheckedCastInst(
       UnconditionalCheckedCastInst *uncondCheckedCast) {
-    SILValue srcVal = uncondCheckedCast->getOperand();
-    assert(srcVal->getType().isLoadable(*pass.function));
+    assert(!uncondCheckedCast->getOperand()->getType().isAddressOnly(
+        *pass.function));
     assert(uncondCheckedCast->getType().isAddressOnly(*pass.function));
 
-    // Create a stack temporary to store the srcVal
-    SILValue srcAddr = builder.createAllocStack(uncondCheckedCast->getLoc(),
-                                                srcVal->getType());
-    builder.createStore(uncondCheckedCast->getLoc(), srcVal, srcAddr,
-                        srcVal->getType().isTrivial(*srcVal->getFunction())
-                            ? StoreOwnershipQualifier::Trivial
-                            : StoreOwnershipQualifier::Init);
-    // Use the storage address as destination
-    SILValue destAddr = addrMat.materializeAddress(uncondCheckedCast);
-    builder.createUnconditionalCheckedCastAddr(
-        uncondCheckedCast->getLoc(), srcAddr, srcAddr->getType().getASTType(),
-        destAddr, destAddr->getType().getASTType());
-
-    pass.getBuilder(uncondCheckedCast->getNextInstruction()->getIterator())
-        .createDeallocStack(uncondCheckedCast->getLoc(), srcAddr);
+    rewriteUnconditionalCheckedCastInst(uncondCheckedCast, pass, &addrMat);
   }
 };
 } // end anonymous namespace
@@ -3577,34 +3610,11 @@ static void rewriteIndirectApply(FullApplySite apply,
 static void rewriteNonopaqueUnconditionalCheckedCast(
     UnconditionalCheckedCastInst *uncondCheckedCast,
     AddressLoweringState &pass) {
-  auto loc = uncondCheckedCast->getLoc();
-  SILValue srcVal = uncondCheckedCast->getOperand();
-  auto srcType = srcVal->getType();
-  auto destType = uncondCheckedCast->getType();
-  assert(srcType.isLoadable(*pass.function));
-  assert(!destType.isAddressOnly(*pass.function));
-
-  // Create a stack temporary to store the source
-  auto builder = pass.getBuilder(uncondCheckedCast->getIterator());
-  SILValue srcAddr = builder.createAllocStack(loc, srcType);
-  builder.createStore(loc, srcVal, srcAddr,
-                      srcType.isTrivial(*pass.function)
-                          ? StoreOwnershipQualifier::Trivial
-                          : StoreOwnershipQualifier::Init);
-  SILValue destAddr = builder.createAllocStack(loc, destType);
-  builder.createUnconditionalCheckedCastAddr(loc, srcAddr, srcType.getASTType(),
-                                             destAddr, destType.getASTType());
+  assert(uncondCheckedCast->getOperand()->getType().isLoadable(*pass.function));
+  assert(uncondCheckedCast->getType().isLoadable(*pass.function));
 
-  auto afterBuilder =
-      pass.getBuilder(uncondCheckedCast->getNextInstruction()->getIterator());
-  auto *load = afterBuilder.createLoad(loc, destAddr,
-                                       destType.isTrivial(*pass.function)
-                                           ? LoadOwnershipQualifier::Trivial
-                                           : LoadOwnershipQualifier::Take);
-  uncondCheckedCast->replaceAllUsesWith(load);
-  pass.deleter.forceDelete(uncondCheckedCast);
-  afterBuilder.createDeallocStack(loc, destAddr);
-  afterBuilder.createDeallocStack(loc, srcAddr);
+  rewriteUnconditionalCheckedCastInst(uncondCheckedCast, pass,
+                                      /*addrMat=*/nullptr);
 }
 
 static void rewriteFunction(AddressLoweringState &pass) {