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)16HType 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)42HType 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)59OStream& 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