2 * Copyright (C) 2011, 2013 Apple Inc. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
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.
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.
27 #include "DFGVirtualRegisterAllocationPhase.h"
32 #include "DFGScoreBoard.h"
33 #include "JSCInlines.h"
34 #include "StackAlignment.h"
35 #include <wtf/StdLibExtras.h>
37 namespace JSC
{ namespace DFG
{
39 class VirtualRegisterAllocationPhase
: public Phase
{
41 VirtualRegisterAllocationPhase(Graph
& graph
)
42 : Phase(graph
, "virtual register allocation")
48 ScoreBoard
scoreBoard(m_graph
.m_nextMachineLocal
);
49 scoreBoard
.assertClear();
50 for (size_t blockIndex
= 0; blockIndex
< m_graph
.numBlocks(); ++blockIndex
) {
51 BasicBlock
* block
= m_graph
.block(blockIndex
);
54 if (!block
->isReachable
)
56 for (size_t indexInBlock
= 0; indexInBlock
< block
->size(); ++indexInBlock
) {
57 Node
* node
= block
->at(indexInBlock
);
59 if (!node
->shouldGenerate())
68 ASSERT(!node
->child1()->hasResult());
74 // First, call use on all of the current node's children, then
75 // allocate a VirtualRegister for this node. We do so in this
76 // order so that if a child is on its last use, and a
77 // VirtualRegister is freed, then it may be reused for node.
78 if (node
->flags() & NodeHasVarArgs
) {
79 for (unsigned childIdx
= node
->firstChild(); childIdx
< node
->firstChild() + node
->numChildren(); childIdx
++)
80 scoreBoard
.useIfHasResult(m_graph
.m_varArgChildren
[childIdx
]);
82 scoreBoard
.useIfHasResult(node
->child1());
83 scoreBoard
.useIfHasResult(node
->child2());
84 scoreBoard
.useIfHasResult(node
->child3());
87 if (!node
->hasResult())
90 VirtualRegister virtualRegister
= scoreBoard
.allocate();
91 node
->setVirtualRegister(virtualRegister
);
92 // 'mustGenerate' nodes have their useCount artificially elevated,
93 // call use now to account for this.
94 if (node
->mustGenerate())
97 scoreBoard
.assertClear();
100 // Record the number of virtual registers we're using. This is used by calls
101 // to figure out where to put the parameters.
102 m_graph
.m_nextMachineLocal
= scoreBoard
.highWatermark();
108 bool performVirtualRegisterAllocation(Graph
& graph
)
110 SamplingRegion
samplingRegion("DFG Virtual Register Allocation Phase");
111 return runPhase
<VirtualRegisterAllocationPhase
>(graph
);
114 } } // namespace JSC::DFG
116 #endif // ENABLE(DFG_JIT)