DFGDominators.cpp 3.15 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46
/*
 * Copyright (C) 2011 Apple Inc. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
 */

#include "config.h"
#include "DFGDominators.h"

#if ENABLE(DFG_JIT)

#include "DFGGraph.h"

namespace JSC { namespace DFG {

Dominators::Dominators()
{
}

Dominators::~Dominators()
{
}

void Dominators::compute(Graph& graph)
{
    // This implements a naive dominator solver.
    
47
    ASSERT(graph.block(0)->predecessors.isEmpty());
48
    
49
    unsigned numBlocks = graph.numBlocks();
50 51 52 53 54 55 56 57 58 59 60 61 62
    
    if (numBlocks > m_results.size()) {
        m_results.grow(numBlocks);
        for (unsigned i = numBlocks; i--;)
            m_results[i].resize(numBlocks);
        m_scratch.resize(numBlocks);
    }
    
    m_results[0].clearAll();
    m_results[0].set(0);
    
    m_scratch.clearAll();
    for (unsigned i = numBlocks; i--;) {
63
        if (!graph.block(i))
64 65 66 67 68
            continue;
        m_scratch.set(i);
    }
    
    for (unsigned i = numBlocks; i-- > 1;) {
69
        if (!graph.block(i) || graph.block(i)->predecessors.isEmpty())
70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90
            m_results[i].clearAll();
        else
            m_results[i].set(m_scratch);
    }
    
    bool changed;
    do {
        changed = false;
        for (unsigned i = 1; i < numBlocks; ++i)
            changed |= iterateForBlock(graph, i);
        if (!changed)
            break;
        
        changed = false;
        for (unsigned i = numBlocks; i-- > 1;)
            changed |= iterateForBlock(graph, i);
    } while (changed);
}

bool Dominators::iterateForBlock(Graph& graph, BlockIndex i)
{
91
    BasicBlock* block = graph.block(i);
92 93
    if (!block)
        return false;
94
    if (block->predecessors.isEmpty())
95
        return false;
96 97 98
    m_scratch.set(m_results[block->predecessors[0]->index]);
    for (unsigned j = block->predecessors.size(); j-- > 1;)
        m_scratch.filter(m_results[block->predecessors[j]->index]);
99 100 101 102 103 104 105 106
    m_scratch.set(i);
    return m_results[i].setAndCheck(m_scratch);
}

} } // namespace JSC::DFG

#endif // ENABLE(DFG_JIT)