Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 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 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 7 | #include "src/field-type.h" |
| 8 | #include "src/handles-inl.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | #include "src/ostreams.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 10 | |
| 11 | namespace v8 { |
| 12 | namespace internal { |
| 13 | |
| 14 | // static |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 15 | HType HType::FromType(Type* type) { |
| 16 | if (Type::Any()->Is(type)) return HType::Any(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 17 | if (!type->IsInhabited()) return HType::None(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 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::Receiver())) return HType::JSReceiver(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 26 | return HType::Tagged(); |
| 27 | } |
| 28 | |
| 29 | |
| 30 | // static |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 31 | HType HType::FromFieldType(Handle<FieldType> type, Zone* temp_zone) { |
| 32 | return FromType(type->Convert(temp_zone)); |
| 33 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 34 | |
| 35 | // static |
| 36 | HType HType::FromValue(Handle<Object> value) { |
| 37 | if (value->IsSmi()) return HType::Smi(); |
| 38 | if (value->IsNull()) return HType::Null(); |
| 39 | if (value->IsHeapNumber()) { |
| 40 | double n = Handle<v8::internal::HeapNumber>::cast(value)->value(); |
| 41 | return IsSmiDouble(n) ? HType::Smi() : HType::HeapNumber(); |
| 42 | } |
| 43 | if (value->IsString()) return HType::String(); |
| 44 | if (value->IsBoolean()) return HType::Boolean(); |
| 45 | if (value->IsUndefined()) return HType::Undefined(); |
| 46 | if (value->IsJSArray()) return HType::JSArray(); |
| 47 | if (value->IsJSObject()) return HType::JSObject(); |
| 48 | DCHECK(value->IsHeapObject()); |
| 49 | return HType::HeapObject(); |
| 50 | } |
| 51 | |
| 52 | |
| 53 | std::ostream& operator<<(std::ostream& os, const HType& t) { |
| 54 | // Note: The c1visualizer syntax for locals allows only a sequence of the |
| 55 | // following characters: A-Za-z0-9_-|: |
| 56 | switch (t.kind_) { |
| 57 | #define DEFINE_CASE(Name, mask) \ |
| 58 | case HType::k##Name: \ |
| 59 | return os << #Name; |
| 60 | HTYPE_LIST(DEFINE_CASE) |
| 61 | #undef DEFINE_CASE |
| 62 | } |
| 63 | UNREACHABLE(); |
| 64 | return os; |
| 65 | } |
| 66 | |
| 67 | } // namespace internal |
| 68 | } // namespace v8 |