summaryrefslogtreecommitdiff
path: root/src/parsing.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/parsing.h')
-rw-r--r--src/parsing.h323
1 files changed, 9 insertions, 314 deletions
diff --git a/src/parsing.h b/src/parsing.h
index a8ed8b13f..d59b3bd7c 100644
--- a/src/parsing.h
+++ b/src/parsing.h
@@ -22,7 +22,6 @@
#include <sstream>
#include <string>
-#include "ir/branch-utils.h"
#include "mixed_arena.h"
#include "shared-constants.h"
#include "support/colors.h"
@@ -41,21 +40,7 @@ struct ParseException {
ParseException(std::string text, size_t line, size_t col)
: text(text), line(line), col(col) {}
- void dump(std::ostream& o) const {
- Colors::magenta(o);
- o << "[";
- Colors::red(o);
- o << "parse exception: ";
- Colors::green(o);
- o << text;
- if (line != size_t(-1)) {
- Colors::normal(o);
- o << " (at " << line << ":" << col << ")";
- }
- Colors::magenta(o);
- o << "]";
- Colors::normal(o);
- }
+ void dump(std::ostream& o) const;
};
struct MapParseException {
@@ -64,224 +49,9 @@ struct MapParseException {
MapParseException() : text("unknown parse error") {}
MapParseException(std::string text) : text(text) {}
- void dump(std::ostream& o) const {
- Colors::magenta(o);
- o << "[";
- Colors::red(o);
- o << "map parse exception: ";
- Colors::green(o);
- o << text;
- Colors::magenta(o);
- o << "]";
- Colors::normal(o);
- }
+ void dump(std::ostream& o) const;
};
-inline Expression*
-parseConst(cashew::IString s, Type type, MixedArena& allocator) {
- const char* str = s.str;
- auto ret = allocator.alloc<Const>();
- ret->type = type;
- if (type.isFloat()) {
- if (s == _INFINITY) {
- switch (type.getBasic()) {
- case Type::f32:
- ret->value = Literal(std::numeric_limits<float>::infinity());
- break;
- case Type::f64:
- ret->value = Literal(std::numeric_limits<double>::infinity());
- break;
- default:
- return nullptr;
- }
- // std::cerr << "make constant " << str << " ==> " << ret->value << '\n';
- return ret;
- }
- if (s == NEG_INFINITY) {
- switch (type.getBasic()) {
- case Type::f32:
- ret->value = Literal(-std::numeric_limits<float>::infinity());
- break;
- case Type::f64:
- ret->value = Literal(-std::numeric_limits<double>::infinity());
- break;
- default:
- return nullptr;
- }
- // std::cerr << "make constant " << str << " ==> " << ret->value << '\n';
- return ret;
- }
- if (s == _NAN) {
- switch (type.getBasic()) {
- case Type::f32:
- ret->value = Literal(float(std::nan("")));
- break;
- case Type::f64:
- ret->value = Literal(double(std::nan("")));
- break;
- default:
- return nullptr;
- }
- // std::cerr << "make constant " << str << " ==> " << ret->value << '\n';
- return ret;
- }
- bool negative = str[0] == '-';
- const char* positive = negative ? str + 1 : str;
- if (!negative) {
- if (positive[0] == '+') {
- positive++;
- }
- }
- if (positive[0] == 'n' && positive[1] == 'a' && positive[2] == 'n') {
- const char* modifier = positive[3] == ':' ? positive + 4 : nullptr;
- if (!(modifier ? positive[4] == '0' && positive[5] == 'x' : 1)) {
- throw ParseException("bad nan input");
- }
- switch (type.getBasic()) {
- case Type::f32: {
- uint32_t pattern;
- if (modifier) {
- std::istringstream istr(modifier);
- istr >> std::hex >> pattern;
- if (istr.fail()) {
- throw ParseException("invalid f32 format");
- }
- pattern |= 0x7f800000U;
- } else {
- pattern = 0x7fc00000U;
- }
- if (negative) {
- pattern |= 0x80000000U;
- }
- if (!std::isnan(bit_cast<float>(pattern))) {
- pattern |= 1U;
- }
- ret->value = Literal(pattern).castToF32();
- break;
- }
- case Type::f64: {
- uint64_t pattern;
- if (modifier) {
- std::istringstream istr(modifier);
- istr >> std::hex >> pattern;
- if (istr.fail()) {
- throw ParseException("invalid f64 format");
- }
- pattern |= 0x7ff0000000000000ULL;
- } else {
- pattern = 0x7ff8000000000000UL;
- }
- if (negative) {
- pattern |= 0x8000000000000000ULL;
- }
- if (!std::isnan(bit_cast<double>(pattern))) {
- pattern |= 1ULL;
- }
- ret->value = Literal(pattern).castToF64();
- break;
- }
- default:
- return nullptr;
- }
- // std::cerr << "make constant " << str << " ==> " << ret->value << '\n';
- return ret;
- }
- if (s == NEG_NAN) {
- switch (type.getBasic()) {
- case Type::f32:
- ret->value = Literal(float(-std::nan("")));
- break;
- case Type::f64:
- ret->value = Literal(double(-std::nan("")));
- break;
- default:
- return nullptr;
- }
- // std::cerr << "make constant " << str << " ==> " << ret->value << '\n';
- return ret;
- }
- }
- switch (type.getBasic()) {
- case Type::i32: {
- if ((str[0] == '0' && str[1] == 'x') ||
- (str[0] == '-' && str[1] == '0' && str[2] == 'x')) {
- bool negative = str[0] == '-';
- if (negative) {
- str++;
- }
- std::istringstream istr(str);
- uint32_t temp;
- istr >> std::hex >> temp;
- if (istr.fail()) {
- throw ParseException("invalid i32 format");
- }
- ret->value = Literal(negative ? -temp : temp);
- } else {
- std::istringstream istr(str[0] == '-' ? str + 1 : str);
- uint32_t temp;
- istr >> temp;
- if (istr.fail()) {
- throw ParseException("invalid i32 format");
- }
- ret->value = Literal(str[0] == '-' ? -temp : temp);
- }
- break;
- }
- case Type::i64: {
- if ((str[0] == '0' && str[1] == 'x') ||
- (str[0] == '-' && str[1] == '0' && str[2] == 'x')) {
- bool negative = str[0] == '-';
- if (negative) {
- str++;
- }
- std::istringstream istr(str);
- uint64_t temp;
- istr >> std::hex >> temp;
- if (istr.fail()) {
- throw ParseException("invalid i64 format");
- }
- ret->value = Literal(negative ? -temp : temp);
- } else {
- std::istringstream istr(str[0] == '-' ? str + 1 : str);
- uint64_t temp;
- istr >> temp;
- if (istr.fail()) {
- throw ParseException("invalid i64 format");
- }
- ret->value = Literal(str[0] == '-' ? -temp : temp);
- }
- break;
- }
- case Type::f32: {
- char* end;
- ret->value = Literal(strtof(str, &end));
- break;
- }
- case Type::f64: {
- char* end;
- ret->value = Literal(strtod(str, &end));
- break;
- }
- case Type::v128:
- case Type::funcref:
- case Type::externref:
- case Type::anyref:
- case Type::eqref:
- case Type::i31ref:
- case Type::dataref:
- WASM_UNREACHABLE("unexpected const type");
- case Type::none:
- case Type::unreachable: {
- return nullptr;
- }
- }
- if (ret->value.type != type) {
- throw ParseException("parsed type does not match expected type");
- }
- // std::cerr << "make constant " << str << " ==> " << ret->value << '\n';
- return ret;
-}
-
// Helper for parsers that may not have unique label names. This transforms
// the names into unique ones, as required by Binaryen IR.
struct UniqueNameMapper {
@@ -292,96 +62,21 @@ struct UniqueNameMapper {
Index otherIndex = 0;
- Name getPrefixedName(Name prefix) {
- if (reverseLabelMapping.find(prefix) == reverseLabelMapping.end()) {
- return prefix;
- }
- // make sure to return a unique name not already on the stack
- while (1) {
- Name ret = Name(prefix.str + std::to_string(otherIndex++));
- if (reverseLabelMapping.find(ret) == reverseLabelMapping.end()) {
- return ret;
- }
- }
- }
+ Name getPrefixedName(Name prefix);
// receives a source name. generates a unique name, pushes it, and returns it
- Name pushLabelName(Name sName) {
- Name name = getPrefixedName(sName);
- labelStack.push_back(name);
- labelMappings[sName].push_back(name);
- reverseLabelMapping[name] = sName;
- return name;
- }
+ Name pushLabelName(Name sName);
- void popLabelName(Name name) {
- assert(labelStack.back() == name);
- labelStack.pop_back();
- labelMappings[reverseLabelMapping[name]].pop_back();
- }
+ void popLabelName(Name name);
- Name sourceToUnique(Name sName) {
- // DELEGATE_CALLER_TARGET is a fake target used to denote delegating to the
- // caller. We do not need to modify it, as it has no definitions, only uses.
- if (sName == DELEGATE_CALLER_TARGET) {
- return DELEGATE_CALLER_TARGET;
- }
- if (labelMappings.find(sName) == labelMappings.end()) {
- throw ParseException("bad label in sourceToUnique");
- }
- if (labelMappings[sName].empty()) {
- throw ParseException("use of popped label in sourceToUnique");
- }
- return labelMappings[sName].back();
- }
+ Name sourceToUnique(Name sName);
- Name uniqueToSource(Name name) {
- if (reverseLabelMapping.find(name) == reverseLabelMapping.end()) {
- throw ParseException("label mismatch in uniqueToSource");
- }
- return reverseLabelMapping[name];
- }
+ Name uniqueToSource(Name name);
- void clear() {
- labelStack.clear();
- labelMappings.clear();
- reverseLabelMapping.clear();
- }
+ void clear();
// Given an expression, ensures all names are unique
- static void uniquify(Expression* curr) {
- struct Walker
- : public ControlFlowWalker<Walker, UnifiedExpressionVisitor<Walker>> {
- UniqueNameMapper mapper;
-
- static void doPreVisitControlFlow(Walker* self, Expression** currp) {
- BranchUtils::operateOnScopeNameDefs(*currp, [&](Name& name) {
- if (name.is()) {
- name = self->mapper.pushLabelName(name);
- }
- });
- }
-
- static void doPostVisitControlFlow(Walker* self, Expression** currp) {
- BranchUtils::operateOnScopeNameDefs(*currp, [&](Name& name) {
- if (name.is()) {
- self->mapper.popLabelName(name);
- }
- });
- }
-
- void visitExpression(Expression* curr) {
- BranchUtils::operateOnScopeNameUses(curr, [&](Name& name) {
- if (name.is()) {
- name = mapper.sourceToUnique(name);
- }
- });
- }
- };
-
- Walker walker;
- walker.walk(curr);
- }
+ static void uniquify(Expression* curr);
};
} // namespace wasm
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 03:17:43 +0000