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
|
/*
* 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 WABT_TYPE_CHECKER_H_
#define WABT_TYPE_CHECKER_H_
#include <functional>
#include <vector>
#include "common.h"
#include "opcode.h"
namespace wabt {
class TypeChecker {
public:
typedef std::function<void(const char* msg)> ErrorCallback;
struct Label {
Label(LabelType, const TypeVector& sig, size_t limit);
LabelType label_type;
TypeVector sig;
size_t type_stack_limit;
bool unreachable;
};
TypeChecker() = default;
explicit TypeChecker(const ErrorCallback&);
void set_error_callback(const ErrorCallback& error_callback) {
error_callback_ = error_callback;
}
size_t type_stack_size() const { return type_stack_.size(); }
bool IsUnreachable();
Result GetLabel(Index depth, Label** out_label);
Result BeginFunction(const TypeVector* sig);
Result OnBinary(Opcode);
Result OnBlock(const TypeVector* sig);
Result OnBr(Index depth);
Result OnBrIf(Index depth);
Result BeginBrTable();
Result OnBrTableTarget(Index depth);
Result EndBrTable();
Result OnCall(const TypeVector* param_types, const TypeVector* result_types);
Result OnCallIndirect(const TypeVector* param_types,
const TypeVector* result_types);
Result OnCatch(const TypeVector* sig);
Result OnCatchBlock(const TypeVector* sig);
Result OnCompare(Opcode);
Result OnConst(Type);
Result OnConvert(Opcode);
Result OnCurrentMemory();
Result OnDrop();
Result OnElse();
Result OnEnd();
Result OnGetGlobal(Type);
Result OnGetLocal(Type);
Result OnGrowMemory();
Result OnIf(const TypeVector* sig);
Result OnLoad(Opcode);
Result OnLoop(const TypeVector* sig);
Result OnRethrow(Index depth);
Result OnReturn();
Result OnSelect();
Result OnSetGlobal(Type);
Result OnSetLocal(Type);
Result OnStore(Opcode);
Result OnTeeLocal(Type);
Result OnThrow(const TypeVector* sig);
Result OnTryBlock(const TypeVector* sig);
Result OnUnary(Opcode);
Result OnUnreachable();
Result EndFunction();
private:
void WABT_PRINTF_FORMAT(2, 3) PrintError(const char* fmt, ...);
Result TopLabel(Label** out_label);
void ResetTypeStackToLabel(Label* label);
Result SetUnreachable();
void PushLabel(LabelType label_type, const TypeVector& sig);
Result PopLabel();
Result CheckLabelType(Label* label, LabelType label_type);
Result PeekType(Index depth, Type* out_type);
Result TopType(Type* out_type);
Result PopType(Type* out_type);
Result DropTypes(size_t drop_count);
void PushType(Type type);
void PushTypes(const TypeVector& types);
Result CheckTypeStackLimit(size_t expected, const char* desc);
Result CheckTypeStackEnd(const char* desc);
Result CheckType(Type actual, Type expected, const char* desc);
Result CheckSignature(const TypeVector& sig, const char* desc);
Result PopAndCheckSignature(const TypeVector& sig, const char* desc);
Result PopAndCheckCall(const TypeVector& param_types,
const TypeVector& result_types,
const char* desc);
Result PopAndCheck1Type(Type expected, const char* desc);
Result PopAndCheck2Types(Type expected1, Type expected2, const char* desc);
Result PopAndCheck2TypesAreEqual(Type* out_type, const char* desc);
Result CheckOpcode1(Opcode opcode);
Result CheckOpcode2(Opcode opcode);
Result OnEnd(Label* label, const char* sig_desc, const char* end_desc);
ErrorCallback error_callback_;
TypeVector type_stack_;
std::vector<Label> label_stack_;
// TODO(binji): This will need to be complete signature when signatures with
// multiple types are allowed.
Type br_table_sig_ = Type::Void;
};
} // namespace wabt
#endif /* WABT_TYPE_CHECKER_H_ */
|
