wardite 0.1.2 → 0.2.1

data/scripts/gen_conv.rb

@@ -0,0 +1,76 @@
+require "stringio"
+
+module GenConv
+  def self.execute(path, defined_ops: {})
+    parent_dir = File.dirname(path)
+    system "mkdir -p #{parent_dir}"
+
+    basic_module = File.read(
+      File.expand_path("../templates/conv_module.rb.tmpl", __FILE__)
+    )
+
+    ope_defs = generate_ops(defined_ops: defined_ops)
+    basic_module.gsub!(/\$\{DEFS\}/, ope_defs)
+
+    dest = File.open(path, "w")
+    dest.puts basic_module
+
+    $stderr.puts "generated: #{path}"
+  end
+
+  def self.generate_ops(defined_ops:)
+    result = StringIO.new("")
+    defined_ops.each_pair do |to, ops|
+      ops.each_pair do |op, argtypes|
+        argtypes.each do |from|
+          code = generate_one_branch(op: op, to: to, from: from)
+          result << "\n"
+          code.each_line do |ln|
+            result << " " * 6 << ln
+          end
+          result << "\n"
+        end
+      end      
+    end
+    result.string
+  end
+
+  def self.generate_one_branch(op:, to:, from:)
+    code = DEF.dup
+    method = op.to_s
+    symbol = "#{to.to_s}_#{method}_#{from.to_sym}"
+    
+    if method == "extend"
+      method = "extend_"
+    elsif method.end_with?("_s") or method.end_with?("_u")
+      core, suffix = *(method.split("_")[0..1])
+      symbol = "#{to.to_s}_#{core}_#{from.to_sym}_#{suffix}"
+    end
+    # NOTE to is as namespace
+    code.gsub!(/\$\{SYMBOL\}/, symbol)
+    code.gsub!(/\$\{METHOD\}/, method)
+    code.gsub!(/\$\{TO\}/, to.to_s)
+    code.gsub!(/\$\{TO_CLASS\}/, to_class(to.to_sym))
+    code.gsub!(/\$\{FROM_CLASS\}/, to_class(from.to_sym))
+    return code
+  end
+
+  def self.to_class(typ)
+    {
+      i32: "I32",
+      i64: "I64",
+      f32: "F32",
+      f64: "F64",
+    }[typ]
+  end
+
+  # ope_templates
+  DEF = <<~RUBY
+    when :${SYMBOL}
+      from = runtime.stack.pop
+      raise EvalError, "maybe empty or invalid stack" if !from.is_a?(${FROM_CLASS})
+      to = from.${METHOD}(to: :${TO})
+      raise EvalError, "failed to convert type" if !to.is_a?(${TO_CLASS})
+      runtime.stack.push(to)
+  RUBY
+end

data/scripts/templates/alu_module.rb.tmpl

@@ -0,0 +1,18 @@
+# rbs_inline: enabled
+require_relative "value"
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.${PREFIX}_eval_insn(runtime, frame, insn)
+      case insn.code
+${DEFS}
+      else
+        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+      end
+    end
+  end
+end

data/scripts/templates/conv_module.rb.tmpl

@@ -0,0 +1,18 @@
+# rbs_inline: enabled
+require_relative "value"
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.convert_eval_insn(runtime, frame, insn)
+      case insn.code
+${DEFS}
+      else
+        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+      end
+    end
+  end
+end

data/sig/generated/wardite/alu_f32.generated.rbs

@@ -0,0 +1,11 @@
+# Generated from lib/wardite/alu_f32.generated.rb with RBS::Inline
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.f32_eval_insn: (Runtime runtime, Frame frame, Op insn) -> void
+  end
+end

data/sig/generated/wardite/alu_f64.generated.rbs

@@ -0,0 +1,11 @@
+# Generated from lib/wardite/alu_f64.generated.rb with RBS::Inline
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.f64_eval_insn: (Runtime runtime, Frame frame, Op insn) -> void
+  end
+end

data/sig/generated/wardite/alu_i32.generated.rbs

@@ -0,0 +1,11 @@
+# Generated from lib/wardite/alu_i32.generated.rb with RBS::Inline
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.i32_eval_insn: (Runtime runtime, Frame frame, Op insn) -> void
+  end
+end

data/sig/generated/wardite/alu_i64.generated.rbs

@@ -0,0 +1,11 @@
+# Generated from lib/wardite/alu_i64.generated.rb with RBS::Inline
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.i64_eval_insn: (Runtime runtime, Frame frame, Op insn) -> void
+  end
+end

data/sig/generated/wardite/convert.generated.rbs

@@ -0,0 +1,11 @@
+# Generated from lib/wardite/convert.generated.rb with RBS::Inline
+
+module Wardite
+  module Evaluator
+    # @rbs runtime: Runtime
+    # @rbs frame: Frame
+    # @rbs insn: Op
+    # @rbs return: void 
+    def self.convert_eval_insn: (Runtime runtime, Frame frame, Op insn) -> void
+  end
+end

data/sig/generated/wardite/instruction.rbs

