dea0ece0ce4fe126f226e9c7517df62cfa92bebd
[WebKit-https.git] / Source / JavaScriptCore / b3 / B3Effects.cpp
1 /*
2  * Copyright (C) 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. ``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 "B3Effects.h"
28
29 #if ENABLE(B3_JIT)
30
31 #include <wtf/CommaPrinter.h>
32 #include <wtf/DataLog.h>
33
34 namespace JSC { namespace B3 {
35
36 namespace {
37
38 // These helpers cascade in such a way that after the helper for terminal, we don't have to worry
39 // about terminal again, since the terminal case considers all ways that a terminal may interfere
40 // with something else. And after the exit sideways case, we don't have to worry about either
41 // exitsSideways or terminal. And so on...
42
43 bool interferesWithTerminal(const Effects& terminal, const Effects& other)
44 {
45     if (!terminal.terminal)
46         return false;
47     return other.terminal || other.controlDependent || other.writesLocalState || other.writes;
48 }
49
50 bool interferesWithExitSideways(const Effects& exitsSideways, const Effects& other)
51 {
52     if (!exitsSideways.exitsSideways)
53         return false;
54     return other.controlDependent || other.writes;
55 }
56
57 bool interferesWithWritesLocalState(const Effects& writesLocalState, const Effects& other)
58 {
59     if (!writesLocalState.writesLocalState)
60         return false;
61     return other.writesLocalState || other.readsLocalState;
62 }
63
64 } // anonymous namespace
65
66 bool Effects::interferes(const Effects& other) const
67 {
68     if (interferesWithTerminal(*this, other) || interferesWithTerminal(other, *this))
69         return true;
70     if (interferesWithExitSideways(*this, other) || interferesWithExitSideways(other, *this))
71         return true;
72     if (interferesWithWritesLocalState(*this, other) || interferesWithWritesLocalState(other, *this))
73         return true;
74     return writes.overlaps(other.writes)
75         || writes.overlaps(other.reads)
76         || reads.overlaps(other.writes);
77 }
78
79 void Effects::dump(PrintStream& out) const
80 {
81     CommaPrinter comma("|");
82     if (terminal)
83         out.print(comma, "Terminal");
84     if (exitsSideways)
85         out.print(comma, "ExitsSideways");
86     if (controlDependent)
87         out.print(comma, "ControlDependent");
88     if (writesLocalState)
89         out.print(comma, "WritesLocalState");
90     if (readsLocalState)
91         out.print(comma, "ReadsLocalState");
92     if (writes)
93         out.print(comma, "Writes:", writes);
94     if (reads)
95         out.print(comma, "Reads:", reads);
96 }
97
98 } } // namespace JSC::B3
99
100 #endif // ENABLE(B3_JIT)
101