30f18f0f7d
Less useless creativity is best creativity! R=svenpanne@chromium.org Review URL: https://codereview.chromium.org/526223002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23579 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
91 lines
2.7 KiB
C++
91 lines
2.7 KiB
C++
// Copyright 2014 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
#ifndef HYDROGEN_TYPES_H_
|
|
#define HYDROGEN_TYPES_H_
|
|
|
|
#include <climits>
|
|
|
|
#include "src/base/macros.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
|
|
// Forward declarations.
|
|
template <typename T> class Handle;
|
|
class Object;
|
|
class OStream;
|
|
|
|
#define HTYPE_LIST(V) \
|
|
V(Any, 0x0) /* 0000 0000 0000 0000 */ \
|
|
V(Tagged, 0x1) /* 0000 0000 0000 0001 */ \
|
|
V(TaggedPrimitive, 0x5) /* 0000 0000 0000 0101 */ \
|
|
V(TaggedNumber, 0xd) /* 0000 0000 0000 1101 */ \
|
|
V(Smi, 0x1d) /* 0000 0000 0001 1101 */ \
|
|
V(HeapObject, 0x21) /* 0000 0000 0010 0001 */ \
|
|
V(HeapPrimitive, 0x25) /* 0000 0000 0010 0101 */ \
|
|
V(Null, 0x27) /* 0000 0000 0010 0111 */ \
|
|
V(HeapNumber, 0x2d) /* 0000 0000 0010 1101 */ \
|
|
V(String, 0x65) /* 0000 0000 0110 0101 */ \
|
|
V(Boolean, 0xa5) /* 0000 0000 1010 0101 */ \
|
|
V(Undefined, 0x125) /* 0000 0001 0010 0101 */ \
|
|
V(JSObject, 0x221) /* 0000 0010 0010 0001 */ \
|
|
V(JSArray, 0x621) /* 0000 0110 0010 0001 */ \
|
|
V(None, 0x7ff) /* 0000 0111 1111 1111 */
|
|
|
|
class HType FINAL {
|
|
public:
|
|
#define DECLARE_CONSTRUCTOR(Name, mask) \
|
|
static HType Name() WARN_UNUSED_RESULT { return HType(k##Name); }
|
|
HTYPE_LIST(DECLARE_CONSTRUCTOR)
|
|
#undef DECLARE_CONSTRUCTOR
|
|
|
|
// Return the weakest (least precise) common type.
|
|
HType Combine(HType other) const WARN_UNUSED_RESULT {
|
|
return HType(static_cast<Kind>(kind_ & other.kind_));
|
|
}
|
|
|
|
bool Equals(HType other) const WARN_UNUSED_RESULT {
|
|
return kind_ == other.kind_;
|
|
}
|
|
|
|
bool IsSubtypeOf(HType other) const WARN_UNUSED_RESULT {
|
|
return Combine(other).Equals(other);
|
|
}
|
|
|
|
#define DECLARE_IS_TYPE(Name, mask) \
|
|
bool Is##Name() const WARN_UNUSED_RESULT { \
|
|
return IsSubtypeOf(HType::Name()); \
|
|
}
|
|
HTYPE_LIST(DECLARE_IS_TYPE)
|
|
#undef DECLARE_IS_TYPE
|
|
|
|
template <class T>
|
|
static HType FromType(typename T::TypeHandle type) WARN_UNUSED_RESULT;
|
|
static HType FromValue(Handle<Object> value) WARN_UNUSED_RESULT;
|
|
|
|
friend OStream& operator<<(OStream& os, const HType& t);
|
|
|
|
private:
|
|
enum Kind {
|
|
#define DECLARE_TYPE(Name, mask) k##Name = mask,
|
|
HTYPE_LIST(DECLARE_TYPE)
|
|
#undef DECLARE_TYPE
|
|
LAST_KIND = kNone
|
|
};
|
|
|
|
// Make sure type fits in int16.
|
|
STATIC_ASSERT(LAST_KIND < (1 << (CHAR_BIT * sizeof(int16_t))));
|
|
|
|
explicit HType(Kind kind) : kind_(kind) { }
|
|
|
|
int16_t kind_;
|
|
};
|
|
|
|
|
|
OStream& operator<<(OStream& os, const HType& t);
|
|
} } // namespace v8::internal
|
|
|
|
#endif // HYDROGEN_TYPES_H_
|