123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305 |
- /*
- * Copyright (C) 2009, 2010, 2012 Apple Inc. All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
- * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
- * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
- * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
- * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
- * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
- * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
- #ifndef LinkBuffer_h
- #define LinkBuffer_h
- #if ENABLE(ASSEMBLER)
- #define DUMP_LINK_STATISTICS 0
- #define DUMP_CODE 0
- #define GLOBAL_THUNK_ID reinterpret_cast<void*>(static_cast<intptr_t>(-1))
- #define REGEXP_CODE_ID reinterpret_cast<void*>(static_cast<intptr_t>(-2))
- #include "JITCompilationEffort.h"
- #include "MacroAssembler.h"
- #include <wtf/DataLog.h>
- #include <wtf/Noncopyable.h>
- namespace JSC {
- class VM;
- // LinkBuffer:
- //
- // This class assists in linking code generated by the macro assembler, once code generation
- // has been completed, and the code has been copied to is final location in memory. At this
- // time pointers to labels within the code may be resolved, and relative offsets to external
- // addresses may be fixed.
- //
- // Specifically:
- // * Jump objects may be linked to external targets,
- // * The address of Jump objects may taken, such that it can later be relinked.
- // * The return address of a Call may be acquired.
- // * The address of a Label pointing into the code may be resolved.
- // * The value referenced by a DataLabel may be set.
- //
- class LinkBuffer {
- WTF_MAKE_NONCOPYABLE(LinkBuffer);
- typedef MacroAssemblerCodeRef CodeRef;
- typedef MacroAssemblerCodePtr CodePtr;
- typedef MacroAssembler::Label Label;
- typedef MacroAssembler::Jump Jump;
- typedef MacroAssembler::PatchableJump PatchableJump;
- typedef MacroAssembler::JumpList JumpList;
- typedef MacroAssembler::Call Call;
- typedef MacroAssembler::DataLabelCompact DataLabelCompact;
- typedef MacroAssembler::DataLabel32 DataLabel32;
- typedef MacroAssembler::DataLabelPtr DataLabelPtr;
- typedef MacroAssembler::ConvertibleLoadLabel ConvertibleLoadLabel;
- #if ENABLE(BRANCH_COMPACTION)
- typedef MacroAssembler::LinkRecord LinkRecord;
- typedef MacroAssembler::JumpLinkType JumpLinkType;
- #endif
- public:
- LinkBuffer(VM& vm, MacroAssembler* masm, void* ownerUID, JITCompilationEffort effort = JITCompilationMustSucceed)
- : m_size(0)
- #if ENABLE(BRANCH_COMPACTION)
- , m_initialSize(0)
- #endif
- , m_code(0)
- , m_assembler(masm)
- , m_vm(&vm)
- #ifndef NDEBUG
- , m_completed(false)
- , m_effort(effort)
- #endif
- {
- linkCode(ownerUID, effort);
- }
- ~LinkBuffer()
- {
- ASSERT(m_completed || (!m_executableMemory && m_effort == JITCompilationCanFail));
- }
-
- bool didFailToAllocate() const
- {
- return !m_executableMemory;
- }
- bool isValid() const
- {
- return !didFailToAllocate();
- }
-
- // These methods are used to link or set values at code generation time.
- void link(Call call, FunctionPtr function)
- {
- ASSERT(call.isFlagSet(Call::Linkable));
- call.m_label = applyOffset(call.m_label);
- MacroAssembler::linkCall(code(), call, function);
- }
-
- void link(Jump jump, CodeLocationLabel label)
- {
- jump.m_label = applyOffset(jump.m_label);
- MacroAssembler::linkJump(code(), jump, label);
- }
- void link(JumpList list, CodeLocationLabel label)
- {
- for (unsigned i = 0; i < list.m_jumps.size(); ++i)
- link(list.m_jumps[i], label);
- }
- void patch(DataLabelPtr label, void* value)
- {
- AssemblerLabel target = applyOffset(label.m_label);
- MacroAssembler::linkPointer(code(), target, value);
- }
- void patch(DataLabelPtr label, CodeLocationLabel value)
- {
- AssemblerLabel target = applyOffset(label.m_label);
- MacroAssembler::linkPointer(code(), target, value.executableAddress());
- }
- // These methods are used to obtain handles to allow the code to be relinked / repatched later.
- CodeLocationCall locationOf(Call call)
- {
- ASSERT(call.isFlagSet(Call::Linkable));
- ASSERT(!call.isFlagSet(Call::Near));
- return CodeLocationCall(MacroAssembler::getLinkerAddress(code(), applyOffset(call.m_label)));
- }
- CodeLocationNearCall locationOfNearCall(Call call)
- {
- ASSERT(call.isFlagSet(Call::Linkable));
- ASSERT(call.isFlagSet(Call::Near));
- return CodeLocationNearCall(MacroAssembler::getLinkerAddress(code(), applyOffset(call.m_label)));
- }
- CodeLocationLabel locationOf(PatchableJump jump)
- {
- return CodeLocationLabel(MacroAssembler::getLinkerAddress(code(), applyOffset(jump.m_jump.m_label)));
- }
- CodeLocationLabel locationOf(Label label)
- {
- return CodeLocationLabel(MacroAssembler::getLinkerAddress(code(), applyOffset(label.m_label)));
- }
- CodeLocationDataLabelPtr locationOf(DataLabelPtr label)
- {
- return CodeLocationDataLabelPtr(MacroAssembler::getLinkerAddress(code(), applyOffset(label.m_label)));
- }
- CodeLocationDataLabel32 locationOf(DataLabel32 label)
- {
- return CodeLocationDataLabel32(MacroAssembler::getLinkerAddress(code(), applyOffset(label.m_label)));
- }
-
- CodeLocationDataLabelCompact locationOf(DataLabelCompact label)
- {
- return CodeLocationDataLabelCompact(MacroAssembler::getLinkerAddress(code(), applyOffset(label.m_label)));
- }
- CodeLocationConvertibleLoad locationOf(ConvertibleLoadLabel label)
- {
- return CodeLocationConvertibleLoad(MacroAssembler::getLinkerAddress(code(), applyOffset(label.m_label)));
- }
- // This method obtains the return address of the call, given as an offset from
- // the start of the code.
- unsigned returnAddressOffset(Call call)
- {
- call.m_label = applyOffset(call.m_label);
- return MacroAssembler::getLinkerCallReturnOffset(call);
- }
- uint32_t offsetOf(Label label)
- {
- return applyOffset(label.m_label).m_offset;
- }
- // Upon completion of all patching 'FINALIZE_CODE()' should be called once to
- // complete generation of the code. Alternatively, call
- // finalizeCodeWithoutDisassembly() directly if you have your own way of
- // displaying disassembly.
-
- CodeRef finalizeCodeWithoutDisassembly();
- CodeRef finalizeCodeWithDisassembly(const char* format, ...) WTF_ATTRIBUTE_PRINTF(2, 3);
- CodePtr trampolineAt(Label label)
- {
- return CodePtr(MacroAssembler::AssemblerType_T::getRelocatedAddress(code(), applyOffset(label.m_label)));
- }
- void* debugAddress()
- {
- return m_code;
- }
-
- size_t debugSize()
- {
- return m_size;
- }
- private:
- template <typename T> T applyOffset(T src)
- {
- #if ENABLE(BRANCH_COMPACTION)
- src.m_offset -= m_assembler->executableOffsetFor(src.m_offset);
- #endif
- return src;
- }
-
- // Keep this private! - the underlying code should only be obtained externally via finalizeCode().
- void* code()
- {
- return m_code;
- }
- void linkCode(void* ownerUID, JITCompilationEffort);
- void performFinalization();
- #if DUMP_LINK_STATISTICS
- static void dumpLinkStatistics(void* code, size_t initialSize, size_t finalSize);
- #endif
-
- #if DUMP_CODE
- static void dumpCode(void* code, size_t);
- #endif
-
- RefPtr<ExecutableMemoryHandle> m_executableMemory;
- size_t m_size;
- #if ENABLE(BRANCH_COMPACTION)
- size_t m_initialSize;
- #endif
- void* m_code;
- MacroAssembler* m_assembler;
- VM* m_vm;
- #ifndef NDEBUG
- bool m_completed;
- JITCompilationEffort m_effort;
- #endif
- };
- #if ENABLE(DETACHED_JIT) && BUILDING_DETACHED_JIT
- #define FINALIZE_CODE_IF(condition, linkBufferReference, dataLogFArgumentsForHeading) \
- (UNLIKELY((condition)) \
- ? ((linkBufferReference).finalizeCodeWithDisassembly ("")) \
- : (linkBufferReference).finalizeCodeWithoutDisassembly())
- #else
- #define FINALIZE_CODE_IF(condition, linkBufferReference, dataLogFArgumentsForHeading) \
- (UNLIKELY((condition)) \
- ? ((linkBufferReference).finalizeCodeWithDisassembly dataLogFArgumentsForHeading) \
- : (linkBufferReference).finalizeCodeWithoutDisassembly())
- #endif
- // Use this to finalize code, like so:
- //
- // CodeRef code = FINALIZE_CODE(linkBuffer, ("my super thingy number %d", number));
- //
- // Which, in disassembly mode, will print:
- //
- // Generated JIT code for my super thingy number 42:
- // Code at [0x123456, 0x234567]:
- // 0x123456: mov $0, 0
- // 0x12345a: ret
- //
- // ... and so on.
- //
- // Note that the dataLogFArgumentsForHeading are only evaluated when showDisassembly
- // is true, so you can hide expensive disassembly-only computations inside there.
- #define FINALIZE_CODE(linkBufferReference, dataLogFArgumentsForHeading) \
- FINALIZE_CODE_IF(Options::showDisassembly(), linkBufferReference, dataLogFArgumentsForHeading)
- #define FINALIZE_DFG_CODE(linkBufferReference, dataLogFArgumentsForHeading) \
- FINALIZE_CODE_IF((Options::showDisassembly() || Options::showDFGDisassembly()), linkBufferReference, dataLogFArgumentsForHeading)
- } // namespace JSC
- #endif // ENABLE(ASSEMBLER)
- #endif // LinkBuffer_h
|