LazyOperandValueProfile.h [plain text]
#ifndef LazyOperandValueProfile_h
#define LazyOperandValueProfile_h
#include "ConcurrentJITLock.h"
#include "ValueProfile.h"
#include "VirtualRegister.h"
#include <wtf/HashMap.h>
#include <wtf/Noncopyable.h>
#include <wtf/OwnPtr.h>
#include <wtf/SegmentedVector.h>
namespace JSC {
class ScriptExecutable;
class LazyOperandValueProfileKey {
public:
LazyOperandValueProfileKey()
: m_bytecodeOffset(0) , m_operand(VirtualRegister()) {
}
LazyOperandValueProfileKey(WTF::HashTableDeletedValueType)
: m_bytecodeOffset(1) , m_operand(VirtualRegister()) {
}
LazyOperandValueProfileKey(unsigned bytecodeOffset, VirtualRegister operand)
: m_bytecodeOffset(bytecodeOffset)
, m_operand(operand)
{
ASSERT(m_operand.isValid());
}
bool operator!() const
{
return !m_operand.isValid();
}
bool operator==(const LazyOperandValueProfileKey& other) const
{
return m_bytecodeOffset == other.m_bytecodeOffset
&& m_operand == other.m_operand;
}
unsigned hash() const
{
return WTF::intHash(m_bytecodeOffset) + m_operand.offset();
}
unsigned bytecodeOffset() const
{
ASSERT(!!*this);
return m_bytecodeOffset;
}
VirtualRegister operand() const
{
ASSERT(!!*this);
return m_operand;
}
bool isHashTableDeletedValue() const
{
return !m_operand.isValid() && m_bytecodeOffset;
}
private:
unsigned m_bytecodeOffset;
VirtualRegister m_operand;
};
struct LazyOperandValueProfileKeyHash {
static unsigned hash(const LazyOperandValueProfileKey& key) { return key.hash(); }
static bool equal(
const LazyOperandValueProfileKey& a,
const LazyOperandValueProfileKey& b) { return a == b; }
static const bool safeToCompareToEmptyOrDeleted = true;
};
}
namespace WTF {
template<typename T> struct DefaultHash;
template<> struct DefaultHash<JSC::LazyOperandValueProfileKey> {
typedef JSC::LazyOperandValueProfileKeyHash Hash;
};
template<typename T> struct HashTraits;
template<> struct HashTraits<JSC::LazyOperandValueProfileKey> : public GenericHashTraits<JSC::LazyOperandValueProfileKey> {
static void constructDeletedValue(JSC::LazyOperandValueProfileKey& slot) { new (NotNull, &slot) JSC::LazyOperandValueProfileKey(HashTableDeletedValue); }
static bool isDeletedValue(const JSC::LazyOperandValueProfileKey& value) { return value.isHashTableDeletedValue(); }
};
}
namespace JSC {
struct LazyOperandValueProfile : public MinimalValueProfile {
LazyOperandValueProfile()
: MinimalValueProfile()
, m_operand(VirtualRegister())
{
}
explicit LazyOperandValueProfile(const LazyOperandValueProfileKey& key)
: MinimalValueProfile(key.bytecodeOffset())
, m_operand(key.operand())
{
}
LazyOperandValueProfileKey key() const
{
return LazyOperandValueProfileKey(m_bytecodeOffset, m_operand);
}
VirtualRegister m_operand;
typedef SegmentedVector<LazyOperandValueProfile, 8> List;
};
class LazyOperandValueProfileParser;
class CompressedLazyOperandValueProfileHolder {
WTF_MAKE_NONCOPYABLE(CompressedLazyOperandValueProfileHolder);
public:
CompressedLazyOperandValueProfileHolder();
~CompressedLazyOperandValueProfileHolder();
void computeUpdatedPredictions(const ConcurrentJITLocker&);
LazyOperandValueProfile* add(
const ConcurrentJITLocker&, const LazyOperandValueProfileKey& key);
private:
friend class LazyOperandValueProfileParser;
OwnPtr<LazyOperandValueProfile::List> m_data;
};
class LazyOperandValueProfileParser {
WTF_MAKE_NONCOPYABLE(LazyOperandValueProfileParser);
public:
explicit LazyOperandValueProfileParser();
~LazyOperandValueProfileParser();
void initialize(
const ConcurrentJITLocker&, CompressedLazyOperandValueProfileHolder& holder);
LazyOperandValueProfile* getIfPresent(
const LazyOperandValueProfileKey& key) const;
SpeculatedType prediction(
const ConcurrentJITLocker&, const LazyOperandValueProfileKey& key) const;
private:
HashMap<LazyOperandValueProfileKey, LazyOperandValueProfile*> m_map;
};
}
#endif // LazyOperandValueProfile_h