Move back primary header includes next to config.h
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGBasicBlock.cpp
1 /*
2  * Copyright (C) 2013 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 "DFGBasicBlock.h"
28
29 #if ENABLE(DFG_JIT)
30
31 #include "JSCInlines.h"
32
33 namespace JSC { namespace DFG {
34
35 BasicBlock::BasicBlock(unsigned bytecodeBegin, unsigned numArguments, unsigned numLocals)
36     : bytecodeBegin(bytecodeBegin)
37     , index(NoBlock)
38     , isOSRTarget(false)
39     , cfaHasVisited(false)
40     , cfaShouldRevisit(false)
41     , cfaFoundConstants(false)
42     , cfaDidFinish(true)
43     , cfaBranchDirection(InvalidBranchDirection)
44 #if !ASSERT_DISABLED
45     , isLinked(false)
46 #endif
47     , isReachable(false)
48     , variablesAtHead(numArguments, numLocals)
49     , variablesAtTail(numArguments, numLocals)
50     , valuesAtHead(numArguments, numLocals)
51     , valuesAtTail(numArguments, numLocals)
52 {
53 }
54
55 BasicBlock::~BasicBlock() { }
56
57 void BasicBlock::ensureLocals(unsigned newNumLocals)
58 {
59     variablesAtHead.ensureLocals(newNumLocals);
60     variablesAtTail.ensureLocals(newNumLocals);
61     valuesAtHead.ensureLocals(newNumLocals);
62     valuesAtTail.ensureLocals(newNumLocals);
63 }
64
65 bool BasicBlock::isInPhis(Node* node) const
66 {
67     for (size_t i = 0; i < phis.size(); ++i) {
68         if (phis[i] == node)
69             return true;
70     }
71     return false;
72 }
73
74 bool BasicBlock::isInBlock(Node* myNode) const
75 {
76     for (size_t i = 0; i < numNodes(); ++i) {
77         if (node(i) == myNode)
78             return true;
79     }
80     return false;
81 }
82
83 void BasicBlock::removePredecessor(BasicBlock* block)
84 {
85     for (unsigned i = 0; i < predecessors.size(); ++i) {
86         if (predecessors[i] != block)
87             continue;
88         predecessors[i] = predecessors.last();
89         predecessors.removeLast();
90         return;
91     }
92     RELEASE_ASSERT_NOT_REACHED();
93 }
94
95 void BasicBlock::replacePredecessor(BasicBlock* from, BasicBlock* to)
96 {
97     for (unsigned i = predecessors.size(); i--;) {
98         if (predecessors[i] != from)
99             continue;
100         predecessors[i] = to;
101         return;
102     }
103     RELEASE_ASSERT_NOT_REACHED();
104 }
105
106 void BasicBlock::dump(PrintStream& out) const
107 {
108     out.print("#", index);
109 }
110
111 BasicBlock::SSAData::SSAData(BasicBlock* block)
112     : flushAtHead(OperandsLike, block->variablesAtHead)
113     , flushAtTail(OperandsLike, block->variablesAtHead)
114     , availabilityAtHead(OperandsLike, block->variablesAtHead)
115     , availabilityAtTail(OperandsLike, block->variablesAtHead)
116 {
117 }
118
119 BasicBlock::SSAData::~SSAData() { }
120
121 } } // namespace JSC::DFG
122
123 #endif // ENABLE(DFG_JIT)
124