hydrogen-types.cc 2.35 KB
Newer Older
1 2 3 4
// Copyright 2014 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

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 12 13 14

namespace v8 {
namespace internal {

// static
15 16
HType HType::FromType(Type* type) {
  if (Type::Any()->Is(type)) return HType::Any();
17
  if (!type->IsInhabited()) return HType::None();
18 19 20 21 22 23 24
  if (type->Is(Type::SignedSmall())) return HType::Smi();
  if (type->Is(Type::Number())) return HType::TaggedNumber();
  if (type->Is(Type::Null())) return HType::Null();
  if (type->Is(Type::String())) return HType::String();
  if (type->Is(Type::Boolean())) return HType::Boolean();
  if (type->Is(Type::Undefined())) return HType::Undefined();
  if (type->Is(Type::Object())) return HType::JSObject();
25
  if (type->Is(Type::DetectableReceiver())) return HType::JSReceiver();
26 27 28 29 30
  return HType::Tagged();
}


// static
31 32 33
HType HType::FromFieldType(Handle<FieldType> type, Zone* temp_zone) {
  return FromType(type->Convert(temp_zone));
}
34 35 36

// static
HType HType::FromValue(Handle<Object> value) {
37 38 39 40 41 42
  Object* raw_value = *value;
  if (raw_value->IsSmi()) return HType::Smi();
  DCHECK(raw_value->IsHeapObject());
  Isolate* isolate = HeapObject::cast(*value)->GetIsolate();
  if (raw_value->IsNull()) return HType::Null();
  if (raw_value->IsHeapNumber()) {
43 44 45
    double n = Handle<v8::internal::HeapNumber>::cast(value)->value();
    return IsSmiDouble(n) ? HType::Smi() : HType::HeapNumber();
  }
46 47 48 49 50
  if (raw_value->IsString()) return HType::String();
  if (raw_value->IsBoolean()) return HType::Boolean();
  if (raw_value->IsUndefined(isolate)) return HType::Undefined();
  if (raw_value->IsJSArray()) {
    DCHECK(!raw_value->IsUndetectable());
51 52
    return HType::JSArray();
  }
53
  if (raw_value->IsJSObject() && !raw_value->IsUndetectable()) {
54 55
    return HType::JSObject();
  }
56 57 58 59
  return HType::HeapObject();
}


60
std::ostream& operator<<(std::ostream& os, const HType& t) {
61 62
  // Note: The c1visualizer syntax for locals allows only a sequence of the
  // following characters: A-Za-z0-9_-|:
63 64 65 66
  switch (t.kind_) {
#define DEFINE_CASE(Name, mask) \
  case HType::k##Name:          \
    return os << #Name;
67
    HTYPE_LIST(DEFINE_CASE)
68
#undef DEFINE_CASE
69 70
  }
  UNREACHABLE();
71
  return os;
72 73
}

74 75
}  // namespace internal
}  // namespace v8