blob: 6c7462b02eb3aedbcfe8768242e2ea1c1eb47acf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
// Copyright 2017 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.
#ifndef V8_TORQUE_TYPE_ORACLE_H_
#define V8_TORQUE_TYPE_ORACLE_H_
#include "src/torque/declarable.h"
#include "src/torque/declarations.h"
#include "src/torque/types.h"
#include "src/torque/utils.h"
namespace v8 {
namespace internal {
namespace torque {
class TypeOracle {
public:
explicit TypeOracle(Declarations* declarations)
: declarations_(declarations) {}
void RegisterImplicitConversion(const Type* to, const Type* from) {
implicit_conversions_.push_back(std::make_pair(to, from));
}
const Type* GetArgumentsType() {
return GetBuiltinType(ARGUMENTS_TYPE_STRING);
}
const Type* GetBoolType() { return GetBuiltinType(BOOL_TYPE_STRING); }
const Type* GetConstexprBoolType() {
return GetBuiltinType(CONSTEXPR_BOOL_TYPE_STRING);
}
const Type* GetVoidType() { return GetBuiltinType(VOID_TYPE_STRING); }
const Type* GetObjectType() { return GetBuiltinType(OBJECT_TYPE_STRING); }
const Type* GetStringType() { return GetBuiltinType(STRING_TYPE_STRING); }
const Type* GetIntPtrType() { return GetBuiltinType(INTPTR_TYPE_STRING); }
const Type* GetNeverType() { return GetBuiltinType(NEVER_TYPE_STRING); }
const Type* GetConstInt31Type() {
return GetBuiltinType(CONST_INT31_TYPE_STRING);
}
bool IsAssignableFrom(const Type* to, const Type* from) {
if (to == from) return true;
if (from->IsSubtypeOf(to) && !from->IsConstexpr()) return true;
return IsImplicitlyConverableFrom(to, from);
}
bool IsImplicitlyConverableFrom(const Type* to, const Type* from) {
for (auto& conversion : implicit_conversions_) {
if (conversion.first == to && conversion.second == from) {
return true;
}
}
return false;
}
bool IsCompatibleSignature(const ParameterTypes& to, const TypeVector& from) {
auto i = to.types.begin();
for (auto current : from) {
if (i == to.types.end()) {
if (!to.var_args) return false;
if (!IsAssignableFrom(GetObjectType(), current)) return false;
} else {
if (!IsAssignableFrom(*i++, current)) return false;
}
}
return true;
}
private:
const Type* GetBuiltinType(const std::string& name) {
return declarations_->LookupGlobalType(name);
}
Declarations* declarations_;
std::vector<std::pair<const Type*, const Type*>> implicit_conversions_;
};
} // namespace torque
} // namespace internal
} // namespace v8
#endif // V8_TORQUE_TYPE_ORACLE_H_
|
