summaryrefslogtreecommitdiff
path: root/Source/JavaScriptCore/bytecode/BytecodeKills.h
diff options
context:
space:
mode:
authorLorry Tar Creator <lorry-tar-importer@lorry>2016-04-10 09:28:39 +0000
committerLorry Tar Creator <lorry-tar-importer@lorry>2016-04-10 09:28:39 +0000
commit32761a6cee1d0dee366b885b7b9c777e67885688 (patch)
treed6bec92bebfb216f4126356e55518842c2f476a1 /Source/JavaScriptCore/bytecode/BytecodeKills.h
parenta4e969f4965059196ca948db781e52f7cfebf19e (diff)
downloadWebKitGtk-tarball-32761a6cee1d0dee366b885b7b9c777e67885688.tar.gz
webkitgtk-2.4.11webkitgtk-2.4.11
Diffstat (limited to 'Source/JavaScriptCore/bytecode/BytecodeKills.h')
-rw-r--r--Source/JavaScriptCore/bytecode/BytecodeKills.h181
1 files changed, 0 insertions, 181 deletions
diff --git a/Source/JavaScriptCore/bytecode/BytecodeKills.h b/Source/JavaScriptCore/bytecode/BytecodeKills.h
deleted file mode 100644
index d073ded25..000000000
--- a/Source/JavaScriptCore/bytecode/BytecodeKills.h
+++ /dev/null
@@ -1,181 +0,0 @@
-/*
- * Copyright (C) 2015 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. AND ITS CONTRIBUTORS ``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 ITS 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 BytecodeKills_h
-#define BytecodeKills_h
-
-#include "CodeBlock.h"
-#include <wtf/FastBitVector.h>
-
-namespace JSC {
-
-class BytecodeLivenessAnalysis;
-
-class BytecodeKills {
- WTF_MAKE_FAST_ALLOCATED;
-public:
- BytecodeKills()
- : m_codeBlock(nullptr)
- {
- }
-
- // By convention, we say that non-local operands are never killed.
- bool operandIsKilled(unsigned bytecodeIndex, int operand) const
- {
- ASSERT_WITH_SECURITY_IMPLICATION(bytecodeIndex < m_codeBlock->instructions().size());
- VirtualRegister reg(operand);
- if (reg.isLocal())
- return m_killSets[bytecodeIndex].contains(operand);
- return false;
- }
-
- bool operandIsKilled(Instruction* instruction, int operand) const
- {
- return operandIsKilled(instruction - m_codeBlock->instructions().begin(), operand);
- }
-
- template<typename Functor>
- void forEachOperandKilledAt(unsigned bytecodeIndex, const Functor& functor) const
- {
- ASSERT_WITH_SECURITY_IMPLICATION(bytecodeIndex < m_codeBlock->instructions().size());
- m_killSets[bytecodeIndex].forEachLocal(
- [&] (unsigned local) {
- functor(virtualRegisterForLocal(local));
- });
- }
-
- template<typename Functor>
- void forEachOperandKilledAt(Instruction* pc, const Functor& functor) const
- {
- forEachOperandKilledAt(pc - m_codeBlock->instructions().begin(), functor);
- }
-
-private:
- friend class BytecodeLivenessAnalysis;
-
- class KillSet {
- public:
- KillSet()
- : m_word(0)
- {
- }
-
- ~KillSet()
- {
- if (hasVector())
- delete vector();
- }
-
- void add(unsigned local)
- {
- if (isEmpty()) {
- setOneItem(local);
- return;
- }
- if (hasOneItem()) {
- ASSERT(oneItem() != local);
- Vector<unsigned>* vector = new Vector<unsigned>();
- vector->append(oneItem());
- vector->append(local);
- setVector(vector);
- return;
- }
- ASSERT(!vector()->contains(local));
- vector()->append(local);
- }
-
- template<typename Functor>
- void forEachLocal(const Functor& functor)
- {
- if (isEmpty())
- return;
- if (hasOneItem()) {
- functor(oneItem());
- return;
- }
- for (unsigned local : *vector())
- functor(local);
- }
-
- bool contains(unsigned expectedLocal)
- {
- if (isEmpty())
- return false;
- if (hasOneItem())
- return oneItem() == expectedLocal;
- for (unsigned local : *vector()) {
- if (local == expectedLocal)
- return true;
- }
- return false;
- }
-
- private:
- bool isEmpty() const
- {
- return !m_word;
- }
-
- bool hasOneItem() const
- {
- return m_word & 1;
- }
-
- unsigned oneItem() const
- {
- return m_word >> 1;
- }
-
- void setOneItem(unsigned value)
- {
- m_word = (value << 1) | 1;
- }
-
- bool hasVector() const
- {
- return !isEmpty() && !hasOneItem();
- }
-
- Vector<unsigned>* vector()
- {
- return bitwise_cast<Vector<unsigned>*>(m_word);
- }
-
- void setVector(Vector<unsigned>* value)
- {
- m_word = bitwise_cast<uintptr_t>(value);
- }
-
- uintptr_t m_word;
- };
-
- CodeBlock* m_codeBlock;
- std::unique_ptr<KillSet[]> m_killSets;
-};
-
-} // namespace JSC
-
-#endif // BytecodeKills_h
-