B3 CSE should be able to match a full redundancy even if none of the matches dominate...
[WebKit-https.git] / Source / JavaScriptCore / ftl / FTLState.cpp
1 /*
2  * Copyright (C) 2013, 2015-2016 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 "FTLState.h"
28
29 #if ENABLE(FTL_JIT)
30
31 #include "CodeBlockWithJITType.h"
32 #include "FTLAbbreviations.h"
33 #include "FTLForOSREntryJITCode.h"
34 #include "FTLJITCode.h"
35 #include "FTLJITFinalizer.h"
36 #include "FTLPatchpointExceptionHandle.h"
37 #include <llvm/InitializeLLVM.h>
38 #include <stdio.h>
39
40 namespace JSC { namespace FTL {
41
42 using namespace B3;
43 using namespace DFG;
44
45 State::State(Graph& graph)
46     : graph(graph)
47     , context(llvm->ContextCreate())
48     , module(0)
49     , function(0)
50     , generatedFunction(0)
51     , unwindDataSection(0)
52     , unwindDataSectionSize(0)
53 {
54     switch (graph.m_plan.mode) {
55     case FTLMode: {
56         jitCode = adoptRef(new JITCode());
57         break;
58     }
59     case FTLForOSREntryMode: {
60         RefPtr<ForOSREntryJITCode> code = adoptRef(new ForOSREntryJITCode());
61         code->initializeEntryBuffer(graph.m_vm, graph.m_profiledBlock->m_numCalleeLocals);
62         code->setBytecodeIndex(graph.m_plan.osrEntryBytecodeIndex);
63         jitCode = code;
64         break;
65     }
66     default:
67         RELEASE_ASSERT_NOT_REACHED();
68         break;
69     }
70
71     graph.m_plan.finalizer = std::make_unique<JITFinalizer>(graph.m_plan);
72     finalizer = static_cast<JITFinalizer*>(graph.m_plan.finalizer.get());
73
74 #if FTL_USES_B3
75     proc = std::make_unique<Procedure>();
76
77     proc->setOriginPrinter(
78         [this] (PrintStream& out, B3::Origin origin) {
79             out.print("DFG:", bitwise_cast<Node*>(origin.data()));
80         });
81
82     proc->setFrontendData(&graph);
83 #endif // FTL_USES_B3
84 }
85
86 State::~State()
87 {
88     llvm->ContextDispose(context);
89 }
90
91 void State::dumpState(const char* when)
92 {
93     dumpState(module, when);
94 }
95
96 void State::dumpState(LModule module, const char* when)
97 {
98 #if FTL_USES_B3
99     UNUSED_PARAM(module);
100     if (!when || !!when)
101         CRASH();
102 #else
103     dataLog("LLVM IR for ", CodeBlockWithJITType(graph.m_codeBlock, FTL::JITCode::FTLJIT), " ", when, ":\n");
104     dumpModule(module);
105 #endif
106 }
107
108 } } // namespace JSC::FTL
109
110 #endif // ENABLE(FTL_JIT)
111