1 | /*
|
---|
2 | * Copyright (C) 2008-2018 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 | #pragma once
|
---|
27 |
|
---|
28 | #include "ArityCheckMode.h"
|
---|
29 | #include "CallFrame.h"
|
---|
30 | #include "CodeOrigin.h"
|
---|
31 | #include "JSCJSValue.h"
|
---|
32 | #include "MacroAssemblerCodeRef.h"
|
---|
33 | #include "RegisterAtOffsetList.h"
|
---|
34 | #include "RegisterSet.h"
|
---|
35 |
|
---|
36 |
|
---|
37 | namespace JSC {
|
---|
38 |
|
---|
39 | class PCToCodeOriginMap;
|
---|
40 |
|
---|
41 | namespace DFG {
|
---|
42 | class CommonData;
|
---|
43 | class JITCode;
|
---|
44 | }
|
---|
45 | namespace FTL {
|
---|
46 | class ForOSREntryJITCode;
|
---|
47 | class JITCode;
|
---|
48 | }
|
---|
49 | namespace DOMJIT {
|
---|
50 | class Signature;
|
---|
51 | }
|
---|
52 |
|
---|
53 | struct ProtoCallFrame;
|
---|
54 | class TrackedReferences;
|
---|
55 | class VM;
|
---|
56 |
|
---|
57 | enum class JITType : uint8_t {
|
---|
58 | None = 0b000,
|
---|
59 | HostCallThunk = 0b001,
|
---|
60 | InterpreterThunk = 0b010,
|
---|
61 | BaselineJIT = 0b011,
|
---|
62 | DFGJIT = 0b100,
|
---|
63 | FTLJIT = 0b101,
|
---|
64 | };
|
---|
65 | static constexpr unsigned widthOfJITType = 3;
|
---|
66 | static_assert(WTF::getMSBSetConstexpr(static_cast<std::underlying_type_t<JITType>>(JITType::FTLJIT)) + 1 == widthOfJITType);
|
---|
67 |
|
---|
68 | class JITCode : public ThreadSafeRefCounted<JITCode> {
|
---|
69 | public:
|
---|
70 | template<PtrTag tag> using CodePtr = MacroAssemblerCodePtr<tag>;
|
---|
71 | template<PtrTag tag> using CodeRef = MacroAssemblerCodeRef<tag>;
|
---|
72 |
|
---|
73 | static ASCIILiteral typeName(JITType);
|
---|
74 |
|
---|
75 | static JITType bottomTierJIT()
|
---|
76 | {
|
---|
77 | return JITType::BaselineJIT;
|
---|
78 | }
|
---|
79 |
|
---|
80 | static JITType topTierJIT()
|
---|
81 | {
|
---|
82 | return JITType::FTLJIT;
|
---|
83 | }
|
---|
84 |
|
---|
85 | static JITType nextTierJIT(JITType jitType)
|
---|
86 | {
|
---|
87 | switch (jitType) {
|
---|
88 | case JITType::BaselineJIT:
|
---|
89 | return JITType::DFGJIT;
|
---|
90 | case JITType::DFGJIT:
|
---|
91 | return JITType::FTLJIT;
|
---|
92 | default:
|
---|
93 | RELEASE_ASSERT_NOT_REACHED();
|
---|
94 | return JITType::None;
|
---|
95 | }
|
---|
96 | }
|
---|
97 |
|
---|
98 | static bool isExecutableScript(JITType jitType)
|
---|
99 | {
|
---|
100 | switch (jitType) {
|
---|
101 | case JITType::None:
|
---|
102 | case JITType::HostCallThunk:
|
---|
103 | return false;
|
---|
104 | default:
|
---|
105 | return true;
|
---|
106 | }
|
---|
107 | }
|
---|
108 |
|
---|
109 | static bool couldBeInterpreted(JITType jitType)
|
---|
110 | {
|
---|
111 | switch (jitType) {
|
---|
112 | case JITType::InterpreterThunk:
|
---|
113 | case JITType::BaselineJIT:
|
---|
114 | return true;
|
---|
115 | default:
|
---|
116 | return false;
|
---|
117 | }
|
---|
118 | }
|
---|
119 |
|
---|
120 | static bool isJIT(JITType jitType)
|
---|
121 | {
|
---|
122 | switch (jitType) {
|
---|
123 | case JITType::BaselineJIT:
|
---|
124 | case JITType::DFGJIT:
|
---|
125 | case JITType::FTLJIT:
|
---|
126 | return true;
|
---|
127 | default:
|
---|
128 | return false;
|
---|
129 | }
|
---|
130 | }
|
---|
131 |
|
---|
132 | static bool isLowerTier(JITType expectedLower, JITType expectedHigher)
|
---|
133 | {
|
---|
134 | RELEASE_ASSERT(isExecutableScript(expectedLower));
|
---|
135 | RELEASE_ASSERT(isExecutableScript(expectedHigher));
|
---|
136 | return expectedLower < expectedHigher;
|
---|
137 | }
|
---|
138 |
|
---|
139 | static bool isHigherTier(JITType expectedHigher, JITType expectedLower)
|
---|
140 | {
|
---|
141 | return isLowerTier(expectedLower, expectedHigher);
|
---|
142 | }
|
---|
143 |
|
---|
144 | static bool isLowerOrSameTier(JITType expectedLower, JITType expectedHigher)
|
---|
145 | {
|
---|
146 | return !isHigherTier(expectedLower, expectedHigher);
|
---|
147 | }
|
---|
148 |
|
---|
149 | static bool isHigherOrSameTier(JITType expectedHigher, JITType expectedLower)
|
---|
150 | {
|
---|
151 | return isLowerOrSameTier(expectedLower, expectedHigher);
|
---|
152 | }
|
---|
153 |
|
---|
154 | static bool isOptimizingJIT(JITType jitType)
|
---|
155 | {
|
---|
156 | return jitType == JITType::DFGJIT || jitType == JITType::FTLJIT;
|
---|
157 | }
|
---|
158 |
|
---|
159 | static bool isBaselineCode(JITType jitType)
|
---|
160 | {
|
---|
161 | return jitType == JITType::InterpreterThunk || jitType == JITType::BaselineJIT;
|
---|
162 | }
|
---|
163 |
|
---|
164 | virtual const DOMJIT::Signature* signature() const { return nullptr; }
|
---|
165 |
|
---|
166 | enum class ShareAttribute : uint8_t {
|
---|
167 | NotShared,
|
---|
168 | Shared
|
---|
169 | };
|
---|
170 |
|
---|
171 | protected:
|
---|
172 | JITCode(JITType, JITCode::ShareAttribute = JITCode::ShareAttribute::NotShared);
|
---|
173 |
|
---|
174 | public:
|
---|
175 | virtual ~JITCode();
|
---|
176 |
|
---|
177 | JITType jitType() const
|
---|
178 | {
|
---|
179 | return m_jitType;
|
---|
180 | }
|
---|
181 |
|
---|
182 | bool isUnlinked() const;
|
---|
183 |
|
---|
184 | template<typename PointerType>
|
---|
185 | static JITType jitTypeFor(PointerType jitCode)
|
---|
186 | {
|
---|
187 | if (!jitCode)
|
---|
188 | return JITType::None;
|
---|
189 | return jitCode->jitType();
|
---|
190 | }
|
---|
191 |
|
---|
192 | virtual CodePtr<JSEntryPtrTag> addressForCall(ArityCheckMode) = 0;
|
---|
193 | virtual void* executableAddressAtOffset(size_t offset) = 0;
|
---|
194 | void* executableAddress() { return executableAddressAtOffset(0); }
|
---|
195 | virtual void* dataAddressAtOffset(size_t offset) = 0;
|
---|
196 | virtual unsigned offsetOf(void* pointerIntoCode) = 0;
|
---|
197 |
|
---|
198 | virtual DFG::CommonData* dfgCommon();
|
---|
199 | virtual DFG::JITCode* dfg();
|
---|
200 | virtual FTL::JITCode* ftl();
|
---|
201 | virtual FTL::ForOSREntryJITCode* ftlForOSREntry();
|
---|
202 | virtual void shrinkToFit(const ConcurrentJSLocker&);
|
---|
203 |
|
---|
204 | virtual void validateReferences(const TrackedReferences&);
|
---|
205 |
|
---|
206 | JSValue execute(VM*, ProtoCallFrame*);
|
---|
207 |
|
---|
208 | void* start() { return dataAddressAtOffset(0); }
|
---|
209 | virtual size_t size() = 0;
|
---|
210 | void* end() { return reinterpret_cast<void*>(reinterpret_cast<uintptr_t>(start()) + size()); }
|
---|
211 |
|
---|
212 | virtual bool contains(void*) = 0;
|
---|
213 |
|
---|
214 | #if ENABLE(JIT)
|
---|
215 | virtual RegisterSet liveRegistersToPreserveAtExceptionHandlingCallSite(CodeBlock*, CallSiteIndex);
|
---|
216 | virtual std::optional<CodeOrigin> findPC(CodeBlock*, void* pc) { UNUSED_PARAM(pc); return std::nullopt; }
|
---|
217 | #endif
|
---|
218 |
|
---|
219 | Intrinsic intrinsic() { return m_intrinsic; }
|
---|
220 |
|
---|
221 | bool isShared() const { return m_shareAttribute == ShareAttribute::Shared; }
|
---|
222 |
|
---|
223 | virtual PCToCodeOriginMap* pcToCodeOriginMap() { return nullptr; }
|
---|
224 |
|
---|
225 | const RegisterAtOffsetList* calleeSaveRegisters() const;
|
---|
226 |
|
---|
227 | static ptrdiff_t offsetOfJITType() { return OBJECT_OFFSETOF(JITCode, m_jitType); }
|
---|
228 |
|
---|
229 | private:
|
---|
230 | const JITType m_jitType;
|
---|
231 | const ShareAttribute m_shareAttribute;
|
---|
232 | protected:
|
---|
233 | Intrinsic m_intrinsic { NoIntrinsic }; // Effective only in NativeExecutable.
|
---|
234 | };
|
---|
235 |
|
---|
236 | class JITCodeWithCodeRef : public JITCode {
|
---|
237 | protected:
|
---|
238 | JITCodeWithCodeRef(JITType);
|
---|
239 | JITCodeWithCodeRef(CodeRef<JSEntryPtrTag>, JITType, JITCode::ShareAttribute);
|
---|
240 |
|
---|
241 | public:
|
---|
242 | ~JITCodeWithCodeRef() override;
|
---|
243 |
|
---|
244 | void* executableAddressAtOffset(size_t offset) override;
|
---|
245 | void* dataAddressAtOffset(size_t offset) override;
|
---|
246 | unsigned offsetOf(void* pointerIntoCode) override;
|
---|
247 | size_t size() override;
|
---|
248 | bool contains(void*) override;
|
---|
249 |
|
---|
250 | protected:
|
---|
251 | CodeRef<JSEntryPtrTag> m_ref;
|
---|
252 | };
|
---|
253 |
|
---|
254 | DECLARE_ALLOCATOR_WITH_HEAP_IDENTIFIER(DirectJITCode);
|
---|
255 | class DirectJITCode : public JITCodeWithCodeRef {
|
---|
256 | WTF_MAKE_STRUCT_FAST_ALLOCATED_WITH_HEAP_IDENTIFIER(DirectJITCode);
|
---|
257 | public:
|
---|
258 | DirectJITCode(JITType);
|
---|
259 | DirectJITCode(CodeRef<JSEntryPtrTag>, CodePtr<JSEntryPtrTag> withArityCheck, JITType, JITCode::ShareAttribute = JITCode::ShareAttribute::NotShared);
|
---|
260 | DirectJITCode(CodeRef<JSEntryPtrTag>, CodePtr<JSEntryPtrTag> withArityCheck, JITType, Intrinsic, JITCode::ShareAttribute = JITCode::ShareAttribute::NotShared); // For generated thunk.
|
---|
261 | ~DirectJITCode() override;
|
---|
262 |
|
---|
263 | CodePtr<JSEntryPtrTag> addressForCall(ArityCheckMode) override;
|
---|
264 |
|
---|
265 | protected:
|
---|
266 | void initializeCodeRefForDFG(CodeRef<JSEntryPtrTag>, CodePtr<JSEntryPtrTag> withArityCheck);
|
---|
267 |
|
---|
268 | private:
|
---|
269 | CodePtr<JSEntryPtrTag> m_withArityCheck;
|
---|
270 | };
|
---|
271 |
|
---|
272 | class NativeJITCode : public JITCodeWithCodeRef {
|
---|
273 | public:
|
---|
274 | NativeJITCode(JITType);
|
---|
275 | NativeJITCode(CodeRef<JSEntryPtrTag>, JITType, Intrinsic, JITCode::ShareAttribute = JITCode::ShareAttribute::NotShared);
|
---|
276 | ~NativeJITCode() override;
|
---|
277 |
|
---|
278 | CodePtr<JSEntryPtrTag> addressForCall(ArityCheckMode) override;
|
---|
279 | };
|
---|
280 |
|
---|
281 | class NativeDOMJITCode final : public NativeJITCode {
|
---|
282 | public:
|
---|
283 | NativeDOMJITCode(CodeRef<JSEntryPtrTag>, JITType, Intrinsic, const DOMJIT::Signature*);
|
---|
284 | ~NativeDOMJITCode() final = default;
|
---|
285 |
|
---|
286 | const DOMJIT::Signature* signature() const final { return m_signature; }
|
---|
287 |
|
---|
288 | private:
|
---|
289 | const DOMJIT::Signature* m_signature;
|
---|
290 | };
|
---|
291 |
|
---|
292 | } // namespace JSC
|
---|
293 |
|
---|
294 | namespace WTF {
|
---|
295 |
|
---|
296 | class PrintStream;
|
---|
297 | void printInternal(PrintStream&, JSC::JITType);
|
---|
298 |
|
---|
299 | } // namespace WTF
|
---|