progress on interpreter

1 files changed, 28 insertions, 24 deletions

diff --git a/src/wasm.h b/src/wasm.h
index 25d514368..07cddfcdd 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -114,8 +114,8 @@ bool isFloat(WasmType type) {
   switch (type) {
     case f32:
     case f64: return true;
+    default: return false;
   }
-  return false;
 }
 
 WasmType getWasmType(unsigned size, bool float_) {
@@ -170,6 +170,11 @@ struct Literal {
   Literal(float   init) : type(WasmType::f32), f32(init) {}
   Literal(double  init) : type(WasmType::f64), f64(init) {}
 
+  int32_t geti32() { assert(type == WasmType::i32); return i32; }
+  int64_t geti64() { assert(type == WasmType::i64); return i64; }
+  float   getf32() { assert(type == WasmType::f32); return f32; }
+  double  getf64() { assert(type == WasmType::f64); return f64; }
+
   void printDouble(std::ostream &o, double d) {
     const char *text = JSPrinter::numToString(d);
     // spec interpreter hates floats starting with '.'
@@ -231,8 +236,6 @@ class Expression {
 public:
   WasmType type; // the type of the expression: its output, not necessarily its input(s)
 
-  Expression() : type(type) {}
-
   virtual std::ostream& print(std::ostream &o, unsigned indent) = 0;
 
   template<class T>
@@ -244,7 +247,7 @@ public:
 std::ostream& printFullLine(std::ostream &o, unsigned indent, Expression *expression) {
   doIndent(o, indent);
   expression->print(o, indent);
-  o << '\n';
+  return o << '\n';
 }
 
 std::ostream& printOpening(std::ostream &o, const char *str, bool major=false) {
@@ -325,6 +328,7 @@ public:
 class Label : public Expression {
 public:
   Name name;
+  Expression* body;
 };
 
 class Break : public Expression {
@@ -860,26 +864,26 @@ struct WasmWalker : public WasmVisitor<Expression*> {
   WasmWalker(wasm::Arena* allocator) : allocator(allocator) {}
 
   // Each method receives an AST pointer, and it is replaced with what is returned.
-  virtual Expression* visitBlock(Block *curr) { return curr; };
-  virtual Expression* visitIf(If *curr) { return curr; };
-  virtual Expression* visitLoop(Loop *curr) { return curr; };
-  virtual Expression* visitLabel(Label *curr) { return curr; };
-  virtual Expression* visitBreak(Break *curr) { return curr; };
-  virtual Expression* visitSwitch(Switch *curr) { return curr; };
-  virtual Expression* visitCall(Call *curr) { return curr; };
-  virtual Expression* visitCallImport(CallImport *curr) { return curr; };
-  virtual Expression* visitCallIndirect(CallIndirect *curr) { return curr; };
-  virtual Expression* visitGetLocal(GetLocal *curr) { return curr; };
-  virtual Expression* visitSetLocal(SetLocal *curr) { return curr; };
-  virtual Expression* visitLoad(Load *curr) { return curr; };
-  virtual Expression* visitStore(Store *curr) { return curr; };
-  virtual Expression* visitConst(Const *curr) { return curr; };
-  virtual Expression* visitUnary(Unary *curr) { return curr; };
-  virtual Expression* visitBinary(Binary *curr) { return curr; };
-  virtual Expression* visitCompare(Compare *curr) { return curr; };
-  virtual Expression* visitConvert(Convert *curr) { return curr; };
-  virtual Expression* visitHost(Host *curr) { return curr; };
-  virtual Expression* visitNop(Nop *curr) { return curr; };
+  Expression* visitBlock(Block *curr) override { return curr; };
+  Expression* visitIf(If *curr) override { return curr; };
+  Expression* visitLoop(Loop *curr) override { return curr; };
+  Expression* visitLabel(Label *curr) override { return curr; };
+  Expression* visitBreak(Break *curr) override { return curr; };
+  Expression* visitSwitch(Switch *curr) override { return curr; };
+  Expression* visitCall(Call *curr) override { return curr; };
+  Expression* visitCallImport(CallImport *curr) override { return curr; };
+  Expression* visitCallIndirect(CallIndirect *curr) override { return curr; };
+  Expression* visitGetLocal(GetLocal *curr) override { return curr; };
+  Expression* visitSetLocal(SetLocal *curr) override { return curr; };
+  Expression* visitLoad(Load *curr) override { return curr; };
+  Expression* visitStore(Store *curr) override { return curr; };
+  Expression* visitConst(Const *curr) override { return curr; };
+  Expression* visitUnary(Unary *curr) override { return curr; };
+  Expression* visitBinary(Binary *curr) override { return curr; };
+  Expression* visitCompare(Compare *curr) override { return curr; };
+  Expression* visitConvert(Convert *curr) override { return curr; };
+  Expression* visitHost(Host *curr) override { return curr; };
+  Expression* visitNop(Nop *curr) override { return curr; };
 
   // children-first
   Expression *walk(Expression *curr) {