12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261 |
- /*
- * Copyright (c) 2021, Ali Mohammad Pur <mpfard@serenityos.org>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #include <AK/HashTable.h>
- #include <AK/Result.h>
- #include <AK/SourceLocation.h>
- #include <AK/Try.h>
- #include <LibWasm/AbstractMachine/Validator.h>
- #include <LibWasm/Printer/Printer.h>
- namespace Wasm {
- ErrorOr<void, ValidationError> Validator::validate(Module& module)
- {
- ErrorOr<void, ValidationError> result {};
- // Note: The spec performs this after populating the context, but there's no real reason to do so,
- // as this has no dependency.
- HashTable<StringView> seen_export_names;
- module.for_each_section_of_type<ExportSection>([&result, &seen_export_names](ExportSection const& section) {
- if (result.is_error())
- return;
- for (auto& export_ : section.entries()) {
- if (seen_export_names.try_set(export_.name()).release_value_but_fixme_should_propagate_errors() != AK::HashSetResult::InsertedNewEntry)
- result = Errors::duplicate_export_name(export_.name());
- return;
- }
- });
- if (result.is_error()) {
- module.set_validation_status(Module::ValidationStatus::Invalid, {});
- return result;
- }
- m_context = {};
- module.for_each_section_of_type<TypeSection>([this](TypeSection const& section) {
- m_context.types = section.types();
- });
- module.for_each_section_of_type<ImportSection>([&](ImportSection const& section) {
- for (auto& import_ : section.imports()) {
- import_.description().visit(
- [this, &result](TypeIndex const& index) {
- if (m_context.types.size() > index.value())
- m_context.functions.append(m_context.types[index.value()]);
- else
- result = Errors::invalid("TypeIndex"sv);
- m_context.imported_function_count++;
- },
- [this](FunctionType const& type) {
- m_context.functions.append(type);
- m_context.imported_function_count++;
- },
- [this](TableType const& type) { m_context.tables.append(type); },
- [this](MemoryType const& type) { m_context.memories.append(type); },
- [this](GlobalType const& type) { m_context.globals.append(type); });
- }
- });
- if (result.is_error()) {
- module.set_validation_status(Module::ValidationStatus::Invalid, {});
- return result;
- }
- module.for_each_section_of_type<FunctionSection>([this, &result](FunctionSection const& section) {
- if (result.is_error())
- return;
- m_context.functions.ensure_capacity(section.types().size() + m_context.functions.size());
- for (auto& index : section.types()) {
- if (m_context.types.size() > index.value()) {
- m_context.functions.append(m_context.types[index.value()]);
- } else {
- result = Errors::invalid("TypeIndex");
- break;
- }
- }
- });
- if (result.is_error()) {
- module.set_validation_status(Module::ValidationStatus::Invalid, {});
- return result;
- }
- module.for_each_section_of_type<TableSection>([this](TableSection const& section) {
- m_context.tables.ensure_capacity(m_context.tables.size() + section.tables().size());
- for (auto& table : section.tables())
- m_context.tables.unchecked_append(table.type());
- });
- module.for_each_section_of_type<MemorySection>([this](MemorySection const& section) {
- m_context.memories.ensure_capacity(m_context.memories.size() + section.memories().size());
- for (auto& memory : section.memories())
- m_context.memories.unchecked_append(memory.type());
- });
- module.for_each_section_of_type<GlobalSection>([this](GlobalSection const& section) {
- m_context.globals.ensure_capacity(m_context.globals.size() + section.entries().size());
- for (auto& global : section.entries())
- m_context.globals.unchecked_append(global.type());
- });
- module.for_each_section_of_type<ElementSection>([this](ElementSection const& section) {
- m_context.elements.ensure_capacity(section.segments().size());
- for (auto& segment : section.segments())
- m_context.elements.unchecked_append(segment.type);
- });
- module.for_each_section_of_type<DataSection>([this](DataSection const& section) {
- m_context.datas.resize(section.data().size());
- });
- // FIXME: C.refs is the set funcidx(module with funcs=ϵ with start=ϵ),
- // i.e., the set of function indices occurring in the module, except in its functions or start function.
- // This is rather weird, it seems to ultimately be checking that `ref.func` uses a specific set of predetermined functions:
- // The only place where this is accessed is in validate_instruction<ref_func>(), but we *populate* this from the ref.func instructions occurring outside regular functions,
- // which limits it to only functions referenced from the elements section.
- // so the only reason for this (as I see) is to ensure that ref.func only hands out references that occur within the elements and global sections
- // _if_ that is indeed the case, then this should be much more specific about where the "valid" references are, and about the actual purpose of this field.
- //
- // For now, we simply assume that we need to scan the aforementioned section initializers for (ref.func f).
- auto scan_expression_for_function_indices = [&](auto& expression) {
- for (auto& instruction : expression.instructions()) {
- if (instruction.opcode() == Instructions::ref_func)
- m_context.references.set(instruction.arguments().template get<FunctionIndex>());
- }
- };
- module.for_each_section_of_type<ElementSection>([&](ElementSection const& section) {
- for (auto& segment : section.segments()) {
- for (auto& expression : segment.init)
- scan_expression_for_function_indices(expression);
- }
- });
- module.for_each_section_of_type<GlobalSection>([&](GlobalSection const& section) {
- for (auto& segment : section.entries())
- scan_expression_for_function_indices(segment.expression());
- });
- for (auto& section : module.sections()) {
- section.visit([this, &result](auto& section) {
- result = validate(section);
- });
- if (result.is_error()) {
- module.set_validation_status(Module::ValidationStatus::Invalid, {});
- return result;
- }
- }
- if (m_context.memories.size() > 1) {
- module.set_validation_status(Module::ValidationStatus::Invalid, {});
- return Errors::out_of_bounds("memory section count"sv, m_context.memories.size(), 1, 1);
- }
- module.set_validation_status(Module::ValidationStatus::Valid, {});
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(ImportSection const& section)
- {
- for (auto& import_ : section.imports())
- TRY(import_.description().visit([&](auto& entry) { return validate(entry); }));
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(ExportSection const& section)
- {
- for (auto& export_ : section.entries())
- TRY(export_.description().visit([&](auto& entry) { return validate(entry); }));
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(StartSection const& section)
- {
- TRY(validate(section.function().index()));
- FunctionType const& type = m_context.functions[section.function().index().value()];
- if (!type.parameters().is_empty() || !type.results().is_empty())
- return Errors::invalid("start function signature");
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(DataSection const& section)
- {
- for (auto& entry : section.data()) {
- TRY(entry.value().visit(
- [](DataSection::Data::Passive const&) { return ErrorOr<void, ValidationError> {}; },
- [&](DataSection::Data::Active const& active) -> ErrorOr<void, ValidationError> {
- TRY(validate(active.index));
- auto expression_result = TRY(validate(active.offset, { ValueType(ValueType::I32) }));
- if (!expression_result.is_constant)
- return Errors::invalid("active data initializer");
- if (expression_result.result_types.size() != 1 || !expression_result.result_types.first().is_of_kind(ValueType::I32))
- return Errors::invalid("active data initializer type", ValueType(ValueType::I32), expression_result.result_types);
- return {};
- }));
- }
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(ElementSection const& section)
- {
- for (auto& segment : section.segments()) {
- TRY(segment.mode.visit(
- [](ElementSection::Declarative const&) -> ErrorOr<void, ValidationError> { return {}; },
- [](ElementSection::Passive const&) -> ErrorOr<void, ValidationError> { return {}; },
- [&](ElementSection::Active const& active) -> ErrorOr<void, ValidationError> {
- TRY(validate(active.index));
- auto expression_result = TRY(validate(active.expression, { ValueType(ValueType::I32) }));
- if (!expression_result.is_constant)
- return Errors::invalid("active element initializer");
- if (expression_result.result_types.size() != 1 || !expression_result.result_types.first().is_of_kind(ValueType::I32))
- return Errors::invalid("active element initializer type", ValueType(ValueType::I32), expression_result.result_types);
- return {};
- }));
- }
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(GlobalSection const& section)
- {
- for (auto& entry : section.entries()) {
- auto& type = entry.type();
- TRY(validate(type));
- auto expression_result = TRY(validate(entry.expression(), { type.type() }));
- if (!expression_result.is_constant)
- return Errors::invalid("global variable initializer");
- if (expression_result.result_types.size() != 1 || !expression_result.result_types.first().is_of_kind(type.type().kind()))
- return Errors::invalid("global variable initializer type", ValueType(ValueType::I32), expression_result.result_types);
- }
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(MemorySection const& section)
- {
- for (auto& entry : section.memories())
- TRY(validate(entry.type()));
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(TableSection const& section)
- {
- for (auto& entry : section.tables())
- TRY(validate(entry.type()));
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(CodeSection const& section)
- {
- size_t index = m_context.imported_function_count;
- for (auto& entry : section.functions()) {
- auto function_index = index++;
- TRY(validate(FunctionIndex { function_index }));
- auto& function_type = m_context.functions[function_index];
- auto& function = entry.func();
- auto function_validator = fork();
- function_validator.m_context.locals = {};
- function_validator.m_context.locals.extend(function_type.parameters());
- for (auto& local : function.locals()) {
- for (size_t i = 0; i < local.n(); ++i)
- function_validator.m_context.locals.append(local.type());
- }
- function_validator.m_context.labels = { ResultType { function_type.results() } };
- function_validator.m_context.return_ = ResultType { function_type.results() };
- TRY(function_validator.validate(function.body(), function_type.results()));
- }
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(TableType const& type)
- {
- return validate(type.limits(), 32);
- }
- ErrorOr<void, ValidationError> Validator::validate(MemoryType const& type)
- {
- return validate(type.limits(), 16);
- }
- ErrorOr<FunctionType, ValidationError> Validator::validate(BlockType const& type)
- {
- if (type.kind() == BlockType::Index) {
- TRY(validate(type.type_index()));
- return m_context.types[type.type_index().value()];
- }
- if (type.kind() == BlockType::Type) {
- FunctionType function_type { {}, { type.value_type() } };
- TRY(validate(function_type));
- return function_type;
- }
- if (type.kind() == BlockType::Empty)
- return FunctionType { {}, {} };
- return Errors::invalid("BlockType"sv);
- }
- ErrorOr<void, ValidationError> Validator::validate(Limits const& limits, size_t k)
- {
- auto bound = (1ull << k) - 1;
- auto check_bound = [bound](auto value) {
- return static_cast<u64>(value) <= bound;
- };
- if (!check_bound(limits.min()))
- return Errors::out_of_bounds("limit minimum"sv, limits.min(), 0, bound);
- if (limits.max().has_value() && (limits.max().value() < limits.min() || !check_bound(*limits.max())))
- return Errors::out_of_bounds("limit maximum"sv, limits.max().value(), limits.min(), bound);
- return {};
- }
- template<u32 opcode>
- ErrorOr<void, ValidationError> Validator::validate_instruction(Instruction const&, Stack&, bool&)
- {
- return Errors::invalid("instruction opcode"sv);
- }
- #define VALIDATE_INSTRUCTION(name) \
- template<> \
- ErrorOr<void, ValidationError> Validator::validate_instruction<Instructions::name.value()>([[maybe_unused]] Instruction const& instruction, [[maybe_unused]] Stack& stack, [[maybe_unused]] bool& is_constant)
- // https://webassembly.github.io/spec/core/bikeshed/#-tmathsfhrefsyntax-instr-numericmathsfconstc
- VALIDATE_INSTRUCTION(i32_const)
- {
- is_constant = true;
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_const)
- {
- is_constant = true;
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_const)
- {
- is_constant = true;
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_const)
- {
- is_constant = true;
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#-tmathsfhrefsyntax-unopmathitunop
- VALIDATE_INSTRUCTION(i32_clz)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32) });
- return {};
- }
- VALIDATE_INSTRUCTION(i32_ctz)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32) });
- return {};
- }
- VALIDATE_INSTRUCTION(i32_popcnt)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32) });
- return {};
- }
- VALIDATE_INSTRUCTION(i64_clz)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I64) });
- return {};
- }
- VALIDATE_INSTRUCTION(i64_ctz)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I64) });
- return {};
- }
- VALIDATE_INSTRUCTION(i64_popcnt)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I64) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_abs)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_neg)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_sqrt)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_ceil)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_floor)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_trunc)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f32_nearest)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_abs)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F32) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_neg)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F64) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_sqrt)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F64) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_ceil)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F64) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_floor)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F64) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_trunc)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F64) });
- return {};
- }
- VALIDATE_INSTRUCTION(f64_nearest)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::F64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::F64) });
- return {};
- }
- VALIDATE_INSTRUCTION(i32_extend16_s)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32) });
- return {};
- }
- VALIDATE_INSTRUCTION(i32_extend8_s)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I32))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32) });
- return {};
- }
- VALIDATE_INSTRUCTION(i64_extend32_s)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I64) });
- return {};
- }
- VALIDATE_INSTRUCTION(i64_extend16_s)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I64) });
- return {};
- }
- VALIDATE_INSTRUCTION(i64_extend8_s)
- {
- if (stack.is_empty() || !stack.last().is_of_kind(ValueType::I64))
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I64) });
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#-tmathsfhrefsyntax-binopmathitbinop
- VALIDATE_INSTRUCTION(i32_add)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_sub)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_mul)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_divs)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_divu)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_rems)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_remu)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_and)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_or)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_xor)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_shl)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_shrs)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_shru)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_rotl)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_rotr)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_add)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_sub)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_mul)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_divs)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_divu)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_rems)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_remu)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_and)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_or)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_xor)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_shl)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_shrs)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_shru)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_rotl)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_rotr)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_add)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_sub)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_mul)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_div)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_min)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_max)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_copysign)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_add)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_sub)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_mul)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_div)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_min)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_max)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_copysign)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#-tmathsfhrefsyntax-testopmathittestop
- VALIDATE_INSTRUCTION(i32_eqz)
- {
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_eqz)
- {
- TRY((stack.take<ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#-tmathsfhrefsyntax-relopmathitrelop
- VALIDATE_INSTRUCTION(i32_eq)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_ne)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_lts)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_ltu)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_gts)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_gtu)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_les)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_leu)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_ges)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_geu)
- {
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_eq)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_ne)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_lts)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_ltu)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_gts)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_gtu)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_les)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_leu)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_ges)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_geu)
- {
- TRY((stack.take<ValueType::I64, ValueType::I64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_eq)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_ne)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_lt)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_le)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_gt)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_ge)
- {
- TRY((stack.take<ValueType::F32, ValueType::F32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_eq)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_ne)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_lt)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_le)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_gt)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_ge)
- {
- TRY((stack.take<ValueType::F64, ValueType::F64>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#-t_2mathsfhrefsyntax-cvtopmathitcvtopmathsf_t_1mathsf_hrefsyntax-sxmathitsx
- VALIDATE_INSTRUCTION(i32_wrap_i64)
- {
- TRY(stack.take<ValueType::I64>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_extend_si32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_extend_ui32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_sf32)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_uf32)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_sf64)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_uf64)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_sf32)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_uf32)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_sf64)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_uf64)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_sat_f32_s)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_sat_f32_u)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_sat_f64_s)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_trunc_sat_f64_u)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_sat_f32_s)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_sat_f32_u)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_sat_f64_s)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_trunc_sat_f64_u)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_convert_si32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_convert_ui32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_convert_si64)
- {
- TRY(stack.take<ValueType::I64>());
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_convert_ui64)
- {
- TRY(stack.take<ValueType::I64>());
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_convert_si32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_convert_ui32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_convert_si64)
- {
- TRY(stack.take<ValueType::I64>());
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_convert_ui64)
- {
- TRY(stack.take<ValueType::I64>());
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_demote_f64)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_promote_f32)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_reinterpret_i32)
- {
- TRY(stack.take<ValueType::I32>());
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_reinterpret_i64)
- {
- TRY(stack.take<ValueType::I64>());
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_reinterpret_f32)
- {
- TRY(stack.take<ValueType::F32>());
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_reinterpret_f64)
- {
- TRY(stack.take<ValueType::F64>());
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#reference-instructions%E2%91%A2
- VALIDATE_INSTRUCTION(ref_null)
- {
- is_constant = true;
- stack.append(instruction.arguments().get<ValueType>());
- return {};
- }
- VALIDATE_INSTRUCTION(ref_is_null)
- {
- if (stack.is_empty() || !stack.last().is_reference())
- return Errors::invalid_stack_state(stack, Tuple { "reference" });
- stack.take_last();
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(ref_func)
- {
- auto index = instruction.arguments().get<FunctionIndex>();
- TRY(validate(index));
- if (!m_context.references.contains(index))
- return Errors::invalid("function reference");
- is_constant = true;
- stack.append(ValueType(ValueType::FunctionReference));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#parametric-instructions%E2%91%A2
- VALIDATE_INSTRUCTION(drop)
- {
- if (stack.is_empty())
- return Errors::invalid_stack_state(stack, Tuple { "any" });
- stack.take_last();
- return {};
- }
- VALIDATE_INSTRUCTION(select)
- {
- if (stack.size() < 3)
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32), "any", "any" });
- auto index_type = stack.take_last();
- auto arg0_type = stack.take_last();
- auto& arg1_type = stack.last();
- if (!index_type.is_of_kind(ValueType::I32))
- return Errors::invalid("select index type", ValueType(ValueType::I32), index_type);
- if (arg0_type != arg1_type)
- return Errors::invalid("select argument types", Vector { arg0_type, arg0_type }, Vector { arg0_type, arg1_type });
- return {};
- }
- VALIDATE_INSTRUCTION(select_typed)
- {
- auto& required_types = instruction.arguments().get<Vector<ValueType>>();
- if (required_types.size() != 1)
- return Errors::invalid("select types", "exactly one type", required_types);
- if (stack.size() < 3)
- return Errors::invalid_stack_state(stack, Tuple { ValueType(ValueType::I32), required_types.first(), required_types.first() });
- auto index_type = stack.take_last();
- auto arg0_type = stack.take_last();
- auto& arg1_type = stack.last();
- if (!index_type.is_of_kind(ValueType::I32))
- return Errors::invalid("select index type", ValueType(ValueType::I32), index_type);
- if (arg0_type != arg1_type || arg0_type != required_types.first())
- return Errors::invalid("select argument types", Vector { required_types.first(), required_types.first() }, Vector { arg0_type, arg1_type });
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#variable-instructions%E2%91%A2
- VALIDATE_INSTRUCTION(local_get)
- {
- auto index = instruction.arguments().get<LocalIndex>();
- TRY(validate(index));
- stack.append(m_context.locals[index.value()]);
- return {};
- }
- VALIDATE_INSTRUCTION(local_set)
- {
- auto index = instruction.arguments().get<LocalIndex>();
- TRY(validate(index));
- auto& value_type = m_context.locals[index.value()];
- TRY(stack.take(value_type));
- return {};
- }
- VALIDATE_INSTRUCTION(local_tee)
- {
- auto index = instruction.arguments().get<LocalIndex>();
- TRY(validate(index));
- auto& value_type = m_context.locals[index.value()];
- TRY(stack.take(value_type));
- return {};
- }
- VALIDATE_INSTRUCTION(global_get)
- {
- auto index = instruction.arguments().get<GlobalIndex>();
- TRY(validate(index));
- auto& global = m_context.globals[index.value()];
- is_constant = !global.is_mutable();
- stack.append(global.type());
- return {};
- }
- VALIDATE_INSTRUCTION(global_set)
- {
- auto index = instruction.arguments().get<GlobalIndex>();
- TRY(validate(index));
- auto& global = m_context.globals[index.value()];
- if (!global.is_mutable())
- return Errors::invalid("global variable for global.set");
- TRY(stack.take(global.type()));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#table-instructions%E2%91%A2
- VALIDATE_INSTRUCTION(table_get)
- {
- auto index = instruction.arguments().get<TableIndex>();
- TRY(validate(index));
- auto& table = m_context.tables[index.value()];
- TRY(stack.take<ValueType::I32>());
- stack.append(table.element_type());
- return {};
- }
- VALIDATE_INSTRUCTION(table_set)
- {
- auto index = instruction.arguments().get<TableIndex>();
- TRY(validate(index));
- auto& table = m_context.tables[index.value()];
- TRY(stack.take(table.element_type()));
- TRY(stack.take<ValueType::I32>());
- return {};
- }
- VALIDATE_INSTRUCTION(table_size)
- {
- auto index = instruction.arguments().get<TableIndex>();
- TRY(validate(index));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(table_grow)
- {
- auto index = instruction.arguments().get<TableIndex>();
- TRY(validate(index));
- auto& table = m_context.tables[index.value()];
- TRY(stack.take<ValueType::I32>());
- TRY(stack.take(table.element_type()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(table_fill)
- {
- auto index = instruction.arguments().get<TableIndex>();
- TRY(validate(index));
- auto& table = m_context.tables[index.value()];
- TRY(stack.take<ValueType::I32>());
- TRY(stack.take(table.element_type()));
- TRY(stack.take<ValueType::I32>());
- return {};
- }
- VALIDATE_INSTRUCTION(table_copy)
- {
- auto& args = instruction.arguments().get<Instruction::TableTableArgs>();
- TRY(validate(args.lhs));
- TRY(validate(args.rhs));
- auto& lhs_table = m_context.tables[args.lhs.value()];
- auto& rhs_table = m_context.tables[args.rhs.value()];
- if (lhs_table.element_type() != rhs_table.element_type())
- return Errors::non_conforming_types("table.copy", lhs_table.element_type(), rhs_table.element_type());
- if (!lhs_table.element_type().is_reference())
- return Errors::invalid("table.copy element type", "a reference type", lhs_table.element_type());
- TRY((stack.take<ValueType::I32, ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(table_init)
- {
- auto& args = instruction.arguments().get<Instruction::TableElementArgs>();
- TRY(validate(args.table_index));
- TRY(validate(args.element_index));
- auto& table = m_context.tables[args.table_index.value()];
- auto& element_type = m_context.elements[args.element_index.value()];
- if (table.element_type() != element_type)
- return Errors::non_conforming_types("table.init", table.element_type(), element_type);
- TRY((stack.take<ValueType::I32, ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(elem_drop)
- {
- auto index = instruction.arguments().get<ElementIndex>();
- TRY(validate(index));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#memory-instructions%E2%91%A2
- VALIDATE_INSTRUCTION(i32_load)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(i32))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(i32));
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(i64))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(i64));
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_load)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(float))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(float));
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::F32));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_load)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(double))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(double));
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::F64));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_load16_s)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 16 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 16 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_load16_u)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 16 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 16 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_load8_s)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 8 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 8 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_load8_u)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 8 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 8 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load32_s)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 32 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 32 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load32_u)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 32 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 32 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load16_s)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 16 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 16 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load16_u)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 16 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 16 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load8_s)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 8 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 8 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_load8_u)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 8 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 8 / 8);
- TRY((stack.take<ValueType::I32>()));
- stack.append(ValueType(ValueType::I64));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_store)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(i32))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(i32));
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_store)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(i64))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(i64));
- TRY((stack.take<ValueType::I64, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(f32_store)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(float))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(float));
- TRY((stack.take<ValueType::F32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(f64_store)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > sizeof(double))
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, sizeof(double));
- TRY((stack.take<ValueType::F64, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_store16)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 16 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 16 / 8);
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(i32_store8)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 8 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 8 / 8);
- TRY((stack.take<ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_store32)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 32 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 32 / 8);
- TRY((stack.take<ValueType::I64, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_store16)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 16 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 16 / 8);
- TRY((stack.take<ValueType::I64, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(i64_store8)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto& arg = instruction.arguments().get<Instruction::MemoryArgument>();
- if ((1ull << arg.align) > 8 / 8)
- return Errors::out_of_bounds("memory op alignment", 1ull << arg.align, 0, 8 / 8);
- TRY((stack.take<ValueType::I64, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(memory_size)
- {
- TRY(validate(MemoryIndex { 0 }));
- stack.append(ValueType(ValueType::I32));
- return {};
- }
- VALIDATE_INSTRUCTION(memory_grow)
- {
- TRY(validate(MemoryIndex { 0 }));
- TRY((stack.take<ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(memory_fill)
- {
- TRY(validate(MemoryIndex { 0 }));
- TRY((stack.take<ValueType::I32, ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(memory_init)
- {
- TRY(validate(MemoryIndex { 0 }));
- auto index = instruction.arguments().get<DataIndex>();
- TRY(validate(index));
- TRY((stack.take<ValueType::I32, ValueType::I32, ValueType::I32>()));
- return {};
- }
- VALIDATE_INSTRUCTION(data_drop)
- {
- auto index = instruction.arguments().get<DataIndex>();
- TRY(validate(index));
- return {};
- }
- // https://webassembly.github.io/spec/core/bikeshed/#control-instructions%E2%91%A2
- VALIDATE_INSTRUCTION(nop)
- {
- return {};
- }
- VALIDATE_INSTRUCTION(unreachable)
- {
- // https://webassembly.github.io/spec/core/bikeshed/#polymorphism
- stack.append(StackEntry());
- return {};
- }
- // Note: This is responsible for _all_ structured instructions, and is *not* from the spec.
- VALIDATE_INSTRUCTION(structured_end)
- {
- if (m_entered_scopes.is_empty())
- return Errors::invalid("usage of structured end");
- auto last_scope = m_entered_scopes.take_last();
- m_context = m_parent_contexts.take_last();
- auto last_block_type = m_entered_blocks.take_last();
- switch (last_scope) {
- case ChildScopeKind::Block:
- case ChildScopeKind::IfWithoutElse:
- case ChildScopeKind::Else:
- m_block_details.take_last();
- break;
- case ChildScopeKind::IfWithElse:
- return Errors::invalid("usage of if without an else clause that appears to have one anyway");
- }
- auto& results = last_block_type.results();
- for (size_t i = 1; i <= results.size(); ++i)
- TRY(stack.take(results[results.size() - i]));
- for (auto& result : results)
- stack.append(result);
- return {};
- }
- // Note: This is *not* from the spec.
- VALIDATE_INSTRUCTION(structured_else)
- {
- if (m_entered_scopes.is_empty())
- return Errors::invalid("usage of structured else");
- if (m_entered_scopes.last() != ChildScopeKind::IfWithElse)
- return Errors::invalid("usage of structured else");
- auto& block_type = m_entered_blocks.last();
- auto& results = block_type.results();
- for (size_t i = 1; i <= results.size(); ++i)
- TRY(stack.take(results[results.size() - i]));
- auto& details = m_block_details.last().details.get<BlockDetails::IfDetails>();
- m_entered_scopes.last() = ChildScopeKind::Else;
- stack = move(details.initial_stack);
- return {};
- }
- VALIDATE_INSTRUCTION(block)
- {
- auto& args = instruction.arguments().get<Instruction::StructuredInstructionArgs>();
- auto block_type = TRY(validate(args.block_type));
- auto& parameters = block_type.parameters();
- for (size_t i = 1; i <= parameters.size(); ++i)
- TRY(stack.take(parameters[parameters.size() - i]));
- for (auto& parameter : parameters)
- stack.append(parameter);
- m_entered_scopes.append(ChildScopeKind::Block);
- m_block_details.empend(stack.actual_size(), Empty {});
- m_parent_contexts.append(m_context);
- m_entered_blocks.append(block_type);
- m_context.labels.prepend(ResultType { block_type.results() });
- return {};
- }
- VALIDATE_INSTRUCTION(loop)
- {
- auto& args = instruction.arguments().get<Instruction::StructuredInstructionArgs>();
- auto block_type = TRY(validate(args.block_type));
- auto& parameters = block_type.parameters();
- for (size_t i = 1; i <= parameters.size(); ++i)
- TRY(stack.take(parameters[parameters.size() - i]));
- for (auto& parameter : parameters)
- stack.append(parameter);
- m_entered_scopes.append(ChildScopeKind::Block);
- m_block_details.empend(stack.actual_size(), Empty {});
- m_parent_contexts.append(m_context);
- m_entered_blocks.append(block_type);
- m_context.labels.prepend(ResultType { block_type.parameters() });
- return {};
- }
- VALIDATE_INSTRUCTION(if_)
- {
- auto& args = instruction.arguments().get<Instruction::StructuredInstructionArgs>();
- auto block_type = TRY(validate(args.block_type));
- TRY(stack.take<ValueType::I32>());
- auto stack_snapshot = stack;
- auto& parameters = block_type.parameters();
- for (size_t i = 1; i <= parameters.size(); ++i)
- TRY(stack.take(parameters[parameters.size() - i]));
- for (auto& parameter : parameters)
- stack.append(parameter);
- m_entered_scopes.append(args.else_ip.has_value() ? ChildScopeKind::IfWithElse : ChildScopeKind::IfWithoutElse);
- m_block_details.empend(stack.actual_size(), BlockDetails::IfDetails { move(stack_snapshot) });
- m_parent_contexts.append(m_context);
- m_entered_blocks.append(block_type);
- m_context.labels.prepend(ResultType { block_type.results() });
- return {};
- }
- VALIDATE_INSTRUCTION(br)
- {
- auto label = instruction.arguments().get<LabelIndex>();
- TRY(validate(label));
- auto& type = m_context.labels[label.value()];
- for (size_t i = 1; i <= type.types().size(); ++i)
- TRY(stack.take(type.types()[type.types().size() - i]));
- stack.append(StackEntry());
- return {};
- }
- VALIDATE_INSTRUCTION(br_if)
- {
- auto label = instruction.arguments().get<LabelIndex>();
- TRY(validate(label));
- TRY(stack.take<ValueType::I32>());
- auto& type = m_context.labels[label.value()];
- Vector<StackEntry> entries;
- entries.ensure_capacity(type.types().size());
- for (size_t i = 0; i < type.types().size(); ++i) {
- auto& entry = type.types()[type.types().size() - i - 1];
- TRY(stack.take(entry));
- entries.append(entry);
- }
- for (size_t i = 0; i < entries.size(); ++i)
- stack.append(entries[entries.size() - i - 1]);
- return {};
- }
- VALIDATE_INSTRUCTION(br_table)
- {
- auto& args = instruction.arguments().get<Instruction::TableBranchArgs>();
- TRY(validate(args.default_));
- for (auto& label : args.labels)
- TRY(validate(label));
- TRY(stack.take<ValueType::I32>());
- auto& default_types = m_context.labels[args.default_.value()].types();
- auto arity = default_types.size();
- auto stack_snapshot = stack;
- auto stack_to_check = stack_snapshot;
- for (auto& label : args.labels) {
- auto& label_types = m_context.labels[label.value()].types();
- for (size_t i = 0; i < arity; ++i)
- TRY(stack_to_check.take(label_types[label_types.size() - i - 1]));
- stack_to_check = stack_snapshot;
- }
- for (size_t i = 0; i < arity; ++i) {
- auto expected = default_types[default_types.size() - i - 1];
- TRY((stack.take(expected)));
- }
- stack.append(StackEntry());
- return {};
- }
- VALIDATE_INSTRUCTION(return_)
- {
- if (!m_context.return_.has_value())
- return Errors::invalid("use of return outside function");
- auto& return_types = m_context.return_->types();
- for (size_t i = 0; i < return_types.size(); ++i)
- TRY((stack.take(return_types[return_types.size() - i - 1])));
- stack.append(StackEntry());
- return {};
- }
- VALIDATE_INSTRUCTION(call)
- {
- auto index = instruction.arguments().get<FunctionIndex>();
- TRY(validate(index));
- auto& function_type = m_context.functions[index.value()];
- for (size_t i = 0; i < function_type.parameters().size(); ++i)
- TRY(stack.take(function_type.parameters()[function_type.parameters().size() - i - 1]));
- for (auto& type : function_type.results())
- stack.append(type);
- return {};
- }
- VALIDATE_INSTRUCTION(call_indirect)
- {
- auto& args = instruction.arguments().get<Instruction::IndirectCallArgs>();
- TRY(validate(args.table));
- TRY(validate(args.type));
- auto& table = m_context.tables[args.table.value()];
- if (!table.element_type().is_reference())
- return Errors::invalid("table element type for call.indirect", "a reference type", table.element_type());
- auto& type = m_context.types[args.type.value()];
- TRY(stack.take<ValueType::I32>());
- for (size_t i = 0; i < type.parameters().size(); ++i)
- TRY(stack.take(type.parameters()[type.parameters().size() - i - 1]));
- for (auto& type : type.results())
- stack.append(type);
- return {};
- }
- ErrorOr<void, ValidationError> Validator::validate(const Instruction& instruction, Stack& stack, bool& is_constant)
- {
- switch (instruction.opcode().value()) {
- #define M(name, integer_value) \
- case Instructions::name.value(): \
- dbgln_if(WASM_VALIDATOR_DEBUG, "checking {}, stack = {}", #name, stack); \
- return validate_instruction<integer_value>(instruction, stack, is_constant);
- ENUMERATE_WASM_OPCODES(M)
- #undef M
- default:
- is_constant = false;
- return Errors::invalid("instruction opcode");
- }
- }
- ErrorOr<Validator::ExpressionTypeResult, ValidationError> Validator::validate(Expression const& expression, Vector<ValueType> const& result_types)
- {
- Stack stack;
- bool is_constant_expression = true;
- for (auto& instruction : expression.instructions()) {
- bool is_constant = false;
- TRY(validate(instruction, stack, is_constant));
- is_constant_expression &= is_constant;
- }
- auto expected_result_types = result_types;
- while (!expected_result_types.is_empty())
- TRY(stack.take(expected_result_types.take_last()));
- for (auto& type : result_types)
- stack.append(type);
- return ExpressionTypeResult { stack.release_vector(), is_constant_expression };
- }
- bool Validator::Stack::operator==(const Stack& other) const
- {
- if (!m_did_insert_unknown_entry && !other.m_did_insert_unknown_entry)
- return static_cast<Vector<StackEntry> const&>(*this) == static_cast<Vector<StackEntry> const&>(other);
- Optional<size_t> own_last_unknown_entry_index_from_end, other_last_unknown_entry_index_from_end;
- auto other_size = static_cast<Vector<StackEntry> const&>(other).size();
- auto own_size = Vector<StackEntry>::size();
- for (size_t i = 0; i < own_size; ++i) {
- if (other_size <= i)
- break;
- auto own_entry = at(own_size - i - 1);
- auto other_entry = other.at(other_size - i - 1);
- if (!own_entry.is_known) {
- own_last_unknown_entry_index_from_end = i;
- break;
- }
- if (!other_entry.is_known) {
- other_last_unknown_entry_index_from_end = i;
- break;
- }
- }
- if (!own_last_unknown_entry_index_from_end.has_value() && !other_last_unknown_entry_index_from_end.has_value()) {
- if (static_cast<Vector<StackEntry> const&>(other).is_empty() || Vector<StackEntry>::is_empty())
- return true;
- dbgln("Equality check internal error between");
- dbgln("stack:");
- for (auto& entry : *this)
- dbgln("- {}", entry.is_known ? Wasm::ValueType::kind_name(entry.concrete_type.kind()) : "<unknown>");
- dbgln("and stack:");
- for (auto& entry : other)
- dbgln("- {}", entry.is_known ? Wasm::ValueType::kind_name(entry.concrete_type.kind()) : "<unknown>");
- VERIFY_NOT_REACHED();
- }
- auto index_from_end = max(own_last_unknown_entry_index_from_end.value_or(0), other_last_unknown_entry_index_from_end.value_or(0));
- for (size_t i = 0; i < index_from_end; ++i) {
- if (at(own_size - i - 1) != other.at(other_size - i - 1))
- return false;
- }
- return true;
- }
- String Validator::Errors::find_instruction_name(SourceLocation const& location)
- {
- auto index = location.function_name().find('<');
- auto end_index = location.function_name().find('>');
- if (!index.has_value() || !end_index.has_value())
- return String::formatted("{}", location);
- auto opcode = location.function_name().substring_view(index.value() + 1, end_index.value() - index.value() - 1).to_uint();
- if (!opcode.has_value())
- return String::formatted("{}", location);
- return instruction_name(OpCode { *opcode });
- }
- }
|