@@ -1,19 +1,28 @@
 # Generated from lib/wardite/instruction.rb with RBS::Inline
 
-# rbs_inline: enabled
 module Wardite
   class Op
+    # @see https://pengowray.github.io/wasm-ops/
+    SYMS: Array[Symbol]
+
+    # @rbs return: Hash[Integer, Symbol]
+    def self.table: () -> Hash[Integer, Symbol]
+
+    attr_accessor namespace: Symbol
+
     attr_accessor code: Symbol
 
-    attr_accessor operand: Array[Object]
+    # TODO: add types of potential operands
+    attr_accessor operand: Array[Integer | Float | Block]
 
+    # @rbs namespace: Symbol
     # @rbs code: Symbol
-    # @rbs operand: Array[Object]
-    def initialize: (Symbol code, Array[Object] operand) -> untyped
+    # @rbs operand: Array[Integer|Float|Block]
+    def initialize: (Symbol namespace, Symbol code, Array[Integer | Float | Block] operand) -> untyped
 
     # @rbs chr: String
-    # @rbs return: Symbol
-    def self.to_sym: (String chr) -> Symbol
+    # @rbs return: [Symbol, Symbol]
+    def self.to_sym: (String chr) -> [ Symbol, Symbol ]
 
     # @rbs chr: Symbol
     # @rbs return: Array[Symbol]

data/sig/generated/wardite/leb128.rbs

@@ -2,7 +2,7 @@
 
 # rbs_inline: enabled
 module Wardite
-  module Leb128Helpers
+  module Leb128Helper
     # @rbs buf: File|StringIO
     # @rbs return: Integer
     def fetch_uleb128: (File | StringIO buf) -> Integer

data/sig/generated/wardite/value.rbs

@@ -0,0 +1,302 @@
+# Generated from lib/wardite/value.rb with RBS::Inline
+
+module Wardite
+  module ValueHelper
+    # @rbs value: Integer
+    # @rbs return: I32
+    def I32: (Integer value) -> I32
+
+    # @rbs value: Integer
+    # @rbs return: I64
+    def I64: (Integer value) -> I64
+
+    # @rbs value: Float
+    # @rbs return: F32
+    def F32: (Float value) -> F32
+
+    # @rbs value: Float
+    # @rbs return: F64
+    def F64: (Float value) -> F64
+
+    private
+
+    # @rbs value: Integer
+    # @rbs return: Integer
+    def as_u32: (Integer value) -> Integer
+
+    # @rbs value: Integer
+    # @rbs return: Integer
+    def as_u64: (Integer value) -> Integer
+  end
+
+  extend ValueHelper
+
+  class I32
+    include ValueHelper
+
+    I32_MAX: untyped
+
+    # value should be stored as unsigned Integer, even in I32/I64
+    # when we want to access signed value, it'd be done via #value_s
+    attr_accessor value: Integer
+
+    # @rbs str: String
+    # @rbs size: Integer|nil
+    # @rbs signed: bool
+    # @rbs return: I32
+    def self.from_bytes: (String str, ?size: Integer | nil, ?signed: bool) -> I32
+
+    # @rbs return: Integer
+    def memsize: () -> Integer
+
+    # returns a value interpreted as signed integer
+    # @rbs return: Integer
+    def value_s: () -> Integer
+
+    # TODO: eliminate use of pack, to support mruby - in this file!
+    # @rbs size: Integer|nil
+    # @rbs return: String
+    def packed: (?size: Integer | nil) -> String
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # I32#inspect shows signed value for convinience
+    def inspect: () -> untyped
+  end
+
+  class I64
+    include ValueHelper
+
+    I64_MAX: untyped
+
+    attr_accessor value: Integer
+
+    # @rbs str: String
+    # @rbs size: Integer|nil
+    # @rbs signed: bool
+    # @rbs return: I64
+    def self.from_bytes: (String str, ?size: Integer | nil, ?signed: bool) -> I64
+
+    # @rbs return: Integer
+    def memsize: () -> Integer
+
+    # returns a value interpreted as signed integer
+    # @rbs return: Integer
+    def value_s: () -> Integer
+
+    # @rbs size: Integer|nil
+    # @rbs return: String
+    def packed: (?size: Integer | nil) -> String
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # I64#inspect shows signed value
+    def inspect: () -> untyped
+  end
+
+  class F32
+    include ValueHelper
+
+    attr_accessor value: Float
+
+    # @rbs str: String
+    # @rbs return: F32
+    def self.from_bytes: (String str) -> F32
+
+    # @rbs return: Integer
+    def memsize: () -> Integer
+
+    # @rbs return: :positive|:negative
+    def sign: () -> (:positive | :negative)
+
+    # @rbs size: Integer|nil
+    # @rbs return: String
+    def packed: (?size: Integer | nil) -> String
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @todo need more testcase...
+    # @see https://webassembly.github.io/spec/core/exec/numerics.html#xref-exec-numerics-op-trunc-s-mathrm-trunc-mathsf-s-m-n-z
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @see https://webassembly.github.io/spec/core/exec/numerics.html#xref-exec-numerics-op-trunc-u-mathrm-trunc-mathsf-u-m-n-z
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    def inspect: () -> untyped
+  end
+
+  class F64
+    include ValueHelper
+
+    attr_accessor value: Float
+
+    # @rbs str: String
+    # @rbs return: F64
+    def self.from_bytes: (String str) -> F64
+
+    # @rbs return: Integer
+    def memsize: () -> Integer
+
+    # @rbs return: :positive|:negative
+    def sign: () -> (:positive | :negative)
+
+    # @rbs size: Integer|nil
+    # @rbs return: String
+    def packed: (?size: Integer | nil) -> String
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @see the same as F32
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @see the same as F32
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @todo no loss of digits...
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+
+    def inspect: () -> untyped
+  end
+end

