Remove excessive headers from JavaScriptCore
[WebKit-https.git] / Source / JavaScriptCore / bytecode / BytecodeLivenessAnalysis.h
1 /*
2  * Copyright (C) 2013, 2015 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. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #pragma once
27
28 #include "BytecodeBasicBlock.h"
29 #include "BytecodeGraph.h"
30 #include "CodeBlock.h"
31 #include <wtf/FastBitVector.h>
32
33 namespace JSC {
34
35 class BytecodeKills;
36 class FullBytecodeLiveness;
37
38 template<typename DerivedAnalysis>
39 class BytecodeLivenessPropagation {
40 protected:
41     template<typename Graph, typename UseFunctor, typename DefFunctor> void stepOverInstruction(Graph&, unsigned bytecodeOffset, FastBitVector& out, const UseFunctor&, const DefFunctor&);
42
43     template<typename Graph> void stepOverInstruction(Graph&, unsigned bytecodeOffset, FastBitVector& out);
44
45     template<typename Graph> bool computeLocalLivenessForBytecodeOffset(Graph&, BytecodeBasicBlock*, unsigned targetOffset, FastBitVector& result);
46
47     template<typename Graph> bool computeLocalLivenessForBlock(Graph&, BytecodeBasicBlock*);
48
49     template<typename Graph> FastBitVector getLivenessInfoAtBytecodeOffset(Graph&, unsigned bytecodeOffset);
50
51     template<typename Graph> void runLivenessFixpoint(Graph&);
52 };
53
54 class BytecodeLivenessAnalysis : private BytecodeLivenessPropagation<BytecodeLivenessAnalysis> {
55     WTF_MAKE_FAST_ALLOCATED;
56     WTF_MAKE_NONCOPYABLE(BytecodeLivenessAnalysis);
57 public:
58     friend class BytecodeLivenessPropagation<BytecodeLivenessAnalysis>;
59     BytecodeLivenessAnalysis(CodeBlock*);
60     
61     bool operandIsLiveAtBytecodeOffset(int operand, unsigned bytecodeOffset);
62     FastBitVector getLivenessInfoAtBytecodeOffset(unsigned bytecodeOffset);
63     
64     void computeFullLiveness(FullBytecodeLiveness& result);
65     void computeKills(BytecodeKills& result);
66
67 private:
68     void compute();
69     void dumpResults();
70
71     void getLivenessInfoAtBytecodeOffset(unsigned bytecodeOffset, FastBitVector&);
72
73     template<typename Functor> void computeDefsForBytecodeOffset(CodeBlock*, OpcodeID, Instruction*, FastBitVector&, const Functor&);
74     template<typename Functor> void computeUsesForBytecodeOffset(CodeBlock*, OpcodeID, Instruction*, FastBitVector&, const Functor&);
75
76     BytecodeGraph<CodeBlock> m_graph;
77 };
78
79 inline bool operandIsAlwaysLive(int operand);
80 inline bool operandThatIsNotAlwaysLiveIsLive(const FastBitVector& out, int operand);
81 inline bool operandIsLive(const FastBitVector& out, int operand);
82 inline bool isValidRegisterForLiveness(int operand);
83
84 } // namespace JSC