• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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>
FromType(typename T::TypeHandle type)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
FromValue(Handle<Object> value)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 
operator <<(OStream & os,const HType & t)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;
66     HTYPE_LIST(DEFINE_CASE)
67 #undef DEFINE_CASE
68   }
69   UNREACHABLE();
70   return os;
71 }
72 
73 } }  // namespace v8::internal
74