V8 Project
Classes | Static Public Member Functions | Private Member Functions | List of all members
v8::internal::compiler::Verifier Class Reference

#include <verifier.h>

+ Collaboration diagram for v8::internal::compiler::Verifier:

Classes

class  Visitor
 

Static Public Member Functions

static void Run (Graph *graph)
 

Private Member Functions

 DISALLOW_COPY_AND_ASSIGN (Verifier)
 

Detailed Description

Definition at line 19 of file verifier.h.

Member Function Documentation

◆ DISALLOW_COPY_AND_ASSIGN()

v8::internal::compiler::Verifier::DISALLOW_COPY_AND_ASSIGN ( Verifier  )
private

◆ Run()

void v8::internal::compiler::Verifier::Run ( Graph *  graph)
static

Definition at line 237 of file verifier.cc.

237  {
238  Visitor visitor(graph->zone());
239 
240  CHECK_NE(NULL, graph->start());
241  visitor.from_start = true;
242  graph->VisitNodeUsesFromStart(&visitor);
243  CHECK_NE(NULL, graph->end());
244  visitor.from_start = false;
245  graph->VisitNodeInputsFromEnd(&visitor);
246 
247  // All control nodes reachable from end are reachable from start.
248  for (NodeSet::iterator it = visitor.reached_from_end.begin();
249  it != visitor.reached_from_end.end(); ++it) {
250  CHECK(!NodeProperties::IsControl(*it) ||
251  visitor.reached_from_start.count(*it));
252  }
253 }
NULL
enable harmony numeric enable harmony object literal extensions Optimize object Array DOM strings and string trace pretenuring decisions of HAllocate instructions Enables optimizations which favor memory size over execution speed maximum source size in bytes considered for a single inlining maximum cumulative number of AST nodes considered for inlining trace the tracking of allocation sites deoptimize every n garbage collections perform array bounds checks elimination analyze liveness of environment slots and zap dead values flushes the cache of optimized code for closures on every GC allow uint32 values on optimize frames if they are used only in safe operations track concurrent recompilation artificial compilation delay in ms do not emit check maps for constant values that have a leaf deoptimize the optimized code if the layout of the maps changes enable context specialization in TurboFan execution budget before interrupt is triggered max percentage of megamorphic generic ICs to allow optimization enable use of SAHF instruction if enable use of VFP3 instructions if available enable use of NEON instructions if enable use of SDIV and UDIV instructions if enable use of MLS instructions if enable loading bit constant by means of movw movt instruction enable unaligned accesses for enable use of d16 d31 registers on ARM this requires VFP3 force all emitted branches to be in long enable alignment of csp to bytes on platforms which prefer the register to always be NULL
Definition: flag-definitions.h:407
CHECK
#define CHECK(condition)
Definition: logging.h:36
CHECK_NE
#define CHECK_NE(unexpected, value)
Definition: logging.h:173

References CHECK, CHECK_NE, v8::internal::compiler::GenericGraph< V >::end(), v8::internal::compiler::Verifier::Visitor::from_start, v8::internal::compiler::NodeProperties::IsControl(), NULL, v8::internal::compiler::Verifier::Visitor::reached_from_end, v8::internal::compiler::Verifier::Visitor::reached_from_start, v8::internal::compiler::GenericGraph< V >::start(), v8::internal::compiler::Graph::VisitNodeInputsFromEnd(), v8::internal::compiler::Graph::VisitNodeUsesFromStart(), and v8::internal::compiler::GenericGraphBase::zone().

Referenced by v8::internal::compiler::Pipeline::VerifyAndPrintGraph().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:
The documentation for this class was generated from the following files: