Fix style issues in DFG Phase classes
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGCFAPhase.cpp
1 /*
2  * Copyright (C) 2011 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 "DFGCFAPhase.h"
28
29 #if ENABLE(DFG_JIT)
30
31 #include "DFGAbstractState.h"
32 #include "DFGGraph.h"
33 #include "DFGPhase.h"
34
35 namespace JSC { namespace DFG {
36
37 class CFAPhase : public Phase {
38 public:
39     CFAPhase(Graph& graph)
40         : Phase(graph, "control flow analysis")
41         , m_state(graph)
42     {
43     }
44     
45     void run()
46     {
47 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
48         m_count = 0;
49 #endif
50         
51         // This implements a pseudo-worklist-based forward CFA, except that the visit order
52         // of blocks is the bytecode program order (which is nearly topological), and
53         // instead of a worklist we just walk all basic blocks checking if cfaShouldRevisit
54         // is set to true. This is likely to balance the efficiency properties of both
55         // worklist-based and forward fixpoint-based approaches. Like a worklist-based
56         // approach, it won't visit code if it's meaningless to do so (nothing changed at
57         // the head of the block or the predecessors have not been visited). Like a forward
58         // fixpoint-based approach, it has a high probability of only visiting a block
59         // after all predecessors have been visited. Only loops will cause this analysis to
60         // revisit blocks, and the amount of revisiting is proportional to loop depth.
61         
62         AbstractState::initialize(m_graph);
63         
64         do {
65             m_changed = false;
66             performForwardCFA();
67         } while (m_changed);
68     }
69     
70 private:
71     void performBlockCFA(BlockIndex blockIndex)
72     {
73         BasicBlock* block = m_graph.m_blocks[blockIndex].get();
74         if (!block->cfaShouldRevisit)
75             return;
76 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
77         dataLog("   Block #%u (bc#%u):\n", blockIndex, block->bytecodeBegin);
78 #endif
79         m_state.beginBasicBlock(block);
80 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
81         dataLog("      head vars: ");
82         dumpOperands(block->valuesAtHead, WTF::dataFile());
83         dataLog("\n");
84 #endif
85         for (NodeIndex nodeIndex = block->begin; nodeIndex < block->end; ++nodeIndex) {
86             if (!m_graph[nodeIndex].shouldGenerate())
87                 continue;
88 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
89             dataLog("      %s @%u: ", Graph::opName(m_graph[nodeIndex].op), nodeIndex);
90             m_state.dump(WTF::dataFile());
91             dataLog("\n");
92 #endif
93             if (!m_state.execute(nodeIndex))
94                 break;
95         }
96 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
97         dataLog("      tail regs: ");
98         m_state.dump(WTF::dataFile());
99         dataLog("\n");
100 #endif
101         m_changed |= m_state.endBasicBlock(AbstractState::MergeToSuccessors);
102 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
103         dataLog("      tail vars: ");
104         dumpOperands(block->valuesAtTail, WTF::dataFile());
105         dataLog("\n");
106 #endif
107     }
108     
109     void performForwardCFA()
110     {
111 #if DFG_ENABLE(DEBUG_PROPAGATION_VERBOSE)
112         dataLog("CFA [%u]\n", ++m_count);
113 #endif
114         
115         for (BlockIndex block = 0; block < m_graph.m_blocks.size(); ++block)
116             performBlockCFA(block);
117     }
118
119 private:
120     AbstractState m_state;
121     
122     bool m_changed;
123 };
124
125 void performCFA(Graph& graph)
126 {
127     runPhase<CFAPhase>(graph);
128 }
129
130 } } // namespace JSC::DFG
131
132 #endif // ENABLE(DFG_JIT)