verifier.cc File Reference

#include "src/compiler/verifier.h"
#include <algorithm>
#include <deque>
#include <queue>
#include <sstream>
#include <string>
#include "src/compiler/all-nodes.h"
#include "src/compiler/common-operator.h"
#include "src/compiler/js-operator.h"
#include "src/compiler/node-properties.h"
#include "src/compiler/node.h"
#include "src/compiler/opcodes.h"
#include "src/compiler/operator-properties.h"
#include "src/compiler/operator.h"
#include "src/compiler/schedule.h"
#include "src/compiler/state-values-utils.h"
#include "src/compiler/turbofan-graph.h"
#include "src/compiler/type-cache.h"
#include "src/utils/bit-vector.h"

Include dependency graph for verifier.cc:

Go to the source code of this file.

Classes
class	v8::internal::compiler::Verifier::Visitor

Namespaces
namespace	v8
namespace	v8::internal
namespace	v8::internal::compiler

Macros
#define	SPECULATIVE_BIGINT_BINOP(Name)
#define	BIGINT_BINOP(Name)
#define	SIMD_MACHINE_OP_CASE(Name)

Functions
static bool	v8::internal::compiler::HasDominatingDef (Schedule *schedule, Node *node, BasicBlock *container, BasicBlock *use_block, int use_pos)
static bool	v8::internal::compiler::Dominates (Schedule *schedule, Node *dominator, Node *dominatee)
static void	v8::internal::compiler::CheckInputsDominate (Schedule *schedule, BasicBlock *block, Node *node, int use_pos)

Macro Definition Documentation

BIGINT_BINOP

#define BIGINT_BINOP

(

Name

)

Value:

case IrOpcode::k##Name:

SIMD_MACHINE_OP_CASE

#define SIMD_MACHINE_OP_CASE

(

Name

)

Value:

case IrOpcode::k##Name:

SPECULATIVE_BIGINT_BINOP

#define SPECULATIVE_BIGINT_BINOP

(

Name

)

Value:

case IrOpcode::k##Name: