[semantic-arc-opts] Change Semantic ARC Opts to run only on the stdlib so it only sees ownership verified SIL.

The reason why I am doing this is now that once we have the
OperandOwnershipKindMap I can write this optimization in a more robust,
aggressive manner. My hope is that I can eliminate all copy_value of guaranteed
parameters all of whose uses could accept a guaranteed parameter. This is given
to me by the OperandOwnershipKindMap.

Additionally, I found that the way the analysis was using the OwnershipVerifier
was not sound on non-ownership verified SIL. Rather than fix it, I just turned
it off for that case.

rdar://44667493

Author: gottesmm

include/swift/SIL/SILModule.h

@@ -378,6 +378,8 @@ class SILModule {
     return wholeModule;
   }
 
+  bool isStdlibModule() const;
+
   /// Returns true if it is the optimized OnoneSupport module.
   bool isOptimizedOnoneSupportModule() const;
 

lib/SIL/SILModule.cpp

@@ -660,6 +660,10 @@ void SILModule::setOptRecordStream(
   OptRecordRawStream = std::move(RawStream);
 }
 
+bool SILModule::isStdlibModule() const {
+  return TheSwiftModule->isStdlibModule();
+}
+
 SILProperty *SILProperty::create(SILModule &M,
                                  bool Serialized,
                                  AbstractStorageDecl *Decl,

lib/SILOptimizer/Mandatory/SemanticARCOpts.cpp

@@ -158,6 +158,9 @@ struct SemanticARCOpts : SILFunctionTransform {
   void run() override {
     bool MadeChange = false;
     SILFunction *F = getFunction();
+    if (!F->getModule().isStdlibModule()) {
+      return;
+    }
 
     DeadEndBlocks DEBlocks(F);
     OwnershipChecker Checker{{}, {}, {}, {}, F->getModule(), DEBlocks};

test/SILOptimizer/semantic-arc-opts.sil

@@ -1,4 +1,4 @@
-// RUN: %target-sil-opt -enable-sil-verify-all -enable-sil-ownership -semantic-arc-opts %s | %FileCheck %s
+// RUN: %target-sil-opt -module-name Swift -enable-sil-verify-all -enable-sil-ownership -semantic-arc-opts %s | %FileCheck %s
 
 sil_stage canonical