wardite 0.2.0 → 0.2.2

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/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_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

@@ -2,6 +2,12 @@
 
 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
@@ -18,9 +24,9 @@ module Wardite
     # @rbs return: [Symbol, Symbol]
     def self.to_sym: (String chr) -> [ Symbol, Symbol ]
 
-    # @rbs chr: Symbol
+    # @rbs code: Symbol
     # @rbs return: Array[Symbol]
-    def self.operand_of: (untyped code) -> Array[Symbol]
+    def self.operand_of: (Symbol code) -> Array[Symbol]
 
     # @see https://www.w3.org/TR/wasm-core-1/#value-types%E2%91%A2
     # @rbs code: Integer

data/sig/generated/wardite/load.rbs

@@ -0,0 +1,198 @@
+# Generated from lib/wardite/load.rb with RBS::Inline
+
+# rbs_inline: enabled
+module Wardite
+  class Section
+    attr_accessor name: String
+
+    attr_accessor code: Integer
+
+    attr_accessor size: Integer
+  end
+
+  class TypeSection < Section
+    attr_accessor defined_types: Array[Array[Symbol]]
+
+    attr_accessor defined_results: Array[Array[Symbol]]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class FunctionSection < Section
+    attr_accessor func_indices: Array[Integer]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class MemorySection < Section
+    attr_accessor limits: Array[[ Integer, Integer | nil ]]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class GlobalSection < Section
+    class Global
+      attr_accessor type: Symbol
+
+      attr_accessor mutable: bool
+
+      # TODO: unused in wasm 1.0 spec?
+      attr_accessor shared: bool
+
+      attr_accessor value: I32 | I64 | F32 | F64
+
+      # @rbs &blk: (Global) -> void
+      # @rbs return: void
+      def initialize: () { (Global) -> void } -> void
+    end
+
+    attr_accessor globals: Array[Global]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class CodeSection < Section
+    class CodeBody
+      attr_accessor locals_count: Array[Integer]
+
+      attr_accessor locals_type: Array[Symbol]
+
+      attr_accessor body: Array[Op]
+
+      # @rbs &blk: (CodeBody) -> void
+      # @rbs return: void
+      def initialize: () { (CodeBody) -> void } -> void
+    end
+
+    attr_accessor func_codes: Array[CodeBody]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class DataSection < Section
+    class Segment
+      attr_accessor flags: Integer
+
+      attr_accessor offset: Integer
+
+      attr_accessor data: String
+
+      # @rbs &blk: (Segment) -> void
+      # @rbs return: void
+      def initialize: () { (Segment) -> void } -> void
+    end
+
+    attr_accessor segments: Array[Segment]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class ExportSection < Section
+    class ExportDesc
+      attr_accessor name: String
+
+      attr_accessor kind: Integer
+
+      attr_accessor func_index: Integer
+    end
+
+    attr_accessor exports: Hash[String, ExportDesc]
+
+    def initialize: () -> void
+
+    # @rbs &blk: (ExportDesc) -> void
+    def add_desc: () { (ExportDesc) -> void } -> untyped
+  end
+
+  class ImportSection < Section
+    class ImportDesc
+      attr_accessor module_name: String
+
+      attr_accessor name: String
+
+      attr_accessor kind: Integer
+
+      attr_accessor sig_index: Integer
+    end
+
+    attr_accessor imports: Array[ImportDesc]
+
+    def initialize: () -> void
+
+    # @rbs &blk: (ImportDesc) -> void
+    def add_desc: () { (ImportDesc) -> void } -> untyped
+  end
+
+  module BinaryLoader
+    extend Wardite::Leb128Helper
+
+    extend Wardite::ValueHelper
+
+    # @rbs buf: File|StringIO
+    # @rbs import_object: Hash[Symbol, Hash[Symbol, Proc]]
+    # @rbs enable_wasi: boolish
+    # @rbs return: Instance
+    def self.load_from_buffer: (File | StringIO buf, ?import_object: Hash[Symbol, Hash[Symbol, Proc]], ?enable_wasi: boolish) -> Instance
+
+    # @rbs return: Integer
+    def self.preamble: () -> Integer
+
+    # @rbs return: Array[Section]
+    def self.sections: () -> Array[Section]
+
+    # @rbs return: TypeSection
+    def self.type_section: () -> TypeSection
+
+    # @rbs return: ImportSection
+    def self.import_section: () -> ImportSection
+
+    # @rbs return: MemorySection
+    def self.memory_section: () -> MemorySection
+
+    # @rbs return: GlobalSection
+    def self.global_section: () -> GlobalSection
+
+    # @rbs return: FunctionSection
+    def self.function_section: () -> FunctionSection
+
+    # @rbs return: CodeSection
+    def self.code_section: () -> CodeSection
+
+    # @rbs buf: StringIO
+    # @rbs return: Array[::Wardite::Op]
+    def self.code_body: (StringIO buf) -> Array[::Wardite::Op]
+
+    # @rbs return: DataSection
+    def self.data_section: () -> DataSection
+
+    # @rbs sbuf: StringIO
+    # @rbs return: String
+    def self.fetch_insn_while_end: (StringIO sbuf) -> String
+
+    # @rbs ops: Array[Op]
+    # @rbs return: Integer
+    def self.decode_expr: (Array[Op] ops) -> Integer
+
+    # @rbs ops: Array[Op]
+    # @rbs return: I32|I64|F32|F64
+    def self.decode_global_expr: (Array[Op] ops) -> (I32 | I64 | F32 | F64)
+
+    # @rbs return: ExportSection
+    def self.export_section: () -> ExportSection
+
+    # @rbs code: Integer
+    # @rbs return: nil
+    def self.unimplemented_skip_section: (Integer code) -> nil
+
+    # @rbs sbuf: StringIO
+    # @rbs n: Integer
+    # @rbs return: String
+    def self.assert_read: (StringIO sbuf, Integer n) -> String
+  end
+end

data/sig/generated/wardite/value.rbs

@@ -1,58 +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: () -> 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: () -> 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: () -> 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: () -> String
+    def packed: (?size: Integer | nil) -> String
 
-    def inspect: () -> untyped
-  end
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
 
-  module ValueHelper
-    # @rbs value: Integer
-    # @rbs return: I32
-    def I32: (Integer value) -> I32
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
 
-    # @rbs value: Integer
-    # @rbs return: I64
-    def I64: (Integer value) -> I64
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
 
-    # @rbs value: Float
-    # @rbs return: F32
-    def F32: (Float value) -> F32
+    # @see the same as F32
+    # @rbs to: Symbol
+    # @rbs return: I32|I64|F32|F64
+    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
 
-    # @rbs value: Float
-    # @rbs return: F64
-    def F64: (Float value) -> 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