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(); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 25 | if (type->Is(Type::DetectableReceiver())) 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) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 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()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 43 | double n = Handle<v8::internal::HeapNumber>::cast(value)->value(); |
| 44 | return IsSmiDouble(n) ? HType::Smi() : HType::HeapNumber(); |
| 45 | } |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 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()); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 51 | return HType::JSArray(); |
| 52 | } |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 53 | if (raw_value->IsJSObject() && !raw_value->IsUndetectable()) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 54 | return HType::JSObject(); |
| 55 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 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 |