Merge pull request #63033 from nate-chandler/opaque-values/2/20221215

[AddressLowering] Project at storage.

Author: swift-ci

include/swift/SIL/Dominance.h

@@ -61,6 +61,9 @@ class DominanceInfo : public DominatorTreeBase {
   /// Does value A properly dominate instruction B?
   bool properlyDominates(SILValue a, SILInstruction *b);
 
+  /// The nearest block which dominates all the uses of \p value.
+  SILBasicBlock *getLeastCommonAncestorOfUses(SILValue value);
+
   void verify() const;
 
   /// Return true if the other dominator tree does not match this dominator

lib/SIL/Utils/Dominance.cpp

@@ -73,6 +73,15 @@ bool DominanceInfo::properlyDominates(SILValue a, SILInstruction *b) {
   return false;
 }
 
+SILBasicBlock *DominanceInfo::getLeastCommonAncestorOfUses(SILValue value) {
+  SILBasicBlock *lca = nullptr;
+  for (auto *use : value->getUses()) {
+    auto *block = use->getParentBlock();
+    lca = lca ? findNearestCommonDominator(lca, block) : block;
+  }
+  return lca;
+}
+
 void DominanceInfo::verify() const {
   // Recompute.
   auto *F = getRoot()->getParent();