[turbofan] Add --csa-verify flag that enables machine graph verification of code stubs.

test/cctest/test-code-stub-assembler.cc

 // Copyright 2015 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/base/utils/random-number-generator.h"
 #include "src/code-factory.h"
 #include "src/code-stub-assembler.h"
 #include "src/compiler/node.h"
 #include "src/isolate.h"
 #include "test/cctest/compiler/code-assembler-tester.h"
@@ skipping 1909 matching lines @@
       Smi::FromInt(5), Smi::FromInt(6), 2, 6);
 }
 
 TEST(BuildAppendJSArrayFastDoubleElementsObject) {
   Isolate* isolate(CcTest::InitIsolateOnce());
   AppendJSArrayCodeStubAssembler::TestAppendJSArray(
       isolate, FAST_DOUBLE_ELEMENTS, Smi::FromInt(3), Smi::FromInt(4),
       isolate->heap()->undefined_value(), Smi::FromInt(6), 6, 4);
 }
 
+namespace {
+
+template <typename Stub, typename... Args>
+void Recompile(Args... args) {
+  Stub stub(args...);
+  stub.DeleteStubFromCacheForTesting();
+  stub.GetCode();
+}
+
+}  // namespace
+
+TEST(CodeStubAssemblerGraphsCorrectness) {
+  // The test does not work with interpreter because bytecode handlers taken
+  // from the snapshot already refer to precompiled stubs from the snapshot
+  // and there is no way to trigger bytecode handlers recompilation.
+  if (FLAG_ignition || FLAG_turbo) return;
+
+  v8::Isolate::CreateParams create_params;
+  create_params.array_buffer_allocator = CcTest::array_buffer_allocator();
+  v8::Isolate* v8_isolate = v8::Isolate::New(create_params);
+  Isolate* isolate = reinterpret_cast<Isolate*>(v8_isolate);
+
+  {
+    v8::Isolate::Scope isolate_scope(v8_isolate);
+    LocalContext env(v8_isolate);
+    v8::HandleScope scope(v8_isolate);
+
+    FLAG_csa_verify = true;
+
+    // Recompile some stubs here.
+    Recompile<LoadGlobalICStub>(isolate, LoadGlobalICState(NOT_INSIDE_TYPEOF));
+  }
+  v8_isolate->Dispose();
+}
+
 }  // namespace internal
 }  // namespace v8