summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--src/binary-reader.cc2
-rw-r--r--src/binary-writer.cc2
-rw-r--r--src/interp/binary-reader-interp.cc46
-rw-r--r--src/interp/interp.cc3
-rw-r--r--src/interp/interp.h3
-rw-r--r--src/lexer-keywords.txt2
-rw-r--r--src/prebuilt/lexer-keywords.cc2265
-rw-r--r--src/token.def2
-rw-r--r--src/validator.cc45
-rw-r--r--src/wast-parser.cc24
-rw-r--r--src/wat-writer.cc4
-rw-r--r--test/binary/bad-elem-flags-declared.txt17
-rw-r--r--test/parse/expr/reference-types.txt1
-rw-r--r--test/parse/module/global.txt2
-rw-r--r--test/spec/bulk-memory-operations/bulk.txt18
-rw-r--r--test/spec/reference-types/elem.txt18
-rw-r--r--test/spec/reference-types/linking.txt48
-rw-r--r--test/spec/reference-types/ref_func.txt10
-rw-r--r--test/spec/reference-types/table_grow.txt14
-rw-r--r--test/spec/sign-extension-ops/i32.txt258
-rw-r--r--test/spec/sign-extension-ops/i64.txt96
m---------third_party/testsuite0
22 files changed, 1645 insertions, 1235 deletions
diff --git a/src/binary-reader.cc b/src/binary-reader.cc
index ee32bf9c..fcb38a6c 100644
--- a/src/binary-reader.cc
+++ b/src/binary-reader.cc
@@ -2200,8 +2200,6 @@ Result BinaryReader::ReadElemSection(Offset section_size) {
uint32_t flags;
CHECK_RESULT(ReadU32Leb128(&flags, "elem segment flags"));
ERROR_IF(flags > SegFlagMax, "invalid elem segment flags: %#x", flags);
- ERROR_IF((flags & SegDeclared) == SegDeclared,
- "declared segments aren't supported");
Index table_index(0);
if ((flags & (SegPassive | SegExplicitIndex)) == SegExplicitIndex) {
CHECK_RESULT(ReadIndex(&table_index, "elem segment table index"));
diff --git a/src/binary-writer.cc b/src/binary-writer.cc
index e9b04b0c..543d8a7d 100644
--- a/src/binary-writer.cc
+++ b/src/binary-writer.cc
@@ -1066,7 +1066,7 @@ Result BinaryWriter::WriteModule() {
uint8_t flags = segment->GetFlags(module_);
stream_->WriteU8(flags, "segment flags");
// 2. optional target table
- if (flags & SegExplicitIndex) {
+ if (flags & SegExplicitIndex && segment->kind != SegmentKind::Declared) {
WriteU32Leb128(stream_, module_->GetTableIndex(segment->table_var),
"table index");
}
diff --git a/src/interp/binary-reader-interp.cc b/src/interp/binary-reader-interp.cc
index fc40bc67..8bee5f20 100644
--- a/src/interp/binary-reader-interp.cc
+++ b/src/interp/binary-reader-interp.cc
@@ -71,6 +71,8 @@ class BinaryReaderInterp : public BinaryReaderNop {
// Implement BinaryReader.
bool OnError(const Error&) override;
+ wabt::Result EndModule() override;
+
wabt::Result OnTypeCount(Index count) override;
wabt::Result OnType(Index index,
Index param_count,
@@ -209,6 +211,7 @@ class BinaryReaderInterp : public BinaryReaderNop {
uint32_t alignment_log2,
Address offset) override;
+ wabt::Result BeginElemSection(Offset size) override;
wabt::Result OnElemSegmentCount(Index count) override;
wabt::Result BeginElemSegment(Index index,
Index table_index,
@@ -299,6 +302,7 @@ class BinaryReaderInterp : public BinaryReaderNop {
wabt::Result FixupTopLabel();
wabt::Result EmitFuncOffset(DefinedFunc* func, Index func_index);
+ wabt::Result CheckDeclaredFunc(Index func_index);
wabt::Result CheckLocal(Index local_index);
wabt::Result CheckGlobal(Index global_index);
wabt::Result CheckGlobalType(GlobalType actual,
@@ -316,7 +320,6 @@ class BinaryReaderInterp : public BinaryReaderNop {
wabt::Result CheckAlign(uint32_t alignment_log2, Address natural_alignment);
wabt::Result CheckAtomicAlign(uint32_t alignment_log2,
Address natural_alignment);
- wabt::Result CheckInFunction();
wabt::Result AppendExport(Module* module,
ExternalKind kind,
@@ -358,10 +361,12 @@ class BinaryReaderInterp : public BinaryReaderNop {
// Values cached so they can be shared between callbacks.
TypedValue init_expr_value_;
IstreamOffset table_offset_ = 0;
- uint8_t segment_flags_ = 0;
+ SegmentFlags segment_flags_ = SegFlagsNone;
Index segment_table_index_ = kInvalidIndex;
ElemSegment* elem_segment_ = nullptr;
ElemSegmentInfo* elem_segment_info_ = nullptr;
+ std::vector<bool> declared_funcs_;
+ std::vector<Index> init_expr_funcs_;
bool has_table = false;
};
@@ -645,6 +650,25 @@ bool BinaryReaderInterp::OnError(const Error& error) {
return true;
}
+wabt::Result BinaryReaderInterp::CheckDeclaredFunc(Index func_index) {
+ if (func_index >= declared_funcs_.size() || !declared_funcs_[func_index]) {
+ PrintError("function is not declared in any elem sections: %" PRIindex,
+ func_index);
+ return wabt::Result::Error;
+ }
+ return wabt::Result::Ok;
+}
+
+wabt::Result BinaryReaderInterp::EndModule() {
+ // Verify that any ref.func used in init expressions for globals are
+ // mentioned in an elems section. This can't be done while process the
+ // globals because the global section comes before the elem section.
+ for (Index func_index : init_expr_funcs_) {
+ CHECK_RESULT(CheckDeclaredFunc(func_index));
+ }
+ return wabt::Result::Ok;
+}
+
wabt::Result BinaryReaderInterp::OnTypeCount(Index count) {
Index sig_count = env_->GetFuncSignatureCount();
sig_index_mapping_.resize(count);
@@ -1037,6 +1061,7 @@ wabt::Result BinaryReaderInterp::OnInitExprRefNull(Index index) {
wabt::Result BinaryReaderInterp::OnInitExprRefFunc(Index index, Index func_index) {
init_expr_value_.type = Type::Funcref;
+ init_expr_funcs_.push_back(func_index);
init_expr_value_.set_ref({RefType::Func, TranslateFuncIndexToEnv(func_index)});
return wabt::Result::Ok;
}
@@ -1092,6 +1117,15 @@ wabt::Result BinaryReaderInterp::OnStartFunction(Index func_index) {
return wabt::Result::Ok;
}
+wabt::Result BinaryReaderInterp::BeginElemSection(Offset size) {
+ // Delay resizing `declared_funcs_` until we we know the total range of
+ // function indexes (not until after imports sections is read) and that
+ // an elem section exists (therefore the possiblity of declared functions).
+ Index max_func_index = func_index_mapping_.size();
+ declared_funcs_.resize(max_func_index);
+ return wabt::Result::Ok;
+}
+
wabt::Result BinaryReaderInterp::OnElemSegmentCount(Index count) {
for (Index i = 0; i < count; ++i) {
elem_segment_index_mapping_.push_back(env_->GetElemSegmentCount() + i);
@@ -1103,7 +1137,7 @@ wabt::Result BinaryReaderInterp::BeginElemSegment(Index index,
Index table_index,
uint8_t flags,
Type elem_type) {
- segment_flags_ = flags;
+ segment_flags_ = static_cast<SegmentFlags>(flags);
segment_table_index_ = table_index;
return wabt::Result::Ok;
}
@@ -1130,7 +1164,7 @@ wabt::Result BinaryReaderInterp::EndElemSegmentInitExpr(Index index) {
wabt::Result BinaryReaderInterp::OnElemSegmentElemExprCount(Index index,
Index count) {
- elem_segment_ = env_->EmplaceBackElemSegment();
+ elem_segment_ = env_->EmplaceBackElemSegment(segment_flags_);
if (segment_flags_ & SegPassive) {
elem_segment_info_ = nullptr;
} else {
@@ -1163,6 +1197,7 @@ wabt::Result BinaryReaderInterp::OnElemSegmentElemExpr_RefFunc(
return wabt::Result::Error;
}
+ declared_funcs_[func_index] = true;
func_index = TranslateFuncIndexToEnv(func_index);
if (segment_flags_ & SegPassive) {
@@ -1183,7 +1218,7 @@ wabt::Result BinaryReaderInterp::OnDataCount(Index count) {
wabt::Result BinaryReaderInterp::BeginDataSegment(Index index,
Index memory_index,
uint8_t flags) {
- segment_flags_ = flags;
+ segment_flags_ = static_cast<SegmentFlags>(flags);
return wabt::Result::Ok;
}
@@ -1784,6 +1819,7 @@ wabt::Result BinaryReaderInterp::OnTableFillExpr(Index table_index) {
}
wabt::Result BinaryReaderInterp::OnRefFuncExpr(Index func_index) {
+ CHECK_RESULT(CheckDeclaredFunc(func_index));
CHECK_RESULT(typechecker_.OnRefFuncExpr(func_index));
CHECK_RESULT(EmitOpcode(Opcode::RefFunc));
CHECK_RESULT(EmitI32(TranslateFuncIndexToEnv(func_index)));
diff --git a/src/interp/interp.cc b/src/interp/interp.cc
index ab34b481..cf871312 100644
--- a/src/interp/interp.cc
+++ b/src/interp/interp.cc
@@ -1087,6 +1087,9 @@ Result Thread::MemoryFill(const uint8_t** pc) {
Result Thread::TableInit(const uint8_t** pc) {
Table* table = ReadTable(pc);
ElemSegment* segment = ReadElemSegment(pc);
+ if (segment->flags == SegDeclared) {
+ TRAP_MSG(TableAccessOutOfBounds, "table.init out of bounds");
+ }
uint32_t segment_size = segment->elems.size();
uint32_t size = Pop<uint32_t>();
uint32_t src = Pop<uint32_t>();
diff --git a/src/interp/interp.h b/src/interp/interp.h
index bbc1c407..ee323395 100644
--- a/src/interp/interp.h
+++ b/src/interp/interp.h
@@ -151,8 +151,9 @@ struct DataSegment {
};
struct ElemSegment {
- ElemSegment() = default;
+ explicit ElemSegment(SegmentFlags flags) : flags(flags) {}
+ SegmentFlags flags = SegFlagsNone;
std::vector<Ref> elems;
};
diff --git a/src/lexer-keywords.txt b/src/lexer-keywords.txt
index 090eaab2..6f0279fd 100644
--- a/src/lexer-keywords.txt
+++ b/src/lexer-keywords.txt
@@ -35,6 +35,7 @@ catch, TokenType::Catch, Opcode::Catch
current_memory, TokenType::MemorySize, Opcode::MemorySize
data.drop, TokenType::DataDrop, Opcode::DataDrop
data, TokenType::Data
+declare, TokenType::Declare
drop, TokenType::Drop, Opcode::Drop
elem.drop, TokenType::ElemDrop, Opcode::ElemDrop
elem, TokenType::Elem
@@ -447,6 +448,7 @@ i8x16, TokenType::I8X16
if, TokenType::If, Opcode::If
import, TokenType::Import
invoke, TokenType::Invoke
+item, TokenType::Item
local.get, TokenType::LocalGet, Opcode::LocalGet
local.set, TokenType::LocalSet, Opcode::LocalSet
local.tee, TokenType::LocalTee, Opcode::LocalTee
diff --git a/src/prebuilt/lexer-keywords.cc b/src/prebuilt/lexer-keywords.cc
index db7cd595..64ca8ac0 100644
--- a/src/prebuilt/lexer-keywords.cc
+++ b/src/prebuilt/lexer-keywords.cc
@@ -46,7 +46,7 @@ struct TokenInfo {
Opcode opcode;
};
};
-/* maximum key range = 2012, duplicates = 0 */
+/* maximum key range = 1878, duplicates = 0 */
class Perfect_Hash
{
@@ -61,32 +61,32 @@ Perfect_Hash::hash (const char *str, size_t len)
{
static unsigned short asso_values[] =
{
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 33, 23, 2031, 123,
- 8, 82, 7, 440, 202, 150, 115, 518, 7, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 8, 16, 54, 24, 107,
- 46, 13, 7, 412, 306, 10, 8, 11, 28, 8,
- 9, 56, 531, 302, 13, 7, 7, 9, 122, 44,
- 472, 600, 74, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031, 2031,
- 2031, 2031, 2031, 2031, 2031, 2031, 2031
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 5, 26, 1884, 150,
+ 2, 110, 1, 413, 128, 134, 74, 478, 8, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 4, 1, 92, 36, 66,
+ 18, 8, 1, 351, 512, 6, 52, 12, 26, 9,
+ 11, 44, 263, 332, 71, 1, 1, 3, 80, 2,
+ 441, 537, 167, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884, 1884,
+ 1884, 1884, 1884, 1884, 1884, 1884, 1884
};
unsigned int hval = len;
@@ -150,1382 +150,1349 @@ Perfect_Hash::InWordSet (const char *str, size_t len)
{
enum
{
- TOTAL_KEYWORDS = 533,
+ TOTAL_KEYWORDS = 535,
MIN_WORD_LENGTH = 2,
MAX_WORD_LENGTH = 26,
- MIN_HASH_VALUE = 19,
- MAX_HASH_VALUE = 2030
+ MIN_HASH_VALUE = 6,
+ MAX_HASH_VALUE = 1883
};
static struct TokenInfo wordlist[] =
{
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""},
-#line 447 "src/lexer-keywords.txt"
- {"if", TokenType::If, Opcode::If},
- {""}, {""}, {""}, {""},
-#line 125 "src/lexer-keywords.txt"
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 126 "src/lexer-keywords.txt"
{"f64", Type::F64},
-#line 462 "src/lexer-keywords.txt"
- {"mut", TokenType::Mut},
-#line 74 "src/lexer-keywords.txt"
+ {""},
+#line 75 "src/lexer-keywords.txt"
{"f32", Type::F32},
-#line 398 "src/lexer-keywords.txt"
+#line 448 "src/lexer-keywords.txt"
+ {"if", TokenType::If, Opcode::If},
+ {""},
+#line 399 "src/lexer-keywords.txt"
{"i64", Type::I64},
{""},
-#line 269 "src/lexer-keywords.txt"
+#line 270 "src/lexer-keywords.txt"
{"i32", Type::I32},
- {""}, {""}, {""},
-#line 491 "src/lexer-keywords.txt"
- {"then", TokenType::Then},
- {""}, {""}, {""},
-#line 41 "src/lexer-keywords.txt"
- {"else", TokenType::Else, Opcode::Else},
-#line 40 "src/lexer-keywords.txt"
- {"elem", TokenType::Elem},
-#line 31 "src/lexer-keywords.txt"
- {"br", TokenType::Br, Opcode::Br},
- {""}, {""},
-#line 112 "src/lexer-keywords.txt"
+#line 464 "src/lexer-keywords.txt"
+ {"mut", TokenType::Mut},
+ {""}, {""}, {""}, {""},
+#line 113 "src/lexer-keywords.txt"
{"f64.lt", TokenType::Compare, Opcode::F64Lt},
-#line 62 "src/lexer-keywords.txt"
+#line 63 "src/lexer-keywords.txt"
{"f32.lt", TokenType::Compare, Opcode::F32Lt},
- {""}, {""}, {""},
-#line 43 "src/lexer-keywords.txt"
- {"event", TokenType::Event},
-#line 475 "src/lexer-keywords.txt"
- {"result", TokenType::Result},
- {""}, {""},
-#line 479 "src/lexer-keywords.txt"
- {"return", TokenType::Return, Opcode::Return},
+#line 42 "src/lexer-keywords.txt"
+ {"else", TokenType::Else, Opcode::Else},
{""}, {""},
-#line 110 "src/lexer-keywords.txt"
- {"f64.le", TokenType::Compare, Opcode::F64Le},
-#line 60 "src/lexer-keywords.txt"
- {"f32.le", TokenType::Compare, Opcode::F32Le},
-#line 490 "src/lexer-keywords.txt"
- {"table", TokenType::Table},
-#line 145 "src/lexer-keywords.txt"
+#line 493 "src/lexer-keywords.txt"
+ {"then", TokenType::Then},
+#line 44 "src/lexer-keywords.txt"
+ {"event", TokenType::Event},
+ {""},
+#line 451 "src/lexer-keywords.txt"
+ {"item", TokenType::Item},
+ {""},
+#line 41 "src/lexer-keywords.txt"
+ {"elem", TokenType::Elem},
+#line 146 "src/lexer-keywords.txt"
{"funcref", Type::Funcref},
-#line 114 "src/lexer-keywords.txt"
- {"f64.min", TokenType::Binary, Opcode::F64Min},
-#line 64 "src/lexer-keywords.txt"
- {"f32.min", TokenType::Binary, Opcode::F32Min},
- {""}, {""},
-#line 371 "src/lexer-keywords.txt"
+#line 372 "src/lexer-keywords.txt"
{"i64.lt_s", TokenType::Compare, Opcode::I64LtS},
-#line 243 "src/lexer-keywords.txt"
+#line 244 "src/lexer-keywords.txt"
{"i32.lt_s", TokenType::Compare, Opcode::I32LtS},
- {""}, {""},
-#line 372 "src/lexer-keywords.txt"
+#line 111 "src/lexer-keywords.txt"
+ {"f64.le", TokenType::Compare, Opcode::F64Le},
+#line 61 "src/lexer-keywords.txt"
+ {"f32.le", TokenType::Compare, Opcode::F32Le},
+#line 373 "src/lexer-keywords.txt"
{"i64.lt_u", TokenType::Compare, Opcode::I64LtU},
-#line 244 "src/lexer-keywords.txt"
+#line 245 "src/lexer-keywords.txt"
{"i32.lt_u", TokenType::Compare, Opcode::I32LtU},
-#line 362 "src/lexer-keywords.txt"
- {"i64.le_s", TokenType::Compare, Opcode::I64LeS},
-#line 236 "src/lexer-keywords.txt"
- {"i32.le_s", TokenType::Compare, Opcode::I32LeS},
- {""}, {""},
+ {""},
#line 363 "src/lexer-keywords.txt"
- {"i64.le_u", TokenType::Compare, Opcode::I64LeU},
+ {"i64.le_s", TokenType::Compare, Opcode::I64LeS},
#line 237 "src/lexer-keywords.txt"
- {"i32.le_u", TokenType::Compare, Opcode::I32LeU},
- {""}, {""},
-#line 378 "src/lexer-keywords.txt"
+ {"i32.le_s", TokenType::Compare, Opcode::I32LeS},
+#line 379 "src/lexer-keywords.txt"
{"i64.rem_s", TokenType::Binary, Opcode::I64RemS},
-#line 250 "src/lexer-keywords.txt"
+#line 251 "src/lexer-keywords.txt"
{"i32.rem_s", TokenType::Binary, Opcode::I32RemS},
-#line 466 "src/lexer-keywords.txt"
- {"nullref", Type::Nullref},
- {""},
-#line 379 "src/lexer-keywords.txt"
+#line 364 "src/lexer-keywords.txt"
+ {"i64.le_u", TokenType::Compare, Opcode::I64LeU},
+#line 238 "src/lexer-keywords.txt"
+ {"i32.le_u", TokenType::Compare, Opcode::I32LeU},
+#line 380 "src/lexer-keywords.txt"
{"i64.rem_u", TokenType::Binary, Opcode::I64RemU},
-#line 251 "src/lexer-keywords.txt"
+#line 252 "src/lexer-keywords.txt"
{"i32.rem_u", TokenType::Binary, Opcode::I32RemU},
-#line 482 "src/lexer-keywords.txt"
- {"start", TokenType::Start},
-#line 96 "src/lexer-keywords.txt"
- {"f64.abs", TokenType::Unary, Opcode::F64Abs},
-#line 45 "src/lexer-keywords.txt"
- {"f32.abs", TokenType::Unary, Opcode::F32Abs},
-#line 123 "src/lexer-keywords.txt"
- {"f64.sub", TokenType::Binary, Opcode::F64Sub},
-#line 72 "src/lexer-keywords.txt"
- {"f32.sub", TokenType::Binary, Opcode::F32Sub},
{""},
-#line 389 "src/lexer-keywords.txt"
- {"i64.sub", TokenType::Binary, Opcode::I64Sub},
-#line 260 "src/lexer-keywords.txt"
- {"i32.sub", TokenType::Binary, Opcode::I32Sub},
-#line 467 "src/lexer-keywords.txt"
- {"offset", TokenType::Offset},
- {""}, {""}, {""},
-#line 461 "src/lexer-keywords.txt"
- {"module", TokenType::Module},
+#line 43 "src/lexer-keywords.txt"
+ {"end", TokenType::End, Opcode::End},
#line 115 "src/lexer-keywords.txt"
- {"f64.mul", TokenType::Binary, Opcode::F64Mul},
+ {"f64.min", TokenType::Binary, Opcode::F64Min},
#line 65 "src/lexer-keywords.txt"
- {"f32.mul", TokenType::Binary, Opcode::F32Mul},
+ {"f32.min", TokenType::Binary, Opcode::F32Min},
{""},
-#line 373 "src/lexer-keywords.txt"
- {"i64.mul", TokenType::Binary, Opcode::I64Mul},
-#line 245 "src/lexer-keywords.txt"
- {"i32.mul", TokenType::Binary, Opcode::I32Mul},
+#line 492 "src/lexer-keywords.txt"
+ {"table", TokenType::Table},
{""},
-#line 480 "src/lexer-keywords.txt"
+#line 482 "src/lexer-keywords.txt"
{"select", TokenType::Select, Opcode::Select},
-#line 118 "src/lexer-keywords.txt"
+#line 469 "src/lexer-keywords.txt"
+ {"offset", TokenType::Offset},
+#line 468 "src/lexer-keywords.txt"
+ {"nullref", Type::Nullref},
+ {""}, {""},
+#line 463 "src/lexer-keywords.txt"
+ {"module", TokenType::Module},
+ {""}, {""}, {""}, {""},
+#line 490 "src/lexer-keywords.txt"
+ {"table.set", TokenType::TableSet, Opcode::TableSet},
+ {""}, {""}, {""}, {""},
+#line 119 "src/lexer-keywords.txt"
{"f64.ne", TokenType::Compare, Opcode::F64Ne},
-#line 68 "src/lexer-keywords.txt"
+#line 69 "src/lexer-keywords.txt"
{"f32.ne", TokenType::Compare, Opcode::F32Ne},
- {""},
-#line 374 "src/lexer-keywords.txt"
+ {""}, {""}, {""},
+#line 375 "src/lexer-keywords.txt"
{"i64.ne", TokenType::Compare, Opcode::I64Ne},
-#line 246 "src/lexer-keywords.txt"
+#line 247 "src/lexer-keywords.txt"
{"i32.ne", TokenType::Compare, Opcode::I32Ne},
+#line 116 "src/lexer-keywords.txt"
+ {"f64.mul", TokenType::Binary, Opcode::F64Mul},
+#line 66 "src/lexer-keywords.txt"
+ {"f32.mul", TokenType::Binary, Opcode::F32Mul},
+#line 489 "src/lexer-keywords.txt"
+ {"table.init", TokenType::TableInit, Opcode::TableInit},
+ {""}, {""},
+#line 374 "src/lexer-keywords.txt"
+ {"i64.mul", TokenType::Binary, Opcode::I64Mul},
+#line 246 "src/lexer-keywords.txt"
+ {"i32.mul", TokenType::Binary, Opcode::I32Mul},
+#line 147 "src/lexer-keywords.txt"
+ {"func", TokenType::Func},
+#line 97 "src/lexer-keywords.txt"
+ {"f64.abs", TokenType::Unary, Opcode::F64Abs},
+#line 46 "src/lexer-keywords.txt"
+ {"f32.abs", TokenType::Unary, Opcode::F32Abs},
+#line 124 "src/lexer-keywords.txt"
+ {"f64.sub", TokenType::Binary, Opcode::F64Sub},
+#line 73 "src/lexer-keywords.txt"
+ {"f32.sub", TokenType::Binary, Opcode::F32Sub},
+#line 100 "src/lexer-keywords.txt"
+ {"f64.const", TokenType::Const, Opcode::F64Const},
+#line 49 "src/lexer-keywords.txt"
+ {"f32.const", TokenType::Const, Opcode::F32Const},
+#line 477 "src/lexer-keywords.txt"
+ {"result", TokenType::Result},
+#line 390 "src/lexer-keywords.txt"
+ {"i64.sub", TokenType::Binary, Opcode::I64Sub},
+#line 261 "src/lexer-keywords.txt"
+ {"i32.sub", TokenType::Binary, Opcode::I32Sub},
+#line 348 "src/lexer-keywords.txt"
+ {"i64.const", TokenType::Const, Opcode::I64Const},
+#line 225 "src/lexer-keywords.txt"
+ {"i32.const", TokenType::Const, Opcode::I32Const},
+#line 99 "src/lexer-keywords.txt"
+ {"f64.ceil", TokenType::Unary, Opcode::F64Ceil},
+#line 48 "src/lexer-keywords.txt"
+ {"f32.ceil", TokenType::Unary, Opcode::F32Ceil},
{""},
-#line 42 "src/lexer-keywords.txt"
- {"end", TokenType::End, Opcode::End},
-#line 144 "src/lexer-keywords.txt"
- {"f64x2", TokenType::F64X2},
+#line 309 "src/lexer-keywords.txt"
+ {"i64.and", TokenType::Binary, Opcode::I64And},
+#line 195 "src/lexer-keywords.txt"
+ {"i32.and", TokenType::Binary, Opcode::I32And},
+#line 98 "src/lexer-keywords.txt"
+ {"f64.add", TokenType::Binary, Opcode::F64Add},
+#line 47 "src/lexer-keywords.txt"
+ {"f32.add", TokenType::Binary, Opcode::F32Add},
+#line 481 "src/lexer-keywords.txt"
+ {"return", TokenType::Return, Opcode::Return},
+#line 484 "src/lexer-keywords.txt"
+ {"start", TokenType::Start},
{""},
+#line 308 "src/lexer-keywords.txt"
+ {"i64.add", TokenType::Binary, Opcode::I64Add},
+#line 194 "src/lexer-keywords.txt"
+ {"i32.add", TokenType::Binary, Opcode::I32Add},
+ {""}, {""}, {""},
+#line 31 "src/lexer-keywords.txt"
+ {"br", TokenType::Br, Opcode::Br},
+ {""}, {""},
+#line 486 "src/lexer-keywords.txt"
+ {"table.fill", TokenType::TableFill, Opcode::TableFill},
+#line 381 "src/lexer-keywords.txt"
+ {"i64.rotl", TokenType::Binary, Opcode::I64Rotl},
+#line 253 "src/lexer-keywords.txt"
+ {"i32.rotl", TokenType::Binary, Opcode::I32Rotl},
#line 37 "src/lexer-keywords.txt"
{"data", TokenType::Data},
-#line 411 "src/lexer-keywords.txt"
+#line 350 "src/lexer-keywords.txt"
+ {"i64.div_s", TokenType::Binary, Opcode::I64DivS},
+#line 227 "src/lexer-keywords.txt"
+ {"i32.div_s", TokenType::Binary, Opcode::I32DivS},
+ {""},
+#line 145 "src/lexer-keywords.txt"
+ {"f64x2", TokenType::F64X2},
+#line 351 "src/lexer-keywords.txt"
+ {"i64.div_u", TokenType::Binary, Opcode::I64DivU},
+#line 228 "src/lexer-keywords.txt"
+ {"i32.div_u", TokenType::Binary, Opcode::I32DivU},
+#line 33 "src/lexer-keywords.txt"
+ {"call", TokenType::Call, Opcode::Call},
+#line 27 "src/lexer-keywords.txt"
+ {"block", TokenType::Block, Opcode::Block},
+#line 412 "src/lexer-keywords.txt"
{"i64x2", TokenType::I64X2},
{""},
-#line 488 "src/lexer-keywords.txt"
- {"table.set", TokenType::TableSet, Opcode::TableSet},
-#line 471 "src/lexer-keywords.txt"
- {"ref.host", TokenType::RefHost},
+#line 453 "src/lexer-keywords.txt"
+ {"local.set", TokenType::LocalSet, Opcode::LocalSet},
{""},
-#line 487 "src/lexer-keywords.txt"
- {"table.init", TokenType::TableInit, Opcode::TableInit},
+#line 478 "src/lexer-keywords.txt"
+ {"rethrow", TokenType::Rethrow, Opcode::Rethrow},
{""}, {""}, {""},
-#line 381 "src/lexer-keywords.txt"
- {"i64.rotr", TokenType::Binary, Opcode::I64Rotr},
-#line 253 "src/lexer-keywords.txt"
- {"i32.rotr", TokenType::Binary, Opcode::I32Rotr},
+#line 455 "src/lexer-keywords.txt"
+ {"local", TokenType::Local},
+#line 473 "src/lexer-keywords.txt"
+ {"ref.host", TokenType::RefHost},
+#line 450 "src/lexer-keywords.txt"
+ {"invoke", TokenType::Invoke},
{""},
-#line 27 "src/lexer-keywords.txt"
- {"block", TokenType::Block, Opcode::Block},
- {""}, {""},
-#line 146 "src/lexer-keywords.txt"
- {"func", TokenType::Func},
-#line 472 "src/lexer-keywords.txt"
- {"ref.is_null", TokenType::RefIsNull, Opcode::RefIsNull},
+#line 483 "src/lexer-keywords.txt"
+ {"shared", TokenType::Shared},
{""}, {""}, {""},
-#line 122 "src/lexer-keywords.txt"
+#line 454 "src/lexer-keywords.txt"
+ {"local.tee", TokenType::LocalTee, Opcode::LocalTee},
+ {""}, {""}, {""},
+#line 123 "src/lexer-keywords.txt"
{"f64.store", TokenType::Store, Opcode::F64Store},
-#line 71 "src/lexer-keywords.txt"
+#line 72 "src/lexer-keywords.txt"
{"f32.store", TokenType::Store, Opcode::F32Store},
{""},
-#line 388 "src/lexer-keywords.txt"
- {"i64.store", TokenType::Store, Opcode::I64Store},
-#line 259 "src/lexer-keywords.txt"
- {"i32.store", TokenType::Store, Opcode::I32Store},
- {""}, {""}, {""},
-#line 386 "src/lexer-keywords.txt"
+#line 387 "src/lexer-keywords.txt"
{"i64.store32", TokenType::Store, Opcode::I64Store32},
{""},
-#line 30 "src/lexer-keywords.txt"
- {"br_table", TokenType::BrTable, Opcode::BrTable},
- {""}, {""}, {""}, {""},
-#line 98 "src/lexer-keywords.txt"
- {"f64.ceil", TokenType::Unary, Opcode::F64Ceil},
-#line 47 "src/lexer-keywords.txt"
- {"f32.ceil", TokenType::Unary, Opcode::F32Ceil},
-#line 308 "src/lexer-keywords.txt"
- {"i64.and", TokenType::Binary, Opcode::I64And},
-#line 194 "src/lexer-keywords.txt"
- {"i32.and", TokenType::Binary, Opcode::I32And},
-#line 380 "src/lexer-keywords.txt"
- {"i64.rotl", TokenType::Binary, Opcode::I64Rotl},
-#line 252 "src/lexer-keywords.txt"
- {"i32.rotl", TokenType::Binary, Opcode::I32Rotl},
- {""},
-#line 484 "src/lexer-keywords.txt"
- {"table.fill", TokenType::TableFill, Opcode::TableFill},
-#line 99 "src/lexer-keywords.txt"
- {"f64.const", TokenType::Const, Opcode::F64Const},
-#line 48 "src/lexer-keywords.txt"
- {"f32.const", TokenType::Const, Opcode::F32Const},
+#line 389 "src/lexer-keywords.txt"
+ {"i64.store", TokenType::Store, Opcode::I64Store},
+#line 260 "src/lexer-keywords.txt"
+ {"i32.store", TokenType::Store, Opcode::I32Store},
{""},
-#line 347 "src/lexer-keywords.txt"
- {"i64.const", TokenType::Const, Opcode::I64Const},
-#line 224 "src/lexer-keywords.txt"
- {"i32.const", TokenType::Const, Opcode::I32Const},
- {""}, {""},
-#line 22 "src/lexer-keywords.txt"
- {"assert_return", TokenType::AssertReturn},
- {""}, {""}, {""},
-#line 481 "src/lexer-keywords.txt"
- {"shared", TokenType::Shared},
-#line 33 "src/lexer-keywords.txt"
- {"call", TokenType::Call, Opcode::Call},
- {""}, {""}, {""}, {""},
-#line 139 "src/lexer-keywords.txt"
+#line 140 "src/lexer-keywords.txt"
{"f64x2.ne", TokenType::Compare, Opcode::F64X2Ne},
+#line 135 "src/lexer-keywords.txt"
+ {"f64x2.lt", TokenType::Compare, Opcode::F64X2Lt},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 506 "src/lexer-keywords.txt"
+ {"v128", Type::V128},
{""},
-#line 136 "src/lexer-keywords.txt"
+#line 30 "src/lexer-keywords.txt"
+ {"br_table", TokenType::BrTable, Opcode::BrTable},
+#line 137 "src/lexer-keywords.txt"
{"f64x2.min", TokenType::Binary, Opcode::F64X2Min},
- {""},
-#line 453 "src/lexer-keywords.txt"
- {"local", TokenType::Local},
-#line 473 "src/lexer-keywords.txt"
- {"ref.null", TokenType::RefNull, Opcode::RefNull},
-#line 476 "src/lexer-keywords.txt"
- {"rethrow", TokenType::Rethrow, Opcode::Rethrow},
-#line 134 "src/lexer-keywords.txt"
- {"f64x2.lt", TokenType::Compare, Opcode::F64X2Lt},
{""}, {""}, {""},
-#line 97 "src/lexer-keywords.txt"
- {"f64.add", TokenType::Binary, Opcode::F64Add},
-#line 46 "src/lexer-keywords.txt"
- {"f32.add", TokenType::Binary, Opcode::F32Add},
-#line 489 "src/lexer-keywords.txt"
- {"table.size", TokenType::TableSize, Opcode::TableSize},
-#line 307 "src/lexer-keywords.txt"
- {"i64.add", TokenType::Binary, Opcode::I64Add},
-#line 193 "src/lexer-keywords.txt"
- {"i32.add", TokenType::Binary, Opcode::I32Add},
-#line 116 "src/lexer-keywords.txt"
- {"f64.nearest", TokenType::Unary, Opcode::F64Nearest},
-#line 66 "src/lexer-keywords.txt"
- {"f32.nearest", TokenType::Unary, Opcode::F32Nearest},
- {""},
-#line 133 "src/lexer-keywords.txt"
+#line 134 "src/lexer-keywords.txt"
{"f64x2.le", TokenType::Compare, Opcode::F64X2Le},
-#line 449 "src/lexer-keywords.txt"
- {"invoke", TokenType::Invoke},
-#line 349 "src/lexer-keywords.txt"
- {"i64.div_s", TokenType::Binary, Opcode::I64DivS},
-#line 226 "src/lexer-keywords.txt"
- {"i32.div_s", TokenType::Binary, Opcode::I32DivS},
- {""}, {""},
-#line 350 "src/lexer-keywords.txt"
- {"i64.div_u", TokenType::Binary, Opcode::I64DivU},
-#line 227 "src/lexer-keywords.txt"
- {"i32.div_u", TokenType::Binary, Opcode::I32DivU},
- {""}, {""}, {""},
-#line 143 "src/lexer-keywords.txt"
- {"f64x2.sub", TokenType::Binary, Opcode::F64X2Sub},
- {""}, {""},
-#line 410 "src/lexer-keywords.txt"
- {"i64x2.sub", TokenType::Binary, Opcode::I64X2Sub},
{""}, {""}, {""}, {""}, {""},
-#line 137 "src/lexer-keywords.txt"
- {"f64x2.mul", TokenType::Binary, Opcode::F64X2Mul},
+#line 503 "src/lexer-keywords.txt"
+ {"v128.not", TokenType::Unary, Opcode::V128Not},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 106 "src/lexer-keywords.txt"
+ {"f64.div", TokenType::Binary, Opcode::F64Div},
+#line 56 "src/lexer-keywords.txt"
+ {"f32.div", TokenType::Binary, Opcode::F32Div},
+#line 343 "src/lexer-keywords.txt"
+ {"i64.atomic.store32", TokenType::AtomicStore, Opcode::I64AtomicStore32},
+#line 345 "src/lexer-keywords.txt"
+ {"i64.atomic.store", TokenType::AtomicStore, Opcode::I64AtomicStore},
+#line 222 "src/lexer-keywords.txt"
+ {"i32.atomic.store", TokenType::AtomicStore, Opcode::I32AtomicStore},
{""}, {""},
-#line 403 "src/lexer-keywords.txt"
- {"i64x2.mul", TokenType::Binary, Opcode::I64X2Mul},
- {""}, {""}, {""}, {""},
-#line 451 "src/lexer-keywords.txt"
- {"local.set", TokenType::LocalSet, Opcode::LocalSet},
- {""}, {""}, {""}, {""}, {""},
-#line 348 "src/lexer-keywords.txt"
- {"i64.ctz", TokenType::Unary, Opcode::I64Ctz},
-#line 225 "src/lexer-keywords.txt"
- {"i32.ctz", TokenType::Unary, Opcode::I32Ctz},
- {""}, {""}, {""},
-#line 126 "src/lexer-keywords.txt"
- {"f64x2.abs", TokenType::Unary, Opcode::F64X2Abs},
-#line 452 "src/lexer-keywords.txt"
- {"local.tee", TokenType::LocalTee, Opcode::LocalTee},
-#line 111 "src/lexer-keywords.txt"
+#line 138 "src/lexer-keywords.txt"
+ {"f64x2.mul", TokenType::Binary, Opcode::F64X2Mul},
+#line 112 "src/lexer-keywords.txt"
{"f64.load", TokenType::Load, Opcode::F64Load},
-#line 61 "src/lexer-keywords.txt"
+#line 62 "src/lexer-keywords.txt"
{"f32.load", TokenType::Load, Opcode::F32Load},
- {""},
-#line 370 "src/lexer-keywords.txt"
+ {""}, {""},
+#line 404 "src/lexer-keywords.txt"
+ {"i64x2.mul", TokenType::Binary, Opcode::I64X2Mul},
+#line 371 "src/lexer-keywords.txt"
{"i64.load", TokenType::Load, Opcode::I64Load},
-#line 242 "src/lexer-keywords.txt"
+#line 243 "src/lexer-keywords.txt"
{"i32.load", TokenType::Load, Opcode::I32Load},
+ {""}, {""}, {""}, {""},
+#line 144 "src/lexer-keywords.txt"
+ {"f64x2.sub", TokenType::Binary, Opcode::F64X2Sub},
+#line 382 "src/lexer-keywords.txt"
+ {"i64.rotr", TokenType::Binary, Opcode::I64Rotr},
+#line 254 "src/lexer-keywords.txt"
+ {"i32.rotr", TokenType::Binary, Opcode::I32Rotr},
+#line 475 "src/lexer-keywords.txt"
+ {"ref.null", TokenType::RefNull, Opcode::RefNull},
+#line 474 "src/lexer-keywords.txt"
+ {"ref.is_null", TokenType::RefIsNull, Opcode::RefIsNull},
+#line 411 "src/lexer-keywords.txt"
+ {"i64x2.sub", TokenType::Binary, Opcode::I64X2Sub},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 38 "src/lexer-keywords.txt"
+ {"declare", TokenType::Declare},
{""},
-#line 387 "src/lexer-keywords.txt"
+#line 388 "src/lexer-keywords.txt"
{"i64.store8", TokenType::Store, Opcode::I64Store8},
-#line 258 "src/lexer-keywords.txt"
+#line 259 "src/lexer-keywords.txt"
{"i32.store8", TokenType::Store, Opcode::I32Store8},
-#line 501 "src/lexer-keywords.txt"
- {"v128.not", TokenType::Unary, Opcode::V128Not},
- {""},
-#line 502 "src/lexer-keywords.txt"
- {"v128.or", TokenType::Binary, Opcode::V128Or},
- {""}, {""}, {""},
+ {""}, {""}, {""}, {""},
+#line 55 "src/lexer-keywords.txt"
+ {"f32.demote_f64", TokenType::Convert, Opcode::F32DemoteF64},
+#line 32 "src/lexer-keywords.txt"
+ {"call_indirect", TokenType::CallIndirect, Opcode::CallIndirect},
#line 346 "src/lexer-keywords.txt"
- {"i64.clz", TokenType::Unary, Opcode::I64Clz},
+ {"i64.atomic.wait", TokenType::AtomicWait, Opcode::I64AtomicWait},
#line 223 "src/lexer-keywords.txt"
- {"i32.clz", TokenType::Unary, Opcode::I32Clz},
- {""},
-#line 504 "src/lexer-keywords.txt"
- {"v128", Type::V128},
-#line 24 "src/lexer-keywords.txt"
- {"assert_unlinkable", TokenType::AssertUnlinkable},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 503 "src/lexer-keywords.txt"
- {"v128.store", TokenType::Store, Opcode::V128Store},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 344 "src/lexer-keywords.txt"
- {"i64.atomic.store", TokenType::AtomicStore, Opcode::I64AtomicStore},
-#line 221 "src/lexer-keywords.txt"
- {"i32.atomic.store", TokenType::AtomicStore, Opcode::I32AtomicStore},
- {""}, {""}, {""},
-#line 478 "src/lexer-keywords.txt"
- {"return_call", TokenType::ReturnCall, Opcode::ReturnCall},
- {""}, {""}, {""}, {""},
-#line 124 "src/lexer-keywords.txt"
+ {"i32.atomic.wait", TokenType::AtomicWait, Opcode::I32AtomicWait},
+ {""}, {""}, {""}, {""}, {""},
+#line 125 "src/lexer-keywords.txt"
{"f64.trunc", TokenType::Unary, Opcode::F64Trunc},
-#line 73 "src/lexer-keywords.txt"
+#line 74 "src/lexer-keywords.txt"
{"f32.trunc", TokenType::Unary, Opcode::F32Trunc},
-#line 342 "src/lexer-keywords.txt"
- {"i64.atomic.store32", TokenType::AtomicStore, Opcode::I64AtomicStore32},
- {""}, {""}, {""}, {""}, {""},
-#line 345 "src/lexer-keywords.txt"
- {"i64.atomic.wait", TokenType::AtomicWait, Opcode::I64AtomicWait},
-#line 222 "src/lexer-keywords.txt"
- {"i32.atomic.wait", TokenType::AtomicWait, Opcode::I32AtomicWait},
- {""},
-#line 105 "src/lexer-keywords.txt"
- {"f64.div", TokenType::Binary, Opcode::F64Div},
-#line 55 "src/lexer-keywords.txt"
- {"f32.div", TokenType::Binary, Opcode::F32Div},
- {""},
-#line 390 "src/lexer-keywords.txt"
- {"i64.trunc_f32_s", TokenType::Convert, Opcode::I64TruncF32S},
-#line 261 "src/lexer-keywords.txt"
- {"i32.trunc_f32_s", TokenType::Convert, Opcode::I32TruncF32S},
-#line 391 "src/lexer-keywords.txt"
- {"i64.trunc_f32_u", TokenType::Convert, Opcode::I64TruncF32U},
-#line 262 "src/lexer-keywords.txt"
- {"i32.trunc_f32_u", TokenType::Convert, Opcode::I32TruncF32U},
- {""},
-#line 496 "src/lexer-keywords.txt"
- {"v128.andnot", TokenType::Binary, Opcode::V128Andnot},
-#line 366 "src/lexer-keywords.txt"
- {"i64.load32_s", TokenType::Load, Opcode::I64Load32S},
-#line 324 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32SubU},
- {""},
-#line 20 "src/lexer-keywords.txt"
- {"assert_invalid", TokenType::AssertInvalid},
-#line 367 "src/lexer-keywords.txt"
- {"i64.load32_u", TokenType::Load, Opcode::I64Load32U},
{""}, {""},
-#line 550 "src/lexer-keywords.txt"
- {"set_local", TokenType::LocalSet, Opcode::LocalSet},
+#line 491 "src/lexer-keywords.txt"
+ {"table.size", TokenType::TableSize, Opcode::TableSize},
+ {""}, {""},
+#line 117 "src/lexer-keywords.txt"
+ {"f64.nearest", TokenType::Unary, Opcode::F64Nearest},
+#line 67 "src/lexer-keywords.txt"
+ {"f32.nearest", TokenType::Unary, Opcode::F32Nearest},
{""},
-#line 541 "src/lexer-keywords.txt"
- {"i64.trunc_s/f32", TokenType::Convert, Opcode::I64TruncF32S},
-#line 529 "src/lexer-keywords.txt"
- {"i32.trunc_s/f32", TokenType::Convert, Opcode::I32TruncF32S},
-#line 545 "src/lexer-keywords.txt"
- {"i64.trunc_u/f32", TokenType::Convert, Opcode::I64TruncF32U},
-#line 533 "src/lexer-keywords.txt"
- {"i32.trunc_u/f32", TokenType::Convert, Opcode::I32TruncF32U},
-#line 551 "src/lexer-keywords.txt"
- {"tee_local", TokenType::LocalTee, Opcode::LocalTee},
+#line 501 "src/lexer-keywords.txt"
+ {"v128.const", TokenType::Const, Opcode::V128Const},
+ {""},
+#line 505 "src/lexer-keywords.txt"
+ {"v128.store", TokenType::Store, Opcode::V128Store},
+#line 520 "src/lexer-keywords.txt"
+ {"f32.demote/f64", TokenType::Convert, Opcode::F32DemoteF64},
{""}, {""},
-#line 337 "src/lexer-keywords.txt"
- {"i64.atomic.rmw.or", TokenType::AtomicRmw, Opcode::I64AtomicRmwOr},
-#line 215 "src/lexer-keywords.txt"
- {"i32.atomic.rmw.or", TokenType::AtomicRmw, Opcode::I32AtomicRmwOr},
+#line 325 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32SubU},
+ {""}, {""}, {""}, {""}, {""},
+#line 498 "src/lexer-keywords.txt"
+ {"v128.andnot", TokenType::Binary, Opcode::V128Andnot},
{""},
-#line 497 "src/lexer-keywords.txt"
+#line 499 "src/lexer-keywords.txt"
{"v128.and", TokenType::Binary, Opcode::V128And},
- {""}, {""}, {""}, {""},
-#line 368 "src/lexer-keywords.txt"
+#line 127 "src/lexer-keywords.txt"
+ {"f64x2.abs", TokenType::Unary, Opcode::F64X2Abs},
+#line 369 "src/lexer-keywords.txt"
{"i64.load8_s", TokenType::Load, Opcode::I64Load8S},
-#line 240 "src/lexer-keywords.txt"
+#line 241 "src/lexer-keywords.txt"
{"i32.load8_s", TokenType::Load, Opcode::I32Load8S},
-#line 331 "src/lexer-keywords.txt"
+#line 332 "src/lexer-keywords.txt"
{"i64.atomic.rmw8.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8SubU},
-#line 209 "src/lexer-keywords.txt"
+#line 210 "src/lexer-keywords.txt"
{"i32.atomic.rmw8.sub_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8SubU},
-#line 369 "src/lexer-keywords.txt"
+#line 370 "src/lexer-keywords.txt"
{"i64.load8_u", TokenType::Load, Opcode::I64Load8U},
-#line 241 "src/lexer-keywords.txt"
+#line 242 "src/lexer-keywords.txt"
{"i32.load8_u", TokenType::Load, Opcode::I32Load8U},
+ {""}, {""}, {""}, {""}, {""},
+#line 500 "src/lexer-keywords.txt"
+ {"v128.bitselect", TokenType::Ternary, Opcode::V128BitSelect},
{""}, {""}, {""},
-#line 127 "src/lexer-keywords.txt"
+#line 128 "src/lexer-keywords.txt"
{"f64x2.add", TokenType::Binary, Opcode::F64X2Add},
- {""}, {""},
-#line 399 "src/lexer-keywords.txt"
- {"i64x2.add", TokenType::Binary, Opcode::I64X2Add},
- {""}, {""}, {""},
-#line 21 "src/lexer-keywords.txt"
- {"assert_malformed", TokenType::AssertMalformed},
-#line 364 "src/lexer-keywords.txt"
- {"i64.load16_s", TokenType::Load, Opcode::I64Load16S},
-#line 238 "src/lexer-keywords.txt"
- {"i32.load16_s", TokenType::Load, Opcode::I32Load16S},
-#line 109 "src/lexer-keywords.txt"
- {"f64.gt", TokenType::Compare, Opcode::F64Gt},
-#line 59 "src/lexer-keywords.txt"
- {"f32.gt", TokenType::Compare, Opcode::F32Gt},
-#line 365 "src/lexer-keywords.txt"
- {"i64.load16_u", TokenType::Load, Opcode::I64Load16U},
-#line 239 "src/lexer-keywords.txt"
- {"i32.load16_u", TokenType::Load, Opcode::I32Load16U},
{""},
-#line 321 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32AndU},
- {""}, {""}, {""},
-#line 499 "src/lexer-keywords.txt"
- {"v128.const", TokenType::Const, Opcode::V128Const},
-#line 323 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32OrU},
+#line 552 "src/lexer-keywords.txt"
+ {"set_local", TokenType::LocalSet, Opcode::LocalSet},
{""},
-#line 108 "src/lexer-keywords.txt"
- {"f64.ge", TokenType::Compare, Opcode::F64Ge},
-#line 58 "src/lexer-keywords.txt"
- {"f32.ge", TokenType::Compare, Opcode::F32Ge},
-#line 312 "src/lexer-keywords.txt"
- {"i64.atomic.load", TokenType::AtomicLoad, Opcode::I64AtomicLoad},
-#line 197 "src/lexer-keywords.txt"
- {"i32.atomic.load", TokenType::AtomicLoad, Opcode::I32AtomicLoad},
+#line 496 "src/lexer-keywords.txt"
+ {"type", TokenType::Type},
+#line 400 "src/lexer-keywords.txt"
+ {"i64x2.add", TokenType::Binary, Opcode::I64X2Add},
+#line 449 "src/lexer-keywords.txt"
+ {"import", TokenType::Import},
{""},
-#line 54 "src/lexer-keywords.txt"
- {"f32.demote_f64", TokenType::Convert, Opcode::F32DemoteF64},
-#line 121 "src/lexer-keywords.txt"
- {"f64.sqrt", TokenType::Unary, Opcode::F64Sqrt},
-#line 70 "src/lexer-keywords.txt"
- {"f32.sqrt", TokenType::Unary, Opcode::F32Sqrt},
-#line 360 "src/lexer-keywords.txt"
- {"i64.gt_s", TokenType::Compare, Opcode::I64GtS},
-#line 234 "src/lexer-keywords.txt"
- {"i32.gt_s", TokenType::Compare, Opcode::I32GtS},
-#line 328 "src/lexer-keywords.txt"
+#line 45 "src/lexer-keywords.txt"
+ {"export", TokenType::Export},
+#line 553 "src/lexer-keywords.txt"
+ {"tee_local", TokenType::LocalTee, Opcode::LocalTee},
+ {""}, {""},
+#line 329 "src/lexer-keywords.txt"
{"i64.atomic.rmw8.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8AndU},
-#line 206 "src/lexer-keywords.txt"
+#line 207 "src/lexer-keywords.txt"
{"i32.atomic.rmw8.and_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8AndU},
-#line 361 "src/lexer-keywords.txt"
- {"i64.gt_u", TokenType::Compare, Opcode::I64GtU},
-#line 235 "src/lexer-keywords.txt"
- {"i32.gt_u", TokenType::Compare, Opcode::I32GtU},
-#line 358 "src/lexer-keywords.txt"
- {"i64.ge_s", TokenType::Compare, Opcode::I64GeS},
-#line 232 "src/lexer-keywords.txt"
- {"i32.ge_s", TokenType::Compare, Opcode::I32GeS},
+#line 24 "src/lexer-keywords.txt"
+ {"assert_unlinkable", TokenType::AssertUnlinkable},
+#line 22 "src/lexer-keywords.txt"
+ {"assert_return", TokenType::AssertReturn},
{""}, {""},
-#line 359 "src/lexer-keywords.txt"
- {"i64.ge_u", TokenType::Compare, Opcode::I64GeU},
-#line 233 "src/lexer-keywords.txt"
- {"i32.ge_u", TokenType::Compare, Opcode::I32GeU},
-#line 518 "src/lexer-keywords.txt"
- {"f32.demote/f64", TokenType::Convert, Opcode::F32DemoteF64},
-#line 32 "src/lexer-keywords.txt"
- {"call_indirect", TokenType::CallIndirect, Opcode::CallIndirect},
-#line 383 "src/lexer-keywords.txt"
- {"i64.shr_s", TokenType::Binary, Opcode::I64ShrS},
-#line 255 "src/lexer-keywords.txt"
- {"i32.shr_s", TokenType::Binary, Opcode::I32ShrS},
+#line 20 "src/lexer-keywords.txt"
+ {"assert_invalid", TokenType::AssertInvalid},
+#line 328 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw8.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8AddU},
+#line 206 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw8.add_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8AddU},
{""},
-#line 498 "src/lexer-keywords.txt"
- {"v128.bitselect", TokenType::Ternary, Opcode::V128BitSelect},
-#line 384 "src/lexer-keywords.txt"
- {"i64.shr_u", TokenType::Binary, Opcode::I64ShrU},
-#line 256 "src/lexer-keywords.txt"
- {"i32.shr_u", TokenType::Binary, Opcode::I32ShrU},
+#line 391 "src/lexer-keywords.txt"
+ {"i64.trunc_f32_s", TokenType::Convert, Opcode::I64TruncF32S},
+#line 262 "src/lexer-keywords.txt"
+ {"i32.trunc_f32_s", TokenType::Convert, Opcode::I32TruncF32S},
+#line 392 "src/lexer-keywords.txt"
+ {"i64.trunc_f32_u", TokenType::Convert, Opcode::I64TruncF32U},
+#line 263 "src/lexer-keywords.txt"
+ {"i32.trunc_f32_u", TokenType::Convert, Opcode::I32TruncF32U},
+#line 367 "src/lexer-keywords.txt"
+ {"i64.load32_s", TokenType::Load, Opcode::I64Load32S},
{""}, {""},
-#line 320 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32AddU},
-#line 469 "src/lexer-keywords.txt"
- {"quote", TokenType::Quote},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 500 "src/lexer-keywords.txt"
- {"v128.load", TokenType::Load, Opcode::V128Load},
-#line 382 "src/lexer-keywords.txt"
- {"i64.shl", TokenType::Binary, Opcode::I64Shl},
-#line 254 "src/lexer-keywords.txt"
- {"i32.shl", TokenType::Binary, Opcode::I32Shl},
+#line 504 "src/lexer-keywords.txt"
+ {"v128.or", TokenType::Binary, Opcode::V128Or},
+#line 368 "src/lexer-keywords.txt"
+ {"i64.load32_u", TokenType::Load, Opcode::I64Load32U},
+#line 313 "src/lexer-keywords.txt"
+ {"i64.atomic.load", TokenType::AtomicLoad, Opcode::I64AtomicLoad},
+#line 198 "src/lexer-keywords.txt"
+ {"i32.atomic.load", TokenType::AtomicLoad, Opcode::I32AtomicLoad},
{""}, {""},
-#line 334 "src/lexer-keywords.txt"
- {"i64.atomic.rmw.add", TokenType::AtomicRmw, Opcode::I64AtomicRmwAdd},
-#line 212 "src/lexer-keywords.txt"
- {"i32.atomic.rmw.add", TokenType::AtomicRmw, Opcode::I32AtomicRmwAdd},
-#line 327 "src/lexer-keywords.txt"
- {"i64.atomic.rmw8.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8AddU},
-#line 205 "src/lexer-keywords.txt"
- {"i32.atomic.rmw8.add_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8AddU},
-#line 322 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw32CmpxchgU},
- {""}, {""}, {""}, {""},
-#line 100 "src/lexer-keywords.txt"
+#line 101 "src/lexer-keywords.txt"
{"f64.convert_i32_s", TokenType::Convert, Opcode::F64ConvertI32S},
-#line 49 "src/lexer-keywords.txt"
+#line 50 "src/lexer-keywords.txt"
{"f32.convert_i32_s", TokenType::Convert, Opcode::F32ConvertI32S},
- {""}, {""},
-#line 392 "src/lexer-keywords.txt"
+#line 480 "src/lexer-keywords.txt"
+ {"return_call", TokenType::ReturnCall, Opcode::ReturnCall},
+#line 129 "src/lexer-keywords.txt"
+ {"f64x2.div", TokenType::Binary, Opcode::F64X2Div},
+#line 393 "src/lexer-keywords.txt"
{"i64.trunc_f64_s", TokenType::Convert, Opcode::I64TruncF64S},
-#line 263 "src/lexer-keywords.txt"
+#line 264 "src/lexer-keywords.txt"
{"i32.trunc_f64_s", TokenType::Convert, Opcode::I32TruncF64S},
-#line 393 "src/lexer-keywords.txt"
+#line 394 "src/lexer-keywords.txt"
{"i64.trunc_f64_u", TokenType::Convert, Opcode::I64TruncF64U},
-#line 264 "src/lexer-keywords.txt"
+#line 265 "src/lexer-keywords.txt"
{"i32.trunc_f64_u", TokenType::Convert, Opcode::I32TruncF64U},
- {""},
+#line 502 "src/lexer-keywords.txt"
+ {"v128.load", TokenType::Load, Opcode::V128Load},
+#line 543 "src/lexer-keywords.txt"
+ {"i64.trunc_s/f32", TokenType::Convert, Opcode::I64TruncF32S},
+#line 531 "src/lexer-keywords.txt"
+ {"i32.trunc_s/f32", TokenType::Convert, Opcode::I32TruncF32S},
+#line 547 "src/lexer-keywords.txt"
+ {"i64.trunc_u/f32", TokenType::Convert, Opcode::I64TruncF32U},
+#line 535 "src/lexer-keywords.txt"
+ {"i32.trunc_u/f32", TokenType::Convert, Opcode::I32TruncF32U},
+ {""}, {""},
+#line 323 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw32CmpxchgU},
#line 338 "src/lexer-keywords.txt"
- {"i64.atomic.rmw.sub", TokenType::AtomicRmw, Opcode::I64AtomicRmwSub},
+ {"i64.atomic.rmw.or", TokenType::AtomicRmw, Opcode::I64AtomicRmwOr},
#line 216 "src/lexer-keywords.txt"
- {"i32.atomic.rmw.sub", TokenType::AtomicRmw, Opcode::I32AtomicRmwSub},
- {""}, {""}, {""}, {""}, {""},
-#line 464 "src/lexer-keywords.txt"
- {"nan:canonical", TokenType::NanCanonical},
- {""},
-#line 477 "src/lexer-keywords.txt"
- {"return_call_indirect", TokenType::ReturnCallIndirect, Opcode::ReturnCallIndirect},
-#line 542 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw.or", TokenType::AtomicRmw, Opcode::I32AtomicRmwOr},
+#line 103 "src/lexer-keywords.txt"
+ {"f64.convert_i64_s", TokenType::Convert, Opcode::F64ConvertI64S},
+#line 52 "src/lexer-keywords.txt"
+ {"f32.convert_i64_s", TokenType::Convert, Opcode::F32ConvertI64S},
+ {""}, {""},
+#line 39 "src/lexer-keywords.txt"
+ {"drop", TokenType::Drop, Opcode::Drop},
+ {""}, {""}, {""},
+#line 544 "src/lexer-keywords.txt"
{"i64.trunc_s/f64", TokenType::Convert, Opcode::I64TruncF64S},
-#line 530 "src/lexer-keywords.txt"
+#line 532 "src/lexer-keywords.txt"
{"i32.trunc_s/f64", TokenType::Convert, Opcode::I32TruncF64S},
-#line 546 "src/lexer-keywords.txt"
+#line 548 "src/lexer-keywords.txt"
{"i64.trunc_u/f64", TokenType::Convert, Opcode::I64TruncF64U},
-#line 534 "src/lexer-keywords.txt"
+#line 536 "src/lexer-keywords.txt"
{"i32.trunc_u/f64", TokenType::Convert, Opcode::I32TruncF64U},
-#line 147 "src/lexer-keywords.txt"
- {"get", TokenType::Get},
- {""}, {""}, {""}, {""}, {""},
-#line 34 "src/lexer-keywords.txt"
- {"catch", TokenType::Catch, Opcode::Catch},
+#line 456 "src/lexer-keywords.txt"
+ {"loop", TokenType::Loop, Opcode::Loop},
+#line 365 "src/lexer-keywords.txt"
+ {"i64.load16_s", TokenType::Load, Opcode::I64Load16S},
+#line 239 "src/lexer-keywords.txt"
+ {"i32.load16_s", TokenType::Load, Opcode::I32Load16S},
{""}, {""},
-#line 128 "src/lexer-keywords.txt"
- {"f64x2.div", TokenType::Binary, Opcode::F64X2Div},
- {""},
+#line 366 "src/lexer-keywords.txt"
+ {"i64.load16_u", TokenType::Load, Opcode::I64Load16U},
+#line 240 "src/lexer-keywords.txt"
+ {"i32.load16_u", TokenType::Load, Opcode::I32Load16U},
#line 335 "src/lexer-keywords.txt"
- {"i64.atomic.rmw.and", TokenType::AtomicRmw, Opcode::I64AtomicRmwAnd},
+ {"i64.atomic.rmw.add", TokenType::AtomicRmw, Opcode::I64AtomicRmwAdd},
#line 213 "src/lexer-keywords.txt"
- {"i32.atomic.rmw.and", TokenType::AtomicRmw, Opcode::I32AtomicRmwAnd},
- {""}, {""}, {""},
-#line 394 "src/lexer-keywords.txt"
- {"i64.trunc_sat_f32_s", TokenType::Convert, Opcode::I64TruncSatF32S},
-#line 265 "src/lexer-keywords.txt"
- {"i32.trunc_sat_f32_s", TokenType::Convert, Opcode::I32TruncSatF32S},
+ {"i32.atomic.rmw.add", TokenType::AtomicRmw, Opcode::I32AtomicRmwAdd},
+#line 322 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32AndU},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 321 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32AddU},
{""}, {""},
-#line 395 "src/lexer-keywords.txt"
- {"i64.trunc_sat_f32_u", TokenType::Convert, Opcode::I64TruncSatF32U},
-#line 266 "src/lexer-keywords.txt"
- {"i32.trunc_sat_f32_u", TokenType::Convert, Opcode::I32TruncSatF32U},
- {""}, {""}, {""}, {""}, {""},
-#line 28 "src/lexer-keywords.txt"
- {"br_if", TokenType::BrIf, Opcode::BrIf},
- {""}, {""}, {""},
-#line 311 "src/lexer-keywords.txt"
- {"i64.atomic.load8_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad8U},
-#line 196 "src/lexer-keywords.txt"
- {"i32.atomic.load8_u", TokenType::AtomicLoad, Opcode::I32AtomicLoad8U},
- {""}, {""}, {""}, {""}, {""},
-#line 95 "src/lexer-keywords.txt"
- {"f32x4", TokenType::F32X4},
-#line 142 "src/lexer-keywords.txt"
- {"f64x2.sqrt", TokenType::Unary, Opcode::F64X2Sqrt},
+#line 148 "src/lexer-keywords.txt"
+ {"get", TokenType::Get},
+#line 324 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32OrU},
{""},
-#line 299 "src/lexer-keywords.txt"
- {"i32x4", TokenType::I32X4},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 470 "src/lexer-keywords.txt"
+ {"param", TokenType::Param},
{""},
-#line 352 "src/lexer-keywords.txt"
- {"i64.eqz", TokenType::Convert, Opcode::I64Eqz},
-#line 229 "src/lexer-keywords.txt"
- {"i32.eqz", TokenType::Convert, Opcode::I32Eqz},
-#line 407 "src/lexer-keywords.txt"
- {"i64x2.shr_s", TokenType::Binary, Opcode::I64X2ShrS},
- {""}, {""},
-#line 474 "src/lexer-keywords.txt"
- {"register", TokenType::Register},
-#line 408 "src/lexer-keywords.txt"
- {"i64x2.shr_u", TokenType::Binary, Opcode::I64X2ShrU},
+#line 339 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw.sub", TokenType::AtomicRmw, Opcode::I64AtomicRmwSub},
+#line 217 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw.sub", TokenType::AtomicRmw, Opcode::I32AtomicRmwSub},
{""}, {""}, {""}, {""},
-#line 317 "src/lexer-keywords.txt"
+#line 349 "src/lexer-keywords.txt"
+ {"i64.ctz", TokenType::Unary, Opcode::I64Ctz},
+#line 226 "src/lexer-keywords.txt"
+ {"i32.ctz", TokenType::Unary, Opcode::I32Ctz},
+#line 312 "src/lexer-keywords.txt"
+ {"i64.atomic.load8_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad8U},
+#line 197 "src/lexer-keywords.txt"
+ {"i32.atomic.load8_u", TokenType::AtomicLoad, Opcode::I32AtomicLoad8U},
+ {""}, {""},
+#line 318 "src/lexer-keywords.txt"
{"i64.atomic.rmw16.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16SubU},
-#line 202 "src/lexer-keywords.txt"
+#line 203 "src/lexer-keywords.txt"
{"i32.atomic.rmw16.sub_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16SubU},
-#line 520 "src/lexer-keywords.txt"
- {"f64.convert_s/i32", TokenType::Convert, Opcode::F64ConvertI32S},
-#line 514 "src/lexer-keywords.txt"
- {"f32.convert_s/i32", TokenType::Convert, Opcode::F32ConvertI32S},
-#line 522 "src/lexer-keywords.txt"
- {"f64.convert_u/i32", TokenType::Convert, Opcode::F64ConvertI32U},
-#line 516 "src/lexer-keywords.txt"
- {"f32.convert_u/i32", TokenType::Convert, Opcode::F32ConvertI32U},
- {""}, {""}, {""}, {""},
-#line 310 "src/lexer-keywords.txt"
- {"i64.atomic.load32_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad32U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 406 "src/lexer-keywords.txt"
- {"i64x2.shl", TokenType::Binary, Opcode::I64X2Shl},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 485 "src/lexer-keywords.txt"
- {"table.get", TokenType::TableGet, Opcode::TableGet},
-#line 549 "src/lexer-keywords.txt"
- {"set_global", TokenType::GlobalSet, Opcode::GlobalSet},
{""}, {""},
-#line 101 "src/lexer-keywords.txt"
+#line 21 "src/lexer-keywords.txt"
+ {"assert_malformed", TokenType::AssertMalformed},
+ {""}, {""},
+#line 336 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw.and", TokenType::AtomicRmw, Opcode::I64AtomicRmwAnd},
+#line 214 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw.and", TokenType::AtomicRmw, Opcode::I32AtomicRmwAnd},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 102 "src/lexer-keywords.txt"
{"f64.convert_i32_u", TokenType::Convert, Opcode::F64ConvertI32U},
-#line 50 "src/lexer-keywords.txt"
+#line 51 "src/lexer-keywords.txt"
{"f32.convert_i32_u", TokenType::Convert, Opcode::F32ConvertI32U},
+#line 471 "src/lexer-keywords.txt"
+ {"quote", TokenType::Quote},
{""},
-#line 102 "src/lexer-keywords.txt"
- {"f64.convert_i64_s", TokenType::Convert, Opcode::F64ConvertI64S},
-#line 51 "src/lexer-keywords.txt"
- {"f32.convert_i64_s", TokenType::Convert, Opcode::F32ConvertI64S},
-#line 385 "src/lexer-keywords.txt"
+#line 347 "src/lexer-keywords.txt"
+ {"i64.clz", TokenType::Unary, Opcode::I64Clz},
+#line 224 "src/lexer-keywords.txt"
+ {"i32.clz", TokenType::Unary, Opcode::I32Clz},
+ {""},
+#line 479 "src/lexer-keywords.txt"
+ {"return_call_indirect", TokenType::ReturnCallIndirect, Opcode::ReturnCallIndirect},
+ {""},
+#line 28 "src/lexer-keywords.txt"
+ {"br_if", TokenType::BrIf, Opcode::BrIf},
+ {""},
+#line 386 "src/lexer-keywords.txt"
{"i64.store16", TokenType::Store, Opcode::I64Store16},
-#line 257 "src/lexer-keywords.txt"
+#line 258 "src/lexer-keywords.txt"
{"i32.store16", TokenType::Store, Opcode::I32Store16},
+ {""}, {""}, {""}, {""}, {""},
+#line 104 "src/lexer-keywords.txt"
+ {"f64.convert_i64_u", TokenType::Convert, Opcode::F64ConvertI64U},
+#line 53 "src/lexer-keywords.txt"
+ {"f32.convert_i64_u", TokenType::Convert, Opcode::F32ConvertI64U},
+ {""}, {""}, {""}, {""}, {""},
+#line 487 "src/lexer-keywords.txt"
+ {"table.get", TokenType::TableGet, Opcode::TableGet},
+ {""}, {""},
+#line 122 "src/lexer-keywords.txt"
+ {"f64.sqrt", TokenType::Unary, Opcode::F64Sqrt},
+#line 71 "src/lexer-keywords.txt"
+ {"f32.sqrt", TokenType::Unary, Opcode::F32Sqrt},
+#line 376 "src/lexer-keywords.txt"
+ {"i64.or", TokenType::Binary, Opcode::I64Or},
+#line 248 "src/lexer-keywords.txt"
+ {"i32.or", TokenType::Binary, Opcode::I32Or},
+#line 142 "src/lexer-keywords.txt"
+ {"f64x2.splat", TokenType::Unary, Opcode::F64X2Splat},
+#line 466 "src/lexer-keywords.txt"
+ {"nan:canonical", TokenType::NanCanonical},
+#line 96 "src/lexer-keywords.txt"
+ {"f32x4", TokenType::F32X4},
+ {""}, {""},
+#line 410 "src/lexer-keywords.txt"
+ {"i64x2.splat", TokenType::Unary, Opcode::I64X2Splat},
{""},
-#line 90 "src/lexer-keywords.txt"
+#line 300 "src/lexer-keywords.txt"
+ {"i32x4", TokenType::I32X4},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 522 "src/lexer-keywords.txt"
+ {"f64.convert_s/i32", TokenType::Convert, Opcode::F64ConvertI32S},
+#line 516 "src/lexer-keywords.txt"
+ {"f32.convert_s/i32", TokenType::Convert, Opcode::F32ConvertI32S},
+#line 524 "src/lexer-keywords.txt"
+ {"f64.convert_u/i32", TokenType::Convert, Opcode::F64ConvertI32U},
+#line 518 "src/lexer-keywords.txt"
+ {"f32.convert_u/i32", TokenType::Convert, Opcode::F32ConvertI32U},
+#line 342 "src/lexer-keywords.txt"
+ {"i64.atomic.store16", TokenType::AtomicStore, Opcode::I64AtomicStore16},
+#line 220 "src/lexer-keywords.txt"
+ {"i32.atomic.store16", TokenType::AtomicStore, Opcode::I32AtomicStore16},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 316 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw16.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw16CmpxchgU},
+#line 201 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw16.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmw16CmpxchgU},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 91 "src/lexer-keywords.txt"
{"f32x4.ne", TokenType::Compare, Opcode::F32X4Ne},
- {""},
-#line 87 "src/lexer-keywords.txt"
- {"f32x4.min", TokenType::Binary, Opcode::F32X4Min},
-#line 292 "src/lexer-keywords.txt"
+#line 86 "src/lexer-keywords.txt"
+ {"f32x4.lt", TokenType::Compare, Opcode::F32X4Lt},
+ {""}, {""}, {""},
+#line 293 "src/lexer-keywords.txt"
{"i32x4.ne", TokenType::Compare, Opcode::I32X4Ne},
{""}, {""}, {""},
-#line 85 "src/lexer-keywords.txt"
- {"f32x4.lt", TokenType::Compare, Opcode::F32X4Lt},
-#line 314 "src/lexer-keywords.txt"
- {"i64.atomic.rmw16.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16AndU},
-#line 199 "src/lexer-keywords.txt"
- {"i32.atomic.rmw16.and_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16AndU},
-#line 492 "src/lexer-keywords.txt"
- {"throw", TokenType::Throw, Opcode::Throw},
- {""},
-#line 288 "src/lexer-keywords.txt"
- {"i32x4.min_s", TokenType::Binary, Opcode::I32X4MinS},
-#line 316 "src/lexer-keywords.txt"
- {"i64.atomic.rmw16.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16OrU},
-#line 201 "src/lexer-keywords.txt"
- {"i32.atomic.rmw16.or_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16OrU},
- {""},
#line 289 "src/lexer-keywords.txt"
- {"i32x4.min_u", TokenType::Binary, Opcode::I32X4MinU},
- {""}, {""},
-#line 84 "src/lexer-keywords.txt"
- {"f32x4.le", TokenType::Compare, Opcode::F32X4Le},
-#line 284 "src/lexer-keywords.txt"
- {"i32x4.lt_s", TokenType::Compare, Opcode::I32X4LtS},
+ {"i32x4.min_s", TokenType::Binary, Opcode::I32X4MinS},
{""},
+#line 88 "src/lexer-keywords.txt"
+ {"f32x4.min", TokenType::Binary, Opcode::F32X4Min},
#line 285 "src/lexer-keywords.txt"
+ {"i32x4.lt_s", TokenType::Compare, Opcode::I32X4LtS},
+#line 290 "src/lexer-keywords.txt"
+ {"i32x4.min_u", TokenType::Binary, Opcode::I32X4MinU},
+#line 286 "src/lexer-keywords.txt"
{"i32x4.lt_u", TokenType::Compare, Opcode::I32X4LtU},
-#line 150 "src/lexer-keywords.txt"
- {"global", TokenType::Global},
-#line 494 "src/lexer-keywords.txt"
- {"type", TokenType::Type},
- {""},
-#line 280 "src/lexer-keywords.txt"
- {"i32x4.le_s", TokenType::Compare, Opcode::I32X4LeS},
+#line 85 "src/lexer-keywords.txt"
+ {"f32x4.le", TokenType::Compare, Opcode::F32X4Le},
+#line 315 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw16.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16AndU},
+#line 200 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw16.and_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16AndU},
{""},
#line 281 "src/lexer-keywords.txt"
+ {"i32x4.le_s", TokenType::Compare, Opcode::I32X4LeS},
+#line 452 "src/lexer-keywords.txt"
+ {"local.get", TokenType::LocalGet, Opcode::LocalGet},
+#line 282 "src/lexer-keywords.txt"
{"i32x4.le_u", TokenType::Compare, Opcode::I32X4LeU},
+#line 133 "src/lexer-keywords.txt"
+ {"f64x2.gt", TokenType::Compare, Opcode::F64X2Gt},
+#line 314 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw16.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16AddU},
+#line 199 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw16.add_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16AddU},
{""},
-#line 94 "src/lexer-keywords.txt"
- {"f32x4.sub", TokenType::Binary, Opcode::F32X4Sub},
- {""},
+#line 150 "src/lexer-keywords.txt"
+ {"global.set", TokenType::GlobalSet, Opcode::GlobalSet},
+#line 317 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw16.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16OrU},
+#line 202 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw16.or_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16OrU},
+ {""}, {""}, {""}, {""},
+#line 151 "src/lexer-keywords.txt"
+ {"global", TokenType::Global},
+ {""}, {""},
#line 132 "src/lexer-keywords.txt"
- {"f64x2.gt", TokenType::Compare, Opcode::F64X2Gt},
-#line 298 "src/lexer-keywords.txt"
- {"i32x4.sub", TokenType::Binary, Opcode::I32X4Sub},
+ {"f64x2.ge", TokenType::Compare, Opcode::F64X2Ge},
{""},
-#line 468 "src/lexer-keywords.txt"
- {"param", TokenType::Param},
+#line 89 "src/lexer-keywords.txt"
+ {"f32x4.mul", TokenType::Binary, Opcode::F32X4Mul},
+ {""}, {""}, {""}, {""},
+#line 291 "src/lexer-keywords.txt"
+ {"i32x4.mul", TokenType::Binary, Opcode::I32X4Mul},
+ {""}, {""}, {""}, {""},
+#line 395 "src/lexer-keywords.txt"
+ {"i64.trunc_sat_f32_s", TokenType::Convert, Opcode::I64TruncSatF32S},
+#line 266 "src/lexer-keywords.txt"
+ {"i32.trunc_sat_f32_s", TokenType::Convert, Opcode::I32TruncSatF32S},
+#line 95 "src/lexer-keywords.txt"
+ {"f32x4.sub", TokenType::Binary, Opcode::F32X4Sub},
{""},
-#line 448 "src/lexer-keywords.txt"
- {"import", TokenType::Import},
+#line 396 "src/lexer-keywords.txt"
+ {"i64.trunc_sat_f32_u", TokenType::Convert, Opcode::I64TruncSatF32U},
+#line 267 "src/lexer-keywords.txt"
+ {"i32.trunc_sat_f32_u", TokenType::Convert, Opcode::I32TruncSatF32U},
{""},
-#line 88 "src/lexer-keywords.txt"
- {"f32x4.mul", TokenType::Binary, Opcode::F32X4Mul},
-#line 44 "src/lexer-keywords.txt"
- {"export", TokenType::Export},
+#line 299 "src/lexer-keywords.txt"
+ {"i32x4.sub", TokenType::Binary, Opcode::I32X4Sub},
{""},
-#line 290 "src/lexer-keywords.txt"
- {"i32x4.mul", TokenType::Binary, Opcode::I32X4Mul},
-#line 495 "src/lexer-keywords.txt"
- {"unreachable", TokenType::Unreachable, Opcode::Unreachable},
-#line 131 "src/lexer-keywords.txt"
- {"f64x2.ge", TokenType::Compare, Opcode::F64X2Ge},
-#line 313 "src/lexer-keywords.txt"
- {"i64.atomic.rmw16.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16AddU},
-#line 198 "src/lexer-keywords.txt"
- {"i32.atomic.rmw16.add_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16AddU},
- {""}, {""},
-#line 375 "src/lexer-keywords.txt"
- {"i64.or", TokenType::Binary, Opcode::I64Or},
-#line 247 "src/lexer-keywords.txt"
- {"i32.or", TokenType::Binary, Opcode::I32Or},
-#line 119 "src/lexer-keywords.txt"
- {"f64.promote_f32", TokenType::Convert, Opcode::F64PromoteF32},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 75 "src/lexer-keywords.txt"
- {"f32x4.abs", TokenType::Unary, Opcode::F32X4Abs},
-#line 149 "src/lexer-keywords.txt"
- {"global.set", TokenType::GlobalSet, Opcode::GlobalSet},
+#line 330 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw8.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw8CmpxchgU},
+#line 208 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw8.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmw8CmpxchgU},
{""}, {""}, {""}, {""},
-#line 315 "src/lexer-keywords.txt"
- {"i64.atomic.rmw16.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw16CmpxchgU},
-#line 200 "src/lexer-keywords.txt"
- {"i32.atomic.rmw16.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmw16CmpxchgU},
-#line 524 "src/lexer-keywords.txt"
- {"f64.promote/f32", TokenType::Convert, Opcode::F64PromoteF32},
- {""}, {""}, {""},
-#line 107 "src/lexer-keywords.txt"
- {"f64.floor", TokenType::Unary, Opcode::F64Floor},
-#line 57 "src/lexer-keywords.txt"
- {"f32.floor", TokenType::Unary, Opcode::F32Floor},
+#line 311 "src/lexer-keywords.txt"
+ {"i64.atomic.load32_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad32U},
+#line 494 "src/lexer-keywords.txt"
+ {"throw", TokenType::Throw, Opcode::Throw},
+#line 488 "src/lexer-keywords.txt"
+ {"table.grow", TokenType::TableGrow, Opcode::TableGrow},
+#line 110 "src/lexer-keywords.txt"
+ {"f64.gt", TokenType::Compare, Opcode::F64Gt},
+#line 60 "src/lexer-keywords.txt"
+ {"f32.gt", TokenType::Compare, Opcode::F32Gt},
{""}, {""},
-#line 538 "src/lexer-keywords.txt"
+#line 540 "src/lexer-keywords.txt"
{"i64.extend_s/i32", TokenType::Convert, Opcode::I64ExtendI32S},
-#line 486 "src/lexer-keywords.txt"
- {"table.grow", TokenType::TableGrow, Opcode::TableGrow},
-#line 539 "src/lexer-keywords.txt"
+ {""},
+#line 541 "src/lexer-keywords.txt"
{"i64.extend_u/i32", TokenType::Convert, Opcode::I64ExtendI32U},
-#line 29 "src/lexer-keywords.txt"
- {"br_on_exn", TokenType::BrOnExn, Opcode::BrOnExn},
- {""}, {""},
-#line 309 "src/lexer-keywords.txt"
- {"i64.atomic.load16_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad16U},
-#line 195 "src/lexer-keywords.txt"
- {"i32.atomic.load16_u", TokenType::AtomicLoad, Opcode::I32AtomicLoad16U},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 454 "src/lexer-keywords.txt"
- {"loop", TokenType::Loop, Opcode::Loop},
- {""}, {""}, {""}, {""},
-#line 450 "src/lexer-keywords.txt"
- {"local.get", TokenType::LocalGet, Opcode::LocalGet},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 106 "src/lexer-keywords.txt"
- {"f64.eq", TokenType::Compare, Opcode::F64Eq},
-#line 56 "src/lexer-keywords.txt"
- {"f32.eq", TokenType::Compare, Opcode::F32Eq},
+ {""}, {""}, {""},
+#line 143 "src/lexer-keywords.txt"
+ {"f64x2.sqrt", TokenType::Unary, Opcode::F64X2Sqrt},
{""},
-#line 351 "src/lexer-keywords.txt"
- {"i64.eq", TokenType::Compare, Opcode::I64Eq},
-#line 228 "src/lexer-keywords.txt"
- {"i32.eq", TokenType::Compare, Opcode::I32Eq},
-#line 463 "src/lexer-keywords.txt"
- {"nan:arithmetic", TokenType::NanArithmetic},
-#line 38 "src/lexer-keywords.txt"
- {"drop", TokenType::Drop, Opcode::Drop},
- {""}, {""}, {""}, {""}, {""},
-#line 103 "src/lexer-keywords.txt"
- {"f64.convert_i64_u", TokenType::Convert, Opcode::F64ConvertI64U},
-#line 52 "src/lexer-keywords.txt"
- {"f32.convert_i64_u", TokenType::Convert, Opcode::F32ConvertI64U},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 354 "src/lexer-keywords.txt"
- {"i64.extend32_s", TokenType::Unary, Opcode::I64Extend32S},
+#line 361 "src/lexer-keywords.txt"
+ {"i64.gt_s", TokenType::Compare, Opcode::I64GtS},
+#line 235 "src/lexer-keywords.txt"
+ {"i32.gt_s", TokenType::Compare, Opcode::I32GtS},
+#line 109 "src/lexer-keywords.txt"
+ {"f64.ge", TokenType::Compare, Opcode::F64Ge},
+#line 59 "src/lexer-keywords.txt"
+ {"f32.ge", TokenType::Compare, Opcode::F32Ge},
+#line 362 "src/lexer-keywords.txt"
+ {"i64.gt_u", TokenType::Compare, Opcode::I64GtU},
+#line 236 "src/lexer-keywords.txt"
+ {"i32.gt_u", TokenType::Compare, Opcode::I32GtU},
+#line 467 "src/lexer-keywords.txt"
+ {"nop", TokenType::Nop, Opcode::Nop},
+#line 359 "src/lexer-keywords.txt"
+ {"i64.ge_s", TokenType::Compare, Opcode::I64GeS},
+#line 233 "src/lexer-keywords.txt"
+ {"i32.ge_s", TokenType::Compare, Opcode::I32GeS},
+ {""}, {""},
+#line 360 "src/lexer-keywords.txt"
+ {"i64.ge_u", TokenType::Compare, Opcode::I64GeU},
+#line 234 "src/lexer-keywords.txt"
+ {"i32.ge_u", TokenType::Compare, Opcode::I32GeU},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 331 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw8.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8OrU},
+#line 209 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw8.or_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8OrU},
{""}, {""},
-#line 356 "src/lexer-keywords.txt"
- {"i64.extend_i32_s", TokenType::Convert, Opcode::I64ExtendI32S},
- {""}, {""}, {""},
-#line 357 "src/lexer-keywords.txt"
- {"i64.extend_i32_u", TokenType::Convert, Opcode::I64ExtendI32U},
-#line 341 "src/lexer-keywords.txt"
- {"i64.atomic.store16", TokenType::AtomicStore, Opcode::I64AtomicStore16},
-#line 219 "src/lexer-keywords.txt"
- {"i32.atomic.store16", TokenType::AtomicStore, Opcode::I32AtomicStore16},
-#line 272 "src/lexer-keywords.txt"
- {"i32x4.all_true", TokenType::Unary, Opcode::I32X4AllTrue},
+#line 76 "src/lexer-keywords.txt"
+ {"f32x4.abs", TokenType::Unary, Opcode::F32X4Abs},
{""},
-#line 470 "src/lexer-keywords.txt"
- {"ref.func", TokenType::RefFunc, Opcode::RefFunc},
- {""}, {""},
-#line 355 "src/lexer-keywords.txt"
+#line 356 "src/lexer-keywords.txt"
{"i64.extend8_s", TokenType::Unary, Opcode::I64Extend8S},
-#line 231 "src/lexer-keywords.txt"
+#line 232 "src/lexer-keywords.txt"
{"i32.extend8_s", TokenType::Unary, Opcode::I32Extend8S},
{""}, {""}, {""}, {""},
-#line 18 "src/lexer-keywords.txt"
- {"anyref", Type::Anyref},
+#line 29 "src/lexer-keywords.txt"
+ {"br_on_exn", TokenType::BrOnExn, Opcode::BrOnExn},
{""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 76 "src/lexer-keywords.txt"
+#line 77 "src/lexer-keywords.txt"
{"f32x4.add", TokenType::Binary, Opcode::F32X4Add},
- {""}, {""},
-#line 271 "src/lexer-keywords.txt"
+#line 472 "src/lexer-keywords.txt"
+ {"ref.func", TokenType::RefFunc, Opcode::RefFunc},
+ {""},
+#line 383 "src/lexer-keywords.txt"
+ {"i64.shl", TokenType::Binary, Opcode::I64Shl},
+#line 255 "src/lexer-keywords.txt"
+ {"i32.shl", TokenType::Binary, Opcode::I32Shl},
+#line 272 "src/lexer-keywords.txt"
{"i32x4.add", TokenType::Binary, Opcode::I32X4Add},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 458 "src/lexer-keywords.txt"
- {"memory.init", TokenType::MemoryInit, Opcode::MemoryInit},
+#line 476 "src/lexer-keywords.txt"
+ {"register", TokenType::Register},
+#line 310 "src/lexer-keywords.txt"
+ {"i64.atomic.load16_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad16U},
+#line 196 "src/lexer-keywords.txt"
+ {"i32.atomic.load16_u", TokenType::AtomicLoad, Opcode::I32AtomicLoad16U},
{""}, {""}, {""}, {""}, {""},
-#line 412 "src/lexer-keywords.txt"
- {"i64.xor", TokenType::Binary, Opcode::I64Xor},
-#line 306 "src/lexer-keywords.txt"
- {"i32.xor", TokenType::Binary, Opcode::I32Xor},
-#line 437 "src/lexer-keywords.txt"
- {"i8x16.ne", TokenType::Compare, Opcode::I8X16Ne},
-#line 527 "src/lexer-keywords.txt"
- {"get_local", TokenType::LocalGet, Opcode::LocalGet},
-#line 459 "src/lexer-keywords.txt"
+#line 34 "src/lexer-keywords.txt"
+ {"catch", TokenType::Catch, Opcode::Catch},
+#line 460 "src/lexer-keywords.txt"
+ {"memory.init", TokenType::MemoryInit, Opcode::MemoryInit},
+ {""}, {""}, {""},
+#line 461 "src/lexer-keywords.txt"
{"memory.size", TokenType::MemorySize, Opcode::MemorySize},
+ {""}, {""}, {""}, {""}, {""},
+#line 355 "src/lexer-keywords.txt"
+ {"i64.extend32_s", TokenType::Unary, Opcode::I64Extend32S},
{""}, {""}, {""}, {""},
-#line 505 "src/lexer-keywords.txt"
- {"v128.xor", TokenType::Binary, Opcode::V128Xor},
- {""},
-#line 432 "src/lexer-keywords.txt"
- {"i8x16.min_s", TokenType::Binary, Opcode::I8X16MinS},
- {""}, {""},
-#line 141 "src/lexer-keywords.txt"
- {"f64x2.splat", TokenType::Unary, Opcode::F64X2Splat},
-#line 433 "src/lexer-keywords.txt"
- {"i8x16.min_u", TokenType::Binary, Opcode::I8X16MinU},
+#line 384 "src/lexer-keywords.txt"
+ {"i64.shr_s", TokenType::Binary, Opcode::I64ShrS},
+#line 256 "src/lexer-keywords.txt"
+ {"i32.shr_s", TokenType::Binary, Opcode::I32ShrS},
{""},
-#line 409 "src/lexer-keywords.txt"
- {"i64x2.splat", TokenType::Unary, Opcode::I64X2Splat},
+#line 357 "src/lexer-keywords.txt"
+ {"i64.extend_i32_s", TokenType::Convert, Opcode::I64ExtendI32S},
+#line 385 "src/lexer-keywords.txt"
+ {"i64.shr_u", TokenType::Binary, Opcode::I64ShrU},
+#line 257 "src/lexer-keywords.txt"
+ {"i32.shr_u", TokenType::Binary, Opcode::I32ShrU},
{""},
-#line 428 "src/lexer-keywords.txt"
- {"i8x16.lt_s", TokenType::Compare, Opcode::I8X16LtS},
+#line 358 "src/lexer-keywords.txt"
+ {"i64.extend_i32_u", TokenType::Convert, Opcode::I64ExtendI32U},
+#line 80 "src/lexer-keywords.txt"
+ {"f32x4.div", TokenType::Binary, Opcode::F32X4Div},
+ {""}, {""}, {""},
+#line 108 "src/lexer-keywords.txt"
+ {"f64.floor", TokenType::Unary, Opcode::F64Floor},
+#line 58 "src/lexer-keywords.txt"
+ {"f32.floor", TokenType::Unary, Opcode::F32Floor},
{""},
+#line 438 "src/lexer-keywords.txt"
+ {"i8x16.ne", TokenType::Compare, Opcode::I8X16Ne},
+ {""}, {""},
+#line 529 "src/lexer-keywords.txt"
+ {"get_local", TokenType::LocalGet, Opcode::LocalGet},
+#line 433 "src/lexer-keywords.txt"
+ {"i8x16.min_s", TokenType::Binary, Opcode::I8X16MinS},
+ {""}, {""},
#line 429 "src/lexer-keywords.txt"
+ {"i8x16.lt_s", TokenType::Compare, Opcode::I8X16LtS},
+#line 434 "src/lexer-keywords.txt"
+ {"i8x16.min_u", TokenType::Binary, Opcode::I8X16MinU},
+#line 430 "src/lexer-keywords.txt"
{"i8x16.lt_u", TokenType::Compare, Opcode::I8X16LtU},
- {""}, {""}, {""},
-#line 426 "src/lexer-keywords.txt"
+#line 458 "src/lexer-keywords.txt"
+ {"memory.fill", TokenType::MemoryFill, Opcode::MemoryFill},
+#line 70 "src/lexer-keywords.txt"
+ {"f32.reinterpret_i32", TokenType::Convert, Opcode::F32ReinterpretI32},
+ {""}, {""},
+#line 427 "src/lexer-keywords.txt"
{"i8x16.le_s", TokenType::Compare, Opcode::I8X16LeS},
{""},
-#line 427 "src/lexer-keywords.txt"
+#line 428 "src/lexer-keywords.txt"
{"i8x16.le_u", TokenType::Compare, Opcode::I8X16LeU},
+#line 18 "src/lexer-keywords.txt"
+ {"anyref", Type::Anyref},
+ {""}, {""}, {""},
+#line 120 "src/lexer-keywords.txt"
+ {"f64.promote_f32", TokenType::Convert, Opcode::F64PromoteF32},
{""}, {""}, {""}, {""},
-#line 445 "src/lexer-keywords.txt"
- {"i8x16.sub", TokenType::Binary, Opcode::I8X16Sub},
- {""},
-#line 456 "src/lexer-keywords.txt"
- {"memory.fill", TokenType::MemoryFill, Opcode::MemoryFill},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 121 "src/lexer-keywords.txt"
+ {"f64.reinterpret_i64", TokenType::Convert, Opcode::F64ReinterpretI64},
{""}, {""}, {""}, {""},
-#line 129 "src/lexer-keywords.txt"
- {"f64x2.eq", TokenType::Compare, Opcode::F64X2Eq},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 69 "src/lexer-keywords.txt"
- {"f32.reinterpret_i32", TokenType::Convert, Opcode::F32ReinterpretI32},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""},
-#line 519 "src/lexer-keywords.txt"
- {"f32.reinterpret/i32", TokenType::Convert, Opcode::F32ReinterpretI32},
- {""}, {""}, {""},
-#line 19 "src/lexer-keywords.txt"
- {"assert_exhaustion", TokenType::AssertExhaustion},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 543 "src/lexer-keywords.txt"
- {"i64.trunc_s:sat/f32", TokenType::Convert, Opcode::I64TruncSatF32S},
-#line 531 "src/lexer-keywords.txt"
- {"i32.trunc_s:sat/f32", TokenType::Convert, Opcode::I32TruncSatF32S},
-#line 547 "src/lexer-keywords.txt"
- {"i64.trunc_u:sat/f32", TokenType::Convert, Opcode::I64TruncSatF32U},
-#line 535 "src/lexer-keywords.txt"
- {"i32.trunc_u:sat/f32", TokenType::Convert, Opcode::I32TruncSatF32U},
- {""}, {""},
-#line 79 "src/lexer-keywords.txt"
- {"f32x4.div", TokenType::Binary, Opcode::F32X4Div},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 179 "src/lexer-keywords.txt"
+#line 180 "src/lexer-keywords.txt"
{"i16x8.ne", TokenType::Compare, Opcode::I16X8Ne},
- {""}, {""}, {""},
-#line 326 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32XorU},
- {""}, {""}, {""}, {""},
-#line 173 "src/lexer-keywords.txt"
- {"i16x8.min_s", TokenType::Binary, Opcode::I16X8MinS},
- {""}, {""}, {""},
-#line 174 "src/lexer-keywords.txt"
- {"i16x8.min_u", TokenType::Binary, Opcode::I16X8MinU},
- {""}, {""}, {""},
-#line 169 "src/lexer-keywords.txt"
- {"i16x8.lt_s", TokenType::Compare, Opcode::I16X8LtS},
{""},
+#line 521 "src/lexer-keywords.txt"
+ {"f32.reinterpret/i32", TokenType::Convert, Opcode::F32ReinterpretI32},
+ {""},
+#line 174 "src/lexer-keywords.txt"
+ {"i16x8.min_s", TokenType::Binary, Opcode::I16X8MinS},
+ {""}, {""},
#line 170 "src/lexer-keywords.txt"
+ {"i16x8.lt_s", TokenType::Compare, Opcode::I16X8LtS},
+#line 175 "src/lexer-keywords.txt"
+ {"i16x8.min_u", TokenType::Binary, Opcode::I16X8MinU},
+#line 171 "src/lexer-keywords.txt"
{"i16x8.lt_u", TokenType::Compare, Opcode::I16X8LtU},
+ {""}, {""},
+#line 526 "src/lexer-keywords.txt"
+ {"f64.promote/f32", TokenType::Convert, Opcode::F64PromoteF32},
{""},
-#line 93 "src/lexer-keywords.txt"
- {"f32x4.sqrt", TokenType::Unary, Opcode::F32X4Sqrt},
- {""},
-#line 165 "src/lexer-keywords.txt"
+#line 166 "src/lexer-keywords.txt"
{"i16x8.le_s", TokenType::Compare, Opcode::I16X8LeS},
{""},
-#line 166 "src/lexer-keywords.txt"
+#line 167 "src/lexer-keywords.txt"
{"i16x8.le_u", TokenType::Compare, Opcode::I16X8LeU},
- {""}, {""},
-#line 330 "src/lexer-keywords.txt"
- {"i64.atomic.rmw8.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8OrU},
-#line 208 "src/lexer-keywords.txt"
- {"i32.atomic.rmw8.or_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8OrU},
-#line 187 "src/lexer-keywords.txt"
- {"i16x8.sub", TokenType::Binary, Opcode::I16X8Sub},
- {""}, {""},
+#line 527 "src/lexer-keywords.txt"
+ {"f64.reinterpret/i64", TokenType::Convert, Opcode::F64ReinterpretI64},
+#line 510 "src/lexer-keywords.txt"
+ {"v64x2.load_splat", TokenType::Load, Opcode::V64X2LoadSplat},
#line 446 "src/lexer-keywords.txt"
- {"i8x16", TokenType::I8X16},
+ {"i8x16.sub", TokenType::Binary, Opcode::I8X16Sub},
+ {""},
+#line 107 "src/lexer-keywords.txt"
+ {"f64.eq", TokenType::Compare, Opcode::F64Eq},
+#line 57 "src/lexer-keywords.txt"
+ {"f32.eq", TokenType::Compare, Opcode::F32Eq},
+#line 273 "src/lexer-keywords.txt"
+ {"i32x4.all_true", TokenType::Unary, Opcode::I32X4AllTrue},
{""}, {""},
-#line 295 "src/lexer-keywords.txt"
- {"i32x4.shr_s", TokenType::Binary, Opcode::I32X4ShrS},
+#line 352 "src/lexer-keywords.txt"
+ {"i64.eq", TokenType::Compare, Opcode::I64Eq},
+#line 229 "src/lexer-keywords.txt"
+ {"i32.eq", TokenType::Compare, Opcode::I32Eq},
{""},
-#line 416 "src/lexer-keywords.txt"
- {"i8x16.all_true", TokenType::Unary, Opcode::I8X16AllTrue},
-#line 175 "src/lexer-keywords.txt"
+#line 353 "src/lexer-keywords.txt"
+ {"i64.eqz", TokenType::Convert, Opcode::I64Eqz},
+#line 230 "src/lexer-keywords.txt"
+ {"i32.eqz", TokenType::Convert, Opcode::I32Eqz},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 176 "src/lexer-keywords.txt"
{"i16x8.mul", TokenType::Binary, Opcode::I16X8Mul},
-#line 296 "src/lexer-keywords.txt"
- {"i32x4.shr_u", TokenType::Binary, Opcode::I32X4ShrU},
- {""}, {""}, {""},
-#line 188 "src/lexer-keywords.txt"
+#line 189 "src/lexer-keywords.txt"
{"i16x8", TokenType::I16X8},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""},
+#line 407 "src/lexer-keywords.txt"
+ {"i64x2.shl", TokenType::Binary, Opcode::I64X2Shl},
+ {""}, {""}, {""}, {""}, {""},
+#line 188 "src/lexer-keywords.txt"
+ {"i16x8.sub", TokenType::Binary, Opcode::I16X8Sub},
+ {""}, {""}, {""}, {""}, {""},
+#line 23 "src/lexer-keywords.txt"
+ {"assert_trap", TokenType::AssertTrap},
+ {""},
+#line 40 "src/lexer-keywords.txt"
+ {"elem.drop", TokenType::ElemDrop, Opcode::ElemDrop},
{""}, {""},
-#line 325 "src/lexer-keywords.txt"
- {"i64.atomic.rmw32.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32XchgU},
+#line 36 "src/lexer-keywords.txt"
+ {"data.drop", TokenType::DataDrop, Opcode::DataDrop},
+#line 447 "src/lexer-keywords.txt"
+ {"i8x16", TokenType::I8X16},
+ {""}, {""}, {""}, {""},
+#line 408 "src/lexer-keywords.txt"
+ {"i64x2.shr_s", TokenType::Binary, Opcode::I64X2ShrS},
{""}, {""}, {""},
-#line 415 "src/lexer-keywords.txt"
- {"i8x16.add", TokenType::Binary, Opcode::I8X16Add},
- {""}, {""},
-#line 294 "src/lexer-keywords.txt"
- {"i32x4.shl", TokenType::Binary, Opcode::I32X4Shl},
-#line 401 "src/lexer-keywords.txt"
- {"i64x2.load32x2_s", TokenType::Load, Opcode::I64X2Load32X2S},
+#line 409 "src/lexer-keywords.txt"
+ {"i64x2.shr_u", TokenType::Binary, Opcode::I64X2ShrU},
+#line 93 "src/lexer-keywords.txt"
+ {"f32x4.splat", TokenType::Unary, Opcode::F32X4Splat},
+ {""}, {""}, {""},
+#line 327 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32XorU},
+#line 298 "src/lexer-keywords.txt"
+ {"i32x4.splat", TokenType::Unary, Opcode::I32X4Splat},
{""},
-#line 329 "src/lexer-keywords.txt"
- {"i64.atomic.rmw8.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw8CmpxchgU},
-#line 207 "src/lexer-keywords.txt"
- {"i32.atomic.rmw8.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmw8CmpxchgU},
-#line 402 "src/lexer-keywords.txt"
- {"i64x2.load32x2_u", TokenType::Load, Opcode::I64X2Load32X2U},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 120 "src/lexer-keywords.txt"
- {"f64.reinterpret_i64", TokenType::Convert, Opcode::F64ReinterpretI64},
- {""}, {""}, {""}, {""},
-#line 353 "src/lexer-keywords.txt"
- {"i64.extend16_s", TokenType::Unary, Opcode::I64Extend16S},
-#line 230 "src/lexer-keywords.txt"
- {"i32.extend16_s", TokenType::Unary, Opcode::I32Extend16S},
-#line 343 "src/lexer-keywords.txt"
+#line 344 "src/lexer-keywords.txt"
{"i64.atomic.store8", TokenType::AtomicStore, Opcode::I64AtomicStore8},
-#line 220 "src/lexer-keywords.txt"
+#line 221 "src/lexer-keywords.txt"
{"i32.atomic.store8", TokenType::AtomicStore, Opcode::I32AtomicStore8},
- {""}, {""}, {""},
-#line 443 "src/lexer-keywords.txt"
- {"i8x16.sub_saturate_s", TokenType::Binary, Opcode::I8X16SubSaturateS},
{""},
-#line 444 "src/lexer-keywords.txt"
- {"i8x16.sub_saturate_u", TokenType::Binary, Opcode::I8X16SubSaturateU},
+#line 377 "src/lexer-keywords.txt"
+ {"i64.popcnt", TokenType::Unary, Opcode::I64Popcnt},
+#line 249 "src/lexer-keywords.txt"
+ {"i32.popcnt", TokenType::Unary, Opcode::I32Popcnt},
+ {""},
+#line 413 "src/lexer-keywords.txt"
+ {"i64.xor", TokenType::Binary, Opcode::I64Xor},
+#line 307 "src/lexer-keywords.txt"
+ {"i32.xor", TokenType::Binary, Opcode::I32Xor},
+ {""}, {""},
+#line 416 "src/lexer-keywords.txt"
+ {"i8x16.add", TokenType::Binary, Opcode::I8X16Add},
+ {""},
+#line 507 "src/lexer-keywords.txt"
+ {"v128.xor", TokenType::Binary, Opcode::V128Xor},
+ {""}, {""}, {""}, {""},
+#line 551 "src/lexer-keywords.txt"
+ {"set_global", TokenType::GlobalSet, Opcode::GlobalSet},
+ {""}, {""},
+#line 326 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw32.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32XchgU},
+ {""}, {""},
+#line 523 "src/lexer-keywords.txt"
+ {"f64.convert_s/i64", TokenType::Convert, Opcode::F64ConvertI64S},
+#line 517 "src/lexer-keywords.txt"
+ {"f32.convert_s/i64", TokenType::Convert, Opcode::F32ConvertI64S},
#line 525 "src/lexer-keywords.txt"
- {"f64.reinterpret/i64", TokenType::Convert, Opcode::F64ReinterpretI64},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {"f64.convert_u/i64", TokenType::Convert, Opcode::F64ConvertI64U},
+#line 519 "src/lexer-keywords.txt"
+ {"f32.convert_u/i64", TokenType::Convert, Opcode::F32ConvertI64U},
{""}, {""}, {""},
-#line 544 "src/lexer-keywords.txt"
+#line 19 "src/lexer-keywords.txt"
+ {"assert_exhaustion", TokenType::AssertExhaustion},
+ {""},
+#line 118 "src/lexer-keywords.txt"
+ {"f64.neg", TokenType::Unary, Opcode::F64Neg},
+#line 68 "src/lexer-keywords.txt"
+ {"f32.neg", TokenType::Unary, Opcode::F32Neg},
+ {""}, {""},
+#line 354 "src/lexer-keywords.txt"
+ {"i64.extend16_s", TokenType::Unary, Opcode::I64Extend16S},
+#line 231 "src/lexer-keywords.txt"
+ {"i32.extend16_s", TokenType::Unary, Opcode::I32Extend16S},
+ {""}, {""}, {""},
+#line 155 "src/lexer-keywords.txt"
+ {"i16x8.add", TokenType::Binary, Opcode::I16X8Add},
+#line 545 "src/lexer-keywords.txt"
+ {"i64.trunc_s:sat/f32", TokenType::Convert, Opcode::I64TruncSatF32S},
+#line 533 "src/lexer-keywords.txt"
+ {"i32.trunc_s:sat/f32", TokenType::Convert, Opcode::I32TruncSatF32S},
+#line 549 "src/lexer-keywords.txt"
+ {"i64.trunc_u:sat/f32", TokenType::Convert, Opcode::I64TruncSatF32U},
+#line 537 "src/lexer-keywords.txt"
+ {"i32.trunc_u:sat/f32", TokenType::Convert, Opcode::I32TruncSatF32U},
+ {""}, {""}, {""}, {""}, {""},
+#line 84 "src/lexer-keywords.txt"
+ {"f32x4.gt", TokenType::Compare, Opcode::F32X4Gt},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 546 "src/lexer-keywords.txt"
{"i64.trunc_s:sat/f64", TokenType::Convert, Opcode::I64TruncSatF64S},
-#line 532 "src/lexer-keywords.txt"
+#line 534 "src/lexer-keywords.txt"
{"i32.trunc_s:sat/f64", TokenType::Convert, Opcode::I32TruncSatF64S},
-#line 548 "src/lexer-keywords.txt"
+#line 550 "src/lexer-keywords.txt"
{"i64.trunc_u:sat/f64", TokenType::Convert, Opcode::I64TruncSatF64U},
-#line 536 "src/lexer-keywords.txt"
+#line 538 "src/lexer-keywords.txt"
{"i32.trunc_u:sat/f64", TokenType::Convert, Opcode::I32TruncSatF64U},
+#line 279 "src/lexer-keywords.txt"
+ {"i32x4.gt_s", TokenType::Compare, Opcode::I32X4GtS},
{""},
-#line 117 "src/lexer-keywords.txt"
- {"f64.neg", TokenType::Unary, Opcode::F64Neg},
-#line 67 "src/lexer-keywords.txt"
- {"f32.neg", TokenType::Unary, Opcode::F32Neg},
- {""}, {""}, {""}, {""}, {""}, {""},
+#line 280 "src/lexer-keywords.txt"
+ {"i32x4.gt_u", TokenType::Compare, Opcode::I32X4GtU},
#line 83 "src/lexer-keywords.txt"
- {"f32x4.gt", TokenType::Compare, Opcode::F32X4Gt},
-#line 396 "src/lexer-keywords.txt"
- {"i64.trunc_sat_f64_s", TokenType::Convert, Opcode::I64TruncSatF64S},
-#line 267 "src/lexer-keywords.txt"
- {"i32.trunc_sat_f64_s", TokenType::Convert, Opcode::I32TruncSatF64S},
-#line 526 "src/lexer-keywords.txt"
- {"get_global", TokenType::GlobalGet, Opcode::GlobalGet},
+ {"f32x4.ge", TokenType::Compare, Opcode::F32X4Ge},
+#line 130 "src/lexer-keywords.txt"
+ {"f64x2.eq", TokenType::Compare, Opcode::F64X2Eq},
{""},
+#line 141 "src/lexer-keywords.txt"
+ {"f64x2.replace_lane", TokenType::SimdLaneOp, Opcode::F64X2ReplaceLane},
+#line 277 "src/lexer-keywords.txt"
+ {"i32x4.ge_s", TokenType::Compare, Opcode::I32X4GeS},
+ {""},
+#line 278 "src/lexer-keywords.txt"
+ {"i32x4.ge_u", TokenType::Compare, Opcode::I32X4GeU},
+ {""},
+#line 406 "src/lexer-keywords.txt"
+ {"i64x2.replace_lane", TokenType::SimdLaneOp, Opcode::I64X2ReplaceLane},
+ {""}, {""}, {""}, {""},
+#line 465 "src/lexer-keywords.txt"
+ {"nan:arithmetic", TokenType::NanArithmetic},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""},
#line 397 "src/lexer-keywords.txt"
- {"i64.trunc_sat_f64_u", TokenType::Convert, Opcode::I64TruncSatF64U},
+ {"i64.trunc_sat_f64_s", TokenType::Convert, Opcode::I64TruncSatF64S},
#line 268 "src/lexer-keywords.txt"
+ {"i32.trunc_sat_f64_s", TokenType::Convert, Opcode::I32TruncSatF64S},
+ {""}, {""},
+#line 398 "src/lexer-keywords.txt"
+ {"i64.trunc_sat_f64_u", TokenType::Convert, Opcode::I64TruncSatF64U},
+#line 269 "src/lexer-keywords.txt"
{"i32.trunc_sat_f64_u", TokenType::Convert, Opcode::I32TruncSatF64U},
- {""}, {""}, {""}, {""}, {""},
-#line 82 "src/lexer-keywords.txt"
- {"f32x4.ge", TokenType::Compare, Opcode::F32X4Ge},
-#line 278 "src/lexer-keywords.txt"
- {"i32x4.gt_s", TokenType::Compare, Opcode::I32X4GtS},
{""},
-#line 279 "src/lexer-keywords.txt"
- {"i32x4.gt_u", TokenType::Compare, Opcode::I32X4GtU},
+#line 149 "src/lexer-keywords.txt"
+ {"global.get", TokenType::GlobalGet, Opcode::GlobalGet},
+ {""}, {""},
+#line 417 "src/lexer-keywords.txt"
+ {"i8x16.all_true", TokenType::Unary, Opcode::I8X16AllTrue},
+#line 94 "src/lexer-keywords.txt"
+ {"f32x4.sqrt", TokenType::Unary, Opcode::F32X4Sqrt},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 497 "src/lexer-keywords.txt"
+ {"unreachable", TokenType::Unreachable, Opcode::Unreachable},
{""}, {""}, {""},
-#line 276 "src/lexer-keywords.txt"
- {"i32x4.ge_s", TokenType::Compare, Opcode::I32X4GeS},
-#line 155 "src/lexer-keywords.txt"
+#line 139 "src/lexer-keywords.txt"
+ {"f64x2.neg", TokenType::Unary, Opcode::F64X2Neg},
+ {""}, {""}, {""},
+#line 444 "src/lexer-keywords.txt"
+ {"i8x16.sub_saturate_s", TokenType::Binary, Opcode::I8X16SubSaturateS},
+#line 405 "src/lexer-keywords.txt"
+ {"i64x2.neg", TokenType::Unary, Opcode::I64X2Neg},
+#line 445 "src/lexer-keywords.txt"
+ {"i8x16.sub_saturate_u", TokenType::Binary, Opcode::I8X16SubSaturateU},
+#line 320 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw16.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16XorU},
+#line 205 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw16.xor_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16XorU},
+ {""},
+#line 402 "src/lexer-keywords.txt"
+ {"i64x2.load32x2_s", TokenType::Load, Opcode::I64X2Load32X2S},
+ {""},
+#line 515 "src/lexer-keywords.txt"
+ {"anyfunc", Type::Funcref},
+ {""},
+#line 403 "src/lexer-keywords.txt"
+ {"i64x2.load32x2_u", TokenType::Load, Opcode::I64X2Load32X2U},
+ {""}, {""}, {""}, {""},
+#line 156 "src/lexer-keywords.txt"
{"i16x8.all_true", TokenType::Unary, Opcode::I16X8AllTrue},
-#line 277 "src/lexer-keywords.txt"
- {"i32x4.ge_u", TokenType::Compare, Opcode::I32X4GeU},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 130 "src/lexer-keywords.txt"
- {"f64x2.extract_lane", TokenType::SimdLaneOp, Opcode::F64X2ExtractLane},
-#line 333 "src/lexer-keywords.txt"
+ {""}, {""}, {""}, {""},
+#line 334 "src/lexer-keywords.txt"
{"i64.atomic.rmw8.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8XorU},
-#line 211 "src/lexer-keywords.txt"
+#line 212 "src/lexer-keywords.txt"
{"i32.atomic.rmw8.xor_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8XorU},
-#line 400 "src/lexer-keywords.txt"
- {"i64x2.extract_lane", TokenType::SimdLaneOp, Opcode::I64X2ExtractLane},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 154 "src/lexer-keywords.txt"
- {"i16x8.add", TokenType::Binary, Opcode::I16X8Add},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 521 "src/lexer-keywords.txt"
- {"f64.convert_s/i64", TokenType::Convert, Opcode::F64ConvertI64S},
-#line 515 "src/lexer-keywords.txt"
- {"f32.convert_s/i64", TokenType::Convert, Opcode::F32ConvertI64S},
-#line 523 "src/lexer-keywords.txt"
- {"f64.convert_u/i64", TokenType::Convert, Opcode::F64ConvertI64U},
-#line 517 "src/lexer-keywords.txt"
- {"f32.convert_u/i64", TokenType::Convert, Opcode::F32ConvertI64U},
- {""}, {""}, {""}, {""},
-#line 511 "src/lexer-keywords.txt"
- {"v8x16.swizzle", TokenType::Binary, Opcode::V8X16Swizzle},
{""}, {""}, {""}, {""},
-#line 138 "src/lexer-keywords.txt"
- {"f64x2.neg", TokenType::Unary, Opcode::F64X2Neg},
- {""},
-#line 508 "src/lexer-keywords.txt"
- {"v64x2.load_splat", TokenType::Load, Opcode::V64X2LoadSplat},
-#line 404 "src/lexer-keywords.txt"
- {"i64x2.neg", TokenType::Unary, Opcode::I64X2Neg},
+#line 319 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw16.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16XchgU},
+#line 204 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw16.xchg_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16XchgU},
{""}, {""}, {""},
-#line 185 "src/lexer-keywords.txt"
+#line 186 "src/lexer-keywords.txt"
{"i16x8.sub_saturate_s", TokenType::Binary, Opcode::I16X8SubSaturateS},
{""},
-#line 186 "src/lexer-keywords.txt"
+#line 187 "src/lexer-keywords.txt"
{"i16x8.sub_saturate_u", TokenType::Binary, Opcode::I16X8SubSaturateU},
+ {""}, {""}, {""}, {""},
+#line 443 "src/lexer-keywords.txt"
+ {"i8x16.splat", TokenType::Unary, Opcode::I8X16Splat},
{""},
-#line 148 "src/lexer-keywords.txt"
- {"global.get", TokenType::GlobalGet, Opcode::GlobalGet},
- {""}, {""}, {""},
-#line 413 "src/lexer-keywords.txt"
- {"i8x16.add_saturate_s", TokenType::Binary, Opcode::I8X16AddSaturateS},
- {""},
-#line 414 "src/lexer-keywords.txt"
- {"i8x16.add_saturate_u", TokenType::Binary, Opcode::I8X16AddSaturateU},
- {""}, {""},
-#line 319 "src/lexer-keywords.txt"
- {"i64.atomic.rmw16.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16XorU},
-#line 204 "src/lexer-keywords.txt"
- {"i32.atomic.rmw16.xor_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16XorU},
#line 513 "src/lexer-keywords.txt"
- {"anyfunc", Type::Funcref},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 440 "src/lexer-keywords.txt"
- {"i8x16.shr_s", TokenType::Binary, Opcode::I8X16ShrS},
- {""}, {""}, {""},
-#line 441 "src/lexer-keywords.txt"
- {"i8x16.shr_u", TokenType::Binary, Opcode::I8X16ShrU},
- {""},
-#line 140 "src/lexer-keywords.txt"
- {"f64x2.replace_lane", TokenType::SimdLaneOp, Opcode::F64X2ReplaceLane},
- {""}, {""},
-#line 405 "src/lexer-keywords.txt"
- {"i64x2.replace_lane", TokenType::SimdLaneOp, Opcode::I64X2ReplaceLane},
- {""}, {""},
-#line 113 "src/lexer-keywords.txt"
- {"f64.max", TokenType::Binary, Opcode::F64Max},
-#line 63 "src/lexer-keywords.txt"
- {"f32.max", TokenType::Binary, Opcode::F32Max},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 376 "src/lexer-keywords.txt"
- {"i64.popcnt", TokenType::Unary, Opcode::I64Popcnt},
-#line 248 "src/lexer-keywords.txt"
- {"i32.popcnt", TokenType::Unary, Opcode::I32Popcnt},
- {""}, {""},
-#line 439 "src/lexer-keywords.txt"
- {"i8x16.shl", TokenType::Binary, Opcode::I8X16Shl},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 286 "src/lexer-keywords.txt"
- {"i32x4.max_s", TokenType::Binary, Opcode::I32X4MaxS},
+ {"v8x16.swizzle", TokenType::Binary, Opcode::V8X16Swizzle},
{""}, {""}, {""},
-#line 287 "src/lexer-keywords.txt"
- {"i32x4.max_u", TokenType::Binary, Opcode::I32X4MaxU},
- {""},
-#line 318 "src/lexer-keywords.txt"
- {"i64.atomic.rmw16.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16XchgU},
-#line 203 "src/lexer-keywords.txt"
- {"i32.atomic.rmw16.xchg_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16XchgU},
- {""}, {""}, {""}, {""}, {""},
-#line 304 "src/lexer-keywords.txt"
+#line 305 "src/lexer-keywords.txt"
{"i32x4.widen_low_i16x8_s", TokenType::Unary, Opcode::I32X4WidenLowI16X8S},
{""},
-#line 305 "src/lexer-keywords.txt"
+#line 306 "src/lexer-keywords.txt"
{"i32x4.widen_low_i16x8_u", TokenType::Unary, Opcode::I32X4WidenLowI16X8U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 465 "src/lexer-keywords.txt"
- {"nop", TokenType::Nop, Opcode::Nop},
- {""}, {""}, {""}, {""},
-#line 92 "src/lexer-keywords.txt"
- {"f32x4.splat", TokenType::Unary, Opcode::F32X4Splat},
{""}, {""},
-#line 297 "src/lexer-keywords.txt"
- {"i32x4.splat", TokenType::Unary, Opcode::I32X4Splat},
+#line 131 "src/lexer-keywords.txt"
+ {"f64x2.extract_lane", TokenType::SimdLaneOp, Opcode::F64X2ExtractLane},
+ {""}, {""}, {""}, {""},
+#line 401 "src/lexer-keywords.txt"
+ {"i64x2.extract_lane", TokenType::SimdLaneOp, Opcode::I64X2ExtractLane},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""},
-#line 152 "src/lexer-keywords.txt"
- {"i16x8.add_saturate_s", TokenType::Binary, Opcode::I16X8AddSaturateS},
+#line 185 "src/lexer-keywords.txt"
+ {"i16x8.splat", TokenType::Unary, Opcode::I16X8Splat},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 250 "src/lexer-keywords.txt"
+ {"i32.reinterpret_f32", TokenType::Convert, Opcode::I32ReinterpretF32},
+ {""}, {""},
+#line 414 "src/lexer-keywords.txt"
+ {"i8x16.add_saturate_s", TokenType::Binary, Opcode::I8X16AddSaturateS},
{""},
-#line 153 "src/lexer-keywords.txt"
- {"i16x8.add_saturate_u", TokenType::Binary, Opcode::I16X8AddSaturateU},
+#line 415 "src/lexer-keywords.txt"
+ {"i8x16.add_saturate_u", TokenType::Binary, Opcode::I8X16AddSaturateU},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 424 "src/lexer-keywords.txt"
- {"i8x16.gt_s", TokenType::Compare, Opcode::I8X16GtS},
+#line 378 "src/lexer-keywords.txt"
+ {"i64.reinterpret_f64", TokenType::Convert, Opcode::I64ReinterpretF64},
{""},
#line 425 "src/lexer-keywords.txt"
+ {"i8x16.gt_s", TokenType::Compare, Opcode::I8X16GtS},
+ {""},
+#line 426 "src/lexer-keywords.txt"
{"i8x16.gt_u", TokenType::Compare, Opcode::I8X16GtU},
+ {""}, {""},
+#line 530 "src/lexer-keywords.txt"
+ {"i32.reinterpret/f32", TokenType::Convert, Opcode::I32ReinterpretF32},
{""},
-#line 80 "src/lexer-keywords.txt"
- {"f32x4.eq", TokenType::Compare, Opcode::F32X4Eq},
-#line 182 "src/lexer-keywords.txt"
- {"i16x8.shr_s", TokenType::Binary, Opcode::I16X8ShrS},
-#line 422 "src/lexer-keywords.txt"
- {"i8x16.ge_s", TokenType::Compare, Opcode::I8X16GeS},
-#line 274 "src/lexer-keywords.txt"
- {"i32x4.eq", TokenType::Compare, Opcode::I32X4Eq},
#line 423 "src/lexer-keywords.txt"
+ {"i8x16.ge_s", TokenType::Compare, Opcode::I8X16GeS},
+ {""},
+#line 424 "src/lexer-keywords.txt"
{"i8x16.ge_u", TokenType::Compare, Opcode::I8X16GeU},
-#line 183 "src/lexer-keywords.txt"
- {"i16x8.shr_u", TokenType::Binary, Opcode::I16X8ShrU},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""},
-#line 181 "src/lexer-keywords.txt"
- {"i16x8.shl", TokenType::Binary, Opcode::I16X8Shl},
+#line 485 "src/lexer-keywords.txt"
+ {"table.copy", TokenType::TableCopy, Opcode::TableCopy},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 153 "src/lexer-keywords.txt"
+ {"i16x8.add_saturate_s", TokenType::Binary, Opcode::I16X8AddSaturateS},
+ {""},
+#line 154 "src/lexer-keywords.txt"
+ {"i16x8.add_saturate_u", TokenType::Binary, Opcode::I16X8AddSaturateU},
+#line 542 "src/lexer-keywords.txt"
+ {"i64.reinterpret/f64", TokenType::Convert, Opcode::I64ReinterpretF64},
+#line 509 "src/lexer-keywords.txt"
+ {"v32x4.load_splat", TokenType::Load, Opcode::V32X4LoadSplat},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 287 "src/lexer-keywords.txt"
+ {"i32x4.max_s", TokenType::Binary, Opcode::I32X4MaxS},
{""}, {""},
-#line 135 "src/lexer-keywords.txt"
- {"f64x2.max", TokenType::Binary, Opcode::F64X2Max},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 249 "src/lexer-keywords.txt"
- {"i32.reinterpret_f32", TokenType::Convert, Opcode::I32ReinterpretF32},
+#line 164 "src/lexer-keywords.txt"
+ {"i16x8.gt_s", TokenType::Compare, Opcode::I16X8GtS},
+#line 288 "src/lexer-keywords.txt"
+ {"i32x4.max_u", TokenType::Binary, Opcode::I32X4MaxU},
+#line 165 "src/lexer-keywords.txt"
+ {"i16x8.gt_u", TokenType::Compare, Opcode::I16X8GtU},
+ {""}, {""}, {""}, {""},
+#line 162 "src/lexer-keywords.txt"
+ {"i16x8.ge_s", TokenType::Compare, Opcode::I16X8GeS},
{""},
-#line 510 "src/lexer-keywords.txt"
- {"v8x16.shuffle", TokenType::SimdShuffleOp, Opcode::V8X16Shuffle},
+#line 163 "src/lexer-keywords.txt"
+ {"i16x8.ge_u", TokenType::Compare, Opcode::I16X8GeU},
+#line 114 "src/lexer-keywords.txt"
+ {"f64.max", TokenType::Binary, Opcode::F64Max},
+#line 64 "src/lexer-keywords.txt"
+ {"f32.max", TokenType::Binary, Opcode::F32Max},
{""}, {""},
-#line 23 "src/lexer-keywords.txt"
- {"assert_trap", TokenType::AssertTrap},
- {""}, {""}, {""},
-#line 457 "src/lexer-keywords.txt"
+#line 459 "src/lexer-keywords.txt"
{"memory.grow", TokenType::MemoryGrow, Opcode::MemoryGrow},
- {""}, {""}, {""}, {""}, {""},
-#line 528 "src/lexer-keywords.txt"
- {"i32.reinterpret/f32", TokenType::Convert, Opcode::I32ReinterpretF32},
+ {""},
+#line 295 "src/lexer-keywords.txt"
+ {"i32x4.shl", TokenType::Binary, Opcode::I32X4Shl},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""},
-#line 163 "src/lexer-keywords.txt"
- {"i16x8.gt_s", TokenType::Compare, Opcode::I16X8GtS},
- {""},
-#line 164 "src/lexer-keywords.txt"
- {"i16x8.gt_u", TokenType::Compare, Opcode::I16X8GtU},
-#line 493 "src/lexer-keywords.txt"
- {"try", TokenType::Try, Opcode::Try},
- {""}, {""},
-#line 161 "src/lexer-keywords.txt"
- {"i16x8.ge_s", TokenType::Compare, Opcode::I16X8GeS},
+#line 271 "src/lexer-keywords.txt"
+ {"i32.wrap_i64", TokenType::Convert, Opcode::I32WrapI64},
{""},
-#line 162 "src/lexer-keywords.txt"
- {"i16x8.ge_u", TokenType::Compare, Opcode::I16X8GeU},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 273 "src/lexer-keywords.txt"
- {"i32x4.any_true", TokenType::Unary, Opcode::I32X4AnyTrue},
-#line 430 "src/lexer-keywords.txt"
- {"i8x16.max_s", TokenType::Binary, Opcode::I8X16MaxS},
+#line 296 "src/lexer-keywords.txt"
+ {"i32x4.shr_s", TokenType::Binary, Opcode::I32X4ShrS},
{""}, {""}, {""},
-#line 431 "src/lexer-keywords.txt"
- {"i8x16.max_u", TokenType::Binary, Opcode::I8X16MaxU},
-#line 460 "src/lexer-keywords.txt"
- {"memory", TokenType::Memory},
- {""}, {""}, {""}, {""}, {""},
-#line 39 "src/lexer-keywords.txt"
- {"elem.drop", TokenType::ElemDrop, Opcode::ElemDrop},
-#line 300 "src/lexer-keywords.txt"
- {"i32x4.trunc_sat_f32x4_s", TokenType::Unary, Opcode::I32X4TruncSatF32X4S},
- {""},
-#line 301 "src/lexer-keywords.txt"
- {"i32x4.trunc_sat_f32x4_u", TokenType::Unary, Opcode::I32X4TruncSatF32X4U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 26 "src/lexer-keywords.txt"
- {"binary", TokenType::Bin},
+#line 297 "src/lexer-keywords.txt"
+ {"i32x4.shr_u", TokenType::Binary, Opcode::I32X4ShrU},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 442 "src/lexer-keywords.txt"
- {"i8x16.splat", TokenType::Unary, Opcode::I8X16Splat},
- {""}, {""}, {""}, {""}, {""},
-#line 36 "src/lexer-keywords.txt"
- {"data.drop", TokenType::DataDrop, Opcode::DataDrop},
- {""}, {""}, {""}, {""},
-#line 340 "src/lexer-keywords.txt"
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 539 "src/lexer-keywords.txt"
+ {"i32.wrap/i64", TokenType::Convert, Opcode::I32WrapI64},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""},
+#line 341 "src/lexer-keywords.txt"
{"i64.atomic.rmw.xor", TokenType::AtomicRmw, Opcode::I64AtomicRmwXor},
-#line 218 "src/lexer-keywords.txt"
+#line 219 "src/lexer-keywords.txt"
{"i32.atomic.rmw.xor", TokenType::AtomicRmw, Opcode::I32AtomicRmwXor},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""},
+#line 495 "src/lexer-keywords.txt"
+ {"try", TokenType::Try, Opcode::Try},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""},
-#line 377 "src/lexer-keywords.txt"
- {"i64.reinterpret_f64", TokenType::Convert, Opcode::I64ReinterpretF64},
+#line 528 "src/lexer-keywords.txt"
+ {"get_global", TokenType::GlobalGet, Opcode::GlobalGet},
+#line 462 "src/lexer-keywords.txt"
+ {"memory", TokenType::Memory},
{""},
-#line 419 "src/lexer-keywords.txt"
- {"i8x16.eq", TokenType::Compare, Opcode::I8X16Eq},
-#line 418 "src/lexer-keywords.txt"
- {"i8x16.avgr_u", TokenType::Binary, Opcode::I8X16AvgrU},
- {""}, {""}, {""}, {""}, {""},
-#line 332 "src/lexer-keywords.txt"
- {"i64.atomic.rmw8.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8XchgU},
-#line 210 "src/lexer-keywords.txt"
- {"i32.atomic.rmw8.xchg_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8XchgU},
- {""}, {""}, {""}, {""},
-#line 540 "src/lexer-keywords.txt"
- {"i64.reinterpret/f64", TokenType::Convert, Opcode::I64ReinterpretF64},
- {""}, {""}, {""}, {""}, {""}, {""},
#line 81 "src/lexer-keywords.txt"
- {"f32x4.extract_lane", TokenType::SimdLaneOp, Opcode::F32X4ExtractLane},
+ {"f32x4.eq", TokenType::Compare, Opcode::F32X4Eq},
+ {""},
+#line 92 "src/lexer-keywords.txt"
+ {"f32x4.replace_lane", TokenType::SimdLaneOp, Opcode::F32X4ReplaceLane},
{""}, {""},
#line 275 "src/lexer-keywords.txt"
- {"i32x4.extract_lane", TokenType::SimdLaneOp, Opcode::I32X4ExtractLane},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 171 "src/lexer-keywords.txt"
- {"i16x8.max_s", TokenType::Binary, Opcode::I16X8MaxS},
+ {"i32x4.eq", TokenType::Compare, Opcode::I32X4Eq},
{""},
-#line 270 "src/lexer-keywords.txt"
- {"i32.wrap_i64", TokenType::Convert, Opcode::I32WrapI64},
+#line 294 "src/lexer-keywords.txt"
+ {"i32x4.replace_lane", TokenType::SimdLaneOp, Opcode::I32X4ReplaceLane},
+#line 136 "src/lexer-keywords.txt"
+ {"f64x2.max", TokenType::Binary, Opcode::F64X2Max},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 26 "src/lexer-keywords.txt"
+ {"binary", TokenType::Bin},
+ {""}, {""},
+#line 419 "src/lexer-keywords.txt"
+ {"i8x16.avgr_u", TokenType::Binary, Opcode::I8X16AvgrU},
+ {""}, {""},
+#line 511 "src/lexer-keywords.txt"
+ {"v8x16.load_splat", TokenType::Load, Opcode::V8X16LoadSplat},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 431 "src/lexer-keywords.txt"
+ {"i8x16.max_s", TokenType::Binary, Opcode::I8X16MaxS},
+ {""}, {""}, {""},
+#line 432 "src/lexer-keywords.txt"
+ {"i8x16.max_u", TokenType::Binary, Opcode::I8X16MaxU},
+ {""}, {""}, {""}, {""}, {""},
+#line 90 "src/lexer-keywords.txt"
+ {"f32x4.neg", TokenType::Unary, Opcode::F32X4Neg},
+ {""}, {""}, {""},
+#line 301 "src/lexer-keywords.txt"
+ {"i32x4.trunc_sat_f32x4_s", TokenType::Unary, Opcode::I32X4TruncSatF32X4S},
+#line 292 "src/lexer-keywords.txt"
+ {"i32x4.neg", TokenType::Unary, Opcode::I32X4Neg},
+#line 302 "src/lexer-keywords.txt"
+ {"i32x4.trunc_sat_f32x4_u", TokenType::Unary, Opcode::I32X4TruncSatF32X4U},
+ {""}, {""},
+#line 440 "src/lexer-keywords.txt"
+ {"i8x16.shl", TokenType::Binary, Opcode::I8X16Shl},
{""},
+#line 158 "src/lexer-keywords.txt"
+ {"i16x8.avgr_u", TokenType::Binary, Opcode::I16X8AvgrU},
+ {""}, {""},
+#line 508 "src/lexer-keywords.txt"
+ {"v16x8.load_splat", TokenType::Load, Opcode::V16X8LoadSplat},
+ {""}, {""}, {""}, {""}, {""},
+#line 274 "src/lexer-keywords.txt"
+ {"i32x4.any_true", TokenType::Unary, Opcode::I32X4AnyTrue},
#line 172 "src/lexer-keywords.txt"
+ {"i16x8.max_s", TokenType::Binary, Opcode::I16X8MaxS},
+ {""}, {""}, {""},
+#line 173 "src/lexer-keywords.txt"
{"i16x8.max_u", TokenType::Binary, Opcode::I16X8MaxU},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 441 "src/lexer-keywords.txt"
+ {"i8x16.shr_s", TokenType::Binary, Opcode::I8X16ShrS},
+ {""}, {""}, {""},
+#line 442 "src/lexer-keywords.txt"
+ {"i8x16.shr_u", TokenType::Binary, Opcode::I8X16ShrU},
+ {""}, {""}, {""},
+#line 182 "src/lexer-keywords.txt"
+ {"i16x8.shl", TokenType::Binary, Opcode::I16X8Shl},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""},
-#line 537 "src/lexer-keywords.txt"
- {"i32.wrap/i64", TokenType::Convert, Opcode::I32WrapI64},
+#line 82 "src/lexer-keywords.txt"
+ {"f32x4.extract_lane", TokenType::SimdLaneOp, Opcode::F32X4ExtractLane},
+ {""}, {""}, {""}, {""},
+#line 276 "src/lexer-keywords.txt"
+ {"i32x4.extract_lane", TokenType::SimdLaneOp, Opcode::I32X4ExtractLane},
+ {""}, {""}, {""}, {""},
+#line 183 "src/lexer-keywords.txt"
+ {"i16x8.shr_s", TokenType::Binary, Opcode::I16X8ShrS},
{""}, {""}, {""},
-#line 89 "src/lexer-keywords.txt"
- {"f32x4.neg", TokenType::Unary, Opcode::F32X4Neg},
- {""},
-#line 507 "src/lexer-keywords.txt"
- {"v32x4.load_splat", TokenType::Load, Opcode::V32X4LoadSplat},
-#line 291 "src/lexer-keywords.txt"
- {"i32x4.neg", TokenType::Unary, Opcode::I32X4Neg},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
#line 184 "src/lexer-keywords.txt"
- {"i16x8.splat", TokenType::Unary, Opcode::I16X8Splat},
+ {"i16x8.shr_u", TokenType::Binary, Opcode::I16X8ShrU},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""},
+#line 512 "src/lexer-keywords.txt"
+ {"v8x16.shuffle", TokenType::SimdShuffleOp, Opcode::V8X16Shuffle},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 77 "src/lexer-keywords.txt"
- {"f32x4.convert_i32x4_s", TokenType::Unary, Opcode::F32X4ConvertI32X4S},
- {""},
-#line 78 "src/lexer-keywords.txt"
- {"f32x4.convert_i32x4_u", TokenType::Unary, Opcode::F32X4ConvertI32X4U},
-#line 483 "src/lexer-keywords.txt"
- {"table.copy", TokenType::TableCopy, Opcode::TableCopy},
- {""}, {""}, {""}, {""}, {""},
-#line 91 "src/lexer-keywords.txt"
- {"f32x4.replace_lane", TokenType::SimdLaneOp, Opcode::F32X4ReplaceLane},
- {""}, {""},
-#line 293 "src/lexer-keywords.txt"
- {"i32x4.replace_lane", TokenType::SimdLaneOp, Opcode::I32X4ReplaceLane},
- {""}, {""}, {""},
-#line 158 "src/lexer-keywords.txt"
- {"i16x8.eq", TokenType::Compare, Opcode::I16X8Eq},
-#line 157 "src/lexer-keywords.txt"
- {"i16x8.avgr_u", TokenType::Binary, Opcode::I16X8AvgrU},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 417 "src/lexer-keywords.txt"
- {"i8x16.any_true", TokenType::Unary, Opcode::I8X16AnyTrue},
+#line 105 "src/lexer-keywords.txt"
+ {"f64.copysign", TokenType::Binary, Opcode::F64Copysign},
+#line 54 "src/lexer-keywords.txt"
+ {"f32.copysign", TokenType::Binary, Opcode::F32Copysign},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""},
-#line 302 "src/lexer-keywords.txt"
- {"i32x4.widen_high_i16x8_s", TokenType::Unary, Opcode::I32X4WidenHighI16X8S},
+ {""}, {""}, {""}, {""}, {""},
+#line 420 "src/lexer-keywords.txt"
+ {"i8x16.eq", TokenType::Compare, Opcode::I8X16Eq},
{""},
-#line 303 "src/lexer-keywords.txt"
- {"i32x4.widen_high_i16x8_u", TokenType::Unary, Opcode::I32X4WidenHighI16X8U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 439 "src/lexer-keywords.txt"
+ {"i8x16.replace_lane", TokenType::SimdLaneOp, Opcode::I8X16ReplaceLane},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""},
-#line 35 "src/lexer-keywords.txt"
- {"current_memory", TokenType::MemorySize, Opcode::MemorySize},
+#line 159 "src/lexer-keywords.txt"
+ {"i16x8.eq", TokenType::Compare, Opcode::I16X8Eq},
+ {""},
+#line 181 "src/lexer-keywords.txt"
+ {"i16x8.replace_lane", TokenType::SimdLaneOp, Opcode::I16X8ReplaceLane},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""},
+#line 78 "src/lexer-keywords.txt"
+ {"f32x4.convert_i32x4_s", TokenType::Unary, Opcode::F32X4ConvertI32X4S},
+ {""},
+#line 79 "src/lexer-keywords.txt"
+ {"f32x4.convert_i32x4_u", TokenType::Unary, Opcode::F32X4ConvertI32X4U},
{""}, {""}, {""},
-#line 282 "src/lexer-keywords.txt"
+#line 437 "src/lexer-keywords.txt"
+ {"i8x16.neg", TokenType::Unary, Opcode::I8X16Neg},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 192 "src/lexer-keywords.txt"
+ {"i16x8.widen_low_i8x16_s", TokenType::Unary, Opcode::I16X8WidenLowI8X16S},
+ {""},
+#line 193 "src/lexer-keywords.txt"
+ {"i16x8.widen_low_i8x16_u", TokenType::Unary, Opcode::I16X8WidenLowI8X16U},
+#line 283 "src/lexer-keywords.txt"
{"i32x4.load16x4_s", TokenType::Load, Opcode::I32X4Load16X4S},
{""}, {""}, {""},
-#line 283 "src/lexer-keywords.txt"
+#line 284 "src/lexer-keywords.txt"
{"i32x4.load16x4_u", TokenType::Load, Opcode::I32X4Load16X4U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 418 "src/lexer-keywords.txt"
+ {"i8x16.any_true", TokenType::Unary, Opcode::I8X16AnyTrue},
+ {""}, {""}, {""},
+#line 333 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw8.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8XchgU},
+#line 211 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw8.xchg_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8XchgU},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 337 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw.cmpxchg", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmwCmpxchg},
+#line 215 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw.cmpxchg", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmwCmpxchg},
+ {""},
+#line 179 "src/lexer-keywords.txt"
+ {"i16x8.neg", TokenType::Unary, Opcode::I16X8Neg},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""},
-#line 420 "src/lexer-keywords.txt"
+#line 157 "src/lexer-keywords.txt"
+ {"i16x8.any_true", TokenType::Unary, Opcode::I16X8AnyTrue},
+ {""}, {""}, {""}, {""}, {""},
+#line 421 "src/lexer-keywords.txt"
{"i8x16.extract_lane_s", TokenType::SimdLaneOp, Opcode::I8X16ExtractLaneS},
{""},
-#line 421 "src/lexer-keywords.txt"
+#line 422 "src/lexer-keywords.txt"
{"i8x16.extract_lane_u", TokenType::SimdLaneOp, Opcode::I8X16ExtractLaneU},
- {""},
-#line 156 "src/lexer-keywords.txt"
- {"i16x8.any_true", TokenType::Unary, Opcode::I16X8AnyTrue},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 86 "src/lexer-keywords.txt"
- {"f32x4.max", TokenType::Binary, Opcode::F32X4Max},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 509 "src/lexer-keywords.txt"
- {"v8x16.load_splat", TokenType::Load, Opcode::V8X16LoadSplat},
-#line 436 "src/lexer-keywords.txt"
- {"i8x16.neg", TokenType::Unary, Opcode::I8X16Neg},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""},
-#line 25 "src/lexer-keywords.txt"
- {"atomic.notify", TokenType::AtomicNotify, Opcode::AtomicNotify},
{""}, {""}, {""}, {""},
-#line 438 "src/lexer-keywords.txt"
- {"i8x16.replace_lane", TokenType::SimdLaneOp, Opcode::I8X16ReplaceLane},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+#line 35 "src/lexer-keywords.txt"
+ {"current_memory", TokenType::MemorySize, Opcode::MemorySize},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""},
-#line 159 "src/lexer-keywords.txt"
- {"i16x8.extract_lane_s", TokenType::SimdLaneOp, Opcode::I16X8ExtractLaneS},
+#line 168 "src/lexer-keywords.txt"
+ {"i16x8.load8x8_s", TokenType::Load, Opcode::I16X8Load8X8S},
{""},
+#line 169 "src/lexer-keywords.txt"
+ {"i16x8.load8x8_u", TokenType::Load, Opcode::I16X8Load8X8U},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
#line 160 "src/lexer-keywords.txt"
- {"i16x8.extract_lane_u", TokenType::SimdLaneOp, Opcode::I16X8ExtractLaneU},
- {""}, {""}, {""}, {""}, {""},
-#line 191 "src/lexer-keywords.txt"
- {"i16x8.widen_low_i8x16_s", TokenType::Unary, Opcode::I16X8WidenLowI8X16S},
- {""},
-#line 192 "src/lexer-keywords.txt"
- {"i16x8.widen_low_i8x16_u", TokenType::Unary, Opcode::I16X8WidenLowI8X16U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 176 "src/lexer-keywords.txt"
- {"i16x8.narrow_i32x4_s", TokenType::Binary, Opcode::I16X8NarrowI32X4S},
+ {"i16x8.extract_lane_s", TokenType::SimdLaneOp, Opcode::I16X8ExtractLaneS},
{""},
+#line 161 "src/lexer-keywords.txt"
+ {"i16x8.extract_lane_u", TokenType::SimdLaneOp, Opcode::I16X8ExtractLaneU},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 25 "src/lexer-keywords.txt"
+ {"atomic.notify", TokenType::AtomicNotify, Opcode::AtomicNotify},
+ {""}, {""}, {""},
#line 177 "src/lexer-keywords.txt"
- {"i16x8.narrow_i32x4_u", TokenType::Binary, Opcode::I16X8NarrowI32X4U},
- {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 506 "src/lexer-keywords.txt"
- {"v16x8.load_splat", TokenType::Load, Opcode::V16X8LoadSplat},
+ {"i16x8.narrow_i32x4_s", TokenType::Binary, Opcode::I16X8NarrowI32X4S},
+#line 87 "src/lexer-keywords.txt"
+ {"f32x4.max", TokenType::Binary, Opcode::F32X4Max},
#line 178 "src/lexer-keywords.txt"
- {"i16x8.neg", TokenType::Unary, Opcode::I16X8Neg},
+ {"i16x8.narrow_i32x4_u", TokenType::Binary, Opcode::I16X8NarrowI32X4U},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""},
-#line 167 "src/lexer-keywords.txt"
- {"i16x8.load8x8_s", TokenType::Load, Opcode::I16X8Load8X8S},
- {""},
-#line 168 "src/lexer-keywords.txt"
- {"i16x8.load8x8_u", TokenType::Load, Opcode::I16X8Load8X8U},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""},
-#line 180 "src/lexer-keywords.txt"
- {"i16x8.replace_lane", TokenType::SimdLaneOp, Opcode::I16X8ReplaceLane},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
-#line 189 "src/lexer-keywords.txt"
- {"i16x8.widen_high_i8x16_s", TokenType::Unary, Opcode::I16X8WidenHighI8X16S},
- {""},
-#line 190 "src/lexer-keywords.txt"
- {"i16x8.widen_high_i8x16_u", TokenType::Unary, Opcode::I16X8WidenHighI8X16U},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""},
-#line 104 "src/lexer-keywords.txt"
- {"f64.copysign", TokenType::Binary, Opcode::F64Copysign},
-#line 53 "src/lexer-keywords.txt"
- {"f32.copysign", TokenType::Binary, Opcode::F32Copysign},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
@@ -1534,22 +1501,18 @@ Perfect_Hash::InWordSet (const char *str, size_t len)
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""},
-#line 336 "src/lexer-keywords.txt"
- {"i64.atomic.rmw.cmpxchg", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmwCmpxchg},
-#line 214 "src/lexer-keywords.txt"
- {"i32.atomic.rmw.cmpxchg", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmwCmpxchg},
- {""}, {""}, {""}, {""}, {""},
-#line 151 "src/lexer-keywords.txt"
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""},
+#line 152 "src/lexer-keywords.txt"
{"grow_memory", TokenType::MemoryGrow, Opcode::MemoryGrow},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""},
-#line 434 "src/lexer-keywords.txt"
- {"i8x16.narrow_i16x8_s", TokenType::Binary, Opcode::I8X16NarrowI16X8S},
{""},
#line 435 "src/lexer-keywords.txt"
+ {"i8x16.narrow_i16x8_s", TokenType::Binary, Opcode::I8X16NarrowI16X8S},
+ {""},
+#line 436 "src/lexer-keywords.txt"
{"i8x16.narrow_i16x8_u", TokenType::Binary, Opcode::I8X16NarrowI16X8U},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
@@ -1559,29 +1522,49 @@ Perfect_Hash::InWordSet (const char *str, size_t len)
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""},
+#line 303 "src/lexer-keywords.txt"
+ {"i32x4.widen_high_i16x8_s", TokenType::Unary, Opcode::I32X4WidenHighI16X8S},
{""},
-#line 339 "src/lexer-keywords.txt"
- {"i64.atomic.rmw.xchg", TokenType::AtomicRmw, Opcode::I64AtomicRmwXchg},
-#line 217 "src/lexer-keywords.txt"
- {"i32.atomic.rmw.xchg", TokenType::AtomicRmw, Opcode::I32AtomicRmwXchg},
+#line 304 "src/lexer-keywords.txt"
+ {"i32x4.widen_high_i16x8_u", TokenType::Unary, Opcode::I32X4WidenHighI16X8U},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""},
+#line 457 "src/lexer-keywords.txt"
+ {"memory.copy", TokenType::MemoryCopy, Opcode::MemoryCopy},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""},
+#line 190 "src/lexer-keywords.txt"
+ {"i16x8.widen_high_i8x16_s", TokenType::Unary, Opcode::I16X8WidenHighI8X16S},
+ {""},
+#line 191 "src/lexer-keywords.txt"
+ {"i16x8.widen_high_i8x16_u", TokenType::Unary, Opcode::I16X8WidenHighI8X16U},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
{""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
- {""}, {""}, {""}, {""}, {""}, {""},
-#line 455 "src/lexer-keywords.txt"
- {"memory.copy", TokenType::MemoryCopy, Opcode::MemoryCopy}
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""},
+ {""}, {""}, {""}, {""},
+#line 340 "src/lexer-keywords.txt"
+ {"i64.atomic.rmw.xchg", TokenType::AtomicRmw, Opcode::I64AtomicRmwXchg},
+#line 218 "src/lexer-keywords.txt"
+ {"i32.atomic.rmw.xchg", TokenType::AtomicRmw, Opcode::I32AtomicRmwXchg}
};
if (len <= MAX_WORD_LENGTH && len >= MIN_WORD_LENGTH)
diff --git a/src/token.def b/src/token.def
index f2b97ab7..8bd2f2db 100644
--- a/src/token.def
+++ b/src/token.def
@@ -27,7 +27,9 @@ WABT_TOKEN(AssertReturn, "assert_return")
WABT_TOKEN(AssertTrap, "assert_trap")
WABT_TOKEN(AssertUnlinkable, "assert_unlinkable")
WABT_TOKEN(Bin, "bin")
+WABT_TOKEN(Item, "item")
WABT_TOKEN(Data, "data")
+WABT_TOKEN(Declare, "declare")
WABT_TOKEN(Elem, "elem")
WABT_TOKEN(Eof, "EOF")
WABT_TOKEN(Event, "event")
diff --git a/src/validator.cc b/src/validator.cc
index 0e76cd15..c23aeae4 100644
--- a/src/validator.cc
+++ b/src/validator.cc
@@ -130,6 +130,7 @@ class Validator : public ExprVisitor::Delegate {
const char* desc,
Index* out_index);
Result CheckFuncVar(const Var* var, const Func** out_func);
+ Result CheckDeclaredFunc(const Var* var);
Result CheckGlobalVar(const Var* var,
const Global** out_global,
Index* out_global_index);
@@ -204,6 +205,7 @@ class Validator : public ExprVisitor::Delegate {
void CheckEvent(const Location* loc, const Event* Event);
Result CheckEventVar(const Var* var, const Event** out_event);
+ void MarkDeclaredFunctions();
const ValidateOptions& options_;
Errors* errors_ = nullptr;
@@ -216,6 +218,7 @@ class Validator : public ExprVisitor::Delegate {
Index num_imported_globals_ = 0;
Index current_event_index_ = 0;
TypeChecker typechecker_;
+ std::vector<bool> declared_funcs_;
// Cached for access by OnTypecheckerError.
const Location* expr_loc_ = nullptr;
Result result_ = Result::Ok;
@@ -268,6 +271,17 @@ Result Validator::CheckVar(Index max_index,
return Result::Error;
}
+Result Validator::CheckDeclaredFunc(const Var* var) {
+ Index index;
+ CHECK_RESULT(
+ CheckVar(current_module_->funcs.size(), var, "function", &index));
+ if (!declared_funcs_[index]) {
+ PrintError(&var->loc, "function is not declared in any elem sections");
+ return Result::Error;
+ }
+ return Result::Ok;
+}
+
Result Validator::CheckFuncVar(const Var* var, const Func** out_func) {
Index index;
CHECK_RESULT(
@@ -824,7 +838,9 @@ Result Validator::OnRefFuncExpr(RefFuncExpr* expr) {
expr_loc_ = &expr->loc;
const Func* callee;
if (Succeeded(CheckFuncVar(&expr->var, &callee))) {
- typechecker_.OnRefFuncExpr(expr->var.index());
+ if (Succeeded(CheckDeclaredFunc(&expr->var))) {
+ typechecker_.OnRefFuncExpr(expr->var.index());
+ }
}
return Result::Ok;
}
@@ -1072,9 +1088,17 @@ void Validator::CheckConstInitExpr(const Location* loc,
break;
}
- case ExprType::RefFunc:
+ case ExprType::RefFunc: {
+ const Func* ref_func = nullptr;
+ if (Failed(CheckFuncVar(&cast<RefFuncExpr>(expr)->var, &ref_func))) {
+ return;
+ }
+ if (Failed(CheckDeclaredFunc(&cast<RefFuncExpr>(expr)->var))) {
+ return;
+ }
type = Type::Funcref;
break;
+ }
case ExprType::RefNull:
type = Type::Nullref;
@@ -1154,7 +1178,7 @@ void Validator::CheckElemSegments(const Module* module) {
}
}
- if (elem_segment.kind == SegmentKind::Passive) {
+ if (elem_segment.kind != SegmentKind::Active) {
continue;
}
if (Failed(CheckTableVar(&elem_segment.table_var, nullptr))) {
@@ -1274,6 +1298,20 @@ void Validator::CheckDuplicateExportBindings(const Module* module) {
});
}
+void Validator::MarkDeclaredFunctions() {
+ declared_funcs_.resize(current_module_->funcs.size());
+ for (const ElemSegment* seg : current_module_->elem_segments) {
+ for (const ElemExpr& expr : seg->elem_exprs) {
+ if (expr.kind == ElemExprKind::RefFunc) {
+ Index func_index = expr.var.index();
+ if (func_index < declared_funcs_.size()) {
+ declared_funcs_[func_index] = true;
+ }
+ }
+ }
+ }
+}
+
Result Validator::CheckModule(const Module* module) {
bool seen_start = false;
@@ -1283,6 +1321,7 @@ Result Validator::CheckModule(const Module* module) {
current_global_index_ = 0;
num_imported_globals_ = 0;
current_event_index_ = 0;
+ MarkDeclaredFunctions();
for (const ModuleField& field : module->fields) {
switch (field.type()) {
diff --git a/src/wast-parser.cc b/src/wast-parser.cc
index a5edc6e3..4f86b0dd 100644
--- a/src/wast-parser.cc
+++ b/src/wast-parser.cc
@@ -646,23 +646,28 @@ Result WastParser::ParseVarList(VarVector* out_var_list) {
bool WastParser::ParseElemExprOpt(ElemExpr* out_elem_expr) {
Location loc = GetLocation();
- if (MatchLpar(TokenType::RefNull)) {
+ bool item = MatchLpar(TokenType::Item);
+ bool lpar = Match(TokenType::Lpar);
+ if (Match(TokenType::RefNull)) {
if (!(options_->features.bulk_memory_enabled() ||
options_->features.reference_types_enabled())) {
Error(loc, "ref.null not allowed");
}
*out_elem_expr = ElemExpr();
- EXPECT(Rpar);
- return true;
- } else if (MatchLpar(TokenType::RefFunc)) {
+ } else if (Match(TokenType::RefFunc)) {
Var var;
CHECK_RESULT(ParseVar(&var));
*out_elem_expr = ElemExpr(var);
- EXPECT(Rpar);
- return true;
} else {
return false;
}
+ if (lpar) {
+ EXPECT(Rpar);
+ }
+ if (item) {
+ EXPECT(Rpar);
+ }
+ return true;
}
bool WastParser::ParseElemExprListOpt(ElemExprVector* out_list) {
@@ -989,6 +994,10 @@ Result WastParser::ParseElemModuleField(Module* module) {
segment_name = "";
}
auto field = MakeUnique<ElemSegmentModuleField>(loc, segment_name);
+ if (options_->features.reference_types_enabled() &&
+ Match(TokenType::Declare)) {
+ field->elem_segment.kind = SegmentKind::Declared;
+ }
// Optional table specifier
if (options_->features.bulk_memory_enabled()) {
@@ -1008,7 +1017,8 @@ Result WastParser::ParseElemModuleField(Module* module) {
}
}
- if (!ParseOffsetExprOpt(&field->elem_segment.offset)) {
+ if ((field->elem_segment.kind != SegmentKind::Declared) &&
+ !ParseOffsetExprOpt(&field->elem_segment.offset)) {
field->elem_segment.kind = SegmentKind::Passive;
}
diff --git a/src/wat-writer.cc b/src/wat-writer.cc
index 88b79445..1214b42a 100644
--- a/src/wat-writer.cc
+++ b/src/wat-writer.cc
@@ -1264,6 +1264,10 @@ void WatWriter::WriteElemSegment(const ElemSegment& segment) {
WriteInitExpr(segment.offset);
}
+ if (flags == SegDeclared) {
+ WritePuts("declare", NextChar::Space);
+ }
+
if (flags & SegUseElemExprs) {
WriteType(segment.elem_type, NextChar::Space);
} else {
diff --git a/test/binary/bad-elem-flags-declared.txt b/test/binary/bad-elem-flags-declared.txt
deleted file mode 100644
index 95e2c40b..00000000
--- a/test/binary/bad-elem-flags-declared.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-;;; TOOL: run-gen-wasm-bad
-magic
-version
-section(TABLE) {
- count[1]
- anyfunc
- has_max[0]
- initial[0]
-}
-section(ELEM) {
- count[1]
- flags[3]
-}
-(;; STDERR ;;;
-0000012: error: declared segments aren't supported
-0000012: error: declared segments aren't supported
-;;; STDERR ;;)
diff --git a/test/parse/expr/reference-types.txt b/test/parse/expr/reference-types.txt
index 8fa9dcd5..e5e87ecd 100644
--- a/test/parse/expr/reference-types.txt
+++ b/test/parse/expr/reference-types.txt
@@ -6,6 +6,7 @@
(table $bar 1 anyref)
(table $baz 1 anyfunc)
(table $qux 1 nullref)
+ (elem declare func 0)
(func (result anyref)
i32.const 0
diff --git a/test/parse/module/global.txt b/test/parse/module/global.txt
index c1212322..0763ee47 100644
--- a/test/parse/module/global.txt
+++ b/test/parse/module/global.txt
@@ -5,6 +5,8 @@
(import "foo" "i64_global" (global i64))
(import "foo" "f32_global" (global f32))
(import "foo" "f64_global" (global f64))
+ (table 10 funcref)
+ (elem declare func $foo)
(global i32 (i32.const 1))
(global i64 (i64.const 2))
diff --git a/test/spec/bulk-memory-operations/bulk.txt b/test/spec/bulk-memory-operations/bulk.txt
index 9ae4a80e..e408d018 100644
--- a/test/spec/bulk-memory-operations/bulk.txt
+++ b/test/spec/bulk-memory-operations/bulk.txt
@@ -32,22 +32,22 @@ init_passive(i32:0) =>
drop_active() =>
out/test/spec/bulk-memory-operations/bulk.wast:176: assert_trap passed: out of bounds memory access: memory.init out of bounds
init_active(i32:0) =>
-out/test/spec/bulk-memory-operations/bulk.wast:201: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/bulk.wast:203: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/bulk.wast:217: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:219: assert_trap passed: uninitialized table element
init(i32:0, i32:1, i32:2) =>
-out/test/spec/bulk-memory-operations/bulk.wast:209: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/bulk.wast:225: assert_trap passed: uninitialized table element
init(i32:1, i32:2, i32:2) =>
init(i32:3, i32:0, i32:0) =>
init(i32:0, i32:4, i32:0) =>
-out/test/spec/bulk-memory-operations/bulk.wast:219: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/bulk.wast:221: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:235: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:237: assert_trap passed: out of bounds table access: table.init out of bounds
init_passive(i32:1) =>
drop_passive() =>
drop_passive() =>
-out/test/spec/bulk-memory-operations/bulk.wast:247: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:263: assert_trap passed: out of bounds table access: table.init out of bounds
init_passive(i32:0) =>
drop_active() =>
-out/test/spec/bulk-memory-operations/bulk.wast:251: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:267: assert_trap passed: out of bounds table access: table.init out of bounds
init_active(i32:0) =>
copy(i32:3, i32:0, i32:3) =>
copy(i32:0, i32:1, i32:3) =>
@@ -56,7 +56,7 @@ copy(i32:6, i32:8, i32:2) =>
copy(i32:8, i32:6, i32:2) =>
copy(i32:10, i32:0, i32:0) =>
copy(i32:0, i32:10, i32:0) =>
-out/test/spec/bulk-memory-operations/bulk.wast:304: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/bulk.wast:306: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:344: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:346: assert_trap passed: out of bounds table access: table.copy out of bounds
104/104 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/reference-types/elem.txt b/test/spec/reference-types/elem.txt
index 70a31e25..531f5ee9 100644
--- a/test/spec/reference-types/elem.txt
+++ b/test/spec/reference-types/elem.txt
@@ -2,18 +2,20 @@
;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/elem.wast
;;; ARGS*: --enable-reference-types
(;; STDOUT ;;;
-out/test/spec/reference-types/elem.wast:300: assert_invalid passed:
+out/test/spec/reference-types/elem.wast:320: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/reference-types/elem.wast:330: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/reference-types/elem.wast:335: assert_invalid passed:
0000015: error: elem section without table section
-out/test/spec/reference-types/elem.wast:310: assert_invalid passed:
+out/test/spec/reference-types/elem.wast:345: assert_invalid passed:
0000014: error: expected i32 init_expr
-out/test/spec/reference-types/elem.wast:318: assert_invalid passed:
+out/test/spec/reference-types/elem.wast:353: assert_invalid passed:
0000015: error: expected END opcode after initializer expression
-out/test/spec/reference-types/elem.wast:326: assert_invalid passed:
+out/test/spec/reference-types/elem.wast:361: assert_invalid passed:
0000013: error: unexpected opcode in initializer expression: 0x1
-out/test/spec/reference-types/elem.wast:334: assert_invalid passed:
+out/test/spec/reference-types/elem.wast:369: assert_invalid passed:
0000013: error: unexpected opcode in initializer expression: 0x1
-out/test/spec/reference-types/elem.wast:342: assert_invalid passed:
+out/test/spec/reference-types/elem.wast:377: assert_invalid passed:
0000015: error: expected END opcode after initializer expression
-out/test/spec/reference-types/elem.wast:405: assert_trap passed: uninitialized table element
-31/31 tests passed.
+out/test/spec/reference-types/elem.wast:440: assert_trap passed: uninitialized table element
+33/33 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/reference-types/linking.txt b/test/spec/reference-types/linking.txt
index d60a8425..1b02089f 100644
--- a/test/spec/reference-types/linking.txt
+++ b/test/spec/reference-types/linking.txt
@@ -23,63 +23,63 @@ out/test/spec/reference-types/linking.wast:124: assert_unlinkable passed:
out/test/spec/reference-types/linking.wast:128: assert_unlinkable passed:
error: type mismatch in imported global, expected funcref but got anyref.
0000022: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:133: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:134: assert_unlinkable passed:
error: type mismatch in imported global, expected funcref but got nullref.
0000021: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:137: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:138: assert_unlinkable passed:
error: type mismatch in imported global, expected anyref but got nullref.
0000021: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:141: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:142: assert_unlinkable passed:
error: type mismatch in imported global, expected nullref but got funcref.
0000021: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:145: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:146: assert_unlinkable passed:
error: type mismatch in imported global, expected anyref but got funcref.
0000021: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:149: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:150: assert_unlinkable passed:
error: type mismatch in imported global, expected nullref but got anyref.
0000020: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:153: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:154: assert_unlinkable passed:
error: type mismatch in imported global, expected funcref but got anyref.
0000020: error: OnImportGlobal callback failed
-out/test/spec/reference-types/linking.wast:199: assert_trap passed: uninitialized table element
out/test/spec/reference-types/linking.wast:200: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:202: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:204: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:201: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:203: assert_trap passed: uninitialized table element
out/test/spec/reference-types/linking.wast:205: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:207: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:209: assert_trap passed: undefined table index
+out/test/spec/reference-types/linking.wast:206: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:208: assert_trap passed: uninitialized table element
out/test/spec/reference-types/linking.wast:210: assert_trap passed: undefined table index
out/test/spec/reference-types/linking.wast:211: assert_trap passed: undefined table index
out/test/spec/reference-types/linking.wast:212: assert_trap passed: undefined table index
-out/test/spec/reference-types/linking.wast:215: assert_trap passed: indirect call signature mismatch
-out/test/spec/reference-types/linking.wast:247: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:213: assert_trap passed: undefined table index
+out/test/spec/reference-types/linking.wast:216: assert_trap passed: indirect call signature mismatch
out/test/spec/reference-types/linking.wast:248: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:250: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:249: assert_trap passed: uninitialized table element
out/test/spec/reference-types/linking.wast:251: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:253: assert_trap passed: undefined table index
-out/test/spec/reference-types/linking.wast:279: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:252: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:254: assert_trap passed: undefined table index
+out/test/spec/reference-types/linking.wast:280: assert_unlinkable passed:
error: unknown module field "mem"
0000027: error: OnImportMemory callback failed
-out/test/spec/reference-types/linking.wast:288: assert_trap passed: uninitialized table element
-out/test/spec/reference-types/linking.wast:330: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:289: assert_trap passed: uninitialized table element
+out/test/spec/reference-types/linking.wast:331: assert_unlinkable passed:
error: type mismatch in imported table, expected funcref but got nullref.
0000020: error: OnImportTable callback failed
-out/test/spec/reference-types/linking.wast:334: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:335: assert_unlinkable passed:
error: type mismatch in imported table, expected anyref but got nullref.
0000020: error: OnImportTable callback failed
-out/test/spec/reference-types/linking.wast:338: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:339: assert_unlinkable passed:
error: type mismatch in imported table, expected nullref but got funcref.
0000020: error: OnImportTable callback failed
-out/test/spec/reference-types/linking.wast:342: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:343: assert_unlinkable passed:
error: type mismatch in imported table, expected anyref but got funcref.
0000020: error: OnImportTable callback failed
-out/test/spec/reference-types/linking.wast:346: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:347: assert_unlinkable passed:
error: type mismatch in imported table, expected nullref but got anyref.
000001f: error: OnImportTable callback failed
-out/test/spec/reference-types/linking.wast:350: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:351: assert_unlinkable passed:
error: type mismatch in imported table, expected funcref but got anyref.
000001f: error: OnImportTable callback failed
-out/test/spec/reference-types/linking.wast:428: assert_unlinkable passed:
+out/test/spec/reference-types/linking.wast:429: assert_unlinkable passed:
error: unknown module field "tab"
0000037: error: OnImportTable callback failed
109/109 tests passed.
diff --git a/test/spec/reference-types/ref_func.txt b/test/spec/reference-types/ref_func.txt
index fd89a730..056bbca8 100644
--- a/test/spec/reference-types/ref_func.txt
+++ b/test/spec/reference-types/ref_func.txt
@@ -4,8 +4,14 @@
(;; STDOUT ;;;
set-g() =>
set-f() =>
-out/test/spec/reference-types/ref_func.wast:58: assert_invalid passed:
+out/test/spec/reference-types/ref_func.wast:71: assert_invalid passed:
error: unknown import module "M"
0000019: error: OnImportFunc callback failed
-11/11 tests passed.
+out/test/spec/reference-types/ref_func.wast:80: assert_invalid passed:
+ error: function is not declared in any elem sections: 0
+ 0000020: error: EndModule callback failed
+out/test/spec/reference-types/ref_func.wast:84: assert_invalid passed:
+ error: function is not declared in any elem sections: 0
+ 0000019: error: OnRefFuncExpr callback failed
+13/13 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/reference-types/table_grow.txt b/test/spec/reference-types/table_grow.txt
index bdc77d94..45f9f844 100644
--- a/test/spec/reference-types/table_grow.txt
+++ b/test/spec/reference-types/table_grow.txt
@@ -8,25 +8,25 @@ out/test/spec/reference-types/table_grow.wast:22: assert_trap passed: out of bou
out/test/spec/reference-types/table_grow.wast:23: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1
out/test/spec/reference-types/table_grow.wast:34: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5
out/test/spec/reference-types/table_grow.wast:35: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5
-out/test/spec/reference-types/table_grow.wast:109: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:111: assert_invalid passed:
error: type mismatch in table.grow, expected [anyref, i32] but got []
0000021: error: OnTableGrowExpr callback failed
-out/test/spec/reference-types/table_grow.wast:118: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:120: assert_invalid passed:
error: type mismatch in table.grow, expected [anyref, i32] but got [nullref]
0000022: error: OnTableGrowExpr callback failed
-out/test/spec/reference-types/table_grow.wast:127: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:129: assert_invalid passed:
error: type mismatch in table.grow, expected [anyref, i32] but got [i32]
0000023: error: OnTableGrowExpr callback failed
-out/test/spec/reference-types/table_grow.wast:136: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:138: assert_invalid passed:
error: type mismatch in table.grow, expected [anyref, i32] but got [nullref, f32]
0000027: error: OnTableGrowExpr callback failed
-out/test/spec/reference-types/table_grow.wast:145: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:147: assert_invalid passed:
error: type mismatch in table.grow, expected [funcref, i32] but got [anyref, i32]
0000026: error: OnTableGrowExpr callback failed
-out/test/spec/reference-types/table_grow.wast:155: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:157: assert_invalid passed:
error: type mismatch in function, expected [] but got [i32]
0000024: error: EndFunctionBody callback failed
-out/test/spec/reference-types/table_grow.wast:164: assert_invalid passed:
+out/test/spec/reference-types/table_grow.wast:166: assert_invalid passed:
error: type mismatch in implicit return, expected [f32] but got [i32]
0000025: error: EndFunctionBody callback failed
45/45 tests passed.
diff --git a/test/spec/sign-extension-ops/i32.txt b/test/spec/sign-extension-ops/i32.txt
index a3b1c77e..3f921e00 100644
--- a/test/spec/sign-extension-ops/i32.txt
+++ b/test/spec/sign-extension-ops/i32.txt
@@ -5,11 +5,261 @@
out/test/spec/sign-extension-ops/i32.wast:64: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:65: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:66: assert_trap passed: integer overflow
-out/test/spec/sign-extension-ops/i32.wast:84: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i32.wast:67: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:85: assert_trap passed: integer divide by zero
-out/test/spec/sign-extension-ops/i32.wast:101: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i32.wast:86: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:102: assert_trap passed: integer divide by zero
-out/test/spec/sign-extension-ops/i32.wast:122: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i32.wast:103: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i32.wast:123: assert_trap passed: integer divide by zero
-373/373 tests passed.
+out/test/spec/sign-extension-ops/i32.wast:124: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i32.wast:444: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 0000018: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:452: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001c: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:461: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001c: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:470: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001e: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:479: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 0000021: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:488: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001c: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:497: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001c: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:506: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001c: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:515: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 0000018: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:523: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 0000018: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:531: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001e: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:540: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 0000035: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:556: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001a: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:565: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001a: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:574: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 0000020: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:583: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001d: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:592: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001d: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:601: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got []
+ 000001d: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:611: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000018: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:619: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001a: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:627: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:636: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:645: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:654: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:663: assert_invalid passed:
+ error: type mismatch in drop, expected [any] but got []
+ 0000021: error: OnDropExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:672: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:681: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000023: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:691: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000021: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:701: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:710: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:719: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:728: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:737: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:746: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001e: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:755: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000018: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:763: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001a: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:771: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000018: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:779: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001a: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:787: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001f: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:796: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 0000021: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:805: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000035: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:821: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 0000037: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:837: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001a: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:846: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001c: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:855: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001a: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:864: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001c: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:873: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:882: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 0000022: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:891: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001d: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:900: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001f: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:909: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001d: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:918: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001f: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:927: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got []
+ 000001d: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:936: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i32]
+ 000001f: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:948: assert_invalid passed:
+ error: type mismatch in i32.add, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:949: assert_invalid passed:
+ error: type mismatch in i32.and, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:950: assert_invalid passed:
+ error: type mismatch in i32.div_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:951: assert_invalid passed:
+ error: type mismatch in i32.div_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:952: assert_invalid passed:
+ error: type mismatch in i32.mul, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:953: assert_invalid passed:
+ error: type mismatch in i32.or, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:954: assert_invalid passed:
+ error: type mismatch in i32.rem_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:955: assert_invalid passed:
+ error: type mismatch in i32.rem_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:956: assert_invalid passed:
+ error: type mismatch in i32.rotl, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:957: assert_invalid passed:
+ error: type mismatch in i32.rotr, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:958: assert_invalid passed:
+ error: type mismatch in i32.shl, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:959: assert_invalid passed:
+ error: type mismatch in i32.shr_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:960: assert_invalid passed:
+ error: type mismatch in i32.shr_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:961: assert_invalid passed:
+ error: type mismatch in i32.sub, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:962: assert_invalid passed:
+ error: type mismatch in i32.xor, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:963: assert_invalid passed:
+ error: type mismatch in i32.eqz, expected [i32] but got [i64]
+ 000001b: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:964: assert_invalid passed:
+ error: type mismatch in i32.clz, expected [i32] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:965: assert_invalid passed:
+ error: type mismatch in i32.ctz, expected [i32] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:966: assert_invalid passed:
+ error: type mismatch in i32.popcnt, expected [i32] but got [i64]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:967: assert_invalid passed:
+ error: type mismatch in i32.eq, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:968: assert_invalid passed:
+ error: type mismatch in i32.ge_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:969: assert_invalid passed:
+ error: type mismatch in i32.ge_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:970: assert_invalid passed:
+ error: type mismatch in i32.gt_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:971: assert_invalid passed:
+ error: type mismatch in i32.gt_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:972: assert_invalid passed:
+ error: type mismatch in i32.le_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:973: assert_invalid passed:
+ error: type mismatch in i32.le_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:974: assert_invalid passed:
+ error: type mismatch in i32.lt_s, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:975: assert_invalid passed:
+ error: type mismatch in i32.lt_u, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i32.wast:976: assert_invalid passed:
+ error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
+ 0000020: error: OnCompareExpr callback failed
+457/457 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/sign-extension-ops/i64.txt b/test/spec/sign-extension-ops/i64.txt
index 20fd88ba..62b44c4f 100644
--- a/test/spec/sign-extension-ops/i64.txt
+++ b/test/spec/sign-extension-ops/i64.txt
@@ -5,11 +5,99 @@
out/test/spec/sign-extension-ops/i64.wast:65: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i64.wast:66: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i64.wast:67: assert_trap passed: integer overflow
-out/test/spec/sign-extension-ops/i64.wast:85: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i64.wast:68: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i64.wast:86: assert_trap passed: integer divide by zero
-out/test/spec/sign-extension-ops/i64.wast:102: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i64.wast:87: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i64.wast:103: assert_trap passed: integer divide by zero
-out/test/spec/sign-extension-ops/i64.wast:123: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i64.wast:104: assert_trap passed: integer divide by zero
out/test/spec/sign-extension-ops/i64.wast:124: assert_trap passed: integer divide by zero
-383/383 tests passed.
+out/test/spec/sign-extension-ops/i64.wast:125: assert_trap passed: integer divide by zero
+out/test/spec/sign-extension-ops/i64.wast:457: assert_invalid passed:
+ error: type mismatch in i64.add, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:458: assert_invalid passed:
+ error: type mismatch in i64.and, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:459: assert_invalid passed:
+ error: type mismatch in i64.div_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:460: assert_invalid passed:
+ error: type mismatch in i64.div_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:461: assert_invalid passed:
+ error: type mismatch in i64.mul, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:462: assert_invalid passed:
+ error: type mismatch in i64.or, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:463: assert_invalid passed:
+ error: type mismatch in i64.rem_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:464: assert_invalid passed:
+ error: type mismatch in i64.rem_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:465: assert_invalid passed:
+ error: type mismatch in i64.rotl, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:466: assert_invalid passed:
+ error: type mismatch in i64.rotr, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:467: assert_invalid passed:
+ error: type mismatch in i64.shl, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:468: assert_invalid passed:
+ error: type mismatch in i64.shr_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:469: assert_invalid passed:
+ error: type mismatch in i64.shr_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:470: assert_invalid passed:
+ error: type mismatch in i64.sub, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:471: assert_invalid passed:
+ error: type mismatch in i64.xor, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnBinaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:472: assert_invalid passed:
+ error: type mismatch in i64.eqz, expected [i64] but got [i32]
+ 000001b: error: OnConvertExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:473: assert_invalid passed:
+ error: type mismatch in i64.clz, expected [i64] but got [i32]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:474: assert_invalid passed:
+ error: type mismatch in i64.ctz, expected [i64] but got [i32]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:475: assert_invalid passed:
+ error: type mismatch in i64.popcnt, expected [i64] but got [i32]
+ 000001b: error: OnUnaryExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:476: assert_invalid passed:
+ error: type mismatch in i64.eq, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:477: assert_invalid passed:
+ error: type mismatch in i64.ge_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:478: assert_invalid passed:
+ error: type mismatch in i64.ge_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:479: assert_invalid passed:
+ error: type mismatch in i64.gt_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:480: assert_invalid passed:
+ error: type mismatch in i64.gt_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:481: assert_invalid passed:
+ error: type mismatch in i64.le_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:482: assert_invalid passed:
+ error: type mismatch in i64.le_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:483: assert_invalid passed:
+ error: type mismatch in i64.lt_s, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:484: assert_invalid passed:
+ error: type mismatch in i64.lt_u, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+out/test/spec/sign-extension-ops/i64.wast:485: assert_invalid passed:
+ error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32]
+ 0000020: error: OnCompareExpr callback failed
+413/413 tests passed.
;;; STDOUT ;;)
diff --git a/third_party/testsuite b/third_party/testsuite
-Subproject c7225cc210e9a089e7ce87ecac053334eb4af0a
+Subproject f261b73e7a47863866b57e97f8cab83eefdc2fd
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-06 08:13:49 +0000