Merge pull request #6970 from compnerd/_specialize

Author: swift-ci

lib/SILOptimizer/IPO/EagerSpecializer.cpp

@@ -220,7 +220,9 @@ namespace {
 /// Helper class for emitting code to dispatch to a specialized function.
 class EagerDispatch {
   SILFunction *GenericFunc;
+#if 0
   const SILSpecializeAttr &SA;
+#endif
   const ReabstractionInfo &ReInfo;
 
   SILBuilder Builder;
@@ -231,12 +233,11 @@ class EagerDispatch {
   // original generic function.
   EagerDispatch(SILFunction *GenericFunc, const SILSpecializeAttr &SA,
                 const ReabstractionInfo &ReInfo)
-    : GenericFunc(GenericFunc), SA(SA), ReInfo(ReInfo), Builder(*GenericFunc),
-      Loc(GenericFunc->getLocation()) {
-
+      : GenericFunc(GenericFunc), ReInfo(ReInfo), Builder(*GenericFunc),
+        Loc(GenericFunc->getLocation()) {
     Builder.setCurrentDebugScope(GenericFunc->getDebugScope());
   }
-  
+
   void emitDispatchTo(SILFunction *NewFunc);
 
 protected:
@@ -264,12 +265,12 @@ void EagerDispatch::emitDispatchTo(SILFunction *NewFunc) {
   // Iterate over all dependent types in the generic signature, which will match
   // the specialized attribute's substitution list. Visit only
   // SubstitutableTypes, skipping DependentTypes.
-  auto GenericSig =
-    GenericFunc->getLoweredFunctionType()->getGenericSignature();
-
   // TODO: Uncomment when Generics.cpp is updated to use the
   // new @_specialize attribute for partial specializations.
 #if 0
+  auto GenericSig =
+    GenericFunc->getLoweredFunctionType()->getGenericSignature();
+
   auto SubIt = SA.getSubstitutions().begin();
   auto SubEnd = SA.getSubstitutions().end();
   for (auto DepTy : GenericSig->getAllDependentTypes()) {
@@ -281,6 +282,8 @@ void EagerDispatch::emitDispatchTo(SILFunction *NewFunc) {
   }
   assert(SubIt == SubEnd && "Too many substitutions.");
   (void) SubEnd;
+#else
+  static_cast<void>(FailedTypeCheckBB);
 #endif
   // 2. Convert call arguments, casting and adjusting for calling convention.
 
@@ -432,6 +435,9 @@ class EagerSpecializerTransform : public SILModuleTransform {
 };
 } // end anonymous namespace
 
+    // TODO: Uncomment when Generics.cpp is updated to use the
+    // new @_specialize attribute for partial specializations.
+#if 0
 /// Specializes a generic function for a concrete type list.
 static SILFunction *eagerSpecialize(SILFunction *GenericFunc,
                                     const SILSpecializeAttr &SA,
@@ -466,6 +472,7 @@ static SILFunction *eagerSpecialize(SILFunction *GenericFunc,
   return nullptr;
 #endif
 }
+#endif
 
 /// Run the pass.
 void EagerSpecializerTransform::run() {