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/crankshaft/hydrogen-types.h" 6 7 #include "src/field-type.h" 8 #include "src/handles-inl.h" 9 #include "src/ostreams.h" 10 11 namespace v8 { 12 namespace internal { 13 14 // static 15 HType HType::FromType(Type* type) { 16 if (Type::Any()->Is(type)) return HType::Any(); 17 if (!type->IsInhabited()) return HType::None(); 18 if (type->Is(Type::SignedSmall())) return HType::Smi(); 19 if (type->Is(Type::Number())) return HType::TaggedNumber(); 20 if (type->Is(Type::Null())) return HType::Null(); 21 if (type->Is(Type::String())) return HType::String(); 22 if (type->Is(Type::Boolean())) return HType::Boolean(); 23 if (type->Is(Type::Undefined())) return HType::Undefined(); 24 if (type->Is(Type::Object())) return HType::JSObject(); 25 if (type->Is(Type::DetectableReceiver())) return HType::JSReceiver(); 26 return HType::Tagged(); 27 } 28 29 30 // static 31 HType HType::FromFieldType(Handle<FieldType> type, Zone* temp_zone) { 32 return FromType(type->Convert(temp_zone)); 33 } 34 35 // static 36 HType HType::FromValue(Handle<Object> value) { 37 Object* raw_value = *value; 38 if (raw_value->IsSmi()) return HType::Smi(); 39 DCHECK(raw_value->IsHeapObject()); 40 Isolate* isolate = HeapObject::cast(*value)->GetIsolate(); 41 if (raw_value->IsNull(isolate)) return HType::Null(); 42 if (raw_value->IsHeapNumber()) { 43 double n = Handle<v8::internal::HeapNumber>::cast(value)->value(); 44 return IsSmiDouble(n) ? HType::Smi() : HType::HeapNumber(); 45 } 46 if (raw_value->IsString()) return HType::String(); 47 if (raw_value->IsBoolean()) return HType::Boolean(); 48 if (raw_value->IsUndefined(isolate)) return HType::Undefined(); 49 if (raw_value->IsJSArray()) { 50 DCHECK(!raw_value->IsUndetectable()); 51 return HType::JSArray(); 52 } 53 if (raw_value->IsJSObject() && !raw_value->IsUndetectable()) { 54 return HType::JSObject(); 55 } 56 return HType::HeapObject(); 57 } 58 59 60 std::ostream& operator<<(std::ostream& os, const HType& t) { 61 // Note: The c1visualizer syntax for locals allows only a sequence of the 62 // following characters: A-Za-z0-9_-|: 63 switch (t.kind_) { 64 #define DEFINE_CASE(Name, mask) \ 65 case HType::k##Name: \ 66 return os << #Name; 67 HTYPE_LIST(DEFINE_CASE) 68 #undef DEFINE_CASE 69 } 70 UNREACHABLE(); 71 return os; 72 } 73 74 } // namespace internal 75 } // namespace v8 76
