FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
binaryen/src/parser/parse-5-defs.cpp at main · WebAssembly/binaryen · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
WebAssembly
/
binaryen
Public
Notifications
You must be signed in to change notification settings
Fork
882
Star
8.6k
Code
Issues
336
Pull requests
219
Discussions
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security and quality
Insights
Expand file tree
Breadcrumbs
binaryen
/
src
/
parser
/
parse-5-defs.cpp
Copy path
More file actions
More file actions
Latest commit
History
History
History
98 lines (91 loc) · 3.06 KB
Breadcrumbs
binaryen
/
src
/
parser
/
parse-5-defs.cpp
Copy path
File metadata and controls
98 lines (91 loc) · 3.06 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
/*
* Copyright 2024 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.
*/
#
include
"
wat-parser-internal.h
"
namespace
wasm
::WATParser {
Result<>
parseDefinitions
(
ParseDeclsCtx& decls,
Lexer& input,
IndexMap& typeIndices,
std::vector<HeapType>& types,
std::unordered_map<Index, HeapType>& implicitTypes,
std::unordered_map<HeapType, std::unordered_map<Name, Index>>& typeNames) {
//
Parse definitions.
//
TODO: Parallelize this.
ParseDefsCtx
ctx
(input,
decls.
wasm
,
types,
implicitTypes,
typeNames,
decls.
implicitElemIndices
,
typeIndices);
CHECK_ERR
(
parseDefs
(ctx, decls.
tableDefs
, table));
CHECK_ERR
(
parseDefs
(ctx, decls.
globalDefs
, global));
CHECK_ERR
(
parseDefs
(ctx, decls.
startDefs
, start));
CHECK_ERR
(
parseDefs
(ctx, decls.
elemDefs
, elem));
CHECK_ERR
(
parseDefs
(ctx, decls.
dataDefs
, data));
for
(Index i =
0
; i < decls.
funcDefs
.
size
(); ++i) {
ctx.
index
= i;
auto
* f = decls.
wasm
.
functions
[i].
get
();
WithPosition
with
(ctx, decls.
funcDefs
[i].
pos
);
ctx.
setSrcLoc
(decls.
funcDefs
[i].
annotations
);
ctx.
in
.
setAnnotations
(
std::move
(decls.
funcDefs
[i].
annotations
));
if
(!f->
imported
()) {
CHECK_ERR
(ctx.
visitFunctionStart
(f));
}
if
(decls.
funcDefs
[i].
kind
== DefKind::ImportDesc) {
auto
im =
importdesc
(ctx, Name{}, Name{}, std::
nullopt
);
assert
(!im.
getErr
());
CHECK_ERR
(im);
}
else
{
auto
parsed =
func
(ctx);
assert
(parsed);
CHECK_ERR
(parsed);
}
if
(!f->
imported
()) {
auto
end = ctx.
irBuilder
.
visitEnd
();
if
(
auto
* err = end.
getErr
()) {
return
ctx.
in
.
err
(decls.
funcDefs
[i].
pos
, err->
msg
);
}
}
}
//
Parse exports.
//
TODO: It would be more technically correct to interleave these properly
//
with the implicit inline exports in other module field definitions.
for
(
auto
pos : decls.
exportDefs
) {
WithPosition
with
(ctx, pos);
auto
parsed =
export_
(ctx);
CHECK_ERR
(parsed);
assert
(parsed);
}
return
Ok{};
}
Result<Literal>
parseConst
(Lexer& lexer) {
Module wasm;
ParseDefsCtx
ctx
(lexer, wasm, {}, {}, {}, {}, {});
auto
inst =
foldedinstr
(ctx);
CHECK_ERR
(inst);
auto
expr = ctx.
irBuilder
.
build
();
if
(
auto
* err = expr.
getErr
()) {
return
lexer.
err
(err->
msg
);
}
auto
* e = *expr;
if
(!e->
is
<Const>() && !e->
is
<RefNull>() && !e->
is
<RefI31>()) {
return
lexer.
err
(
"
expected constant
"
);
}
lexer = ctx.
in
;
return
getLiteralFromConstExpression
(e);
}
}
//
namespace wasm::WATParser
Back
|
FazBrowse Home
|
New Git URL