V8 Project
hydrogen-types.cc
Go to the documentation of this file.
1 // Copyright 2014 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #include "src/hydrogen-types.h"
6 
7 #include "src/ostreams.h"
8 #include "src/types-inl.h"
9 
10 
11 namespace v8 {
12 namespace internal {
13 
14 // static
15 template <class T>
16 HType HType::FromType(typename T::TypeHandle type) {
17  if (T::Any()->Is(type)) return HType::Any();
18  if (type->Is(T::None())) return HType::None();
19  if (type->Is(T::SignedSmall())) return HType::Smi();
20  if (type->Is(T::Number())) return HType::TaggedNumber();
21  if (type->Is(T::Null())) return HType::Null();
22  if (type->Is(T::String())) return HType::String();
23  if (type->Is(T::Boolean())) return HType::Boolean();
24  if (type->Is(T::Undefined())) return HType::Undefined();
25  if (type->Is(T::Array())) return HType::JSArray();
26  if (type->Is(T::Object())) return HType::JSObject();
27  return HType::Tagged();
28 }
29 
30 
31 // static
32 template
33 HType HType::FromType<Type>(Type* type);
34 
35 
36 // static
37 template
38 HType HType::FromType<HeapType>(Handle<HeapType> type);
39 
40 
41 // static
42 HType HType::FromValue(Handle<Object> value) {
43  if (value->IsSmi()) return HType::Smi();
44  if (value->IsNull()) return HType::Null();
45  if (value->IsHeapNumber()) {
46  double n = Handle<v8::internal::HeapNumber>::cast(value)->value();
47  return IsSmiDouble(n) ? HType::Smi() : HType::HeapNumber();
48  }
49  if (value->IsString()) return HType::String();
50  if (value->IsBoolean()) return HType::Boolean();
51  if (value->IsUndefined()) return HType::Undefined();
52  if (value->IsJSArray()) return HType::JSArray();
53  if (value->IsJSObject()) return HType::JSObject();
54  DCHECK(value->IsHeapObject());
55  return HType::HeapObject();
56 }
57 
58 
59 OStream& operator<<(OStream& os, const HType& t) {
60  // Note: The c1visualizer syntax for locals allows only a sequence of the
61  // following characters: A-Za-z0-9_-|:
62  switch (t.kind_) {
63 #define DEFINE_CASE(Name, mask) \
64  case HType::k##Name: \
65  return os << #Name;
67 #undef DEFINE_CASE
68  }
69  UNREACHABLE();
70  return os;
71 }
72 
73 } } // namespace v8::internal
static Handle< T > cast(Handle< S > that)
Definition: handles.h:116
#define DEFINE_CASE(Name, mask)
#define HTYPE_LIST(V)
#define UNREACHABLE()
Definition: logging.h:30
#define DCHECK(condition)
Definition: logging.h:205
bool Is(Object *obj)
TypeImpl< ZoneTypeConfig > Type
kSerializedDataOffset Object
Definition: objects-inl.h:5322
OStream & operator<<(OStream &os, const BasicBlockProfiler &p)
static bool IsSmiDouble(double value)
Definition: conversions.h:160
Debugger support for the V8 JavaScript engine.
Definition: accessors.cc:20
@ None
Definition: v8.h:2211
Handle< Primitive > Null(Isolate *isolate)
Definition: v8.h:6845
Handle< Primitive > Undefined(Isolate *isolate)
Definition: v8.h:6836