dfg/DFGPrePostNumbering.cpp

   1 /*
   2  * Copyright (C) 2014 Apple Inc. All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  * 1. Redistributions of source code must retain the above copyright
   8  *    notice, this list of conditions and the following disclaimer.
   9  * 2. Redistributions in binary form must reproduce the above copyright
  10  *    notice, this list of conditions and the following disclaimer in the
  11  *    documentation and/or other materials provided with the distribution.
  12  *
  13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
  14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
  17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
  21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  24  */
  25
  26 #include "config.h"
  27 #include "DFGPrePostNumbering.h"
  28
  29 #if ENABLE(DFG_JIT)
  30
  31 #include "DFGBlockMapInlines.h"
  32 #include "DFGBlockWorklist.h"
  33 #include "DFGGraph.h"
  34
  35 namespace JSC { namespace DFG {
  36
  37 PrePostNumbering::PrePostNumbering() { }
  38 PrePostNumbering::~PrePostNumbering() { }
  39
  40 void PrePostNumbering::compute(Graph& graph)
  41 {
  42     m_map = BlockMap<Numbering>(graph);
  43
  44     PostOrderBlockWorklist worklist;
  45     worklist.push(graph.block(0));
  46     unsigned nextPreNumber = 0;
  47     unsigned nextPostNumber = 0;
  48     while (BlockWithOrder item = worklist.pop()) {
  49         switch (item.order) {
  50         case PreOrder:
  51             m_map[item.block].m_preNumber = nextPreNumber++;
  52             worklist.pushPost(item.block);
  53             for (BasicBlock* successor : item.block->successors())
  54                 worklist.push(successor);
  55             break;
  56         case PostOrder:
  57             m_map[item.block].m_postNumber = nextPostNumber++;
  58             break;
  59         }
  60     }
  61 }
  62
  63 } } // namespace JSC::DFG
  64
  65 namespace WTF {
  66
  67 using namespace JSC::DFG;
  68
  69 void printInternal(PrintStream& out, EdgeKind kind)
  70 {
  71     switch (kind) {
  72     case ForwardEdge:
  73         out.print("ForwardEdge");
  74         return;
  75     case CrossEdge:
  76         out.print("CrossEdge");
  77         return;
  78     case BackEdge:
  79         out.print("BackEdge");
  80         return;
  81     }
  82
  83     RELEASE_ASSERT_NOT_REACHED();
  84 }
  85
  86 } // namespace WTF
  87
  88 #endif // ENABLE(DFG_JIT)
  89