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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
|
/*
* Copyright 2017 WebAssembly Community Group participants
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#ifndef wasm_wasm_type_h
#define wasm_wasm_type_h
#include "wasm-features.h"
#include <ostream>
#include <vector>
namespace wasm {
class Type {
uint32_t id;
void init(const std::vector<Type>&);
public:
enum ValueType : uint32_t {
none,
unreachable,
i32,
i64,
f32,
f64,
v128,
funcref,
anyref,
nullref,
exnref,
};
private:
// Not in the enum because we don't want to have to have a case for it
static constexpr uint32_t last_value_type = exnref;
public:
Type() = default;
// ValueType can be implicitly upgraded to Type
constexpr Type(ValueType id) : id(id){};
// But converting raw uint32_t is more dangerous, so make it explicit
constexpr explicit Type(uint32_t id) : id(id){};
// Construct from lists of elementary types
Type(std::initializer_list<Type> types);
explicit Type(const std::vector<Type>& types);
// Accessors
size_t size() const;
const std::vector<Type>& expand() const;
// Predicates
constexpr bool isSingle() const { return id >= i32 && id <= last_value_type; }
constexpr bool isMulti() const { return id > last_value_type; }
constexpr bool isConcrete() const { return id >= i32; }
constexpr bool isInteger() const { return id == i32 || id == i64; }
constexpr bool isFloat() const { return id == f32 || id == f64; }
constexpr bool isVector() const { return id == v128; };
constexpr bool isNumber() const { return id >= i32 && id <= v128; }
constexpr bool isRef() const { return id >= funcref && id <= exnref; }
private:
template<bool (Type::*pred)() const> bool hasPredicate() {
for (auto t : expand()) {
if ((t.*pred)()) {
return true;
}
}
return false;
}
public:
bool hasVector() { return hasPredicate<&Type::isVector>(); }
bool hasRef() { return hasPredicate<&Type::isRef>(); }
constexpr uint32_t getID() const { return id; }
constexpr ValueType getSingle() const {
assert(!isMulti() && "Unexpected multivalue type");
return static_cast<ValueType>(id);
}
// (In)equality must be defined for both Type and ValueType because it is
// otherwise ambiguous whether to convert both this and other to int or
// convert other to Type.
bool operator==(const Type& other) const { return id == other.id; }
bool operator==(const ValueType& other) const { return id == other; }
bool operator!=(const Type& other) const { return id != other.id; }
bool operator!=(const ValueType& other) const { return id != other; }
// Order types by some notion of simplicity
bool operator<(const Type& other) const;
// Returns the type size in bytes. Only single types are supported.
unsigned getByteSize() const;
// Reinterpret an integer type to a float type with the same size and vice
// versa. Only single integer and float types are supported.
Type reinterpret() const;
// Returns the feature set required to use this type.
FeatureSet getFeatures() const;
// Returns a number type based on its size in bytes and whether it is a float
// type.
static Type get(unsigned byteSize, bool float_);
// Returns true if left is a subtype of right. Subtype includes itself.
static bool isSubType(Type left, Type right);
// Computes the least upper bound from the type lattice.
// If one of the type is unreachable, the other type becomes the result. If
// the common supertype does not exist, returns none, a poison value.
static Type getLeastUpperBound(Type a, Type b);
// Computes the least upper bound for all types in the given list.
template<typename T> static Type mergeTypes(const T& types) {
Type type = Type::unreachable;
for (auto other : types) {
type = Type::getLeastUpperBound(type, other);
}
return type;
}
std::string toString() const;
};
// Wrapper type for formatting types as "(param i32 i64 f32)"
struct ParamType {
Type type;
ParamType(Type type) : type(type) {}
std::string toString() const;
};
// Wrapper type for formatting types as "(result i32 i64 f32)"
struct ResultType {
Type type;
ResultType(Type type) : type(type) {}
std::string toString() const;
};
struct Signature {
Type params;
Type results;
Signature() : params(Type::none), results(Type::none) {}
Signature(Type params, Type results) : params(params), results(results) {}
bool operator==(const Signature& other) const {
return params == other.params && results == other.results;
}
bool operator!=(const Signature& other) const { return !(*this == other); }
bool operator<(const Signature& other) const;
};
std::ostream& operator<<(std::ostream& os, Type t);
std::ostream& operator<<(std::ostream& os, ParamType t);
std::ostream& operator<<(std::ostream& os, ResultType t);
std::ostream& operator<<(std::ostream& os, Signature t);
} // namespace wasm
template<> class std::hash<wasm::Signature> {
public:
size_t operator()(const wasm::Signature& sig) const;
};
#endif // wasm_wasm_type_h
|
