blob: 8c8562581a1d1cc5d38241764e86e9ff1a25b4bc [file] [log] [blame]
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001// 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 Murdoch097c5b22016-05-18 11:27:45 +01007#include "src/field-type.h"
8#include "src/handles-inl.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00009#include "src/ostreams.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000010
11namespace v8 {
12namespace internal {
13
14// static
Ben Murdoch097c5b22016-05-18 11:27:45 +010015HType HType::FromType(Type* type) {
16 if (Type::Any()->Is(type)) return HType::Any();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000017 if (!type->IsInhabited()) return HType::None();
Ben Murdoch097c5b22016-05-18 11:27:45 +010018 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 Murdoch4a90d5f2016-03-22 12:00:34 +000026 return HType::Tagged();
27}
28
29
30// static
Ben Murdoch097c5b22016-05-18 11:27:45 +010031HType HType::FromFieldType(Handle<FieldType> type, Zone* temp_zone) {
32 return FromType(type->Convert(temp_zone));
33}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000034
35// static
36HType 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
53std::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