diff options
-rw-r--r-- | src/binary-reader-ir.cc | 29 | ||||
-rw-r--r-- | src/binary-reader-logging.cc | 1 | ||||
-rw-r--r-- | src/binary-reader-logging.h | 1 | ||||
-rw-r--r-- | src/binary-reader-nop.h | 3 | ||||
-rw-r--r-- | src/binary-reader.cc | 10 | ||||
-rw-r--r-- | src/binary-reader.h | 1 | ||||
-rw-r--r-- | src/binary-writer.cc | 7 | ||||
-rw-r--r-- | src/c-writer.cc | 1 | ||||
-rw-r--r-- | src/expr-visitor.cc | 4 | ||||
-rw-r--r-- | src/expr-visitor.h | 2 | ||||
-rw-r--r-- | src/interp/binary-reader-interp.cc | 7 | ||||
-rw-r--r-- | src/interp/interp.cc | 1 | ||||
-rw-r--r-- | src/interp/istream.cc | 1 | ||||
-rw-r--r-- | src/ir-util.cc | 1 | ||||
-rw-r--r-- | src/ir.cc | 1 | ||||
-rw-r--r-- | src/ir.h | 11 | ||||
-rw-r--r-- | src/lexer-keywords.txt | 1 | ||||
-rw-r--r-- | src/opcode.cc | 1 | ||||
-rw-r--r-- | src/opcode.def | 1 | ||||
-rw-r--r-- | src/prebuilt/lexer-keywords.cc | 1137 | ||||
-rw-r--r-- | src/shared-validator.cc | 12 | ||||
-rw-r--r-- | src/shared-validator.h | 1 | ||||
-rw-r--r-- | src/token.def | 3 | ||||
-rw-r--r-- | src/type-checker.cc | 4 | ||||
-rw-r--r-- | src/type-checker.h | 1 | ||||
-rw-r--r-- | src/validator.cc | 6 | ||||
-rw-r--r-- | src/wast-parser.cc | 9 | ||||
-rw-r--r-- | src/wat-writer.cc | 8 | ||||
-rw-r--r-- | test/roundtrip/fold-atomic-fence.txt | 13 |
29 files changed, 696 insertions, 582 deletions
diff --git a/src/binary-reader-ir.cc b/src/binary-reader-ir.cc index 813775c0..d0c5a48b 100644 --- a/src/binary-reader-ir.cc +++ b/src/binary-reader-ir.cc @@ -129,12 +129,13 @@ class BinaryReaderIR : public BinaryReaderNop { Result OnAtomicRmwCmpxchgExpr(Opcode opcode, uint32_t alignment_log2, Address offset) override; - wabt::Result OnAtomicWaitExpr(Opcode opcode, - uint32_t alignment_log2, - Address offset) override; - wabt::Result OnAtomicNotifyExpr(Opcode opcode, - uint32_t alignment_log2, - Address offset) override; + Result OnAtomicWaitExpr(Opcode opcode, + uint32_t alignment_log2, + Address offset) override; + Result OnAtomicFenceExpr(uint32_t consistency_model) override; + Result OnAtomicNotifyExpr(Opcode opcode, + uint32_t alignment_log2, + Address offset) override; Result OnBinaryExpr(Opcode opcode) override; Result OnBlockExpr(Type sig_type) override; Result OnBrExpr(Index depth) override; @@ -658,16 +659,20 @@ Result BinaryReaderIR::OnAtomicRmwCmpxchgExpr(Opcode opcode, MakeUnique<AtomicRmwCmpxchgExpr>(opcode, 1 << alignment_log2, offset)); } -wabt::Result BinaryReaderIR::OnAtomicWaitExpr(Opcode opcode, - uint32_t alignment_log2, - Address offset) { +Result BinaryReaderIR::OnAtomicWaitExpr(Opcode opcode, + uint32_t alignment_log2, + Address offset) { return AppendExpr( MakeUnique<AtomicWaitExpr>(opcode, 1 << alignment_log2, offset)); } -wabt::Result BinaryReaderIR::OnAtomicNotifyExpr(Opcode opcode, - uint32_t alignment_log2, - Address offset) { +Result BinaryReaderIR::OnAtomicFenceExpr(uint32_t consistency_model) { + return AppendExpr(MakeUnique<AtomicFenceExpr>(consistency_model)); +} + +Result BinaryReaderIR::OnAtomicNotifyExpr(Opcode opcode, + uint32_t alignment_log2, + Address offset) { return AppendExpr( MakeUnique<AtomicNotifyExpr>(opcode, 1 << alignment_log2, offset)); } diff --git a/src/binary-reader-logging.cc b/src/binary-reader-logging.cc index 801b96b0..c3e7e750 100644 --- a/src/binary-reader-logging.cc +++ b/src/binary-reader-logging.cc @@ -744,6 +744,7 @@ DEFINE_LOAD_STORE_OPCODE(OnAtomicRmwExpr); DEFINE_LOAD_STORE_OPCODE(OnAtomicRmwCmpxchgExpr); DEFINE_LOAD_STORE_OPCODE(OnAtomicStoreExpr); DEFINE_LOAD_STORE_OPCODE(OnAtomicWaitExpr); +DEFINE_INDEX_DESC(OnAtomicFenceExpr, "consistency_model"); DEFINE_LOAD_STORE_OPCODE(OnAtomicNotifyExpr); DEFINE_INDEX_INDEX(OnBrOnExnExpr, "depth", "event_index"); DEFINE_OPCODE(OnBinaryExpr) diff --git a/src/binary-reader-logging.h b/src/binary-reader-logging.h index e2891f8b..9f70b61a 100644 --- a/src/binary-reader-logging.h +++ b/src/binary-reader-logging.h @@ -218,6 +218,7 @@ class BinaryReaderLogging : public BinaryReaderDelegate { Result OnAtomicWaitExpr(Opcode opcode, uint32_t alignment_log2, Address offset) override; + Result OnAtomicFenceExpr(uint32_t consistency_model) override; Result OnAtomicNotifyExpr(Opcode opcode, uint32_t alignment_log2, Address offset) override; diff --git a/src/binary-reader-nop.h b/src/binary-reader-nop.h index 1bf57516..6caed9a8 100644 --- a/src/binary-reader-nop.h +++ b/src/binary-reader-nop.h @@ -213,6 +213,9 @@ class BinaryReaderNop : public BinaryReaderDelegate { Result OnAtomicWaitExpr(Opcode, uint32_t, Address) override { return Result::Ok; } + Result OnAtomicFenceExpr(uint32_t) override { + return Result::Ok; + } Result OnAtomicNotifyExpr(Opcode, uint32_t, Address) override { return Result::Ok; } diff --git a/src/binary-reader.cc b/src/binary-reader.cc index 32116a5c..86bb07bc 100644 --- a/src/binary-reader.cc +++ b/src/binary-reader.cc @@ -1315,6 +1315,16 @@ Result BinaryReader::ReadFunctionBody(Offset end_offset) { break; } + case Opcode::AtomicFence: { + uint8_t consistency_model; + CHECK_RESULT(ReadU8(&consistency_model, "consistency model")); + ERROR_UNLESS(consistency_model == 0, + "atomic.fence consistency model must be 0"); + CALLBACK(OnAtomicFenceExpr, consistency_model); + CALLBACK(OnOpcodeUint32, consistency_model); + break; + } + case Opcode::I32AtomicLoad8U: case Opcode::I32AtomicLoad16U: case Opcode::I64AtomicLoad8U: diff --git a/src/binary-reader.h b/src/binary-reader.h index b0151f43..405387ba 100644 --- a/src/binary-reader.h +++ b/src/binary-reader.h @@ -214,6 +214,7 @@ class BinaryReaderDelegate { virtual Result OnAtomicWaitExpr(Opcode opcode, uint32_t alignment_log2, Address offset) = 0; + virtual Result OnAtomicFenceExpr(uint32_t consistency_model) = 0; virtual Result OnAtomicNotifyExpr(Opcode opcode, uint32_t alignment_log2, Address offset) = 0; diff --git a/src/binary-writer.cc b/src/binary-writer.cc index e5c9c4d2..03ee2147 100644 --- a/src/binary-writer.cc +++ b/src/binary-writer.cc @@ -406,6 +406,13 @@ void BinaryWriter::WriteExpr(const Func* func, const Expr* expr) { case ExprType::AtomicWait: WriteLoadStoreExpr<AtomicWaitExpr>(func, expr, "memory offset"); break; + case ExprType::AtomicFence: { + auto* fence_expr = cast<AtomicFenceExpr>(expr); + WriteOpcode(stream_, Opcode::AtomicFence); + WriteU32Leb128(stream_, fence_expr->consistency_model, + "consistency model"); + break; + } case ExprType::AtomicNotify: WriteLoadStoreExpr<AtomicNotifyExpr>(func, expr, "memory offset"); break; diff --git a/src/c-writer.cc b/src/c-writer.cc index 4b29a794..98a683c6 100644 --- a/src/c-writer.cc +++ b/src/c-writer.cc @@ -1676,6 +1676,7 @@ void CWriter::Write(const ExprList& exprs) { case ExprType::AtomicRmwCmpxchg: case ExprType::AtomicStore: case ExprType::AtomicWait: + case ExprType::AtomicFence: case ExprType::AtomicNotify: case ExprType::BrOnExn: case ExprType::Rethrow: diff --git a/src/expr-visitor.cc b/src/expr-visitor.cc index 9e2ba730..448bca00 100644 --- a/src/expr-visitor.cc +++ b/src/expr-visitor.cc @@ -156,6 +156,10 @@ Result ExprVisitor::HandleDefaultState(Expr* expr) { CHECK_RESULT(delegate_->OnAtomicWaitExpr(cast<AtomicWaitExpr>(expr))); break; + case ExprType::AtomicFence: + CHECK_RESULT(delegate_->OnAtomicFenceExpr(cast<AtomicFenceExpr>(expr))); + break; + case ExprType::AtomicNotify: CHECK_RESULT(delegate_->OnAtomicNotifyExpr(cast<AtomicNotifyExpr>(expr))); break; diff --git a/src/expr-visitor.h b/src/expr-visitor.h index 3686ce01..c4880bf0 100644 --- a/src/expr-visitor.h +++ b/src/expr-visitor.h @@ -119,6 +119,7 @@ class ExprVisitor::Delegate { virtual Result OnThrowExpr(ThrowExpr*) = 0; virtual Result OnRethrowExpr(RethrowExpr*) = 0; virtual Result OnAtomicWaitExpr(AtomicWaitExpr*) = 0; + virtual Result OnAtomicFenceExpr(AtomicFenceExpr*) = 0; virtual Result OnAtomicNotifyExpr(AtomicNotifyExpr*) = 0; virtual Result OnAtomicLoadExpr(AtomicLoadExpr*) = 0; virtual Result OnAtomicStoreExpr(AtomicStoreExpr*) = 0; @@ -189,6 +190,7 @@ class ExprVisitor::DelegateNop : public ExprVisitor::Delegate { Result OnThrowExpr(ThrowExpr*) override { return Result::Ok; } Result OnRethrowExpr(RethrowExpr*) override { return Result::Ok; } Result OnAtomicWaitExpr(AtomicWaitExpr*) override { return Result::Ok; } + Result OnAtomicFenceExpr(AtomicFenceExpr*) override { return Result::Ok; } Result OnAtomicNotifyExpr(AtomicNotifyExpr*) override { return Result::Ok; } Result OnAtomicLoadExpr(AtomicLoadExpr*) override { return Result::Ok; } Result OnAtomicStoreExpr(AtomicStoreExpr*) override { return Result::Ok; } diff --git a/src/interp/binary-reader-interp.cc b/src/interp/binary-reader-interp.cc index 584ddb92..96eaeadd 100644 --- a/src/interp/binary-reader-interp.cc +++ b/src/interp/binary-reader-interp.cc @@ -149,6 +149,7 @@ class BinaryReaderInterp : public BinaryReaderNop { Result OnAtomicWaitExpr(Opcode opcode, uint32_t alignment_log2, Address offset) override; + Result OnAtomicFenceExpr(uint32_t consistency_model) override; Result OnAtomicNotifyExpr(Opcode opcode, uint32_t alignment_log2, Address offset) override; @@ -1277,6 +1278,12 @@ Result BinaryReaderInterp::OnAtomicWaitExpr(Opcode opcode, return Result::Ok; } +Result BinaryReaderInterp::OnAtomicFenceExpr(uint32_t consistency_model) { + CHECK_RESULT(validator_.OnAtomicFence(loc, consistency_model)); + istream_.Emit(Opcode::AtomicFence, consistency_model); + return Result::Ok; +} + Result BinaryReaderInterp::OnAtomicNotifyExpr(Opcode opcode, uint32_t align_log2, Address offset) { diff --git a/src/interp/interp.cc b/src/interp/interp.cc index 57b0750f..f58dcd9f 100644 --- a/src/interp/interp.cc +++ b/src/interp/interp.cc @@ -1607,6 +1607,7 @@ RunResult Thread::StepInternal(Trap::Ptr* out_trap) { case O::I16X8Abs: return DoSimdUnop(IntAbs<u16>); case O::I32X4Abs: return DoSimdUnop(IntAbs<u32>); + case O::AtomicFence: case O::AtomicNotify: case O::I32AtomicWait: case O::I64AtomicWait: diff --git a/src/interp/istream.cc b/src/interp/istream.cc index ad92ce97..1063a37b 100644 --- a/src/interp/istream.cc +++ b/src/interp/istream.cc @@ -607,6 +607,7 @@ Instr Istream::Read(Offset* offset) const { instr.imm_u32x2.snd = ReadAt<u32>(offset); break; + case Opcode::AtomicFence: case Opcode::I32Const: case Opcode::InterpAlloca: // i32/f32 immediate, 0 operands. diff --git a/src/ir-util.cc b/src/ir-util.cc index d1dc239f..7e2bc583 100644 --- a/src/ir-util.cc +++ b/src/ir-util.cc @@ -163,6 +163,7 @@ ModuleContext::Arities ModuleContext::GetExprArity(const Expr& expr) const { case ExprType::DataDrop: case ExprType::ElemDrop: + case ExprType::AtomicFence: return { 0, 0 }; case ExprType::MemoryInit: @@ -25,6 +25,7 @@ namespace { const char* ExprTypeName[] = { + "AtomicFence", "AtomicLoad", "AtomicRmw", "AtomicRmwCmpxchg", @@ -284,6 +284,7 @@ enum class ExprType { AtomicRmwCmpxchg, AtomicStore, AtomicNotify, + AtomicFence, AtomicWait, Binary, Block, @@ -595,6 +596,16 @@ typedef LoadStoreExpr<ExprType::AtomicWait> AtomicWaitExpr; typedef LoadStoreExpr<ExprType::AtomicNotify> AtomicNotifyExpr; typedef LoadStoreExpr<ExprType::LoadSplat> LoadSplatExpr; +class AtomicFenceExpr : public ExprMixin<ExprType::AtomicFence> { + public: + explicit AtomicFenceExpr(uint32_t consistency_model, + const Location& loc = Location()) + : ExprMixin<ExprType::AtomicFence>(loc), + consistency_model(consistency_model) {} + + uint32_t consistency_model; +}; + struct Event { explicit Event(string_view name) : name(name.to_string()) {} diff --git a/src/lexer-keywords.txt b/src/lexer-keywords.txt index b4c4871b..0e8d84f2 100644 --- a/src/lexer-keywords.txt +++ b/src/lexer-keywords.txt @@ -23,6 +23,7 @@ assert_malformed, TokenType::AssertMalformed assert_return, TokenType::AssertReturn assert_trap, TokenType::AssertTrap assert_unlinkable, TokenType::AssertUnlinkable +atomic.fence, TokenType::AtomicFence, Opcode::AtomicFence atomic.notify, TokenType::AtomicNotify, Opcode::AtomicNotify binary, TokenType::Bin block, TokenType::Block, Opcode::Block diff --git a/src/opcode.cc b/src/opcode.cc index 58e4a50b..c965f83a 100644 --- a/src/opcode.cc +++ b/src/opcode.cc @@ -94,6 +94,7 @@ bool Opcode::IsEnabled(const Features& features) const { case Opcode::AtomicNotify: case Opcode::I32AtomicWait: case Opcode::I64AtomicWait: + case Opcode::AtomicFence: case Opcode::I32AtomicLoad: case Opcode::I64AtomicLoad: case Opcode::I32AtomicLoad8U: diff --git a/src/opcode.def b/src/opcode.def index bd85aef0..2e34dcf0 100644 --- a/src/opcode.def +++ b/src/opcode.def @@ -440,6 +440,7 @@ WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0xe3, I32X4Abs, "i32x4.abs", "") WABT_OPCODE(I32, I32, I32, ___, 4, 0xfe, 0x00, AtomicNotify, "atomic.notify", "") WABT_OPCODE(I32, I32, I32, I64, 4, 0xfe, 0x01, I32AtomicWait, "i32.atomic.wait", "") WABT_OPCODE(I32, I32, I64, I64, 8, 0xfe, 0x02, I64AtomicWait, "i64.atomic.wait", "") +WABT_OPCODE(___, ___, ___, ___, 0, 0xfe, 0x03, AtomicFence, "atomic.fence", "") WABT_OPCODE(I32, I32, ___, ___, 4, 0xfe, 0x10, I32AtomicLoad, "i32.atomic.load", "") WABT_OPCODE(I64, I32, ___, ___, 8, 0xfe, 0x11, I64AtomicLoad, "i64.atomic.load", "") WABT_OPCODE(I32, I32, ___, ___, 1, 0xfe, 0x12, I32AtomicLoad8U, "i32.atomic.load8_u", "") diff --git a/src/prebuilt/lexer-keywords.cc b/src/prebuilt/lexer-keywords.cc index 33ab29ba..c898af6d 100644 --- a/src/prebuilt/lexer-keywords.cc +++ b/src/prebuilt/lexer-keywords.cc @@ -71,7 +71,7 @@ Perfect_Hash::hash (const char *str, size_t len) 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 3, 11, 70, 19, 155, - 33, 7, 4, 371, 595, 11, 38, 8, 17, 5, + 33, 7, 4, 371, 595, 11, 50, 8, 17, 5, 50, 46, 355, 549, 82, 3, 3, 6, 94, 21, 351, 612, 85, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, 2176, @@ -150,7 +150,7 @@ Perfect_Hash::InWordSet (const char *str, size_t len) { enum { - TOTAL_KEYWORDS = 542, + TOTAL_KEYWORDS = 543, MIN_WORD_LENGTH = 2, MAX_WORD_LENGTH = 26, MIN_HASH_VALUE = 13, @@ -161,1321 +161,1320 @@ Perfect_Hash::InWordSet (const char *str, size_t len) { {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 128 "src/lexer-keywords.txt" +#line 129 "src/lexer-keywords.txt" {"f64", Type::F64}, -#line 470 "src/lexer-keywords.txt" +#line 471 "src/lexer-keywords.txt" {"mut", TokenType::Mut}, -#line 77 "src/lexer-keywords.txt" +#line 78 "src/lexer-keywords.txt" {"f32", Type::F32}, {""}, -#line 454 "src/lexer-keywords.txt" +#line 455 "src/lexer-keywords.txt" {"if", TokenType::If, Opcode::If}, {""}, {""}, -#line 404 "src/lexer-keywords.txt" +#line 405 "src/lexer-keywords.txt" {"i64", Type::I64}, -#line 43 "src/lexer-keywords.txt" +#line 44 "src/lexer-keywords.txt" {"else", TokenType::Else, Opcode::Else}, -#line 274 "src/lexer-keywords.txt" +#line 275 "src/lexer-keywords.txt" {"i32", Type::I32}, -#line 42 "src/lexer-keywords.txt" +#line 43 "src/lexer-keywords.txt" {"elem", TokenType::Elem}, -#line 115 "src/lexer-keywords.txt" +#line 116 "src/lexer-keywords.txt" {"f64.lt", TokenType::Compare, Opcode::F64Lt}, -#line 65 "src/lexer-keywords.txt" +#line 66 "src/lexer-keywords.txt" {"f32.lt", TokenType::Compare, Opcode::F32Lt}, {""}, -#line 457 "src/lexer-keywords.txt" +#line 458 "src/lexer-keywords.txt" {"item", TokenType::Item}, -#line 45 "src/lexer-keywords.txt" +#line 46 "src/lexer-keywords.txt" {"event", TokenType::Event}, {""}, {""}, {""}, -#line 113 "src/lexer-keywords.txt" +#line 114 "src/lexer-keywords.txt" {"f64.le", TokenType::Compare, Opcode::F64Le}, -#line 63 "src/lexer-keywords.txt" +#line 64 "src/lexer-keywords.txt" {"f32.le", TokenType::Compare, Opcode::F32Le}, {""}, {""}, {""}, {""}, -#line 499 "src/lexer-keywords.txt" +#line 500 "src/lexer-keywords.txt" {"table", TokenType::Table}, -#line 377 "src/lexer-keywords.txt" +#line 378 "src/lexer-keywords.txt" {"i64.lt_s", TokenType::Compare, Opcode::I64LtS}, -#line 248 "src/lexer-keywords.txt" +#line 249 "src/lexer-keywords.txt" {"i32.lt_s", TokenType::Compare, Opcode::I32LtS}, {""}, {""}, -#line 368 "src/lexer-keywords.txt" +#line 369 "src/lexer-keywords.txt" {"i64.le_s", TokenType::Compare, Opcode::I64LeS}, -#line 241 "src/lexer-keywords.txt" +#line 242 "src/lexer-keywords.txt" {"i32.le_s", TokenType::Compare, Opcode::I32LeS}, -#line 378 "src/lexer-keywords.txt" +#line 379 "src/lexer-keywords.txt" {"i64.lt_u", TokenType::Compare, Opcode::I64LtU}, -#line 249 "src/lexer-keywords.txt" +#line 250 "src/lexer-keywords.txt" {"i32.lt_u", TokenType::Compare, Opcode::I32LtU}, -#line 384 "src/lexer-keywords.txt" +#line 385 "src/lexer-keywords.txt" {"i64.rem_s", TokenType::Binary, Opcode::I64RemS}, -#line 255 "src/lexer-keywords.txt" +#line 256 "src/lexer-keywords.txt" {"i32.rem_s", TokenType::Binary, Opcode::I32RemS}, -#line 369 "src/lexer-keywords.txt" +#line 370 "src/lexer-keywords.txt" {"i64.le_u", TokenType::Compare, Opcode::I64LeU}, -#line 242 "src/lexer-keywords.txt" +#line 243 "src/lexer-keywords.txt" {"i32.le_u", TokenType::Compare, Opcode::I32LeU}, {""}, {""}, -#line 385 "src/lexer-keywords.txt" +#line 386 "src/lexer-keywords.txt" {"i64.rem_u", TokenType::Binary, Opcode::I64RemU}, -#line 256 "src/lexer-keywords.txt" +#line 257 "src/lexer-keywords.txt" {"i32.rem_u", TokenType::Binary, Opcode::I32RemU}, {""}, -#line 148 "src/lexer-keywords.txt" +#line 149 "src/lexer-keywords.txt" {"field", TokenType::Field}, -#line 497 "src/lexer-keywords.txt" +#line 498 "src/lexer-keywords.txt" {"table.set", TokenType::TableSet, Opcode::TableSet}, -#line 99 "src/lexer-keywords.txt" +#line 100 "src/lexer-keywords.txt" {"f64.abs", TokenType::Unary, Opcode::F64Abs}, -#line 48 "src/lexer-keywords.txt" +#line 49 "src/lexer-keywords.txt" {"f32.abs", TokenType::Unary, Opcode::F32Abs}, {""}, -#line 126 "src/lexer-keywords.txt" +#line 127 "src/lexer-keywords.txt" {"f64.sub", TokenType::Binary, Opcode::F64Sub}, -#line 75 "src/lexer-keywords.txt" +#line 76 "src/lexer-keywords.txt" {"f32.sub", TokenType::Binary, Opcode::F32Sub}, -#line 469 "src/lexer-keywords.txt" +#line 470 "src/lexer-keywords.txt" {"module", TokenType::Module}, -#line 500 "src/lexer-keywords.txt" +#line 501 "src/lexer-keywords.txt" {"then", TokenType::Then}, -#line 488 "src/lexer-keywords.txt" +#line 489 "src/lexer-keywords.txt" {"select", TokenType::Select, Opcode::Select}, -#line 475 "src/lexer-keywords.txt" +#line 476 "src/lexer-keywords.txt" {"offset", TokenType::Offset}, {""}, -#line 395 "src/lexer-keywords.txt" +#line 396 "src/lexer-keywords.txt" {"i64.sub", TokenType::Binary, Opcode::I64Sub}, -#line 265 "src/lexer-keywords.txt" +#line 266 "src/lexer-keywords.txt" {"i32.sub", TokenType::Binary, Opcode::I32Sub}, {""}, {""}, {""}, -#line 121 "src/lexer-keywords.txt" +#line 122 "src/lexer-keywords.txt" {"f64.ne", TokenType::Compare, Opcode::F64Ne}, -#line 71 "src/lexer-keywords.txt" +#line 72 "src/lexer-keywords.txt" {"f32.ne", TokenType::Compare, Opcode::F32Ne}, -#line 46 "src/lexer-keywords.txt" +#line 47 "src/lexer-keywords.txt" {"exnref", Type::Exnref}, -#line 44 "src/lexer-keywords.txt" +#line 45 "src/lexer-keywords.txt" {"end", TokenType::End, Opcode::End}, {""}, -#line 147 "src/lexer-keywords.txt" +#line 148 "src/lexer-keywords.txt" {"f64x2", TokenType::F64X2}, -#line 149 "src/lexer-keywords.txt" +#line 150 "src/lexer-keywords.txt" {"funcref", Type::Funcref}, -#line 380 "src/lexer-keywords.txt" +#line 381 "src/lexer-keywords.txt" {"i64.ne", TokenType::Compare, Opcode::I64Ne}, -#line 251 "src/lexer-keywords.txt" +#line 252 "src/lexer-keywords.txt" {"i32.ne", TokenType::Compare, Opcode::I32Ne}, {""}, {""}, {""}, -#line 417 "src/lexer-keywords.txt" +#line 418 "src/lexer-keywords.txt" {"i64x2", TokenType::I64X2}, {""}, -#line 490 "src/lexer-keywords.txt" +#line 491 "src/lexer-keywords.txt" {"start", TokenType::Start}, {""}, {""}, {""}, -#line 493 "src/lexer-keywords.txt" +#line 494 "src/lexer-keywords.txt" {"table.fill", TokenType::TableFill, Opcode::TableFill}, -#line 474 "src/lexer-keywords.txt" +#line 475 "src/lexer-keywords.txt" {"nullref", Type::Nullref}, {""}, {""}, -#line 28 "src/lexer-keywords.txt" +#line 29 "src/lexer-keywords.txt" {"block", TokenType::Block, Opcode::Block}, {""}, {""}, {""}, -#line 31 "src/lexer-keywords.txt" +#line 32 "src/lexer-keywords.txt" {"br_table", TokenType::BrTable, Opcode::BrTable}, -#line 101 "src/lexer-keywords.txt" +#line 102 "src/lexer-keywords.txt" {"f64.ceil", TokenType::Unary, Opcode::F64Ceil}, -#line 50 "src/lexer-keywords.txt" +#line 51 "src/lexer-keywords.txt" {"f32.ceil", TokenType::Unary, Opcode::F32Ceil}, -#line 483 "src/lexer-keywords.txt" +#line 484 "src/lexer-keywords.txt" {"result", TokenType::Result}, -#line 32 "src/lexer-keywords.txt" +#line 33 "src/lexer-keywords.txt" {"br", TokenType::Br, Opcode::Br}, -#line 118 "src/lexer-keywords.txt" +#line 119 "src/lexer-keywords.txt" {"f64.mul", TokenType::Binary, Opcode::F64Mul}, -#line 68 "src/lexer-keywords.txt" +#line 69 "src/lexer-keywords.txt" {"f32.mul", TokenType::Binary, Opcode::F32Mul}, -#line 137 "src/lexer-keywords.txt" +#line 138 "src/lexer-keywords.txt" {"f64x2.lt", TokenType::Compare, Opcode::F64X2Lt}, {""}, -#line 386 "src/lexer-keywords.txt" +#line 387 "src/lexer-keywords.txt" {"i64.rotl", TokenType::Binary, Opcode::I64Rotl}, -#line 257 "src/lexer-keywords.txt" +#line 258 "src/lexer-keywords.txt" {"i32.rotl", TokenType::Binary, Opcode::I32Rotl}, -#line 38 "src/lexer-keywords.txt" +#line 39 "src/lexer-keywords.txt" {"data", TokenType::Data}, -#line 379 "src/lexer-keywords.txt" +#line 380 "src/lexer-keywords.txt" {"i64.mul", TokenType::Binary, Opcode::I64Mul}, -#line 250 "src/lexer-keywords.txt" +#line 251 "src/lexer-keywords.txt" {"i32.mul", TokenType::Binary, Opcode::I32Mul}, {""}, -#line 136 "src/lexer-keywords.txt" +#line 137 "src/lexer-keywords.txt" {"f64x2.le", TokenType::Compare, Opcode::F64X2Le}, {""}, {""}, -#line 496 "src/lexer-keywords.txt" +#line 497 "src/lexer-keywords.txt" {"table.init", TokenType::TableInit, Opcode::TableInit}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 140 "src/lexer-keywords.txt" +#line 141 "src/lexer-keywords.txt" {"f64x2.mul", TokenType::Binary, Opcode::F64X2Mul}, -#line 491 "src/lexer-keywords.txt" +#line 492 "src/lexer-keywords.txt" {"struct", TokenType::Struct}, -#line 146 "src/lexer-keywords.txt" +#line 147 "src/lexer-keywords.txt" {"f64x2.sub", TokenType::Binary, Opcode::F64X2Sub}, -#line 100 "src/lexer-keywords.txt" +#line 101 "src/lexer-keywords.txt" {"f64.add", TokenType::Binary, Opcode::F64Add}, -#line 49 "src/lexer-keywords.txt" +#line 50 "src/lexer-keywords.txt" {"f32.add", TokenType::Binary, Opcode::F32Add}, {""}, {""}, -#line 409 "src/lexer-keywords.txt" +#line 410 "src/lexer-keywords.txt" {"i64x2.mul", TokenType::Binary, Opcode::I64X2Mul}, {""}, -#line 416 "src/lexer-keywords.txt" +#line 417 "src/lexer-keywords.txt" {"i64x2.sub", TokenType::Binary, Opcode::I64X2Sub}, -#line 313 "src/lexer-keywords.txt" +#line 314 "src/lexer-keywords.txt" {"i64.add", TokenType::Binary, Opcode::I64Add}, -#line 198 "src/lexer-keywords.txt" +#line 199 "src/lexer-keywords.txt" {"i32.add", TokenType::Binary, Opcode::I32Add}, {""}, -#line 456 "src/lexer-keywords.txt" +#line 457 "src/lexer-keywords.txt" {"invoke", TokenType::Invoke}, {""}, -#line 355 "src/lexer-keywords.txt" +#line 356 "src/lexer-keywords.txt" {"i64.div_s", TokenType::Binary, Opcode::I64DivS}, -#line 231 "src/lexer-keywords.txt" +#line 232 "src/lexer-keywords.txt" {"i32.div_s", TokenType::Binary, Opcode::I32DivS}, {""}, -#line 142 "src/lexer-keywords.txt" +#line 143 "src/lexer-keywords.txt" {"f64x2.ne", TokenType::Compare, Opcode::F64X2Ne}, -#line 498 "src/lexer-keywords.txt" +#line 499 "src/lexer-keywords.txt" {"table.size", TokenType::TableSize, Opcode::TableSize}, -#line 489 "src/lexer-keywords.txt" +#line 490 "src/lexer-keywords.txt" {"shared", TokenType::Shared}, -#line 356 "src/lexer-keywords.txt" +#line 357 "src/lexer-keywords.txt" {"i64.div_u", TokenType::Binary, Opcode::I64DivU}, -#line 232 "src/lexer-keywords.txt" +#line 233 "src/lexer-keywords.txt" {"i32.div_u", TokenType::Binary, Opcode::I32DivU}, {""}, {""}, -#line 102 "src/lexer-keywords.txt" +#line 103 "src/lexer-keywords.txt" {"f64.const", TokenType::Const, Opcode::F64Const}, -#line 51 "src/lexer-keywords.txt" +#line 52 "src/lexer-keywords.txt" {"f32.const", TokenType::Const, Opcode::F32Const}, -#line 314 "src/lexer-keywords.txt" +#line 315 "src/lexer-keywords.txt" {"i64.and", TokenType::Binary, Opcode::I64And}, -#line 199 "src/lexer-keywords.txt" +#line 200 "src/lexer-keywords.txt" {"i32.and", TokenType::Binary, Opcode::I32And}, {""}, {""}, -#line 479 "src/lexer-keywords.txt" +#line 480 "src/lexer-keywords.txt" {"ref.host", TokenType::RefHost}, -#line 353 "src/lexer-keywords.txt" +#line 354 "src/lexer-keywords.txt" {"i64.const", TokenType::Const, Opcode::I64Const}, -#line 229 "src/lexer-keywords.txt" +#line 230 "src/lexer-keywords.txt" {"i32.const", TokenType::Const, Opcode::I32Const}, {""}, -#line 125 "src/lexer-keywords.txt" +#line 126 "src/lexer-keywords.txt" {"f64.store", TokenType::Store, Opcode::F64Store}, -#line 74 "src/lexer-keywords.txt" +#line 75 "src/lexer-keywords.txt" {"f32.store", TokenType::Store, Opcode::F32Store}, {""}, {""}, {""}, {""}, {""}, -#line 394 "src/lexer-keywords.txt" +#line 395 "src/lexer-keywords.txt" {"i64.store", TokenType::Store, Opcode::I64Store}, -#line 264 "src/lexer-keywords.txt" +#line 265 "src/lexer-keywords.txt" {"i32.store", TokenType::Store, Opcode::I32Store}, {""}, -#line 392 "src/lexer-keywords.txt" +#line 393 "src/lexer-keywords.txt" {"i64.store32", TokenType::Store, Opcode::I64Store32}, -#line 117 "src/lexer-keywords.txt" +#line 118 "src/lexer-keywords.txt" {"f64.min", TokenType::Binary, Opcode::F64Min}, -#line 67 "src/lexer-keywords.txt" +#line 68 "src/lexer-keywords.txt" {"f32.min", TokenType::Binary, Opcode::F32Min}, {""}, {""}, -#line 129 "src/lexer-keywords.txt" +#line 130 "src/lexer-keywords.txt" {"f64x2.abs", TokenType::Unary, Opcode::F64X2Abs}, {""}, {""}, {""}, -#line 484 "src/lexer-keywords.txt" +#line 485 "src/lexer-keywords.txt" {"rethrow", TokenType::Rethrow, Opcode::Rethrow}, {""}, {""}, -#line 350 "src/lexer-keywords.txt" +#line 351 "src/lexer-keywords.txt" {"i64.atomic.store", TokenType::AtomicStore, Opcode::I64AtomicStore}, -#line 226 "src/lexer-keywords.txt" +#line 227 "src/lexer-keywords.txt" {"i32.atomic.store", TokenType::AtomicStore, Opcode::I32AtomicStore}, {""}, {""}, {""}, {""}, -#line 348 "src/lexer-keywords.txt" +#line 349 "src/lexer-keywords.txt" {"i64.atomic.store32", TokenType::AtomicStore, Opcode::I64AtomicStore32}, -#line 34 "src/lexer-keywords.txt" +#line 35 "src/lexer-keywords.txt" {"call", TokenType::Call, Opcode::Call}, -#line 487 "src/lexer-keywords.txt" +#line 488 "src/lexer-keywords.txt" {"return", TokenType::Return, Opcode::Return}, {""}, {""}, -#line 481 "src/lexer-keywords.txt" +#line 482 "src/lexer-keywords.txt" {"ref.null", TokenType::RefNull, Opcode::RefNull}, {""}, -#line 461 "src/lexer-keywords.txt" +#line 462 "src/lexer-keywords.txt" {"local", TokenType::Local}, -#line 139 "src/lexer-keywords.txt" +#line 140 "src/lexer-keywords.txt" {"f64x2.min", TokenType::Binary, Opcode::F64X2Min}, {""}, -#line 114 "src/lexer-keywords.txt" +#line 115 "src/lexer-keywords.txt" {"f64.load", TokenType::Load, Opcode::F64Load}, -#line 64 "src/lexer-keywords.txt" +#line 65 "src/lexer-keywords.txt" {"f32.load", TokenType::Load, Opcode::F32Load}, {""}, {""}, {""}, {""}, -#line 459 "src/lexer-keywords.txt" +#line 460 "src/lexer-keywords.txt" {"local.set", TokenType::LocalSet, Opcode::LocalSet}, -#line 376 "src/lexer-keywords.txt" +#line 377 "src/lexer-keywords.txt" {"i64.load", TokenType::Load, Opcode::I64Load}, -#line 247 "src/lexer-keywords.txt" +#line 248 "src/lexer-keywords.txt" {"i32.load", TokenType::Load, Opcode::I32Load}, -#line 98 "src/lexer-keywords.txt" +#line 99 "src/lexer-keywords.txt" {"f32x4", TokenType::F32X4}, {""}, -#line 150 "src/lexer-keywords.txt" +#line 151 "src/lexer-keywords.txt" {"func", TokenType::Func}, -#line 513 "src/lexer-keywords.txt" +#line 514 "src/lexer-keywords.txt" {"v128", Type::V128}, {""}, -#line 460 "src/lexer-keywords.txt" +#line 461 "src/lexer-keywords.txt" {"local.tee", TokenType::LocalTee, Opcode::LocalTee}, {""}, -#line 305 "src/lexer-keywords.txt" +#line 306 "src/lexer-keywords.txt" {"i32x4", TokenType::I32X4}, {""}, -#line 108 "src/lexer-keywords.txt" +#line 109 "src/lexer-keywords.txt" {"f64.div", TokenType::Binary, Opcode::F64Div}, -#line 58 "src/lexer-keywords.txt" +#line 59 "src/lexer-keywords.txt" {"f32.div", TokenType::Binary, Opcode::F32Div}, {""}, {""}, -#line 351 "src/lexer-keywords.txt" +#line 352 "src/lexer-keywords.txt" {"i64.atomic.wait", TokenType::AtomicWait, Opcode::I64AtomicWait}, -#line 227 "src/lexer-keywords.txt" +#line 228 "src/lexer-keywords.txt" {"i32.atomic.wait", TokenType::AtomicWait, Opcode::I32AtomicWait}, {""}, -#line 354 "src/lexer-keywords.txt" +#line 355 "src/lexer-keywords.txt" {"i64.ctz", TokenType::Unary, Opcode::I64Ctz}, -#line 230 "src/lexer-keywords.txt" +#line 231 "src/lexer-keywords.txt" {"i32.ctz", TokenType::Unary, Opcode::I32Ctz}, - {""}, {""}, -#line 480 "src/lexer-keywords.txt" - {"ref.is_null", TokenType::RefIsNull, Opcode::RefIsNull}, - {""}, {""}, {""}, {""}, -#line 119 "src/lexer-keywords.txt" + {""}, {""}, {""}, {""}, {""}, {""}, {""}, +#line 120 "src/lexer-keywords.txt" {"f64.nearest", TokenType::Unary, Opcode::F64Nearest}, -#line 69 "src/lexer-keywords.txt" +#line 70 "src/lexer-keywords.txt" {"f32.nearest", TokenType::Unary, Opcode::F32Nearest}, -#line 387 "src/lexer-keywords.txt" +#line 388 "src/lexer-keywords.txt" {"i64.rotr", TokenType::Binary, Opcode::I64Rotr}, -#line 258 "src/lexer-keywords.txt" +#line 259 "src/lexer-keywords.txt" {"i32.rotr", TokenType::Binary, Opcode::I32Rotr}, -#line 88 "src/lexer-keywords.txt" +#line 89 "src/lexer-keywords.txt" {"f32x4.lt", TokenType::Compare, Opcode::F32X4Lt}, -#line 352 "src/lexer-keywords.txt" +#line 353 "src/lexer-keywords.txt" {"i64.clz", TokenType::Unary, Opcode::I64Clz}, -#line 228 "src/lexer-keywords.txt" +#line 229 "src/lexer-keywords.txt" {"i32.clz", TokenType::Unary, Opcode::I32Clz}, - {""}, {""}, {""}, {""}, {""}, -#line 87 "src/lexer-keywords.txt" +#line 481 "src/lexer-keywords.txt" + {"ref.is_null", TokenType::RefIsNull, Opcode::RefIsNull}, + {""}, {""}, {""}, {""}, +#line 88 "src/lexer-keywords.txt" {"f32x4.le", TokenType::Compare, Opcode::F32X4Le}, {""}, {""}, -#line 372 "src/lexer-keywords.txt" +#line 373 "src/lexer-keywords.txt" {"i64.load32_s", TokenType::Load, Opcode::I64Load32S}, -#line 290 "src/lexer-keywords.txt" +#line 291 "src/lexer-keywords.txt" {"i32x4.lt_s", TokenType::Compare, Opcode::I32X4LtS}, -#line 130 "src/lexer-keywords.txt" +#line 131 "src/lexer-keywords.txt" {"f64x2.add", TokenType::Binary, Opcode::F64X2Add}, {""}, -#line 291 "src/lexer-keywords.txt" +#line 292 "src/lexer-keywords.txt" {"i32x4.lt_u", TokenType::Compare, Opcode::I32X4LtU}, -#line 286 "src/lexer-keywords.txt" +#line 287 "src/lexer-keywords.txt" {"i32x4.le_s", TokenType::Compare, Opcode::I32X4LeS}, -#line 373 "src/lexer-keywords.txt" +#line 374 "src/lexer-keywords.txt" {"i64.load32_u", TokenType::Load, Opcode::I64Load32U}, {""}, -#line 287 "src/lexer-keywords.txt" +#line 288 "src/lexer-keywords.txt" {"i32x4.le_u", TokenType::Compare, Opcode::I32X4LeU}, -#line 405 "src/lexer-keywords.txt" +#line 406 "src/lexer-keywords.txt" {"i64x2.add", TokenType::Binary, Opcode::I64X2Add}, -#line 510 "src/lexer-keywords.txt" +#line 511 "src/lexer-keywords.txt" {"v128.not", TokenType::Unary, Opcode::V128Not}, {""}, -#line 91 "src/lexer-keywords.txt" +#line 92 "src/lexer-keywords.txt" {"f32x4.mul", TokenType::Binary, Opcode::F32X4Mul}, -#line 57 "src/lexer-keywords.txt" +#line 58 "src/lexer-keywords.txt" {"f32.demote_f64", TokenType::Convert, Opcode::F32DemoteF64}, -#line 97 "src/lexer-keywords.txt" +#line 98 "src/lexer-keywords.txt" {"f32x4.sub", TokenType::Binary, Opcode::F32X4Sub}, {""}, {""}, {""}, {""}, -#line 296 "src/lexer-keywords.txt" +#line 297 "src/lexer-keywords.txt" {"i32x4.mul", TokenType::Binary, Opcode::I32X4Mul}, {""}, -#line 304 "src/lexer-keywords.txt" +#line 305 "src/lexer-keywords.txt" {"i32x4.sub", TokenType::Binary, Opcode::I32X4Sub}, -#line 337 "src/lexer-keywords.txt" +#line 338 "src/lexer-keywords.txt" {"i64.atomic.rmw8.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8SubU}, -#line 214 "src/lexer-keywords.txt" +#line 215 "src/lexer-keywords.txt" {"i32.atomic.rmw8.sub_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8SubU}, {""}, {""}, -#line 393 "src/lexer-keywords.txt" +#line 394 "src/lexer-keywords.txt" {"i64.store8", TokenType::Store, Opcode::I64Store8}, -#line 263 "src/lexer-keywords.txt" +#line 264 "src/lexer-keywords.txt" {"i32.store8", TokenType::Store, Opcode::I32Store8}, {""}, {""}, -#line 93 "src/lexer-keywords.txt" +#line 94 "src/lexer-keywords.txt" {"f32x4.ne", TokenType::Compare, Opcode::F32X4Ne}, {""}, {""}, {""}, -#line 318 "src/lexer-keywords.txt" +#line 319 "src/lexer-keywords.txt" {"i64.atomic.load", TokenType::AtomicLoad, Opcode::I64AtomicLoad}, -#line 202 "src/lexer-keywords.txt" +#line 203 "src/lexer-keywords.txt" {"i32.atomic.load", TokenType::AtomicLoad, Opcode::I32AtomicLoad}, {""}, -#line 298 "src/lexer-keywords.txt" +#line 299 "src/lexer-keywords.txt" {"i32x4.ne", TokenType::Compare, Opcode::I32X4Ne}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 374 "src/lexer-keywords.txt" +#line 375 "src/lexer-keywords.txt" {"i64.load8_s", TokenType::Load, Opcode::I64Load8S}, -#line 245 "src/lexer-keywords.txt" +#line 246 "src/lexer-keywords.txt" {"i32.load8_s", TokenType::Load, Opcode::I32Load8S}, -#line 294 "src/lexer-keywords.txt" +#line 295 "src/lexer-keywords.txt" {"i32x4.min_s", TokenType::Binary, Opcode::I32X4MinS}, {""}, {""}, -#line 512 "src/lexer-keywords.txt" +#line 513 "src/lexer-keywords.txt" {"v128.store", TokenType::Store, Opcode::V128Store}, -#line 375 "src/lexer-keywords.txt" +#line 376 "src/lexer-keywords.txt" {"i64.load8_u", TokenType::Load, Opcode::I64Load8U}, -#line 246 "src/lexer-keywords.txt" +#line 247 "src/lexer-keywords.txt" {"i32.load8_u", TokenType::Load, Opcode::I32Load8U}, -#line 295 "src/lexer-keywords.txt" +#line 296 "src/lexer-keywords.txt" {"i32x4.min_u", TokenType::Binary, Opcode::I32X4MinU}, -#line 330 "src/lexer-keywords.txt" +#line 331 "src/lexer-keywords.txt" {"i64.atomic.rmw32.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32SubU}, {""}, {""}, {""}, -#line 39 "src/lexer-keywords.txt" +#line 40 "src/lexer-keywords.txt" {"declare", TokenType::Declare}, {""}, {""}, -#line 78 "src/lexer-keywords.txt" +#line 79 "src/lexer-keywords.txt" {"f32x4.abs", TokenType::Unary, Opcode::F32X4Abs}, -#line 527 "src/lexer-keywords.txt" +#line 528 "src/lexer-keywords.txt" {"f32.demote/f64", TokenType::Convert, Opcode::F32DemoteF64}, {""}, -#line 131 "src/lexer-keywords.txt" +#line 132 "src/lexer-keywords.txt" {"f64x2.div", TokenType::Binary, Opcode::F64X2Div}, -#line 370 "src/lexer-keywords.txt" +#line 371 "src/lexer-keywords.txt" {"i64.load16_s", TokenType::Load, Opcode::I64Load16S}, -#line 243 "src/lexer-keywords.txt" +#line 244 "src/lexer-keywords.txt" {"i32.load16_s", TokenType::Load, Opcode::I32Load16S}, {""}, -#line 276 "src/lexer-keywords.txt" +#line 277 "src/lexer-keywords.txt" {"i32x4.abs", TokenType::Unary, Opcode::I32X4Abs}, #line 21 "src/lexer-keywords.txt" {"assert_invalid", TokenType::AssertInvalid}, #line 25 "src/lexer-keywords.txt" {"assert_unlinkable", TokenType::AssertUnlinkable}, -#line 371 "src/lexer-keywords.txt" +#line 372 "src/lexer-keywords.txt" {"i64.load16_u", TokenType::Load, Opcode::I64Load16U}, -#line 244 "src/lexer-keywords.txt" +#line 245 "src/lexer-keywords.txt" {"i32.load16_u", TokenType::Load, Opcode::I32Load16U}, -#line 559 "src/lexer-keywords.txt" +#line 560 "src/lexer-keywords.txt" {"set_local", TokenType::LocalSet, Opcode::LocalSet}, {""}, {""}, {""}, -#line 560 "src/lexer-keywords.txt" +#line 561 "src/lexer-keywords.txt" {"tee_local", TokenType::LocalTee, Opcode::LocalTee}, -#line 333 "src/lexer-keywords.txt" +#line 334 "src/lexer-keywords.txt" {"i64.atomic.rmw8.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8AddU}, -#line 210 "src/lexer-keywords.txt" +#line 211 "src/lexer-keywords.txt" {"i32.atomic.rmw8.add_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8AddU}, {""}, {""}, -#line 90 "src/lexer-keywords.txt" +#line 91 "src/lexer-keywords.txt" {"f32x4.min", TokenType::Binary, Opcode::F32X4Min}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 103 "src/lexer-keywords.txt" +#line 104 "src/lexer-keywords.txt" {"f64.convert_i32_s", TokenType::Convert, Opcode::F64ConvertI32S}, -#line 52 "src/lexer-keywords.txt" +#line 53 "src/lexer-keywords.txt" {"f32.convert_i32_s", TokenType::Convert, Opcode::F32ConvertI32S}, {""}, -#line 506 "src/lexer-keywords.txt" +#line 507 "src/lexer-keywords.txt" {"v128.and", TokenType::Binary, Opcode::V128And}, {""}, -#line 334 "src/lexer-keywords.txt" +#line 335 "src/lexer-keywords.txt" {"i64.atomic.rmw8.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8AndU}, -#line 211 "src/lexer-keywords.txt" +#line 212 "src/lexer-keywords.txt" {"i32.atomic.rmw8.and_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8AndU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 509 "src/lexer-keywords.txt" +#line 510 "src/lexer-keywords.txt" {"v128.load", TokenType::Load, Opcode::V128Load}, -#line 343 "src/lexer-keywords.txt" +#line 344 "src/lexer-keywords.txt" {"i64.atomic.rmw.or", TokenType::AtomicRmw, Opcode::I64AtomicRmwOr}, -#line 220 "src/lexer-keywords.txt" +#line 221 "src/lexer-keywords.txt" {"i32.atomic.rmw.or", TokenType::AtomicRmw, Opcode::I32AtomicRmwOr}, {""}, {""}, {""}, -#line 344 "src/lexer-keywords.txt" +#line 345 "src/lexer-keywords.txt" {"i64.atomic.rmw.sub", TokenType::AtomicRmw, Opcode::I64AtomicRmwSub}, -#line 221 "src/lexer-keywords.txt" +#line 222 "src/lexer-keywords.txt" {"i32.atomic.rmw.sub", TokenType::AtomicRmw, Opcode::I32AtomicRmwSub}, {""}, -#line 511 "src/lexer-keywords.txt" +#line 512 "src/lexer-keywords.txt" {"v128.or", TokenType::Binary, Opcode::V128Or}, -#line 503 "src/lexer-keywords.txt" +#line 504 "src/lexer-keywords.txt" {"type", TokenType::Type}, {""}, -#line 505 "src/lexer-keywords.txt" +#line 506 "src/lexer-keywords.txt" {"v128.andnot", TokenType::Binary, Opcode::V128Andnot}, #line 23 "src/lexer-keywords.txt" {"assert_return", TokenType::AssertReturn}, -#line 340 "src/lexer-keywords.txt" +#line 341 "src/lexer-keywords.txt" {"i64.atomic.rmw.add", TokenType::AtomicRmw, Opcode::I64AtomicRmwAdd}, -#line 217 "src/lexer-keywords.txt" +#line 218 "src/lexer-keywords.txt" {"i32.atomic.rmw.add", TokenType::AtomicRmw, Opcode::I32AtomicRmwAdd}, {""}, #line 22 "src/lexer-keywords.txt" {"assert_malformed", TokenType::AssertMalformed}, -#line 47 "src/lexer-keywords.txt" +#line 48 "src/lexer-keywords.txt" {"export", TokenType::Export}, {""}, {""}, -#line 151 "src/lexer-keywords.txt" +#line 152 "src/lexer-keywords.txt" {"get", TokenType::Get}, -#line 455 "src/lexer-keywords.txt" +#line 456 "src/lexer-keywords.txt" {"import", TokenType::Import}, {""}, {""}, {""}, {""}, -#line 507 "src/lexer-keywords.txt" +#line 508 "src/lexer-keywords.txt" {"v128.bitselect", TokenType::Ternary, Opcode::V128BitSelect}, -#line 79 "src/lexer-keywords.txt" +#line 80 "src/lexer-keywords.txt" {"f32x4.add", TokenType::Binary, Opcode::F32X4Add}, {""}, {""}, -#line 317 "src/lexer-keywords.txt" +#line 318 "src/lexer-keywords.txt" {"i64.atomic.load8_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad8U}, -#line 201 "src/lexer-keywords.txt" +#line 202 "src/lexer-keywords.txt" {"i32.atomic.load8_u", TokenType::AtomicLoad, Opcode::I32AtomicLoad8U}, {""}, {""}, -#line 277 "src/lexer-keywords.txt" +#line 278 "src/lexer-keywords.txt" {"i32x4.add", TokenType::Binary, Opcode::I32X4Add}, -#line 316 "src/lexer-keywords.txt" +#line 317 "src/lexer-keywords.txt" {"i64.atomic.load32_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad32U}, {""}, {""}, {""}, {""}, -#line 326 "src/lexer-keywords.txt" +#line 327 "src/lexer-keywords.txt" {"i64.atomic.rmw32.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32AddU}, {""}, -#line 29 "src/lexer-keywords.txt" +#line 30 "src/lexer-keywords.txt" {"br_if", TokenType::BrIf, Opcode::BrIf}, {""}, -#line 396 "src/lexer-keywords.txt" +#line 397 "src/lexer-keywords.txt" {"i64.trunc_f32_s", TokenType::Convert, Opcode::I64TruncF32S}, -#line 266 "src/lexer-keywords.txt" +#line 267 "src/lexer-keywords.txt" {"i32.trunc_f32_s", TokenType::Convert, Opcode::I32TruncF32S}, {""}, -#line 397 "src/lexer-keywords.txt" +#line 398 "src/lexer-keywords.txt" {"i64.trunc_f32_u", TokenType::Convert, Opcode::I64TruncF32U}, -#line 267 "src/lexer-keywords.txt" +#line 268 "src/lexer-keywords.txt" {"i32.trunc_f32_u", TokenType::Convert, Opcode::I32TruncF32U}, {""}, {""}, -#line 486 "src/lexer-keywords.txt" +#line 487 "src/lexer-keywords.txt" {"return_call", TokenType::ReturnCall, Opcode::ReturnCall}, -#line 341 "src/lexer-keywords.txt" +#line 342 "src/lexer-keywords.txt" {"i64.atomic.rmw.and", TokenType::AtomicRmw, Opcode::I64AtomicRmwAnd}, -#line 218 "src/lexer-keywords.txt" +#line 219 "src/lexer-keywords.txt" {"i32.atomic.rmw.and", TokenType::AtomicRmw, Opcode::I32AtomicRmwAnd}, {""}, {""}, {""}, -#line 327 "src/lexer-keywords.txt" +#line 328 "src/lexer-keywords.txt" {"i64.atomic.rmw32.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32AndU}, -#line 508 "src/lexer-keywords.txt" +#line 509 "src/lexer-keywords.txt" {"v128.const", TokenType::Const, Opcode::V128Const}, {""}, {""}, {""}, -#line 462 "src/lexer-keywords.txt" +#line 463 "src/lexer-keywords.txt" {"loop", TokenType::Loop, Opcode::Loop}, {""}, -#line 329 "src/lexer-keywords.txt" +#line 330 "src/lexer-keywords.txt" {"i64.atomic.rmw32.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32OrU}, -#line 494 "src/lexer-keywords.txt" +#line 495 "src/lexer-keywords.txt" {"table.get", TokenType::TableGet, Opcode::TableGet}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 104 "src/lexer-keywords.txt" +#line 105 "src/lexer-keywords.txt" {"f64.convert_i32_u", TokenType::Convert, Opcode::F64ConvertI32U}, -#line 53 "src/lexer-keywords.txt" +#line 54 "src/lexer-keywords.txt" {"f32.convert_i32_u", TokenType::Convert, Opcode::F32ConvertI32U}, -#line 40 "src/lexer-keywords.txt" +#line 41 "src/lexer-keywords.txt" {"drop", TokenType::Drop, Opcode::Drop}, -#line 278 "src/lexer-keywords.txt" +#line 279 "src/lexer-keywords.txt" {"i32x4.all_true", TokenType::Unary, Opcode::I32X4AllTrue}, {""}, -#line 105 "src/lexer-keywords.txt" +#line 106 "src/lexer-keywords.txt" {"f64.convert_i64_s", TokenType::Convert, Opcode::F64ConvertI64S}, -#line 54 "src/lexer-keywords.txt" +#line 55 "src/lexer-keywords.txt" {"f32.convert_i64_s", TokenType::Convert, Opcode::F32ConvertI64S}, {""}, -#line 529 "src/lexer-keywords.txt" +#line 530 "src/lexer-keywords.txt" {"f64.convert_s/i32", TokenType::Convert, Opcode::F64ConvertI32S}, -#line 523 "src/lexer-keywords.txt" +#line 524 "src/lexer-keywords.txt" {"f32.convert_s/i32", TokenType::Convert, Opcode::F32ConvertI32S}, {""}, -#line 531 "src/lexer-keywords.txt" +#line 532 "src/lexer-keywords.txt" {"f64.convert_u/i32", TokenType::Convert, Opcode::F64ConvertI32U}, -#line 525 "src/lexer-keywords.txt" +#line 526 "src/lexer-keywords.txt" {"f32.convert_u/i32", TokenType::Convert, Opcode::F32ConvertI32U}, {""}, -#line 82 "src/lexer-keywords.txt" +#line 83 "src/lexer-keywords.txt" {"f32x4.div", TokenType::Binary, Opcode::F32X4Div}, {""}, {""}, {""}, -#line 550 "src/lexer-keywords.txt" +#line 551 "src/lexer-keywords.txt" {"i64.trunc_s/f32", TokenType::Convert, Opcode::I64TruncF32S}, -#line 538 "src/lexer-keywords.txt" +#line 539 "src/lexer-keywords.txt" {"i32.trunc_s/f32", TokenType::Convert, Opcode::I32TruncF32S}, {""}, -#line 554 "src/lexer-keywords.txt" +#line 555 "src/lexer-keywords.txt" {"i64.trunc_u/f32", TokenType::Convert, Opcode::I64TruncF32U}, -#line 542 "src/lexer-keywords.txt" +#line 543 "src/lexer-keywords.txt" {"i32.trunc_u/f32", TokenType::Convert, Opcode::I32TruncF32U}, {""}, -#line 135 "src/lexer-keywords.txt" +#line 136 "src/lexer-keywords.txt" {"f64x2.gt", TokenType::Compare, Opcode::F64X2Gt}, -#line 328 "src/lexer-keywords.txt" +#line 329 "src/lexer-keywords.txt" {"i64.atomic.rmw32.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw32CmpxchgU}, -#line 501 "src/lexer-keywords.txt" +#line 502 "src/lexer-keywords.txt" {"throw", TokenType::Throw, Opcode::Throw}, -#line 323 "src/lexer-keywords.txt" +#line 324 "src/lexer-keywords.txt" {"i64.atomic.rmw16.sub_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16SubU}, -#line 207 "src/lexer-keywords.txt" +#line 208 "src/lexer-keywords.txt" {"i32.atomic.rmw16.sub_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16SubU}, {""}, {""}, -#line 144 "src/lexer-keywords.txt" +#line 145 "src/lexer-keywords.txt" {"f64x2.splat", TokenType::Unary, Opcode::F64X2Splat}, -#line 134 "src/lexer-keywords.txt" +#line 135 "src/lexer-keywords.txt" {"f64x2.ge", TokenType::Compare, Opcode::F64X2Ge}, -#line 33 "src/lexer-keywords.txt" +#line 34 "src/lexer-keywords.txt" {"call_indirect", TokenType::CallIndirect, Opcode::CallIndirect}, -#line 127 "src/lexer-keywords.txt" +#line 128 "src/lexer-keywords.txt" {"f64.trunc", TokenType::Unary, Opcode::F64Trunc}, -#line 76 "src/lexer-keywords.txt" +#line 77 "src/lexer-keywords.txt" {"f32.trunc", TokenType::Unary, Opcode::F32Trunc}, {""}, {""}, -#line 415 "src/lexer-keywords.txt" +#line 416 "src/lexer-keywords.txt" {"i64x2.splat", TokenType::Unary, Opcode::I64X2Splat}, {""}, -#line 154 "src/lexer-keywords.txt" +#line 155 "src/lexer-keywords.txt" {"global", TokenType::Global}, {""}, {""}, {""}, {""}, {""}, -#line 153 "src/lexer-keywords.txt" +#line 154 "src/lexer-keywords.txt" {"global.set", TokenType::GlobalSet, Opcode::GlobalSet}, {""}, {""}, {""}, {""}, {""}, -#line 391 "src/lexer-keywords.txt" +#line 392 "src/lexer-keywords.txt" {"i64.store16", TokenType::Store, Opcode::I64Store16}, -#line 262 "src/lexer-keywords.txt" +#line 263 "src/lexer-keywords.txt" {"i32.store16", TokenType::Store, Opcode::I32Store16}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 476 "src/lexer-keywords.txt" +#line 477 "src/lexer-keywords.txt" {"param", TokenType::Param}, {""}, {""}, {""}, {""}, -#line 398 "src/lexer-keywords.txt" +#line 399 "src/lexer-keywords.txt" {"i64.trunc_f64_s", TokenType::Convert, Opcode::I64TruncF64S}, -#line 268 "src/lexer-keywords.txt" +#line 269 "src/lexer-keywords.txt" {"i32.trunc_f64_s", TokenType::Convert, Opcode::I32TruncF64S}, {""}, -#line 399 "src/lexer-keywords.txt" +#line 400 "src/lexer-keywords.txt" {"i64.trunc_f64_u", TokenType::Convert, Opcode::I64TruncF64U}, -#line 269 "src/lexer-keywords.txt" +#line 270 "src/lexer-keywords.txt" {"i32.trunc_f64_u", TokenType::Convert, Opcode::I32TruncF64U}, -#line 347 "src/lexer-keywords.txt" +#line 348 "src/lexer-keywords.txt" {"i64.atomic.store16", TokenType::AtomicStore, Opcode::I64AtomicStore16}, -#line 224 "src/lexer-keywords.txt" +#line 225 "src/lexer-keywords.txt" {"i32.atomic.store16", TokenType::AtomicStore, Opcode::I32AtomicStore16}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 360 "src/lexer-keywords.txt" +#line 361 "src/lexer-keywords.txt" {"i64.extend32_s", TokenType::Unary, Opcode::I64Extend32S}, - {""}, {""}, {""}, {""}, -#line 547 "src/lexer-keywords.txt" +#line 26 "src/lexer-keywords.txt" + {"atomic.fence", TokenType::AtomicFence, Opcode::AtomicFence}, + {""}, {""}, {""}, +#line 548 "src/lexer-keywords.txt" {"i64.extend_s/i32", TokenType::Convert, Opcode::I64ExtendI32S}, {""}, {""}, -#line 548 "src/lexer-keywords.txt" +#line 549 "src/lexer-keywords.txt" {"i64.extend_u/i32", TokenType::Convert, Opcode::I64ExtendI32U}, {""}, {""}, {""}, {""}, -#line 362 "src/lexer-keywords.txt" +#line 363 "src/lexer-keywords.txt" {"i64.extend_i32_s", TokenType::Convert, Opcode::I64ExtendI32S}, {""}, {""}, {""}, -#line 106 "src/lexer-keywords.txt" +#line 107 "src/lexer-keywords.txt" {"f64.convert_i64_u", TokenType::Convert, Opcode::F64ConvertI64U}, -#line 55 "src/lexer-keywords.txt" +#line 56 "src/lexer-keywords.txt" {"f32.convert_i64_u", TokenType::Convert, Opcode::F32ConvertI64U}, -#line 363 "src/lexer-keywords.txt" +#line 364 "src/lexer-keywords.txt" {"i64.extend_i32_u", TokenType::Convert, Opcode::I64ExtendI32U}, -#line 30 "src/lexer-keywords.txt" +#line 31 "src/lexer-keywords.txt" {"br_on_exn", TokenType::BrOnExn, Opcode::BrOnExn}, -#line 381 "src/lexer-keywords.txt" +#line 382 "src/lexer-keywords.txt" {"i64.or", TokenType::Binary, Opcode::I64Or}, -#line 252 "src/lexer-keywords.txt" +#line 253 "src/lexer-keywords.txt" {"i32.or", TokenType::Binary, Opcode::I32Or}, {""}, {""}, {""}, -#line 400 "src/lexer-keywords.txt" +#line 401 "src/lexer-keywords.txt" {"i64.trunc_sat_f32_s", TokenType::Convert, Opcode::I64TruncSatF32S}, -#line 270 "src/lexer-keywords.txt" +#line 271 "src/lexer-keywords.txt" {"i32.trunc_sat_f32_s", TokenType::Convert, Opcode::I32TruncSatF32S}, {""}, {""}, {""}, {""}, -#line 401 "src/lexer-keywords.txt" +#line 402 "src/lexer-keywords.txt" {"i64.trunc_sat_f32_u", TokenType::Convert, Opcode::I64TruncSatF32U}, -#line 271 "src/lexer-keywords.txt" +#line 272 "src/lexer-keywords.txt" {"i32.trunc_sat_f32_u", TokenType::Convert, Opcode::I32TruncSatF32U}, -#line 551 "src/lexer-keywords.txt" +#line 552 "src/lexer-keywords.txt" {"i64.trunc_s/f64", TokenType::Convert, Opcode::I64TruncF64S}, -#line 539 "src/lexer-keywords.txt" +#line 540 "src/lexer-keywords.txt" {"i32.trunc_s/f64", TokenType::Convert, Opcode::I32TruncF64S}, {""}, -#line 555 "src/lexer-keywords.txt" +#line 556 "src/lexer-keywords.txt" {"i64.trunc_u/f64", TokenType::Convert, Opcode::I64TruncF64U}, -#line 543 "src/lexer-keywords.txt" +#line 544 "src/lexer-keywords.txt" {"i32.trunc_u/f64", TokenType::Convert, Opcode::I32TruncF64U}, -#line 319 "src/lexer-keywords.txt" +#line 320 "src/lexer-keywords.txt" {"i64.atomic.rmw16.add_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16AddU}, -#line 203 "src/lexer-keywords.txt" +#line 204 "src/lexer-keywords.txt" {"i32.atomic.rmw16.add_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16AddU}, {""}, {""}, {""}, -#line 495 "src/lexer-keywords.txt" +#line 496 "src/lexer-keywords.txt" {"table.grow", TokenType::TableGrow, Opcode::TableGrow}, -#line 361 "src/lexer-keywords.txt" +#line 362 "src/lexer-keywords.txt" {"i64.extend8_s", TokenType::Unary, Opcode::I64Extend8S}, -#line 236 "src/lexer-keywords.txt" +#line 237 "src/lexer-keywords.txt" {"i32.extend8_s", TokenType::Unary, Opcode::I32Extend8S}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 320 "src/lexer-keywords.txt" +#line 321 "src/lexer-keywords.txt" {"i64.atomic.rmw16.and_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16AndU}, -#line 204 "src/lexer-keywords.txt" +#line 205 "src/lexer-keywords.txt" {"i32.atomic.rmw16.and_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16AndU}, -#line 458 "src/lexer-keywords.txt" +#line 459 "src/lexer-keywords.txt" {"local.get", TokenType::LocalGet, Opcode::LocalGet}, {""}, {""}, -#line 315 "src/lexer-keywords.txt" +#line 316 "src/lexer-keywords.txt" {"i64.atomic.load16_u", TokenType::AtomicLoad, Opcode::I64AtomicLoad16U}, -#line 200 "src/lexer-keywords.txt" +#line 201 "src/lexer-keywords.txt" {"i32.atomic.load16_u", TokenType::AtomicLoad, Opcode::I32AtomicLoad16U}, -#line 322 "src/lexer-keywords.txt" +#line 323 "src/lexer-keywords.txt" {"i64.atomic.rmw16.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16OrU}, -#line 206 "src/lexer-keywords.txt" +#line 207 "src/lexer-keywords.txt" {"i32.atomic.rmw16.or_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16OrU}, {""}, -#line 435 "src/lexer-keywords.txt" +#line 436 "src/lexer-keywords.txt" {"i8x16.lt_s", TokenType::Compare, Opcode::I8X16LtS}, {""}, {""}, -#line 436 "src/lexer-keywords.txt" +#line 437 "src/lexer-keywords.txt" {"i8x16.lt_u", TokenType::Compare, Opcode::I8X16LtU}, -#line 433 "src/lexer-keywords.txt" +#line 434 "src/lexer-keywords.txt" {"i8x16.le_s", TokenType::Compare, Opcode::I8X16LeS}, {""}, {""}, -#line 434 "src/lexer-keywords.txt" +#line 435 "src/lexer-keywords.txt" {"i8x16.le_u", TokenType::Compare, Opcode::I8X16LeU}, {""}, {""}, -#line 86 "src/lexer-keywords.txt" +#line 87 "src/lexer-keywords.txt" {"f32x4.gt", TokenType::Compare, Opcode::F32X4Gt}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 95 "src/lexer-keywords.txt" +#line 96 "src/lexer-keywords.txt" {"f32x4.splat", TokenType::Unary, Opcode::F32X4Splat}, -#line 85 "src/lexer-keywords.txt" +#line 86 "src/lexer-keywords.txt" {"f32x4.ge", TokenType::Compare, Opcode::F32X4Ge}, {""}, -#line 452 "src/lexer-keywords.txt" +#line 453 "src/lexer-keywords.txt" {"i8x16.sub", TokenType::Binary, Opcode::I8X16Sub}, {""}, -#line 284 "src/lexer-keywords.txt" +#line 285 "src/lexer-keywords.txt" {"i32x4.gt_s", TokenType::Compare, Opcode::I32X4GtS}, {""}, -#line 303 "src/lexer-keywords.txt" +#line 304 "src/lexer-keywords.txt" {"i32x4.splat", TokenType::Unary, Opcode::I32X4Splat}, -#line 285 "src/lexer-keywords.txt" +#line 286 "src/lexer-keywords.txt" {"i32x4.gt_u", TokenType::Compare, Opcode::I32X4GtU}, -#line 282 "src/lexer-keywords.txt" +#line 283 "src/lexer-keywords.txt" {"i32x4.ge_s", TokenType::Compare, Opcode::I32X4GeS}, -#line 477 "src/lexer-keywords.txt" +#line 478 "src/lexer-keywords.txt" {"quote", TokenType::Quote}, {""}, -#line 283 "src/lexer-keywords.txt" +#line 284 "src/lexer-keywords.txt" {"i32x4.ge_u", TokenType::Compare, Opcode::I32X4GeU}, -#line 112 "src/lexer-keywords.txt" +#line 113 "src/lexer-keywords.txt" {"f64.gt", TokenType::Compare, Opcode::F64Gt}, -#line 62 "src/lexer-keywords.txt" +#line 63 "src/lexer-keywords.txt" {"f32.gt", TokenType::Compare, Opcode::F32Gt}, {""}, {""}, -#line 321 "src/lexer-keywords.txt" +#line 322 "src/lexer-keywords.txt" {"i64.atomic.rmw16.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw16CmpxchgU}, -#line 205 "src/lexer-keywords.txt" +#line 206 "src/lexer-keywords.txt" {"i32.atomic.rmw16.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmw16CmpxchgU}, -#line 444 "src/lexer-keywords.txt" +#line 445 "src/lexer-keywords.txt" {"i8x16.ne", TokenType::Compare, Opcode::I8X16Ne}, -#line 472 "src/lexer-keywords.txt" +#line 473 "src/lexer-keywords.txt" {"nan:canonical", TokenType::NanCanonical}, -#line 111 "src/lexer-keywords.txt" +#line 112 "src/lexer-keywords.txt" {"f64.ge", TokenType::Compare, Opcode::F64Ge}, -#line 61 "src/lexer-keywords.txt" +#line 62 "src/lexer-keywords.txt" {"f32.ge", TokenType::Compare, Opcode::F32Ge}, {""}, {""}, {""}, {""}, {""}, -#line 366 "src/lexer-keywords.txt" +#line 367 "src/lexer-keywords.txt" {"i64.gt_s", TokenType::Compare, Opcode::I64GtS}, -#line 239 "src/lexer-keywords.txt" +#line 240 "src/lexer-keywords.txt" {"i32.gt_s", TokenType::Compare, Opcode::I32GtS}, -#line 439 "src/lexer-keywords.txt" +#line 440 "src/lexer-keywords.txt" {"i8x16.min_s", TokenType::Binary, Opcode::I8X16MinS}, {""}, -#line 364 "src/lexer-keywords.txt" +#line 365 "src/lexer-keywords.txt" {"i64.ge_s", TokenType::Compare, Opcode::I64GeS}, -#line 237 "src/lexer-keywords.txt" +#line 238 "src/lexer-keywords.txt" {"i32.ge_s", TokenType::Compare, Opcode::I32GeS}, -#line 367 "src/lexer-keywords.txt" +#line 368 "src/lexer-keywords.txt" {"i64.gt_u", TokenType::Compare, Opcode::I64GtU}, -#line 240 "src/lexer-keywords.txt" +#line 241 "src/lexer-keywords.txt" {"i32.gt_u", TokenType::Compare, Opcode::I32GtU}, -#line 440 "src/lexer-keywords.txt" +#line 441 "src/lexer-keywords.txt" {"i8x16.min_u", TokenType::Binary, Opcode::I8X16MinU}, -#line 482 "src/lexer-keywords.txt" +#line 483 "src/lexer-keywords.txt" {"register", TokenType::Register}, -#line 365 "src/lexer-keywords.txt" +#line 366 "src/lexer-keywords.txt" {"i64.ge_u", TokenType::Compare, Opcode::I64GeU}, -#line 238 "src/lexer-keywords.txt" +#line 239 "src/lexer-keywords.txt" {"i32.ge_u", TokenType::Compare, Opcode::I32GeU}, {""}, -#line 335 "src/lexer-keywords.txt" +#line 336 "src/lexer-keywords.txt" {"i64.atomic.rmw8.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmw8CmpxchgU}, -#line 212 "src/lexer-keywords.txt" +#line 213 "src/lexer-keywords.txt" {"i32.atomic.rmw8.cmpxchg_u", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmw8CmpxchgU}, {""}, {""}, -#line 485 "src/lexer-keywords.txt" +#line 486 "src/lexer-keywords.txt" {"return_call_indirect", TokenType::ReturnCallIndirect, Opcode::ReturnCallIndirect}, {""}, {""}, {""}, {""}, {""}, -#line 419 "src/lexer-keywords.txt" +#line 420 "src/lexer-keywords.txt" {"i8x16.abs", TokenType::Unary, Opcode::I8X16Abs}, -#line 388 "src/lexer-keywords.txt" +#line 389 "src/lexer-keywords.txt" {"i64.shl", TokenType::Binary, Opcode::I64Shl}, -#line 259 "src/lexer-keywords.txt" +#line 260 "src/lexer-keywords.txt" {"i32.shl", TokenType::Binary, Opcode::I32Shl}, -#line 124 "src/lexer-keywords.txt" +#line 125 "src/lexer-keywords.txt" {"f64.sqrt", TokenType::Unary, Opcode::F64Sqrt}, -#line 73 "src/lexer-keywords.txt" +#line 74 "src/lexer-keywords.txt" {"f32.sqrt", TokenType::Unary, Opcode::F32Sqrt}, {""}, -#line 407 "src/lexer-keywords.txt" +#line 408 "src/lexer-keywords.txt" {"i64x2.load32x2_s", TokenType::Load, Opcode::I64X2Load32X2S}, -#line 292 "src/lexer-keywords.txt" +#line 293 "src/lexer-keywords.txt" {"i32x4.max_s", TokenType::Binary, Opcode::I32X4MaxS}, -#line 110 "src/lexer-keywords.txt" +#line 111 "src/lexer-keywords.txt" {"f64.floor", TokenType::Unary, Opcode::F64Floor}, -#line 60 "src/lexer-keywords.txt" +#line 61 "src/lexer-keywords.txt" {"f32.floor", TokenType::Unary, Opcode::F32Floor}, {""}, {""}, -#line 408 "src/lexer-keywords.txt" +#line 409 "src/lexer-keywords.txt" {"i64x2.load32x2_u", TokenType::Load, Opcode::I64X2Load32X2U}, -#line 293 "src/lexer-keywords.txt" +#line 294 "src/lexer-keywords.txt" {"i32x4.max_u", TokenType::Binary, Opcode::I32X4MaxU}, {""}, {""}, {""}, {""}, -#line 467 "src/lexer-keywords.txt" +#line 468 "src/lexer-keywords.txt" {"memory.size", TokenType::MemorySize, Opcode::MemorySize}, {""}, {""}, {""}, {""}, -#line 530 "src/lexer-keywords.txt" +#line 531 "src/lexer-keywords.txt" {"f64.convert_s/i64", TokenType::Convert, Opcode::F64ConvertI64S}, -#line 524 "src/lexer-keywords.txt" +#line 525 "src/lexer-keywords.txt" {"f32.convert_s/i64", TokenType::Convert, Opcode::F32ConvertI64S}, {""}, -#line 532 "src/lexer-keywords.txt" +#line 533 "src/lexer-keywords.txt" {"f64.convert_u/i64", TokenType::Convert, Opcode::F64ConvertI64U}, -#line 526 "src/lexer-keywords.txt" +#line 527 "src/lexer-keywords.txt" {"f32.convert_u/i64", TokenType::Convert, Opcode::F32ConvertI64U}, {""}, #line 20 "src/lexer-keywords.txt" {"assert_exhaustion", TokenType::AssertExhaustion}, {""}, {""}, -#line 336 "src/lexer-keywords.txt" +#line 337 "src/lexer-keywords.txt" {"i64.atomic.rmw8.or_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8OrU}, -#line 213 "src/lexer-keywords.txt" +#line 214 "src/lexer-keywords.txt" {"i32.atomic.rmw8.or_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8OrU}, {""}, {""}, {""}, {""}, {""}, -#line 464 "src/lexer-keywords.txt" +#line 465 "src/lexer-keywords.txt" {"memory.fill", TokenType::MemoryFill, Opcode::MemoryFill}, {""}, -#line 536 "src/lexer-keywords.txt" +#line 537 "src/lexer-keywords.txt" {"get_local", TokenType::LocalGet, Opcode::LocalGet}, -#line 332 "src/lexer-keywords.txt" +#line 333 "src/lexer-keywords.txt" {"i64.atomic.rmw32.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32XorU}, {""}, {""}, {""}, -#line 517 "src/lexer-keywords.txt" +#line 518 "src/lexer-keywords.txt" {"v64x2.load_splat", TokenType::Load, Opcode::V64X2LoadSplat}, {""}, #line 18 "src/lexer-keywords.txt" {"anyref", Type::Anyref}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 453 "src/lexer-keywords.txt" +#line 454 "src/lexer-keywords.txt" {"i8x16", TokenType::I8X16}, -#line 466 "src/lexer-keywords.txt" +#line 467 "src/lexer-keywords.txt" {"memory.init", TokenType::MemoryInit, Opcode::MemoryInit}, {""}, {""}, -#line 389 "src/lexer-keywords.txt" +#line 390 "src/lexer-keywords.txt" {"i64.shr_s", TokenType::Binary, Opcode::I64ShrS}, -#line 260 "src/lexer-keywords.txt" +#line 261 "src/lexer-keywords.txt" {"i32.shr_s", TokenType::Binary, Opcode::I32ShrS}, {""}, {""}, {""}, {""}, -#line 390 "src/lexer-keywords.txt" +#line 391 "src/lexer-keywords.txt" {"i64.shr_u", TokenType::Binary, Opcode::I64ShrU}, -#line 261 "src/lexer-keywords.txt" +#line 262 "src/lexer-keywords.txt" {"i32.shr_u", TokenType::Binary, Opcode::I32ShrU}, -#line 514 "src/lexer-keywords.txt" +#line 515 "src/lexer-keywords.txt" {"v128.xor", TokenType::Binary, Opcode::V128Xor}, {""}, -#line 145 "src/lexer-keywords.txt" +#line 146 "src/lexer-keywords.txt" {"f64x2.sqrt", TokenType::Unary, Opcode::F64X2Sqrt}, -#line 412 "src/lexer-keywords.txt" +#line 413 "src/lexer-keywords.txt" {"i64x2.shl", TokenType::Binary, Opcode::I64X2Shl}, {""}, {""}, -#line 422 "src/lexer-keywords.txt" +#line 423 "src/lexer-keywords.txt" {"i8x16.add", TokenType::Binary, Opcode::I8X16Add}, {""}, -#line 174 "src/lexer-keywords.txt" +#line 175 "src/lexer-keywords.txt" {"i16x8.lt_s", TokenType::Compare, Opcode::I16X8LtS}, {""}, {""}, -#line 175 "src/lexer-keywords.txt" +#line 176 "src/lexer-keywords.txt" {"i16x8.lt_u", TokenType::Compare, Opcode::I16X8LtU}, -#line 170 "src/lexer-keywords.txt" +#line 171 "src/lexer-keywords.txt" {"i16x8.le_s", TokenType::Compare, Opcode::I16X8LeS}, {""}, {""}, -#line 171 "src/lexer-keywords.txt" +#line 172 "src/lexer-keywords.txt" {"i16x8.le_u", TokenType::Compare, Opcode::I16X8LeU}, - {""}, {""}, -#line 72 "src/lexer-keywords.txt" - {"f32.reinterpret_i32", TokenType::Convert, Opcode::F32ReinterpretI32}, - {""}, {""}, -#line 359 "src/lexer-keywords.txt" + {""}, {""}, {""}, {""}, {""}, +#line 360 "src/lexer-keywords.txt" {"i64.extend16_s", TokenType::Unary, Opcode::I64Extend16S}, -#line 235 "src/lexer-keywords.txt" +#line 236 "src/lexer-keywords.txt" {"i32.extend16_s", TokenType::Unary, Opcode::I32Extend16S}, {""}, -#line 358 "src/lexer-keywords.txt" +#line 359 "src/lexer-keywords.txt" {"i64.eqz", TokenType::Convert, Opcode::I64Eqz}, -#line 234 "src/lexer-keywords.txt" +#line 235 "src/lexer-keywords.txt" {"i32.eqz", TokenType::Convert, Opcode::I32Eqz}, -#line 180 "src/lexer-keywords.txt" +#line 181 "src/lexer-keywords.txt" {"i16x8.mul", TokenType::Binary, Opcode::I16X8Mul}, {""}, -#line 192 "src/lexer-keywords.txt" +#line 193 "src/lexer-keywords.txt" {"i16x8.sub", TokenType::Binary, Opcode::I16X8Sub}, - {""}, {""}, {""}, {""}, -#line 310 "src/lexer-keywords.txt" - {"i32x4.widen_low_i16x8_s", TokenType::Unary, Opcode::I32X4WidenLowI16X8S}, - {""}, {""}, -#line 311 "src/lexer-keywords.txt" - {"i32x4.widen_low_i16x8_u", TokenType::Unary, Opcode::I32X4WidenLowI16X8U}, - {""}, {""}, {""}, {""}, {""}, {""}, -#line 473 "src/lexer-keywords.txt" + {""}, +#line 73 "src/lexer-keywords.txt" + {"f32.reinterpret_i32", TokenType::Convert, Opcode::F32ReinterpretI32}, + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, +#line 474 "src/lexer-keywords.txt" {"nop", TokenType::Nop, Opcode::Nop}, -#line 184 "src/lexer-keywords.txt" +#line 185 "src/lexer-keywords.txt" {"i16x8.ne", TokenType::Compare, Opcode::I16X8Ne}, - {""}, {""}, -#line 450 "src/lexer-keywords.txt" - {"i8x16.sub_saturate_s", TokenType::Binary, Opcode::I8X16SubSaturateS}, +#line 311 "src/lexer-keywords.txt" + {"i32x4.widen_low_i16x8_s", TokenType::Unary, Opcode::I32X4WidenLowI16X8S}, {""}, -#line 35 "src/lexer-keywords.txt" - {"catch", TokenType::Catch, Opcode::Catch}, #line 451 "src/lexer-keywords.txt" + {"i8x16.sub_saturate_s", TokenType::Binary, Opcode::I8X16SubSaturateS}, +#line 312 "src/lexer-keywords.txt" + {"i32x4.widen_low_i16x8_u", TokenType::Unary, Opcode::I32X4WidenLowI16X8U}, +#line 36 "src/lexer-keywords.txt" + {"catch", TokenType::Catch, Opcode::Catch}, +#line 452 "src/lexer-keywords.txt" {"i8x16.sub_saturate_u", TokenType::Binary, Opcode::I8X16SubSaturateU}, -#line 423 "src/lexer-keywords.txt" +#line 424 "src/lexer-keywords.txt" {"i8x16.all_true", TokenType::Unary, Opcode::I8X16AllTrue}, {""}, {""}, {""}, -#line 178 "src/lexer-keywords.txt" +#line 179 "src/lexer-keywords.txt" {"i16x8.min_s", TokenType::Binary, Opcode::I16X8MinS}, -#line 402 "src/lexer-keywords.txt" +#line 403 "src/lexer-keywords.txt" {"i64.trunc_sat_f64_s", TokenType::Convert, Opcode::I64TruncSatF64S}, -#line 272 "src/lexer-keywords.txt" +#line 273 "src/lexer-keywords.txt" {"i32.trunc_sat_f64_s", TokenType::Convert, Opcode::I32TruncSatF64S}, {""}, -#line 413 "src/lexer-keywords.txt" +#line 414 "src/lexer-keywords.txt" {"i64x2.shr_s", TokenType::Binary, Opcode::I64X2ShrS}, -#line 558 "src/lexer-keywords.txt" +#line 559 "src/lexer-keywords.txt" {"set_global", TokenType::GlobalSet, Opcode::GlobalSet}, -#line 179 "src/lexer-keywords.txt" +#line 180 "src/lexer-keywords.txt" {"i16x8.min_u", TokenType::Binary, Opcode::I16X8MinU}, -#line 403 "src/lexer-keywords.txt" +#line 404 "src/lexer-keywords.txt" {"i64.trunc_sat_f64_u", TokenType::Convert, Opcode::I64TruncSatF64U}, -#line 273 "src/lexer-keywords.txt" +#line 274 "src/lexer-keywords.txt" {"i32.trunc_sat_f64_u", TokenType::Convert, Opcode::I32TruncSatF64U}, {""}, -#line 414 "src/lexer-keywords.txt" +#line 415 "src/lexer-keywords.txt" {"i64x2.shr_u", TokenType::Binary, Opcode::I64X2ShrU}, - {""}, {""}, -#line 528 "src/lexer-keywords.txt" - {"f32.reinterpret/i32", TokenType::Convert, Opcode::F32ReinterpretI32}, - {""}, {""}, {""}, {""}, {""}, {""}, -#line 520 "src/lexer-keywords.txt" + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, +#line 521 "src/lexer-keywords.txt" {"v8x16.swizzle", TokenType::Binary, Opcode::V8X16Swizzle}, -#line 156 "src/lexer-keywords.txt" +#line 157 "src/lexer-keywords.txt" {"i16x8.abs", TokenType::Unary, Opcode::I16X8Abs}, - {""}, {""}, {""}, {""}, {""}, {""}, -#line 193 "src/lexer-keywords.txt" + {""}, {""}, {""}, +#line 529 "src/lexer-keywords.txt" + {"f32.reinterpret/i32", TokenType::Convert, Opcode::F32ReinterpretI32}, + {""}, {""}, +#line 194 "src/lexer-keywords.txt" {"i16x8", TokenType::I16X8}, -#line 331 "src/lexer-keywords.txt" +#line 332 "src/lexer-keywords.txt" {"i64.atomic.rmw32.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw32XchgU}, {""}, -#line 349 "src/lexer-keywords.txt" +#line 350 "src/lexer-keywords.txt" {"i64.atomic.store8", TokenType::AtomicStore, Opcode::I64AtomicStore8}, -#line 225 "src/lexer-keywords.txt" +#line 226 "src/lexer-keywords.txt" {"i32.atomic.store8", TokenType::AtomicStore, Opcode::I32AtomicStore8}, {""}, -#line 120 "src/lexer-keywords.txt" +#line 121 "src/lexer-keywords.txt" {"f64.neg", TokenType::Unary, Opcode::F64Neg}, -#line 70 "src/lexer-keywords.txt" +#line 71 "src/lexer-keywords.txt" {"f32.neg", TokenType::Unary, Opcode::F32Neg}, {""}, {""}, {""}, {""}, -#line 133 "src/lexer-keywords.txt" +#line 134 "src/lexer-keywords.txt" {"f64x2.extract_lane", TokenType::SimdLaneOp, Opcode::F64X2ExtractLane}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 406 "src/lexer-keywords.txt" +#line 407 "src/lexer-keywords.txt" {"i64x2.extract_lane", TokenType::SimdLaneOp, Opcode::I64X2ExtractLane}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 122 "src/lexer-keywords.txt" +#line 123 "src/lexer-keywords.txt" {"f64.promote_f32", TokenType::Convert, Opcode::F64PromoteF32}, -#line 478 "src/lexer-keywords.txt" +#line 479 "src/lexer-keywords.txt" {"ref.func", TokenType::RefFunc, Opcode::RefFunc}, -#line 516 "src/lexer-keywords.txt" +#line 517 "src/lexer-keywords.txt" {"v32x4.load_splat", TokenType::Load, Opcode::V32X4LoadSplat}, - {""}, -#line 123 "src/lexer-keywords.txt" - {"f64.reinterpret_i64", TokenType::Convert, Opcode::F64ReinterpretI64}, - {""}, -#line 116 "src/lexer-keywords.txt" + {""}, {""}, {""}, +#line 117 "src/lexer-keywords.txt" {"f64.max", TokenType::Binary, Opcode::F64Max}, -#line 66 "src/lexer-keywords.txt" +#line 67 "src/lexer-keywords.txt" {"f32.max", TokenType::Binary, Opcode::F32Max}, {""}, {""}, {""}, {""}, {""}, -#line 418 "src/lexer-keywords.txt" +#line 419 "src/lexer-keywords.txt" {"i64.xor", TokenType::Binary, Opcode::I64Xor}, -#line 312 "src/lexer-keywords.txt" +#line 313 "src/lexer-keywords.txt" {"i32.xor", TokenType::Binary, Opcode::I32Xor}, - {""}, {""}, {""}, {""}, {""}, -#line 152 "src/lexer-keywords.txt" + {""}, +#line 124 "src/lexer-keywords.txt" + {"f64.reinterpret_i64", TokenType::Convert, Opcode::F64ReinterpretI64}, + {""}, {""}, {""}, +#line 153 "src/lexer-keywords.txt" {"global.get", TokenType::GlobalGet, Opcode::GlobalGet}, -#line 325 "src/lexer-keywords.txt" +#line 326 "src/lexer-keywords.txt" {"i64.atomic.rmw16.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16XorU}, -#line 209 "src/lexer-keywords.txt" +#line 210 "src/lexer-keywords.txt" {"i32.atomic.rmw16.xor_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16XorU}, {""}, #line 19 "src/lexer-keywords.txt" {"array", TokenType::Array}, {""}, -#line 96 "src/lexer-keywords.txt" +#line 97 "src/lexer-keywords.txt" {"f32x4.sqrt", TokenType::Unary, Opcode::F32X4Sqrt}, -#line 300 "src/lexer-keywords.txt" +#line 301 "src/lexer-keywords.txt" {"i32x4.shl", TokenType::Binary, Opcode::I32X4Shl}, {""}, {""}, {""}, -#line 138 "src/lexer-keywords.txt" +#line 139 "src/lexer-keywords.txt" {"f64x2.max", TokenType::Binary, Opcode::F64X2Max}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 159 "src/lexer-keywords.txt" +#line 160 "src/lexer-keywords.txt" {"i16x8.add", TokenType::Binary, Opcode::I16X8Add}, {""}, {""}, {""}, {""}, -#line 420 "src/lexer-keywords.txt" +#line 421 "src/lexer-keywords.txt" {"i8x16.add_saturate_s", TokenType::Binary, Opcode::I8X16AddSaturateS}, {""}, {""}, -#line 421 "src/lexer-keywords.txt" +#line 422 "src/lexer-keywords.txt" {"i8x16.add_saturate_u", TokenType::Binary, Opcode::I8X16AddSaturateU}, {""}, -#line 533 "src/lexer-keywords.txt" +#line 534 "src/lexer-keywords.txt" {"f64.promote/f32", TokenType::Convert, Opcode::F64PromoteF32}, {""}, {""}, -#line 141 "src/lexer-keywords.txt" +#line 142 "src/lexer-keywords.txt" {"f64x2.neg", TokenType::Unary, Opcode::F64X2Neg}, -#line 534 "src/lexer-keywords.txt" - {"f64.reinterpret/i64", TokenType::Convert, Opcode::F64ReinterpretI64}, - {""}, {""}, {""}, + {""}, {""}, {""}, {""}, #line 24 "src/lexer-keywords.txt" {"assert_trap", TokenType::AssertTrap}, {""}, -#line 410 "src/lexer-keywords.txt" +#line 411 "src/lexer-keywords.txt" {"i64x2.neg", TokenType::Unary, Opcode::I64X2Neg}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, - {""}, {""}, -#line 143 "src/lexer-keywords.txt" + {""}, {""}, {""}, {""}, {""}, +#line 535 "src/lexer-keywords.txt" + {"f64.reinterpret/i64", TokenType::Convert, Opcode::F64ReinterpretI64}, + {""}, {""}, {""}, {""}, {""}, +#line 144 "src/lexer-keywords.txt" {"f64x2.replace_lane", TokenType::SimdLaneOp, Opcode::F64X2ReplaceLane}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 411 "src/lexer-keywords.txt" +#line 412 "src/lexer-keywords.txt" {"i64x2.replace_lane", TokenType::SimdLaneOp, Opcode::I64X2ReplaceLane}, {""}, -#line 190 "src/lexer-keywords.txt" +#line 191 "src/lexer-keywords.txt" {"i16x8.sub_saturate_s", TokenType::Binary, Opcode::I16X8SubSaturateS}, {""}, -#line 301 "src/lexer-keywords.txt" +#line 302 "src/lexer-keywords.txt" {"i32x4.shr_s", TokenType::Binary, Opcode::I32X4ShrS}, -#line 191 "src/lexer-keywords.txt" +#line 192 "src/lexer-keywords.txt" {"i16x8.sub_saturate_u", TokenType::Binary, Opcode::I16X8SubSaturateU}, -#line 160 "src/lexer-keywords.txt" +#line 161 "src/lexer-keywords.txt" {"i16x8.all_true", TokenType::Unary, Opcode::I16X8AllTrue}, {""}, {""}, {""}, -#line 302 "src/lexer-keywords.txt" +#line 303 "src/lexer-keywords.txt" {"i32x4.shr_u", TokenType::Binary, Opcode::I32X4ShrU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 552 "src/lexer-keywords.txt" +#line 553 "src/lexer-keywords.txt" {"i64.trunc_s:sat/f32", TokenType::Convert, Opcode::I64TruncSatF32S}, -#line 540 "src/lexer-keywords.txt" +#line 541 "src/lexer-keywords.txt" {"i32.trunc_s:sat/f32", TokenType::Convert, Opcode::I32TruncSatF32S}, {""}, -#line 556 "src/lexer-keywords.txt" +#line 557 "src/lexer-keywords.txt" {"i64.trunc_u:sat/f32", TokenType::Convert, Opcode::I64TruncSatF32U}, -#line 544 "src/lexer-keywords.txt" +#line 545 "src/lexer-keywords.txt" {"i32.trunc_u:sat/f32", TokenType::Convert, Opcode::I32TruncSatF32U}, {""}, {""}, {""}, {""}, {""}, -#line 431 "src/lexer-keywords.txt" +#line 432 "src/lexer-keywords.txt" {"i8x16.gt_s", TokenType::Compare, Opcode::I8X16GtS}, {""}, -#line 449 "src/lexer-keywords.txt" +#line 450 "src/lexer-keywords.txt" {"i8x16.splat", TokenType::Unary, Opcode::I8X16Splat}, -#line 432 "src/lexer-keywords.txt" +#line 433 "src/lexer-keywords.txt" {"i8x16.gt_u", TokenType::Compare, Opcode::I8X16GtU}, -#line 429 "src/lexer-keywords.txt" +#line 430 "src/lexer-keywords.txt" {"i8x16.ge_s", TokenType::Compare, Opcode::I8X16GeS}, {""}, {""}, -#line 430 "src/lexer-keywords.txt" +#line 431 "src/lexer-keywords.txt" {"i8x16.ge_u", TokenType::Compare, Opcode::I8X16GeU}, {""}, -#line 41 "src/lexer-keywords.txt" +#line 42 "src/lexer-keywords.txt" {"elem.drop", TokenType::ElemDrop, Opcode::ElemDrop}, {""}, -#line 84 "src/lexer-keywords.txt" +#line 85 "src/lexer-keywords.txt" {"f32x4.extract_lane", TokenType::SimdLaneOp, Opcode::F32X4ExtractLane}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 281 "src/lexer-keywords.txt" +#line 282 "src/lexer-keywords.txt" {"i32x4.extract_lane", TokenType::SimdLaneOp, Opcode::I32X4ExtractLane}, {""}, {""}, {""}, {""}, -#line 324 "src/lexer-keywords.txt" +#line 325 "src/lexer-keywords.txt" {"i64.atomic.rmw16.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw16XchgU}, -#line 208 "src/lexer-keywords.txt" +#line 209 "src/lexer-keywords.txt" {"i32.atomic.rmw16.xchg_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw16XchgU}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 37 "src/lexer-keywords.txt" +#line 38 "src/lexer-keywords.txt" {"data.drop", TokenType::DataDrop, Opcode::DataDrop}, {""}, -#line 504 "src/lexer-keywords.txt" +#line 505 "src/lexer-keywords.txt" {"unreachable", TokenType::Unreachable, Opcode::Unreachable}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 339 "src/lexer-keywords.txt" +#line 340 "src/lexer-keywords.txt" {"i64.atomic.rmw8.xor_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8XorU}, -#line 216 "src/lexer-keywords.txt" +#line 217 "src/lexer-keywords.txt" {"i32.atomic.rmw8.xor_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8XorU}, {""}, {""}, {""}, {""}, -#line 437 "src/lexer-keywords.txt" +#line 438 "src/lexer-keywords.txt" {"i8x16.max_s", TokenType::Binary, Opcode::I8X16MaxS}, {""}, {""}, {""}, -#line 89 "src/lexer-keywords.txt" +#line 90 "src/lexer-keywords.txt" {"f32x4.max", TokenType::Binary, Opcode::F32X4Max}, {""}, -#line 438 "src/lexer-keywords.txt" +#line 439 "src/lexer-keywords.txt" {"i8x16.max_u", TokenType::Binary, Opcode::I8X16MaxU}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 306 "src/lexer-keywords.txt" +#line 307 "src/lexer-keywords.txt" {"i32x4.trunc_sat_f32x4_s", TokenType::Unary, Opcode::I32X4TruncSatF32X4S}, {""}, {""}, -#line 307 "src/lexer-keywords.txt" +#line 308 "src/lexer-keywords.txt" {"i32x4.trunc_sat_f32x4_u", TokenType::Unary, Opcode::I32X4TruncSatF32X4U}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 288 "src/lexer-keywords.txt" +#line 289 "src/lexer-keywords.txt" {"i32x4.load16x4_s", TokenType::Load, Opcode::I32X4Load16X4S}, {""}, {""}, -#line 92 "src/lexer-keywords.txt" +#line 93 "src/lexer-keywords.txt" {"f32x4.neg", TokenType::Unary, Opcode::F32X4Neg}, {""}, -#line 157 "src/lexer-keywords.txt" +#line 158 "src/lexer-keywords.txt" {"i16x8.add_saturate_s", TokenType::Binary, Opcode::I16X8AddSaturateS}, -#line 289 "src/lexer-keywords.txt" +#line 290 "src/lexer-keywords.txt" {"i32x4.load16x4_u", TokenType::Load, Opcode::I32X4Load16X4U}, {""}, -#line 158 "src/lexer-keywords.txt" +#line 159 "src/lexer-keywords.txt" {"i16x8.add_saturate_u", TokenType::Binary, Opcode::I16X8AddSaturateU}, {""}, -#line 297 "src/lexer-keywords.txt" +#line 298 "src/lexer-keywords.txt" {"i32x4.neg", TokenType::Unary, Opcode::I32X4Neg}, -#line 553 "src/lexer-keywords.txt" +#line 554 "src/lexer-keywords.txt" {"i64.trunc_s:sat/f64", TokenType::Convert, Opcode::I64TruncSatF64S}, -#line 541 "src/lexer-keywords.txt" +#line 542 "src/lexer-keywords.txt" {"i32.trunc_s:sat/f64", TokenType::Convert, Opcode::I32TruncSatF64S}, {""}, -#line 557 "src/lexer-keywords.txt" +#line 558 "src/lexer-keywords.txt" {"i64.trunc_u:sat/f64", TokenType::Convert, Opcode::I64TruncSatF64U}, -#line 545 "src/lexer-keywords.txt" +#line 546 "src/lexer-keywords.txt" {"i32.trunc_u:sat/f64", TokenType::Convert, Opcode::I32TruncSatF64U}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 94 "src/lexer-keywords.txt" +#line 95 "src/lexer-keywords.txt" {"f32x4.replace_lane", TokenType::SimdLaneOp, Opcode::F32X4ReplaceLane}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 299 "src/lexer-keywords.txt" +#line 300 "src/lexer-keywords.txt" {"i32x4.replace_lane", TokenType::SimdLaneOp, Opcode::I32X4ReplaceLane}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 275 "src/lexer-keywords.txt" +#line 276 "src/lexer-keywords.txt" {"i32.wrap_i64", TokenType::Convert, Opcode::I32WrapI64}, {""}, -#line 80 "src/lexer-keywords.txt" +#line 81 "src/lexer-keywords.txt" {"f32x4.convert_i32x4_s", TokenType::Unary, Opcode::F32X4ConvertI32X4S}, {""}, {""}, -#line 81 "src/lexer-keywords.txt" +#line 82 "src/lexer-keywords.txt" {"f32x4.convert_i32x4_u", TokenType::Unary, Opcode::F32X4ConvertI32X4U}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 279 "src/lexer-keywords.txt" +#line 280 "src/lexer-keywords.txt" {"i32x4.any_true", TokenType::Unary, Opcode::I32X4AnyTrue}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 254 "src/lexer-keywords.txt" +#line 255 "src/lexer-keywords.txt" {"i32.reinterpret_f32", TokenType::Convert, Opcode::I32ReinterpretF32}, {""}, {""}, {""}, -#line 168 "src/lexer-keywords.txt" +#line 169 "src/lexer-keywords.txt" {"i16x8.gt_s", TokenType::Compare, Opcode::I16X8GtS}, {""}, -#line 189 "src/lexer-keywords.txt" +#line 190 "src/lexer-keywords.txt" {"i16x8.splat", TokenType::Unary, Opcode::I16X8Splat}, -#line 169 "src/lexer-keywords.txt" +#line 170 "src/lexer-keywords.txt" {"i16x8.gt_u", TokenType::Compare, Opcode::I16X8GtU}, -#line 166 "src/lexer-keywords.txt" +#line 167 "src/lexer-keywords.txt" {"i16x8.ge_s", TokenType::Compare, Opcode::I16X8GeS}, {""}, {""}, -#line 167 "src/lexer-keywords.txt" +#line 168 "src/lexer-keywords.txt" {"i16x8.ge_u", TokenType::Compare, Opcode::I16X8GeU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 346 "src/lexer-keywords.txt" +#line 347 "src/lexer-keywords.txt" {"i64.atomic.rmw.xor", TokenType::AtomicRmw, Opcode::I64AtomicRmwXor}, -#line 223 "src/lexer-keywords.txt" +#line 224 "src/lexer-keywords.txt" {"i32.atomic.rmw.xor", TokenType::AtomicRmw, Opcode::I32AtomicRmwXor}, {""}, {""}, {""}, -#line 546 "src/lexer-keywords.txt" +#line 547 "src/lexer-keywords.txt" {"i32.wrap/i64", TokenType::Convert, Opcode::I32WrapI64}, {""}, {""}, {""}, {""}, -#line 425 "src/lexer-keywords.txt" +#line 426 "src/lexer-keywords.txt" {"i8x16.avgr_u", TokenType::Binary, Opcode::I8X16AvgrU}, {""}, {""}, {""}, {""}, -#line 109 "src/lexer-keywords.txt" +#line 110 "src/lexer-keywords.txt" {"f64.eq", TokenType::Compare, Opcode::F64Eq}, -#line 59 "src/lexer-keywords.txt" +#line 60 "src/lexer-keywords.txt" {"f32.eq", TokenType::Compare, Opcode::F32Eq}, {""}, {""}, {""}, {""}, {""}, -#line 357 "src/lexer-keywords.txt" +#line 358 "src/lexer-keywords.txt" {"i64.eq", TokenType::Compare, Opcode::I64Eq}, -#line 233 "src/lexer-keywords.txt" +#line 234 "src/lexer-keywords.txt" {"i32.eq", TokenType::Compare, Opcode::I32Eq}, {""}, {""}, {""}, {""}, -#line 537 "src/lexer-keywords.txt" +#line 538 "src/lexer-keywords.txt" {"i32.reinterpret/f32", TokenType::Convert, Opcode::I32ReinterpretF32}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 176 "src/lexer-keywords.txt" +#line 177 "src/lexer-keywords.txt" {"i16x8.max_s", TokenType::Binary, Opcode::I16X8MaxS}, {""}, -#line 465 "src/lexer-keywords.txt" +#line 466 "src/lexer-keywords.txt" {"memory.grow", TokenType::MemoryGrow, Opcode::MemoryGrow}, {""}, {""}, {""}, -#line 177 "src/lexer-keywords.txt" +#line 178 "src/lexer-keywords.txt" {"i16x8.max_u", TokenType::Binary, Opcode::I16X8MaxU}, {""}, -#line 522 "src/lexer-keywords.txt" +#line 523 "src/lexer-keywords.txt" {"anyfunc", Type::Funcref}, {""}, {""}, {""}, {""}, -#line 535 "src/lexer-keywords.txt" +#line 536 "src/lexer-keywords.txt" {"get_global", TokenType::GlobalGet, Opcode::GlobalGet}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 471 "src/lexer-keywords.txt" +#line 472 "src/lexer-keywords.txt" {"nan:arithmetic", TokenType::NanArithmetic}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 518 "src/lexer-keywords.txt" +#line 519 "src/lexer-keywords.txt" {"v8x16.load_splat", TokenType::Load, Opcode::V8X16LoadSplat}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 383 "src/lexer-keywords.txt" +#line 384 "src/lexer-keywords.txt" {"i64.reinterpret_f64", TokenType::Convert, Opcode::I64ReinterpretF64}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 382 "src/lexer-keywords.txt" +#line 383 "src/lexer-keywords.txt" {"i64.popcnt", TokenType::Unary, Opcode::I64Popcnt}, -#line 253 "src/lexer-keywords.txt" +#line 254 "src/lexer-keywords.txt" {"i32.popcnt", TokenType::Unary, Opcode::I32Popcnt}, {""}, {""}, {""}, {""}, -#line 132 "src/lexer-keywords.txt" +#line 133 "src/lexer-keywords.txt" {"f64x2.eq", TokenType::Compare, Opcode::F64X2Eq}, -#line 446 "src/lexer-keywords.txt" +#line 447 "src/lexer-keywords.txt" {"i8x16.shl", TokenType::Binary, Opcode::I8X16Shl}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 492 "src/lexer-keywords.txt" +#line 493 "src/lexer-keywords.txt" {"table.copy", TokenType::TableCopy, Opcode::TableCopy}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 549 "src/lexer-keywords.txt" +#line 550 "src/lexer-keywords.txt" {"i64.reinterpret/f64", TokenType::Convert, Opcode::I64ReinterpretF64}, {""}, {""}, {""}, {""}, {""}, -#line 502 "src/lexer-keywords.txt" +#line 503 "src/lexer-keywords.txt" {"try", TokenType::Try, Opcode::Try}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 468 "src/lexer-keywords.txt" +#line 469 "src/lexer-keywords.txt" {"memory", TokenType::Memory}, {""}, -#line 447 "src/lexer-keywords.txt" +#line 448 "src/lexer-keywords.txt" {"i8x16.shr_s", TokenType::Binary, Opcode::I8X16ShrS}, {""}, {""}, {""}, {""}, {""}, -#line 448 "src/lexer-keywords.txt" +#line 449 "src/lexer-keywords.txt" {"i8x16.shr_u", TokenType::Binary, Opcode::I8X16ShrU}, {""}, {""}, -#line 162 "src/lexer-keywords.txt" +#line 163 "src/lexer-keywords.txt" {"i16x8.avgr_u", TokenType::Binary, Opcode::I16X8AvgrU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 519 "src/lexer-keywords.txt" +#line 520 "src/lexer-keywords.txt" {"v8x16.shuffle", TokenType::SimdShuffleOp, Opcode::V8X16Shuffle}, {""}, {""}, {""}, {""}, {""}, -#line 427 "src/lexer-keywords.txt" +#line 428 "src/lexer-keywords.txt" {"i8x16.extract_lane_s", TokenType::SimdLaneOp, Opcode::I8X16ExtractLaneS}, {""}, {""}, -#line 428 "src/lexer-keywords.txt" +#line 429 "src/lexer-keywords.txt" {"i8x16.extract_lane_u", TokenType::SimdLaneOp, Opcode::I8X16ExtractLaneU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 27 "src/lexer-keywords.txt" +#line 28 "src/lexer-keywords.txt" {"binary", TokenType::Bin}, {""}, {""}, {""}, {""}, {""}, -#line 515 "src/lexer-keywords.txt" +#line 516 "src/lexer-keywords.txt" {"v16x8.load_splat", TokenType::Load, Opcode::V16X8LoadSplat}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 83 "src/lexer-keywords.txt" +#line 84 "src/lexer-keywords.txt" {"f32x4.eq", TokenType::Compare, Opcode::F32X4Eq}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 280 "src/lexer-keywords.txt" +#line 281 "src/lexer-keywords.txt" {"i32x4.eq", TokenType::Compare, Opcode::I32X4Eq}, {""}, {""}, {""}, -#line 186 "src/lexer-keywords.txt" +#line 187 "src/lexer-keywords.txt" {"i16x8.shl", TokenType::Binary, Opcode::I16X8Shl}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 443 "src/lexer-keywords.txt" +#line 444 "src/lexer-keywords.txt" {"i8x16.neg", TokenType::Unary, Opcode::I8X16Neg}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 445 "src/lexer-keywords.txt" +#line 446 "src/lexer-keywords.txt" {"i8x16.replace_lane", TokenType::SimdLaneOp, Opcode::I8X16ReplaceLane}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 187 "src/lexer-keywords.txt" +#line 188 "src/lexer-keywords.txt" {"i16x8.shr_s", TokenType::Binary, Opcode::I16X8ShrS}, {""}, {""}, {""}, {""}, {""}, -#line 188 "src/lexer-keywords.txt" +#line 189 "src/lexer-keywords.txt" {"i16x8.shr_u", TokenType::Binary, Opcode::I16X8ShrU}, {""}, {""}, {""}, -#line 424 "src/lexer-keywords.txt" +#line 425 "src/lexer-keywords.txt" {"i8x16.any_true", TokenType::Unary, Opcode::I8X16AnyTrue}, - {""}, {""}, {""}, -#line 196 "src/lexer-keywords.txt" + {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, + {""}, {""}, {""}, {""}, {""}, {""}, +#line 197 "src/lexer-keywords.txt" {"i16x8.widen_low_i8x16_s", TokenType::Unary, Opcode::I16X8WidenLowI8X16S}, {""}, {""}, -#line 197 "src/lexer-keywords.txt" +#line 198 "src/lexer-keywords.txt" {"i16x8.widen_low_i8x16_u", TokenType::Unary, Opcode::I16X8WidenLowI8X16U}, - {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, - {""}, {""}, {""}, {""}, {""}, -#line 172 "src/lexer-keywords.txt" - {"i16x8.load8x8_s", TokenType::Load, Opcode::I16X8Load8X8S}, {""}, {""}, #line 173 "src/lexer-keywords.txt" + {"i16x8.load8x8_s", TokenType::Load, Opcode::I16X8Load8X8S}, + {""}, {""}, +#line 174 "src/lexer-keywords.txt" {"i16x8.load8x8_u", TokenType::Load, Opcode::I16X8Load8X8U}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 164 "src/lexer-keywords.txt" +#line 165 "src/lexer-keywords.txt" {"i16x8.extract_lane_s", TokenType::SimdLaneOp, Opcode::I16X8ExtractLaneS}, {""}, {""}, -#line 165 "src/lexer-keywords.txt" +#line 166 "src/lexer-keywords.txt" {"i16x8.extract_lane_u", TokenType::SimdLaneOp, Opcode::I16X8ExtractLaneU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, @@ -1484,26 +1483,26 @@ Perfect_Hash::InWordSet (const char *str, size_t len) {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 183 "src/lexer-keywords.txt" +#line 184 "src/lexer-keywords.txt" {"i16x8.neg", TokenType::Unary, Opcode::I16X8Neg}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 342 "src/lexer-keywords.txt" +#line 343 "src/lexer-keywords.txt" {"i64.atomic.rmw.cmpxchg", TokenType::AtomicRmwCmpxchg, Opcode::I64AtomicRmwCmpxchg}, -#line 219 "src/lexer-keywords.txt" +#line 220 "src/lexer-keywords.txt" {"i32.atomic.rmw.cmpxchg", TokenType::AtomicRmwCmpxchg, Opcode::I32AtomicRmwCmpxchg}, {""}, -#line 185 "src/lexer-keywords.txt" +#line 186 "src/lexer-keywords.txt" {"i16x8.replace_lane", TokenType::SimdLaneOp, Opcode::I16X8ReplaceLane}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 107 "src/lexer-keywords.txt" +#line 108 "src/lexer-keywords.txt" {"f64.copysign", TokenType::Binary, Opcode::F64Copysign}, -#line 56 "src/lexer-keywords.txt" +#line 57 "src/lexer-keywords.txt" {"f32.copysign", TokenType::Binary, Opcode::F32Copysign}, {""}, {""}, -#line 161 "src/lexer-keywords.txt" +#line 162 "src/lexer-keywords.txt" {"i16x8.any_true", TokenType::Unary, Opcode::I16X8AnyTrue}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, @@ -1513,50 +1512,50 @@ Perfect_Hash::InWordSet (const char *str, size_t len) {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 338 "src/lexer-keywords.txt" +#line 339 "src/lexer-keywords.txt" {"i64.atomic.rmw8.xchg_u", TokenType::AtomicRmw, Opcode::I64AtomicRmw8XchgU}, -#line 215 "src/lexer-keywords.txt" +#line 216 "src/lexer-keywords.txt" {"i32.atomic.rmw8.xchg_u", TokenType::AtomicRmw, Opcode::I32AtomicRmw8XchgU}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 181 "src/lexer-keywords.txt" +#line 182 "src/lexer-keywords.txt" {"i16x8.narrow_i32x4_s", TokenType::Binary, Opcode::I16X8NarrowI32X4S}, {""}, {""}, -#line 182 "src/lexer-keywords.txt" +#line 183 "src/lexer-keywords.txt" {"i16x8.narrow_i32x4_u", TokenType::Binary, Opcode::I16X8NarrowI32X4U}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 426 "src/lexer-keywords.txt" +#line 427 "src/lexer-keywords.txt" {"i8x16.eq", TokenType::Compare, Opcode::I8X16Eq}, - {""}, -#line 26 "src/lexer-keywords.txt" - {"atomic.notify", TokenType::AtomicNotify, Opcode::AtomicNotify}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 36 "src/lexer-keywords.txt" + {""}, {""}, +#line 37 "src/lexer-keywords.txt" {"current_memory", TokenType::MemorySize, Opcode::MemorySize}, + {""}, +#line 27 "src/lexer-keywords.txt" + {"atomic.notify", TokenType::AtomicNotify, Opcode::AtomicNotify}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, - {""}, {""}, -#line 308 "src/lexer-keywords.txt" +#line 309 "src/lexer-keywords.txt" {"i32x4.widen_high_i16x8_s", TokenType::Unary, Opcode::I32X4WidenHighI16X8S}, {""}, {""}, -#line 309 "src/lexer-keywords.txt" +#line 310 "src/lexer-keywords.txt" {"i32x4.widen_high_i16x8_u", TokenType::Unary, Opcode::I32X4WidenHighI16X8U}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 155 "src/lexer-keywords.txt" +#line 156 "src/lexer-keywords.txt" {"grow_memory", TokenType::MemoryGrow, Opcode::MemoryGrow}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 441 "src/lexer-keywords.txt" +#line 442 "src/lexer-keywords.txt" {"i8x16.narrow_i16x8_s", TokenType::Binary, Opcode::I8X16NarrowI16X8S}, {""}, {""}, -#line 442 "src/lexer-keywords.txt" +#line 443 "src/lexer-keywords.txt" {"i8x16.narrow_i16x8_u", TokenType::Binary, Opcode::I8X16NarrowI16X8U}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, @@ -1565,7 +1564,7 @@ Perfect_Hash::InWordSet (const char *str, size_t len) {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 163 "src/lexer-keywords.txt" +#line 164 "src/lexer-keywords.txt" {"i16x8.eq", TokenType::Compare, Opcode::I16X8Eq}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, @@ -1584,9 +1583,9 @@ Perfect_Hash::InWordSet (const char *str, size_t len) {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 345 "src/lexer-keywords.txt" +#line 346 "src/lexer-keywords.txt" {"i64.atomic.rmw.xchg", TokenType::AtomicRmw, Opcode::I64AtomicRmwXchg}, -#line 222 "src/lexer-keywords.txt" +#line 223 "src/lexer-keywords.txt" {"i32.atomic.rmw.xchg", TokenType::AtomicRmw, Opcode::I32AtomicRmwXchg}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, @@ -1601,7 +1600,7 @@ Perfect_Hash::InWordSet (const char *str, size_t len) {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 463 "src/lexer-keywords.txt" +#line 464 "src/lexer-keywords.txt" {"memory.copy", TokenType::MemoryCopy, Opcode::MemoryCopy}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, @@ -1615,10 +1614,10 @@ Perfect_Hash::InWordSet (const char *str, size_t len) {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, {""}, -#line 194 "src/lexer-keywords.txt" +#line 195 "src/lexer-keywords.txt" {"i16x8.widen_high_i8x16_s", TokenType::Unary, Opcode::I16X8WidenHighI8X16S}, {""}, {""}, -#line 195 "src/lexer-keywords.txt" +#line 196 "src/lexer-keywords.txt" {"i16x8.widen_high_i8x16_u", TokenType::Unary, Opcode::I16X8WidenHighI8X16U} }; diff --git a/src/shared-validator.cc b/src/shared-validator.cc index 2a564772..e84ccf12 100644 --- a/src/shared-validator.cc +++ b/src/shared-validator.cc @@ -594,6 +594,18 @@ Result SharedValidator::CheckAtomicAlign(const Location& loc, return Result::Ok; } +Result SharedValidator::OnAtomicFence(const Location& loc, + uint32_t consistency_model) { + Result result = Result::Ok; + if (consistency_model != 0) { + result |= PrintError( + loc, "unexpected atomic.fence consistency model (expected 0): %u", + consistency_model); + } + result |= typechecker_.OnAtomicFence(consistency_model); + return result; +} + Result SharedValidator::OnAtomicLoad(const Location& loc, Opcode opcode, Address alignment) { diff --git a/src/shared-validator.h b/src/shared-validator.h index 0cebca38..71032e16 100644 --- a/src/shared-validator.h +++ b/src/shared-validator.h @@ -108,6 +108,7 @@ class SharedValidator { Result EndFunctionBody(const Location&); Result OnLocalDecl(const Location&, Index count, Type type); + Result OnAtomicFence(const Location&, uint32_t consistency_model); Result OnAtomicLoad(const Location&, Opcode, Address align); Result OnAtomicNotify(const Location&, Opcode, Address align); Result OnAtomicRmwCmpxchg(const Location&, Opcode, Address align); diff --git a/src/token.def b/src/token.def index f7d517c5..40c3ef81 100644 --- a/src/token.def +++ b/src/token.def @@ -77,6 +77,7 @@ WABT_TOKEN_FIRST(Literal, Float) WABT_TOKEN_LAST(Literal, Nat) /* Tokens with Opcode data. */ +WABT_TOKEN(AtomicFence, "atomic.fence") WABT_TOKEN(AtomicLoad, "ATOMIC_LOAD") WABT_TOKEN(AtomicNotify, "ATOMIC_NOTIFY") WABT_TOKEN(AtomicRmw, "ATOMIC_RMW") @@ -139,7 +140,7 @@ WABT_TOKEN(Throw, "throw") WABT_TOKEN(Try, "try") WABT_TOKEN(Unary, "UNARY") WABT_TOKEN(Unreachable, "unreachable") -WABT_TOKEN_FIRST(Opcode, AtomicLoad) +WABT_TOKEN_FIRST(Opcode, AtomicFence) WABT_TOKEN_LAST(Opcode, Unreachable) /* Tokens with string data. */ diff --git a/src/type-checker.cc b/src/type-checker.cc index b6c02be4..4ffdee8c 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -369,6 +369,10 @@ Result TypeChecker::OnAtomicWait(Opcode opcode) { return CheckOpcode3(opcode); } +Result TypeChecker::OnAtomicFence(uint32_t consistency_model) { + return Result::Ok; +} + Result TypeChecker::OnAtomicNotify(Opcode opcode) { return CheckOpcode2(opcode); } diff --git a/src/type-checker.h b/src/type-checker.h index d33d9b7e..e02107a3 100644 --- a/src/type-checker.h +++ b/src/type-checker.h @@ -59,6 +59,7 @@ class TypeChecker { Result GetLabel(Index depth, Label** out_label); Result BeginFunction(const TypeVector& sig); + Result OnAtomicFence(uint32_t consistency_model); Result OnAtomicLoad(Opcode); Result OnAtomicNotify(Opcode); Result OnAtomicStore(Opcode); diff --git a/src/validator.cc b/src/validator.cc index 96abe48a..b879d2ea 100644 --- a/src/validator.cc +++ b/src/validator.cc @@ -140,6 +140,7 @@ class Validator : public ExprVisitor::Delegate { Result OnThrowExpr(ThrowExpr*) override; Result OnRethrowExpr(RethrowExpr*) override; Result OnAtomicWaitExpr(AtomicWaitExpr*) override; + Result OnAtomicFenceExpr(AtomicFenceExpr*) override; Result OnAtomicNotifyExpr(AtomicNotifyExpr*) override; Result OnAtomicLoadExpr(AtomicLoadExpr*) override; Result OnAtomicStoreExpr(AtomicStoreExpr*) override; @@ -520,6 +521,11 @@ Result Validator::OnAtomicWaitExpr(AtomicWaitExpr* expr) { return Result::Ok; } +Result Validator::OnAtomicFenceExpr(AtomicFenceExpr* expr) { + result_ |= validator_.OnAtomicFence(expr->loc, expr->consistency_model); + return Result::Ok; +} + Result Validator::OnAtomicNotifyExpr(AtomicNotifyExpr* expr) { result_ |= validator_.OnAtomicNotify(expr->loc, expr->opcode, expr->opcode.GetAlignment(expr->align)); diff --git a/src/wast-parser.cc b/src/wast-parser.cc index c4e64086..e443f3b2 100644 --- a/src/wast-parser.cc +++ b/src/wast-parser.cc @@ -157,6 +157,7 @@ bool IsPlainInstr(TokenType token_type) { case TokenType::AtomicRmw: case TokenType::AtomicRmwCmpxchg: case TokenType::AtomicNotify: + case TokenType::AtomicFence: case TokenType::AtomicWait: case TokenType::Ternary: case TokenType::SimdLaneOp: @@ -1975,6 +1976,14 @@ Result WastParser::ParsePlainInstr(std::unique_ptr<Expr>* out_expr) { break; } + case TokenType::AtomicFence: { + Token token = Consume(); + ErrorUnlessOpcodeEnabled(token); + uint32_t consistency_model = 0x0; + out_expr->reset(new AtomicFenceExpr(consistency_model, loc)); + break; + } + case TokenType::AtomicWait: { Token token = Consume(); ErrorUnlessOpcodeEnabled(token); diff --git a/src/wat-writer.cc b/src/wat-writer.cc index 103adb1f..bdaa943b 100644 --- a/src/wat-writer.cc +++ b/src/wat-writer.cc @@ -547,6 +547,7 @@ class WatWriter::ExprVisitorDelegate : public ExprVisitor::Delegate { Result OnThrowExpr(ThrowExpr*) override; Result OnRethrowExpr(RethrowExpr*) override; Result OnAtomicWaitExpr(AtomicWaitExpr*) override; + Result OnAtomicFenceExpr(AtomicFenceExpr*) override; Result OnAtomicNotifyExpr(AtomicNotifyExpr*) override; Result OnAtomicLoadExpr(AtomicLoadExpr*) override; Result OnAtomicStoreExpr(AtomicStoreExpr*) override; @@ -887,6 +888,13 @@ Result WatWriter::ExprVisitorDelegate::OnAtomicWaitExpr(AtomicWaitExpr* expr) { return Result::Ok; } +Result WatWriter::ExprVisitorDelegate::OnAtomicFenceExpr( + AtomicFenceExpr* expr) { + assert(expr->consistency_model == 0); + writer_->WritePutsNewline(Opcode::AtomicFence_Opcode.GetName()); + return Result::Ok; +} + Result WatWriter::ExprVisitorDelegate::OnAtomicNotifyExpr( AtomicNotifyExpr* expr) { writer_->WriteLoadStoreExpr<AtomicNotifyExpr>(expr); diff --git a/test/roundtrip/fold-atomic-fence.txt b/test/roundtrip/fold-atomic-fence.txt new file mode 100644 index 00000000..4b3ef2b3 --- /dev/null +++ b/test/roundtrip/fold-atomic-fence.txt @@ -0,0 +1,13 @@ +;;; TOOL: run-roundtrip +;;; ARGS: --stdout --fold-exprs --enable-threads +(module + (func $f + atomic.fence + atomic.fence)) +(;; STDOUT ;;; +(module + (type (;0;) (func)) + (func (;0;) (type 0) + (atomic.fence) + (atomic.fence))) +;;; STDOUT ;;) |