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