Implement try/catch in the FTL
[WebKit-https.git] / Source / JavaScriptCore / dfg / DFGOSRExit.cpp
1 /*
2  * Copyright (C) 2011, 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 "DFGOSRExit.h"
28
29 #if ENABLE(DFG_JIT)
30
31 #include "AssemblyHelpers.h"
32 #include "DFGGraph.h"
33 #include "DFGMayExit.h"
34 #include "DFGSpeculativeJIT.h"
35 #include "JSCInlines.h"
36
37 namespace JSC { namespace DFG {
38
39 OSRExit::OSRExit(ExitKind kind, JSValueSource jsValueSource, MethodOfGettingAValueProfile valueProfile, SpeculativeJIT* jit, unsigned streamIndex, unsigned recoveryIndex)
40     : OSRExitBase(kind, jit->m_origin.forExit, jit->m_origin.semantic)
41     , m_jsValueSource(jsValueSource)
42     , m_valueProfile(valueProfile)
43     , m_patchableCodeOffset(0)
44     , m_recoveryIndex(recoveryIndex)
45     , m_streamIndex(streamIndex)
46     , m_willArriveAtOSRExitFromGenericUnwind(false)
47 {
48     bool canExit = jit->m_origin.exitOK;
49     if (!canExit && jit->m_currentNode) {
50         ExitMode exitMode = mayExit(jit->m_jit.graph(), jit->m_currentNode);
51         canExit = exitMode == ExitMode::Exits || exitMode == ExitMode::ExitsForExceptions;
52     }
53     DFG_ASSERT(jit->m_jit.graph(), jit->m_currentNode, canExit);
54 }
55
56 void OSRExit::setPatchableCodeOffset(MacroAssembler::PatchableJump check)
57 {
58     m_patchableCodeOffset = check.m_jump.m_label.m_offset;
59 }
60
61 MacroAssembler::Jump OSRExit::getPatchableCodeOffsetAsJump() const
62 {
63     return MacroAssembler::Jump(AssemblerLabel(m_patchableCodeOffset));
64 }
65
66 CodeLocationJump OSRExit::codeLocationForRepatch(CodeBlock* dfgCodeBlock) const
67 {
68     return CodeLocationJump(dfgCodeBlock->jitCode()->dataAddressAtOffset(m_patchableCodeOffset));
69 }
70
71 void OSRExit::correctJump(LinkBuffer& linkBuffer)
72 {
73     MacroAssembler::Label label;
74     label.m_label.m_offset = m_patchableCodeOffset;
75     m_patchableCodeOffset = linkBuffer.offsetOf(label);
76 }
77
78 } } // namespace JSC::DFG
79
80 #endif // ENABLE(DFG_JIT)