data/sig/generated/wardite/wasi.rbs

@@ -3,14 +3,16 @@
 # rbs_inline: enabled
 module Wardite
   class WasiSnapshotPreview1
+    include ValueHelper
+
     attr_accessor fd_table: Array[IO]
 
     def initialize: () -> untyped
 
     # @rbs store: Store
-    # @rbs args: Array[Object]
+    # @rbs args: Array[I32|I64|F32|F64]
     # @rbs return: Object
-    def fd_write: (Store store, Array[Object] args) -> Object
+    def fd_write: (Store store, Array[I32 | I64 | F32 | F64] args) -> Object
 
     # @rbs return: Hash[Symbol, Proc]
     def to_module: () -> Hash[Symbol, Proc]

data/sig/generated/wardite.rbs

@@ -1,5 +1,11 @@
 # Generated from lib/wardite.rb with RBS::Inline
 
+module Wardite
+  module Evaluator
+    extend Wardite::ValueHelper
+  end
+end
+
 module Wardite
   class Section
     attr_accessor name: String
@@ -107,7 +113,9 @@ module Wardite
   end
 
   module BinaryLoader
-    extend Wardite::Leb128Helpers
+    extend Wardite::Leb128Helper
+
+    extend Wardite::ValueHelper
 
     # @rbs buf: File|StringIO
     # @rbs import_object: Hash[Symbol, Hash[Symbol, Proc]]
@@ -204,7 +212,10 @@ module Wardite
   end
 
   class Runtime
-    attr_accessor stack: Array[Object]
+    include ValueHelper
+
+    # TODO: add types of class that the stack accomodates
+    attr_accessor stack: Array[I32 | I64 | F32 | F64]
 
     attr_accessor call_stack: Array[Frame]
 
@@ -222,11 +233,6 @@ module Wardite
     # @rbs return: Object|nil
     def call: (String | Symbol name, Array[Object] args) -> (Object | nil)
 
-    # @rbs idx: Integer
-    # @rbs args: Array[Object]
-    # @rbs return: Object|nil
-    def call_index: (Integer idx, Array[Object] args) -> (Object | nil)
-
     # @rbs wasm_function: WasmFunction
     # @rbs return: void
     def push_frame: (WasmFunction wasm_function) -> void
@@ -236,8 +242,8 @@ module Wardite
     def invoke_internal: (WasmFunction wasm_function) -> (Object | nil)
 
     # @rbs external_function: ExternalFunction
-    # @rbs return: Object|nil
-    def invoke_external: (ExternalFunction external_function) -> (Object | nil)
+    # @rbs return: I32|I64|F32|F64|nil
+    def invoke_external: (ExternalFunction external_function) -> (I32 | I64 | F32 | F64 | nil)
 
     # @rbs return: void
     def execute!: () -> void
@@ -259,8 +265,8 @@ module Wardite
     def stack_unwind: (Integer sp, Integer arity) -> void
 
     # @rbs finish: Integer
-    # @rbs return: Array[Object]
-    def drained_stack: (Integer finish) -> Array[Object]
+    # @rbs return: Array[I32|I64|F32|F64]
+    def drained_stack: (Integer finish) -> Array[I32 | I64 | F32 | F64]
 
     # @rbs name: Symbol
     # @rbs args: Array[Object]
@@ -283,7 +289,7 @@ module Wardite
 
     attr_accessor labels: Array[Label]
 
-    attr_accessor locals: Array[Object]
+    attr_accessor locals: Array[I32 | I64 | F32 | F64]
 
     # @rbs pc: Integer
     # @rbs sp: Integer
@@ -327,6 +333,8 @@ module Wardite
   class Memory
     attr_accessor data: String
 
+    attr_accessor current: Integer
+
     attr_accessor max: Integer | nil
 
     # @rbs min: Integer
@@ -334,6 +342,10 @@ module Wardite
     # @rbs return: void
     def initialize: (Integer min, Integer | nil max) -> void
 
+    # @rbs delta: Integer
+    # @rbs return: Integer
+    def grow: (Integer delta) -> Integer
+
     def inspect: () -> untyped
   end
 
@@ -431,6 +443,9 @@ module Wardite
   class EvalError < StandardError
   end
 
+  class Unreachable < StandardError
+  end
+
   # @rbs path: String|nil
   # @rbs buffer: File|StringIO|nil
   # @rbs **options: Hash[Symbol, Object]