Merge pull request #12933 from anemet/opt-remark-generic-specialization

Author: swift-ci

include/swift/SIL/OptimizationRemark.h

@@ -40,6 +40,7 @@ struct Argument {
   SourceLoc Loc;
 
   explicit Argument(StringRef Str = "") : Key("String"), Val(Str) {}
+  Argument(StringRef Key, StringRef Val) : Key(Key), Val(Val) {}
 
   Argument(StringRef Key, int N);
   Argument(StringRef Key, long N);
@@ -54,6 +55,13 @@ struct Argument {
 /// Shorthand to insert named-value pairs.
 using NV = Argument;
 
+/// Inserting this into a Remark indents the text when printed as a debug
+/// message.
+struct IndentDebug {
+  explicit IndentDebug(unsigned Width) : Width(Width) {}
+  unsigned Width;
+};
+
 /// The base class for remarks.  This can be created by optimization passed to
 /// report successful and unsuccessful optimizations. CRTP is used to preserve
 /// the underlying type encoding the remark kind in the insertion operator.
@@ -75,6 +83,9 @@ template <typename DerivedT> class Remark {
   /// The function for the diagnostics.
   SILFunction *Function;
 
+  /// Indentation used if this remarks is printed as a debug message.
+  unsigned IndentDebugWidth = 0;
+
 protected:
   Remark(StringRef Identifier, SILInstruction &I)
       : Identifier(Identifier), Location(I.getLoc().getSourceLoc()),
@@ -91,11 +102,17 @@ template <typename DerivedT> class Remark {
     return *static_cast<DerivedT *>(this);
   }
 
+  DerivedT &operator<<(IndentDebug ID) {
+    IndentDebugWidth = ID.Width;
+    return *static_cast<DerivedT *>(this);
+  }
+
   StringRef getPassName() const { return PassName; }
   StringRef getIdentifier() const { return Identifier; }
   SILFunction *getFunction() const { return Function; }
   SourceLoc getLocation() const { return Location; }
   std::string getMsg() const;
+  std::string getDebugMsg() const;
   Remark<DerivedT> &getRemark() { return *this; }
   SmallVector<Argument, 4> &getArgs() { return Args; }
 
@@ -119,8 +136,11 @@ class Emitter {
   bool PassedEnabled;
   bool MissedEnabled;
 
+  // Making these non-generic allows out-of-line definition.
   void emit(const RemarkPassed &R);
   void emit(const RemarkMissed &R);
+  static void emitDebug(const RemarkPassed &R);
+  static void emitDebug(const RemarkMissed &R);
 
   template <typename RemarkT> bool isEnabled();
 
@@ -140,8 +160,38 @@ class Emitter {
       emit(R);
     }
   }
+
+  /// Emit an optimization remark or debug message.
+  template <typename T>
+  static void emitOrDebug(const char *PassName, Emitter *ORE, T RemarkBuilder,
+                          decltype(RemarkBuilder()) * = nullptr) {
+    using RemarkT = decltype(RemarkBuilder());
+    // Avoid building the remark unless remarks are enabled.
+    bool EmitRemark =
+        ORE && (ORE->isEnabled<RemarkT>() || ORE->Module.getOptRecordStream());
+    // Same for DEBUG.
+    bool EmitDebug = false
+#ifndef _NDEBUG
+                     || (llvm::DebugFlag && llvm::isCurrentDebugType(PassName));
+#endif // _NDEBUG
+
+    if (EmitRemark || EmitDebug) {
+      auto R = RemarkBuilder();
+      if (EmitDebug)
+        emitDebug(R);
+      if (EmitRemark) {
+        // If we have ORE use the PassName that was set up with ORE. DEBUG_TYPE
+        // may be different if a pass is calling other modules.
+        R.setPassName(ORE->PassName);
+        ORE->emit(R);
+      }
+    }
+  }
 };
 
+#define REMARK_OR_DEBUG(...)                                                   \
+  OptRemark::Emitter::emitOrDebug(DEBUG_TYPE, __VA_ARGS__)
+
 template <> inline bool Emitter::isEnabled<RemarkMissed>() {
   return MissedEnabled;
 }

include/swift/SILOptimizer/Utils/Generics.h

@@ -29,6 +29,10 @@ namespace swift {
 
 class FunctionSignaturePartialSpecializer;
 
+namespace OptRemark {
+class Emitter;
+} // namespace OptRemark
+
 /// Tries to specialize an \p Apply of a generic function. It can be a full
 /// apply site or a partial apply.
 /// Replaced and now dead instructions are returned in \p DeadApplies.
@@ -38,7 +42,8 @@ class FunctionSignaturePartialSpecializer;
 /// This is the top-level entry point for specializing an existing call site.
 void trySpecializeApplyOfGeneric(
     ApplySite Apply, DeadInstructionSet &DeadApplies,
-    llvm::SmallVectorImpl<SILFunction *> &NewFunctions);
+    llvm::SmallVectorImpl<SILFunction *> &NewFunctions,
+    OptRemark::Emitter &ORE);
 
 /// Helper class to describe re-abstraction of function parameters done during
 /// specialization.
@@ -117,7 +122,8 @@ class ReabstractionInfo {
 
   void createSubstitutedAndSpecializedTypes();
   bool prepareAndCheck(ApplySite Apply, SILFunction *Callee,
-                       SubstitutionList ParamSubs);
+                       SubstitutionList ParamSubs,
+                       OptRemark::Emitter *ORE = nullptr);
   void performFullSpecializationPreparation(SILFunction *Callee,
                                             SubstitutionList ParamSubs);
   void performPartialSpecializationPreparation(SILFunction *Caller,
@@ -134,7 +140,8 @@ class ReabstractionInfo {
   /// invalid type.
   ReabstractionInfo(ApplySite Apply, SILFunction *Callee,
                     SubstitutionList ParamSubs,
-                    bool ConvertIndirectToDirect = true);
+                    bool ConvertIndirectToDirect = true,
+                    OptRemark::Emitter *ORE = nullptr);
 
   /// Constructs the ReabstractionInfo for generic function \p Callee with
   /// additional requirements. Requirements may contain new layout,

lib/SIL/OptimizationRemark.cpp

@@ -63,6 +63,20 @@ template <typename DerivedT> std::string Remark<DerivedT>::getMsg() const {
   return OS.str();
 }
 
+template <typename DerivedT> std::string Remark<DerivedT>::getDebugMsg() const {
+  std::string Str;
+  llvm::raw_string_ostream OS(Str);
+
+  if (IndentDebugWidth)
+    OS << std::string(" ", IndentDebugWidth);
+
+  for (const Argument &Arg : Args)
+    OS << Arg.Val;
+
+  OS << "\n";
+  return OS.str();
+}
+
 Emitter::Emitter(StringRef PassName, SILModule &M)
     : Module(M), PassName(PassName),
       PassedEnabled(
@@ -94,6 +108,14 @@ void Emitter::emit(const RemarkMissed &R) {
   emitRemark(Module, R, diag::opt_remark_missed, isEnabled<RemarkMissed>());
 }
 
+void Emitter::emitDebug(const RemarkPassed &R) {
+  llvm::dbgs() << R.getDebugMsg();
+}
+
+void Emitter::emitDebug(const RemarkMissed &R) {
+  llvm::dbgs() << R.getDebugMsg();
+}
+
 namespace llvm {
 namespace yaml {
 

lib/SILOptimizer/Transforms/GenericSpecializer.cpp

@@ -17,6 +17,7 @@
 
 #define DEBUG_TYPE "sil-generic-specializer"
 
+#include "swift/SIL/OptimizationRemark.h"
 #include "swift/SIL/SILFunction.h"
 #include "swift/SIL/SILInstruction.h"
 #include "swift/SILOptimizer/Utils/Generics.h"
@@ -49,6 +50,7 @@ class GenericSpecializer : public SILFunctionTransform {
 bool GenericSpecializer::specializeAppliesInFunction(SILFunction &F) {
   DeadInstructionSet DeadApplies;
   llvm::SmallSetVector<SILInstruction *, 8> Applies;
+  OptRemark::Emitter ORE(DEBUG_TYPE, F.getModule());
 
   bool Changed = false;
   for (auto &BB : F) {
@@ -67,8 +69,17 @@ bool GenericSpecializer::specializeAppliesInFunction(SILFunction &F) {
         continue;
 
       auto *Callee = Apply.getReferencedFunction();
-      if (!Callee || !Callee->isDefinition())
+      if (!Callee)
         continue;
+      if (!Callee->isDefinition()) {
+        ORE.emit([&]() {
+          using namespace OptRemark;
+          return RemarkMissed("NoDef", *I)
+                 << "Unable to specialize generic function "
+                 << NV("Callee", Callee) << " since definition is not visible";
+        });
+        continue;
+      }
 
       Applies.insert(Apply.getInstruction());
     }
@@ -90,7 +101,7 @@ bool GenericSpecializer::specializeAppliesInFunction(SILFunction &F) {
       // We have a call that can potentially be specialized, so
       // attempt to do so.
       llvm::SmallVector<SILFunction *, 2> NewFunctions;
-      trySpecializeApplyOfGeneric(Apply, DeadApplies, NewFunctions);
+      trySpecializeApplyOfGeneric(Apply, DeadApplies, NewFunctions, ORE);
 
       // Remove all the now-dead applies. We must do this immediately
       // rather than defer it in order to avoid problems with cloning

lib/SILOptimizer/Utils/Generics.cpp

@@ -18,6 +18,7 @@
 #include "swift/AST/TypeMatcher.h"
 #include "swift/Basic/Statistic.h"
 #include "swift/SIL/DebugUtils.h"
+#include "swift/SIL/OptimizationRemark.h"
 #include "swift/SILOptimizer/Utils/GenericCloner.h"
 #include "swift/SILOptimizer/Utils/Local.h"
 #include "swift/SILOptimizer/Utils/SpecializationMangler.h"
@@ -362,7 +363,8 @@ static bool shouldNotSpecializeCallee(SILFunction *Callee,
 /// Returns false, if the current function cannot be specialized.
 /// Returns true otherwise.
 bool ReabstractionInfo::prepareAndCheck(ApplySite Apply, SILFunction *Callee,
-                                        SubstitutionList ParamSubs) {
+                                        SubstitutionList ParamSubs,
+                                        OptRemark::Emitter *ORE) {
   if (shouldNotSpecializeCallee(Callee))
     return false;
 
@@ -381,6 +383,7 @@ bool ReabstractionInfo::prepareAndCheck(ApplySite Apply, SILFunction *Callee,
   if (CalleeGenericSig)
     InterfaceSubs = CalleeGenericSig->getSubstitutionMap(ParamSubs);
 
+  using namespace OptRemark;
   // We do not support partial specialization.
   if (!EnablePartialSpecialization && InterfaceSubs.hasArchetypes()) {
     DEBUG(llvm::dbgs() << "    Partial specialization is not supported.\n");
@@ -390,7 +393,10 @@ bool ReabstractionInfo::prepareAndCheck(ApplySite Apply, SILFunction *Callee,
 
   // Perform some checks to see if we need to bail.
   if (InterfaceSubs.hasDynamicSelf()) {
-    DEBUG(llvm::dbgs() << "    Cannot specialize with dynamic self.\n");
+    REMARK_OR_DEBUG(ORE, [&]() {
+      return RemarkMissed("DynamicSelf", *Apply.getInstruction())
+             << IndentDebug(4) << "Cannot specialize with dynamic self";
+    });
     return false;
   }
 
@@ -400,8 +406,11 @@ bool ReabstractionInfo::prepareAndCheck(ApplySite Apply, SILFunction *Callee,
   for (auto Sub : ParamSubs) {
     auto Replacement = Sub.getReplacement();
     if (isTypeTooComplex(Replacement)) {
-      DEBUG(llvm::dbgs()
-            << "    Cannot specialize because the generic type is too deep.\n");
+      REMARK_OR_DEBUG(ORE, [&]() {
+        return RemarkMissed("TypeTooDeep", *Apply.getInstruction())
+               << IndentDebug(4)
+               << "Cannot specialize because the generic type is too deep";
+      });
       NumPreventedTooComplexGenericSpecializations++;
       return false;
     }
@@ -475,11 +484,14 @@ bool ReabstractionInfo::prepareAndCheck(ApplySite Apply, SILFunction *Callee,
   // Check if specializing this call site would create in an infinite generic
   // specialization loop.
   if (createsInfiniteSpecializationLoop(Apply)) {
-    DEBUG(llvm::dbgs() << "    Generic specialization is not supported if "
-                          "it would result in a generic specialization of "
-                          "infinite depth.\n");
-    DEBUG(llvm::dbgs() << "Callee " << Callee->getName()
-                       << " occurs multiple times on the call chain\n");
+    REMARK_OR_DEBUG(ORE, [&]() {
+      return RemarkMissed("SpecializationLoop", *Apply.getInstruction())
+             << IndentDebug(4)
+             << "Generic specialization is not supported if it would result in "
+                "a generic specialization of infinite depth. Callee "
+             << NV("Callee", Callee)
+             << " occurs multiple times on the call chain";
+    });
     if (PrintGenericSpecializationLoops)
       llvm::errs() << "Detected and prevented an infinite "
                       "generic specialization loop for callee: "
@@ -499,8 +511,9 @@ bool ReabstractionInfo::canBeSpecialized(ApplySite Apply, SILFunction *Callee,
 
 ReabstractionInfo::ReabstractionInfo(ApplySite Apply, SILFunction *Callee,
                                      ArrayRef<Substitution> ParamSubs,
-                                     bool ConvertIndirectToDirect) {
-  if (!prepareAndCheck(Apply, Callee, ParamSubs))
+                                     bool ConvertIndirectToDirect,
+                                     OptRemark::Emitter *ORE) {
+  if (!prepareAndCheck(Apply, Callee, ParamSubs, ORE))
     return;
 
   this->ConvertIndirectToDirect = ConvertIndirectToDirect;
@@ -2241,7 +2254,8 @@ SILArgument *ReabstractionThunkGenerator::convertReabstractionThunkArguments(
 
 void swift::trySpecializeApplyOfGeneric(
     ApplySite Apply, DeadInstructionSet &DeadApplies,
-    llvm::SmallVectorImpl<SILFunction *> &NewFunctions) {
+    llvm::SmallVectorImpl<SILFunction *> &NewFunctions,
+    OptRemark::Emitter &ORE) {
   assert(Apply.hasSubstitutions() && "Expected an apply with substitutions!");
   auto *F = Apply.getFunction();
   auto *RefF = cast<FunctionRefInst>(Apply.getCallee())->getReferencedFunction();
@@ -2275,7 +2289,8 @@ void swift::trySpecializeApplyOfGeneric(
   if (Apply.getModule().isOptimizedOnoneSupportModule())
     Serialized = IsNotSerialized;
 
-  ReabstractionInfo ReInfo(Apply, RefF, Apply.getSubstitutions());
+  ReabstractionInfo ReInfo(Apply, RefF, Apply.getSubstitutions(),
+                           /*ConvertIndirectToDirect=*/true, &ORE);
   if (!ReInfo.canBeSpecialized())
     return;
 
@@ -2337,6 +2352,18 @@ void swift::trySpecializeApplyOfGeneric(
     NewFunctions.push_back(SpecializedF);
   }
 
+  ORE.emit([&]() {
+    std::string Str;
+    llvm::raw_string_ostream OS(Str);
+    SpecializedF->getLoweredFunctionType().print(
+        OS, PrintOptions::printQuickHelpDeclaration());
+
+    using namespace OptRemark;
+    return RemarkPassed("Specialized", *Apply.getInstruction())
+           << "Specialized function " << NV("Function", RefF) << " with type "
+           << NV("FuncType", OS.str());
+  });
+
   assert(ReInfo.getSpecializedType()
          == SpecializedF->getLoweredFunctionType() &&
          "Previously specialized function does not match expected type.");