[interpreter][stubs] Enable graph verification for bytecode handlers and stubs included into snapsh…

src/code-stubs.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/code-stubs.h"
 
 #include <sstream>
 
 #include "src/ast/ast.h"
 #include "src/bootstrapper.h"
@@ skipping 419 matching lines @@
   }
 }
 
 Handle<Code> TurboFanCodeStub::GenerateCode() {
   const char* name = CodeStub::MajorName(MajorKey());
   Zone zone(isolate()->allocator(), ZONE_NAME);
   CallInterfaceDescriptor descriptor(GetCallInterfaceDescriptor());
   compiler::CodeAssemblerState state(isolate(), &zone, descriptor,
                                      GetCodeFlags(), name);
   GenerateAssembly(&state);
-  return compiler::CodeAssembler::GenerateCode(&state);
+  // TODO(ishell): enable verification once all issues are fixed.
+  // Enable verification only in mksnapshot.
+  bool verify_graph = FLAG_csa_verify && FLAG_startup_blob != nullptr;
+  return compiler::CodeAssembler::GenerateCode(&state, verify_graph);
 }
 
 #define ACCESSOR_ASSEMBLER(Name)                                       \
   void Name##Stub::GenerateAssembly(CodeAssemblerState* state) const { \
     AccessorAssembler::Generate##Name(state);                          \
   }
 
 ACCESSOR_ASSEMBLER(LoadIC)
 ACCESSOR_ASSEMBLER(LoadICTrampoline)
 ACCESSOR_ASSEMBLER(KeyedLoadICTF)
@@ skipping 2766 matching lines @@
 }
 
 ArrayConstructorStub::ArrayConstructorStub(Isolate* isolate)
     : PlatformCodeStub(isolate) {}
 
 InternalArrayConstructorStub::InternalArrayConstructorStub(Isolate* isolate)
     : PlatformCodeStub(isolate) {}
 
 }  // namespace internal
 }  // namespace v8