#ifndef JSImmediate_h
#define JSImmediate_h
#if !USE(JSVALUE32_64)
#include <wtf/Assertions.h>
#include <wtf/AlwaysInline.h>
#include <wtf/MathExtras.h>
#include <wtf/StdLibExtras.h>
#include "JSValue.h"
#include <limits>
#include <limits.h>
#include <stdarg.h>
#include <stdint.h>
#include <stdlib.h>
namespace JSC {
class ExecState;
class JSCell;
class JSFastMath;
class JSGlobalData;
class JSObject;
class UString;
#if USE(JSVALUE64)
inline intptr_t reinterpretDoubleToIntptr(double value)
{
return WTF::bitwise_cast<intptr_t>(value);
}
inline double reinterpretIntptrToDouble(intptr_t value)
{
return WTF::bitwise_cast<double>(value);
}
#endif
class JSImmediate {
private:
friend class JIT;
friend class JSValue;
friend class JSFastMath;
friend class JSInterfaceJIT;
friend class SpecializedThunkJIT;
friend JSValue jsNumber(ExecState* exec, double d);
friend JSValue jsNumber(ExecState*, char i);
friend JSValue jsNumber(ExecState*, unsigned char i);
friend JSValue jsNumber(ExecState*, short i);
friend JSValue jsNumber(ExecState*, unsigned short i);
friend JSValue jsNumber(ExecState* exec, int i);
friend JSValue jsNumber(ExecState* exec, unsigned i);
friend JSValue jsNumber(ExecState* exec, long i);
friend JSValue jsNumber(ExecState* exec, unsigned long i);
friend JSValue jsNumber(ExecState* exec, long long i);
friend JSValue jsNumber(ExecState* exec, unsigned long long i);
friend JSValue jsNumber(JSGlobalData* globalData, double d);
friend JSValue jsNumber(JSGlobalData* globalData, short i);
friend JSValue jsNumber(JSGlobalData* globalData, unsigned short i);
friend JSValue jsNumber(JSGlobalData* globalData, int i);
friend JSValue jsNumber(JSGlobalData* globalData, unsigned i);
friend JSValue jsNumber(JSGlobalData* globalData, long i);
friend JSValue jsNumber(JSGlobalData* globalData, unsigned long i);
friend JSValue jsNumber(JSGlobalData* globalData, long long i);
friend JSValue jsNumber(JSGlobalData* globalData, unsigned long long i);
#if USE(JSVALUE64)
static const intptr_t TagTypeNumber = 0xffff000000000000ll;
static const intptr_t DoubleEncodeOffset = 0x1000000000000ll;
#elif USE(JSVALUE32)
static const intptr_t TagTypeNumber = 0x1; #endif
static const intptr_t TagBitTypeOther = 0x2; static const intptr_t TagMask = TagTypeNumber | TagBitTypeOther;
static const intptr_t ExtendedTagMask = 0xC; static const intptr_t ExtendedTagBitBool = 0x4;
static const intptr_t ExtendedTagBitUndefined = 0x8;
static const intptr_t FullTagTypeMask = TagMask | ExtendedTagMask;
static const intptr_t FullTagTypeBool = TagBitTypeOther | ExtendedTagBitBool;
static const intptr_t FullTagTypeUndefined = TagBitTypeOther | ExtendedTagBitUndefined;
static const intptr_t FullTagTypeNull = TagBitTypeOther;
#if USE(JSVALUE64)
static const int32_t IntegerPayloadShift = 0;
#else
static const int32_t IntegerPayloadShift = 1;
#endif
static const int32_t ExtendedPayloadShift = 4;
static const intptr_t ExtendedPayloadBitBoolValue = 1 << ExtendedPayloadShift;
static const int32_t signBit = 0x80000000;
static ALWAYS_INLINE bool isImmediate(JSValue v)
{
return rawValue(v) & TagMask;
}
static ALWAYS_INLINE bool isNumber(JSValue v)
{
return rawValue(v) & TagTypeNumber;
}
static ALWAYS_INLINE bool isIntegerNumber(JSValue v)
{
#if USE(JSVALUE64)
return (rawValue(v) & TagTypeNumber) == TagTypeNumber;
#else
return isNumber(v);
#endif
}
#if USE(JSVALUE64)
static ALWAYS_INLINE bool isDouble(JSValue v)
{
return isNumber(v) && !isIntegerNumber(v);
}
#endif
static ALWAYS_INLINE bool isPositiveIntegerNumber(JSValue v)
{
return (rawValue(v) & (signBit | TagTypeNumber)) == TagTypeNumber;
}
static ALWAYS_INLINE bool isBoolean(JSValue v)
{
return (rawValue(v) & FullTagTypeMask) == FullTagTypeBool;
}
static ALWAYS_INLINE bool isUndefinedOrNull(JSValue v)
{
return (rawValue(v) & ~ExtendedTagBitUndefined) == FullTagTypeNull;
}
static JSValue from(char);
static JSValue from(signed char);
static JSValue from(unsigned char);
static JSValue from(short);
static JSValue from(unsigned short);
static JSValue from(int);
static JSValue from(unsigned);
static JSValue from(long);
static JSValue from(unsigned long);
static JSValue from(long long);
static JSValue from(unsigned long long);
static JSValue from(double);
static ALWAYS_INLINE bool isEitherImmediate(JSValue v1, JSValue v2)
{
return (rawValue(v1) | rawValue(v2)) & TagMask;
}
static ALWAYS_INLINE bool areBothImmediate(JSValue v1, JSValue v2)
{
return isImmediate(v1) & isImmediate(v2);
}
static ALWAYS_INLINE bool areBothImmediateIntegerNumbers(JSValue v1, JSValue v2)
{
#if USE(JSVALUE64)
return (rawValue(v1) & rawValue(v2) & TagTypeNumber) == TagTypeNumber;
#else
return rawValue(v1) & rawValue(v2) & TagTypeNumber;
#endif
}
static double toDouble(JSValue);
static bool toBoolean(JSValue);
static bool getUInt32(JSValue, uint32_t&);
static bool getTruncatedInt32(JSValue, int32_t&);
static bool getTruncatedUInt32(JSValue, uint32_t&);
static int32_t getTruncatedInt32(JSValue);
static uint32_t getTruncatedUInt32(JSValue);
static JSValue trueImmediate();
static JSValue falseImmediate();
static JSValue undefinedImmediate();
static JSValue nullImmediate();
static JSValue zeroImmediate();
static JSValue oneImmediate();
private:
#if USE(JSVALUE64)
static const int minImmediateInt = ((-INT_MAX) - 1);
static const int maxImmediateInt = INT_MAX;
#else
static const int minImmediateInt = ((-INT_MAX) - 1) >> IntegerPayloadShift;
static const int maxImmediateInt = INT_MAX >> IntegerPayloadShift;
#endif
static const unsigned maxImmediateUInt = maxImmediateInt;
static ALWAYS_INLINE JSValue makeValue(intptr_t integer)
{
return JSValue::makeImmediate(integer);
}
#if USE(JSVALUE64)
static ALWAYS_INLINE JSValue makeInt(uint32_t value)
#else
static ALWAYS_INLINE JSValue makeInt(int32_t value)
#endif
{
return makeValue((static_cast<intptr_t>(value) << IntegerPayloadShift) | TagTypeNumber);
}
#if USE(JSVALUE64)
static ALWAYS_INLINE JSValue makeDouble(double value)
{
return makeValue(reinterpretDoubleToIntptr(value) + DoubleEncodeOffset);
}
#endif
static ALWAYS_INLINE JSValue makeBool(bool b)
{
return makeValue((static_cast<intptr_t>(b) << ExtendedPayloadShift) | FullTagTypeBool);
}
static ALWAYS_INLINE JSValue makeUndefined()
{
return makeValue(FullTagTypeUndefined);
}
static ALWAYS_INLINE JSValue makeNull()
{
return makeValue(FullTagTypeNull);
}
template<typename T>
static JSValue fromNumberOutsideIntegerRange(T);
#if USE(JSVALUE64)
static ALWAYS_INLINE double doubleValue(JSValue v)
{
return reinterpretIntptrToDouble(rawValue(v) - DoubleEncodeOffset);
}
#endif
static ALWAYS_INLINE int32_t intValue(JSValue v)
{
return static_cast<int32_t>(rawValue(v) >> IntegerPayloadShift);
}
static ALWAYS_INLINE uint32_t uintValue(JSValue v)
{
return static_cast<uint32_t>(rawValue(v) >> IntegerPayloadShift);
}
static ALWAYS_INLINE bool boolValue(JSValue v)
{
return rawValue(v) & ExtendedPayloadBitBoolValue;
}
static ALWAYS_INLINE intptr_t rawValue(JSValue v)
{
return v.immediateValue();
}
};
ALWAYS_INLINE JSValue JSImmediate::trueImmediate() { return makeBool(true); }
ALWAYS_INLINE JSValue JSImmediate::falseImmediate() { return makeBool(false); }
ALWAYS_INLINE JSValue JSImmediate::undefinedImmediate() { return makeUndefined(); }
ALWAYS_INLINE JSValue JSImmediate::nullImmediate() { return makeNull(); }
ALWAYS_INLINE JSValue JSImmediate::zeroImmediate() { return makeInt(0); }
ALWAYS_INLINE JSValue JSImmediate::oneImmediate() { return makeInt(1); }
#if USE(JSVALUE64)
inline bool doubleToBoolean(double value)
{
return value < 0.0 || value > 0.0;
}
ALWAYS_INLINE bool JSImmediate::toBoolean(JSValue v)
{
ASSERT(isImmediate(v));
return isNumber(v) ? isIntegerNumber(v) ? v != zeroImmediate()
: doubleToBoolean(doubleValue(v)) : v == trueImmediate();
}
#else
ALWAYS_INLINE bool JSImmediate::toBoolean(JSValue v)
{
ASSERT(isImmediate(v));
return isIntegerNumber(v) ? v != zeroImmediate() : v == trueImmediate();
}
#endif
ALWAYS_INLINE uint32_t JSImmediate::getTruncatedUInt32(JSValue v)
{
ASSERT(isIntegerNumber(v));
return intValue(v);
}
#if USE(JSVALUE64)
template<typename T>
inline JSValue JSImmediate::fromNumberOutsideIntegerRange(T value)
{
return makeDouble(static_cast<double>(value));
}
#else
template<typename T>
inline JSValue JSImmediate::fromNumberOutsideIntegerRange(T)
{
return JSValue();
}
#endif
ALWAYS_INLINE JSValue JSImmediate::from(char i)
{
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(signed char i)
{
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(unsigned char i)
{
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(short i)
{
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(unsigned short i)
{
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(int i)
{
#if !USE(JSVALUE64)
if ((i < minImmediateInt) | (i > maxImmediateInt))
return fromNumberOutsideIntegerRange(i);
#endif
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(unsigned i)
{
if (i > maxImmediateUInt)
return fromNumberOutsideIntegerRange(i);
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(long i)
{
if ((i < minImmediateInt) | (i > maxImmediateInt))
return fromNumberOutsideIntegerRange(i);
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(unsigned long i)
{
if (i > maxImmediateUInt)
return fromNumberOutsideIntegerRange(i);
return makeInt(i);
}
ALWAYS_INLINE JSValue JSImmediate::from(long long i)
{
if ((i < minImmediateInt) | (i > maxImmediateInt))
return JSValue();
return makeInt(static_cast<intptr_t>(i));
}
ALWAYS_INLINE JSValue JSImmediate::from(unsigned long long i)
{
if (i > maxImmediateUInt)
return fromNumberOutsideIntegerRange(i);
return makeInt(static_cast<intptr_t>(i));
}
ALWAYS_INLINE JSValue JSImmediate::from(double d)
{
const int intVal = static_cast<int>(d);
if (intVal != d || (!intVal && signbit(d)))
return fromNumberOutsideIntegerRange(d);
return from(intVal);
}
ALWAYS_INLINE int32_t JSImmediate::getTruncatedInt32(JSValue v)
{
ASSERT(isIntegerNumber(v));
return intValue(v);
}
ALWAYS_INLINE double JSImmediate::toDouble(JSValue v)
{
ASSERT(isImmediate(v));
if (isIntegerNumber(v))
return intValue(v);
#if USE(JSVALUE64)
if (isNumber(v)) {
ASSERT(isDouble(v));
return doubleValue(v);
}
#else
ASSERT(!isNumber(v));
#endif
if (rawValue(v) == FullTagTypeUndefined)
return nonInlineNaN();
ASSERT(JSImmediate::isBoolean(v) || (v == JSImmediate::nullImmediate()));
return rawValue(v) >> ExtendedPayloadShift;
}
ALWAYS_INLINE bool JSImmediate::getUInt32(JSValue v, uint32_t& i)
{
i = uintValue(v);
return isPositiveIntegerNumber(v);
}
ALWAYS_INLINE bool JSImmediate::getTruncatedInt32(JSValue v, int32_t& i)
{
i = intValue(v);
return isIntegerNumber(v);
}
ALWAYS_INLINE bool JSImmediate::getTruncatedUInt32(JSValue v, uint32_t& i)
{
return getUInt32(v, i);
}
inline JSValue::JSValue(JSNullTag)
{
*this = JSImmediate::nullImmediate();
}
inline JSValue::JSValue(JSUndefinedTag)
{
*this = JSImmediate::undefinedImmediate();
}
inline JSValue::JSValue(JSTrueTag)
{
*this = JSImmediate::trueImmediate();
}
inline JSValue::JSValue(JSFalseTag)
{
*this = JSImmediate::falseImmediate();
}
inline bool JSValue::isUndefinedOrNull() const
{
return JSImmediate::isUndefinedOrNull(asValue());
}
inline bool JSValue::isBoolean() const
{
return JSImmediate::isBoolean(asValue());
}
inline bool JSValue::isTrue() const
{
return asValue() == JSImmediate::trueImmediate();
}
inline bool JSValue::isFalse() const
{
return asValue() == JSImmediate::falseImmediate();
}
inline bool JSValue::getBoolean(bool& v) const
{
if (JSImmediate::isBoolean(asValue())) {
v = JSImmediate::toBoolean(asValue());
return true;
}
return false;
}
inline bool JSValue::getBoolean() const
{
return asValue() == jsBoolean(true);
}
inline bool JSValue::isCell() const
{
return !JSImmediate::isImmediate(asValue());
}
inline bool JSValue::isInt32() const
{
return JSImmediate::isIntegerNumber(asValue());
}
inline int32_t JSValue::asInt32() const
{
ASSERT(isInt32());
return JSImmediate::getTruncatedInt32(asValue());
}
inline bool JSValue::isUInt32() const
{
return JSImmediate::isPositiveIntegerNumber(asValue());
}
inline uint32_t JSValue::asUInt32() const
{
ASSERT(isUInt32());
return JSImmediate::getTruncatedUInt32(asValue());
}
class JSFastMath {
public:
static ALWAYS_INLINE bool canDoFastBitwiseOperations(JSValue v1, JSValue v2)
{
return JSImmediate::areBothImmediateIntegerNumbers(v1, v2);
}
static ALWAYS_INLINE JSValue equal(JSValue v1, JSValue v2)
{
ASSERT(canDoFastBitwiseOperations(v1, v2));
return jsBoolean(v1 == v2);
}
static ALWAYS_INLINE JSValue notEqual(JSValue v1, JSValue v2)
{
ASSERT(canDoFastBitwiseOperations(v1, v2));
return jsBoolean(v1 != v2);
}
static ALWAYS_INLINE JSValue andImmediateNumbers(JSValue v1, JSValue v2)
{
ASSERT(canDoFastBitwiseOperations(v1, v2));
return JSImmediate::makeValue(JSImmediate::rawValue(v1) & JSImmediate::rawValue(v2));
}
static ALWAYS_INLINE JSValue xorImmediateNumbers(JSValue v1, JSValue v2)
{
ASSERT(canDoFastBitwiseOperations(v1, v2));
return JSImmediate::makeValue((JSImmediate::rawValue(v1) ^ JSImmediate::rawValue(v2)) | JSImmediate::TagTypeNumber);
}
static ALWAYS_INLINE JSValue orImmediateNumbers(JSValue v1, JSValue v2)
{
ASSERT(canDoFastBitwiseOperations(v1, v2));
return JSImmediate::makeValue(JSImmediate::rawValue(v1) | JSImmediate::rawValue(v2));
}
static ALWAYS_INLINE bool canDoFastRshift(JSValue v1, JSValue v2)
{
return JSImmediate::areBothImmediateIntegerNumbers(v1, v2);
}
static ALWAYS_INLINE bool canDoFastUrshift(JSValue v1, JSValue v2)
{
return JSImmediate::areBothImmediateIntegerNumbers(v1, v2) && !(JSImmediate::rawValue(v1) & JSImmediate::signBit);
}
static ALWAYS_INLINE JSValue rightShiftImmediateNumbers(JSValue val, JSValue shift)
{
ASSERT(canDoFastRshift(val, shift) || canDoFastUrshift(val, shift));
#if USE(JSVALUE64)
return JSImmediate::makeValue(static_cast<intptr_t>(static_cast<uint32_t>(static_cast<int32_t>(JSImmediate::rawValue(val)) >> ((JSImmediate::rawValue(shift) >> JSImmediate::IntegerPayloadShift) & 0x1f))) | JSImmediate::TagTypeNumber);
#else
return JSImmediate::makeValue((JSImmediate::rawValue(val) >> ((JSImmediate::rawValue(shift) >> JSImmediate::IntegerPayloadShift) & 0x1f)) | JSImmediate::TagTypeNumber);
#endif
}
static ALWAYS_INLINE bool canDoFastAdditiveOperations(JSValue v)
{
return (JSImmediate::rawValue(v) & (JSImmediate::TagTypeNumber + (JSImmediate::signBit | (JSImmediate::signBit >> 1)))) == JSImmediate::TagTypeNumber;
}
static ALWAYS_INLINE bool canDoFastAdditiveOperations(JSValue v1, JSValue v2)
{
return canDoFastAdditiveOperations(v1) && canDoFastAdditiveOperations(v2);
}
static ALWAYS_INLINE JSValue addImmediateNumbers(JSValue v1, JSValue v2)
{
ASSERT(canDoFastAdditiveOperations(v1, v2));
return JSImmediate::makeValue(JSImmediate::rawValue(v1) + JSImmediate::rawValue(v2) - JSImmediate::TagTypeNumber);
}
static ALWAYS_INLINE JSValue subImmediateNumbers(JSValue v1, JSValue v2)
{
ASSERT(canDoFastAdditiveOperations(v1, v2));
return JSImmediate::makeValue(JSImmediate::rawValue(v1) - JSImmediate::rawValue(v2) + JSImmediate::TagTypeNumber);
}
static ALWAYS_INLINE JSValue incImmediateNumber(JSValue v)
{
ASSERT(canDoFastAdditiveOperations(v));
return JSImmediate::makeValue(JSImmediate::rawValue(v) + (1 << JSImmediate::IntegerPayloadShift));
}
static ALWAYS_INLINE JSValue decImmediateNumber(JSValue v)
{
ASSERT(canDoFastAdditiveOperations(v));
return JSImmediate::makeValue(JSImmediate::rawValue(v) - (1 << JSImmediate::IntegerPayloadShift));
}
};
}
#endif // !USE(JSVALUE32_64)
#endif // JSImmediate_h