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
|
/*
* Copyright (C) 2015 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#ifndef WASMFunctionParser_h
#define WASMFunctionParser_h
#if ENABLE(WEBASSEMBLY)
#include "SourceCode.h"
#include "WASMReader.h"
#define ContextExpression typename Context::Expression
#define ContextStatement typename Context::Statement
#define ContextExpressionList typename Context::ExpressionList
#define ContextMemoryAddress typename Context::MemoryAddress
#define ContextJumpTarget typename Context::JumpTarget
namespace JSC {
class CodeBlock;
class JSWASMModule;
class VM;
class WASMFunctionParser {
public:
static bool checkSyntax(JSWASMModule*, const SourceCode&, size_t functionIndex, unsigned startOffsetInSource, unsigned& endOffsetInSource, unsigned& stackHeight, String& errorMessage);
static void compile(VM&, CodeBlock*, JSWASMModule*, const SourceCode&, size_t functionIndex);
private:
WASMFunctionParser(JSWASMModule* module, const SourceCode& source, size_t functionIndex)
: m_module(module)
, m_reader(static_cast<WebAssemblySourceProvider*>(source.provider())->data())
, m_functionIndex(functionIndex)
, m_breakScopeDepth(0)
, m_continueScopeDepth(0)
, m_labelDepth(0)
{
}
template <class Context> bool parseFunction(Context&);
bool parseLocalVariables();
template <class Context> ContextStatement parseStatement(Context&);
template <class Context> ContextStatement parseReturnStatement(Context&);
template <class Context> ContextStatement parseBlockStatement(Context&);
template <class Context> ContextStatement parseIfStatement(Context&);
template <class Context> ContextStatement parseIfElseStatement(Context&);
template <class Context> ContextStatement parseWhileStatement(Context&);
template <class Context> ContextStatement parseDoStatement(Context&);
template <class Context> ContextStatement parseLabelStatement(Context&);
template <class Context> ContextStatement parseBreakStatement(Context&);
template <class Context> ContextStatement parseBreakLabelStatement(Context&);
template <class Context> ContextStatement parseContinueStatement(Context&);
template <class Context> ContextStatement parseContinueLabelStatement(Context&);
template <class Context> ContextStatement parseSwitchStatement(Context&);
template <class Context> ContextExpression parseExpression(Context&, WASMExpressionType);
template <class Context> ContextExpression parseExpressionI32(Context&);
template <class Context> ContextExpression parseConstantPoolIndexExpressionI32(Context&, uint32_t constantPoolIndex);
template <class Context> ContextExpression parseConstantPoolIndexExpressionI32(Context&);
template <class Context> ContextExpression parseImmediateExpressionI32(Context&, uint32_t immediate);
template <class Context> ContextExpression parseImmediateExpressionI32(Context&);
template <class Context> ContextExpression parseUnaryExpressionI32(Context&, WASMOpExpressionI32);
template <class Context> ContextExpression parseBinaryExpressionI32(Context&, WASMOpExpressionI32);
template <class Context> ContextExpression parseRelationalI32ExpressionI32(Context&, WASMOpExpressionI32);
template <class Context> ContextExpression parseRelationalF32ExpressionI32(Context&, WASMOpExpressionI32);
template <class Context> ContextExpression parseRelationalF64ExpressionI32(Context&, WASMOpExpressionI32);
template <class Context> ContextExpression parseMinOrMaxExpressionI32(Context&, WASMOpExpressionI32);
template <class Context> ContextExpression parseExpressionF32(Context&);
template <class Context> ContextExpression parseConstantPoolIndexExpressionF32(Context&, uint32_t constantIndex);
template <class Context> ContextExpression parseConstantPoolIndexExpressionF32(Context&);
template <class Context> ContextExpression parseImmediateExpressionF32(Context&);
template <class Context> ContextExpression parseUnaryExpressionF32(Context&, WASMOpExpressionF32);
template <class Context> ContextExpression parseBinaryExpressionF32(Context&, WASMOpExpressionF32);
template <class Context> ContextExpression parseExpressionF64(Context&);
template <class Context> ContextExpression parseConstantPoolIndexExpressionF64(Context&, uint32_t constantIndex);
template <class Context> ContextExpression parseConstantPoolIndexExpressionF64(Context&);
template <class Context> ContextExpression parseImmediateExpressionF64(Context&);
template <class Context> ContextExpression parseUnaryExpressionF64(Context&, WASMOpExpressionF64);
template <class Context> ContextExpression parseBinaryExpressionF64(Context&, WASMOpExpressionF64);
template <class Context> ContextExpression parseMinOrMaxExpressionF64(Context&, WASMOpExpressionF64);
template <class Context> ContextExpression parseExpressionVoid(Context&);
template <class Context> ContextExpression parseGetLocalExpression(Context&, WASMType, uint32_t localIndex);
template <class Context> ContextExpression parseGetLocalExpression(Context&, WASMType);
template <class Context> ContextExpression parseGetGlobalExpression(Context&, WASMType);
template <class Context> ContextExpression parseSetLocal(Context&, WASMOpKind, WASMExpressionType, uint32_t localIndex);
template <class Context> ContextExpression parseSetLocal(Context&, WASMOpKind, WASMExpressionType);
template <class Context> ContextExpression parseSetGlobal(Context&, WASMOpKind, WASMExpressionType, uint32_t globalIndex);
template <class Context> ContextExpression parseSetGlobal(Context&, WASMOpKind, WASMExpressionType);
template <class Context> ContextMemoryAddress parseMemoryAddress(Context&, MemoryAccessOffsetMode);
template <class Context> ContextExpression parseLoad(Context&, WASMExpressionType, WASMMemoryType, MemoryAccessOffsetMode, MemoryAccessConversion = MemoryAccessConversion::NoConversion);
template <class Context> ContextExpression parseStore(Context&, WASMOpKind, WASMExpressionType, WASMMemoryType, MemoryAccessOffsetMode);
template <class Context> ContextExpressionList parseCallArguments(Context&, const Vector<WASMType>& arguments);
template <class Context> ContextExpression parseCallInternal(Context&, WASMOpKind, WASMExpressionType returnType);
template <class Context> ContextExpression parseCallIndirect(Context&, WASMOpKind, WASMExpressionType returnType);
template <class Context> ContextExpression parseCallImport(Context&, WASMOpKind, WASMExpressionType returnType);
template <class Context> ContextExpression parseConditional(Context&, WASMExpressionType);
template <class Context> ContextExpression parseComma(Context&, WASMExpressionType);
template <class Context> ContextExpression parseConvertType(Context&, WASMExpressionType fromType, WASMExpressionType toType, WASMTypeConversion);
JSWASMModule* m_module;
WASMReader m_reader;
size_t m_functionIndex;
String m_errorMessage;
WASMExpressionType m_returnType;
Vector<WASMType> m_localTypes;
uint32_t m_numberOfI32LocalVariables;
uint32_t m_numberOfF32LocalVariables;
uint32_t m_numberOfF64LocalVariables;
unsigned m_breakScopeDepth;
unsigned m_continueScopeDepth;
unsigned m_labelDepth;
};
} // namespace JSC
#endif // ENABLE(WEBASSEMBLY)
#endif // WASMFunctionParser_h
|
