[SILOptimizer] Handle FunctionExtractIsolationInst in the mandatory passes.

Author: hborla

SwiftCompilerSources/Sources/SIL/ForwardingInstruction.swift

@@ -347,6 +347,13 @@ extension DestructureStructInst : ForwardingInstruction {
   public var canForwardOwnedValues: Bool { true }
 }
 
+extension FunctionExtractIsolationInst : ForwardingInstruction {
+  public var preservesIdentity: Bool { false }
+  public var preservesRepresentation: Bool { true }
+  public var canForwardGuaranteedValues: Bool { true }
+  public var canForwardOwnedValues: Bool { false }
+}
+
 extension InitExistentialRefInst : ForwardingInstruction {
   public var preservesIdentity: Bool { false }
   public var preservesRepresentation: Bool { true }

lib/SILOptimizer/Mandatory/OwnershipModelEliminator.cpp

@@ -219,6 +219,7 @@ struct OwnershipModelEliminatorVisitor
   HANDLE_FORWARDING_INST(LinearFunctionExtract)
   HANDLE_FORWARDING_INST(DifferentiableFunctionExtract)
   HANDLE_FORWARDING_INST(MarkUninitialized)
+  HANDLE_FORWARDING_INST(FunctionExtractIsolation)
 #undef HANDLE_FORWARDING_INST
 };
 

lib/SILOptimizer/SemanticARC/SemanticARCOptVisitor.h

@@ -196,6 +196,7 @@ struct LLVM_LIBRARY_VISIBILITY SemanticARCOptVisitor
   FORWARDING_INST(LinearFunction)
   FORWARDING_INST(DifferentiableFunctionExtract)
   FORWARDING_INST(LinearFunctionExtract)
+  FORWARDING_INST(FunctionExtractIsolation)
 #undef FORWARDING_INST
 
   bool processWorklist();