Revert "Add a new semantics attribute to disable SIL verification on a function"

This reverts commit aa01b2a.

Author: hamishknight

include/swift/AST/SemanticAttrs.def

@@ -165,7 +165,5 @@ SEMANTICS_ATTR(USE_FRAME_POINTER, "use_frame_pointer")
 SEMANTICS_ATTR(FIXED_STORAGE_CHECK_INDEX, "fixed_storage.check_index")
 SEMANTICS_ATTR(FIXED_STORAGE_GET_COUNT, "fixed_storage.get_count")
 
-SEMANTICS_ATTR(NO_SIL_VERIFICATION, "sil.verify_none")
-
 #undef SEMANTICS_ATTR
 

lib/SIL/Verifier/SILOwnershipVerifier.cpp

@@ -20,7 +20,6 @@
 #include "swift/AST/Decl.h"
 #include "swift/AST/GenericEnvironment.h"
 #include "swift/AST/Module.h"
-#include "swift/AST/SemanticAttrs.h"
 #include "swift/AST/Types.h"
 #include "swift/Basic/Assertions.h"
 #include "swift/Basic/Range.h"
@@ -867,14 +866,6 @@ void SILInstruction::verifyOperandOwnership(
     return;
 #endif
 
-  if (getModule().getOptions().VerifyNone) {
-    return;
-  }
-
-  if (getFunction()->hasSemanticsAttr(semantics::NO_SIL_VERIFICATION)) {
-    return;
-  }
-
   // If SILOwnership is not enabled, do not perform verification.
   if (!getModule().getOptions().VerifySILOwnership)
     return;

lib/SIL/Verifier/SILVerifier.cpp

@@ -7430,10 +7430,6 @@ void SILFunction::verify(CalleeCache *calleeCache,
   if (!verificationEnabled(getModule()))
     return;
 
-  if (hasSemanticsAttr(semantics::NO_SIL_VERIFICATION)) {
-    return;
-  }
-
   // Please put all checks in visitSILFunction in SILVerifier, not here. This
   // ensures that the pretty stack trace in the verifier is included with the
   // back trace when the verifier crashes.

lib/SILOptimizer/Utils/OptimizerBridging.cpp

@@ -11,13 +11,7 @@
 //===----------------------------------------------------------------------===//
 
 #include "swift/SILOptimizer/OptimizerBridging.h"
-#include "../../IRGen/IRGenModule.h"
-#include "swift/AST/SemanticAttrs.h"
-#include "swift/SIL/DynamicCasts.h"
-#include "swift/SIL/OSSALifetimeCompletion.h"
-#include "swift/SIL/SILCloner.h"
 #include "swift/SILOptimizer/Analysis/Analysis.h"
-#include "swift/SILOptimizer/IPO/ClosureSpecializer.h"
 #include "swift/SILOptimizer/Utils/CFGOptUtils.h"
 #include "swift/SILOptimizer/Utils/ConstantFolding.h"
 #include "swift/SILOptimizer/Utils/Devirtualize.h"
@@ -27,6 +21,11 @@
 #include "swift/SILOptimizer/Utils/SILOptFunctionBuilder.h"
 #include "swift/SILOptimizer/Utils/SpecializationMangler.h"
 #include "swift/SILOptimizer/Utils/StackNesting.h"
+#include "swift/SILOptimizer/IPO/ClosureSpecializer.h"
+#include "swift/SIL/DynamicCasts.h"
+#include "swift/SIL/OSSALifetimeCompletion.h"
+#include "swift/SIL/SILCloner.h"
+#include "../../IRGen/IRGenModule.h"
 
 using namespace swift;
 
@@ -64,10 +63,6 @@ void SILPassManager::runSwiftFunctionVerification(SILFunction *f) {
   if (DisableSwiftVerification)
     return;
 
-  if (f->hasSemanticsAttr(semantics::NO_SIL_VERIFICATION)) {
-    return;
-  }
-
   getSwiftPassInvocation()->beginVerifyFunction(f);
   verifyFunctionFunction({getSwiftPassInvocation()}, {f});
   getSwiftPassInvocation()->endVerifyFunction();

test/SIL/verifier_nofail.sil

@@ -23,13 +23,3 @@ bb0(%0 : $*P):
   %9999 = tuple()
   return %9999 : $()
 }
-
-
-class Klass {}
-
-sil [ossa] [_semantics "sil.verify_none"] @foo : $@convention(thin) (@guaranteed Klass) -> () {
-bb0(%0 : @guaranteed $Klass):
-  destroy_value %0
-  %t = tuple()
-  return %t
-}