Line data    Source code

       1             : // Copyright 2013 the V8 project authors. All rights reserved.
       2             : // Use of this source code is governed by a BSD-style license that can be
       3             : // found in the LICENSE file.
       4             : 
       5             : #ifndef V8_COMPILER_DIAMOND_H_
       6             : #define V8_COMPILER_DIAMOND_H_
       7             : 
       8             : #include "src/compiler/common-operator.h"
       9             : #include "src/compiler/graph.h"
      10             : #include "src/compiler/node.h"
      11             : 
      12             : namespace v8 {
      13             : namespace internal {
      14             : namespace compiler {
      15             : 
      16             : // A helper to make it easier to build diamond-shaped control patterns.
      17             : struct Diamond {
      18             :   Graph* graph;
      19             :   CommonOperatorBuilder* common;
      20             :   Node* branch;
      21             :   Node* if_true;
      22             :   Node* if_false;
      23             :   Node* merge;
      24             : 
      25      323444 :   Diamond(Graph* g, CommonOperatorBuilder* b, Node* cond,
      26             :           BranchHint hint = BranchHint::kNone) {
      27      323444 :     graph = g;
      28      323444 :     common = b;
      29      646929 :     branch = graph->NewNode(common->Branch(hint), cond, graph->start());
      30      646973 :     if_true = graph->NewNode(common->IfTrue(), branch);
      31      646994 :     if_false = graph->NewNode(common->IfFalse(), branch);
      32      646976 :     merge = graph->NewNode(common->Merge(2), if_true, if_false);
      33      323470 :   }
      34             : 
      35             :   // Place {this} after {that} in control flow order.
      36           5 :   void Chain(Diamond& that) { branch->ReplaceInput(1, that.merge); }
      37             : 
      38             :   // Place {this} after {that} in control flow order.
      39      215355 :   void Chain(Node* that) { branch->ReplaceInput(1, that); }
      40             : 
      41             :   // Nest {this} into either the if_true or if_false branch of {that}.
      42       83802 :   void Nest(Diamond& that, bool if_true) {
      43       83802 :     if (if_true) {
      44       83737 :       branch->ReplaceInput(1, that.if_true);
      45       83739 :       that.merge->ReplaceInput(0, merge);
      46             :     } else {
      47          65 :       branch->ReplaceInput(1, that.if_false);
      48          65 :       that.merge->ReplaceInput(1, merge);
      49             :     }
      50       83808 :   }
      51             : 
      52      245042 :   Node* Phi(MachineRepresentation rep, Node* tv, Node* fv) {
      53      490089 :     return graph->NewNode(common->Phi(rep, 2), tv, fv, merge);
      54             :   }
      55             : 
      56      283757 :   Node* EffectPhi(Node* tv, Node* fv) {
      57      567482 :     return graph->NewNode(common->EffectPhi(2), tv, fv, merge);
      58             :   }
      59             : };
      60             : 
      61             : }  // namespace compiler
      62             : }  // namespace internal
      63             : }  // namespace v8
      64             : 
      65             : #endif  // V8_COMPILER_DIAMOND_H_