#include <il_test_helper.h>

Inheritance diagram for dart::ILMatcher:

Public Member Functions
	ILMatcher (FlowGraph flow_graph, Instruction cursor, bool trace=true, ParallelMovesHandling parallel_moves_handling=ParallelMovesHandling::kDefault)

Instruction *	value ()

bool	TryMatch (std::initializer_list< MatchCode > match_codes, MatchOpCode insert_before=kInvalidMatchOpCode)

Public Member Functions inherited from dart::ValueObject
	ValueObject ()

	~ValueObject ()

Detailed Description

Definition at line 224 of file il_test_helper.h.

Constructor & Destructor Documentation

◆ ILMatcher()

dart::ILMatcher::ILMatcher	(	FlowGraph *	flow_graph,
		Instruction *	cursor,
		bool	trace = `true`,
		ParallelMovesHandling	parallel_moves_handling = `ParallelMovesHandling::kDefault`
	)

inline

Definition at line 226 of file il_test_helper.h.

      : flow_graph_(flow_graph),
        cursor_(cursor),
        parallel_moves_handling_(parallel_moves_handling),
  // clang-format off
#if !defined(PRODUCT)
        trace_(trace) {}

Member Function Documentation

◆ TryMatch()

bool dart::ILMatcher::TryMatch	(	std::initializer_list< MatchCode >	match_codes,
		MatchOpCode	insert_before = `kInvalidMatchOpCode`
	)

Definition at line 288 of file il_test_helper.cc.

                                                    {
  std::vector<MatchCode> qcodes = match_codes;
 
  if (insert_before != kInvalidMatchOpCode) {
    for (auto pos = qcodes.begin(); pos < qcodes.end(); pos++) {
      pos = qcodes.insert(pos, insert_before) + 1;
    }
  }
 
  if (trace_) {
    OS::PrintErr("ILMatcher: Matching the following graph\n");
    FlowGraphPrinter::PrintGraph("ILMatcher", flow_graph_);
    OS::PrintErr("ILMatcher: Starting match at %s:\n", cursor_->ToCString());
  }
 
  Instruction* cursor = cursor_;
  for (size_t i = 0; i < qcodes.size(); ++i) {
    Instruction** capture = qcodes[i].capture_;
    if (parallel_moves_handling_ == ParallelMovesHandling::kSkip) {
      while (cursor->IsParallelMove()) {
        cursor = cursor->next();
      }
    }
    if (trace_) {
      OS::PrintErr("  matching %30s @ %s\n",
                   MatchOpCodeToCString(qcodes[i].opcode()),
                   cursor->ToCString());
    }
 
    auto next = MatchInternal(qcodes, i, cursor);
    if (next == nullptr) {
      if (trace_) {
        OS::PrintErr("  -> Match failed\n");
      }
      cursor = next;
      break;
    }
    if (capture != nullptr) {
      *capture = cursor;
    }
    cursor = next;
  }
  if (cursor != nullptr) {
    cursor_ = cursor;
    return true;
  }
  return false;
}

◆ value()

Instruction * dart::ILMatcher::value ( )

inline

Definition at line 242 of file il_test_helper.h.

242{ return cursor_; }

The documentation for this class was generated from the following files: