wardite 0.8.1 → 0.9.0

data/scripts/gen_alu.rb

@@ -49,8 +49,8 @@ module GenAlu
   DEFS = { #: Hash[Symbol, String]
     load: <<~RUBY,
       when :${PREFIX}_load
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -70,8 +70,8 @@ module GenAlu
 
     load8_s: <<~RUBY,
       when :${PREFIX}_load8_s
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -91,8 +91,8 @@ module GenAlu
 
     load8_u: <<~RUBY,
       when :${PREFIX}_load8_u
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -112,8 +112,8 @@ module GenAlu
 
     load16_s: <<~RUBY,
       when :${PREFIX}_load16_s
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -133,8 +133,8 @@ module GenAlu
 
     load16_u: <<~RUBY,
       when :${PREFIX}_load16_u
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -154,8 +154,8 @@ module GenAlu
 
     load32_s: <<~RUBY,
       when :${PREFIX}_load32_s
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -175,8 +175,8 @@ module GenAlu
 
     load32_u: <<~RUBY,
       when :${PREFIX}_load32_u
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         addr = runtime.stack.pop
@@ -196,8 +196,8 @@ module GenAlu
 
     store: <<~RUBY,
       when :${PREFIX}_store
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         value = runtime.stack.pop
@@ -214,8 +214,8 @@ module GenAlu
 
     store8: <<~RUBY,
       when :${PREFIX}_store8
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         value = runtime.stack.pop
@@ -232,8 +232,8 @@ module GenAlu
 
     store16: <<~RUBY,
       when :${PREFIX}_store16
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         value = runtime.stack.pop
@@ -250,8 +250,8 @@ module GenAlu
 
     store32: <<~RUBY,
       when :${PREFIX}_store32
-        _align = insn.operand[0] # TODO: alignment support?
-        offset = insn.operand[1]
+        _align = operand[0] # TODO: alignment support?
+        offset = operand[1]
         raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
 
         value = runtime.stack.pop
@@ -268,7 +268,7 @@ module GenAlu
 
     const: <<~RUBY,
       when :${PREFIX}_const
-        const = insn.operand[0]
+        const = operand[0]
         if !const.is_a?(Integer)
           raise EvalError, "invalid type of operand"
         end
@@ -277,7 +277,7 @@ module GenAlu
 
     const__f: <<~RUBY,
       when :${PREFIX}_const
-        const = insn.operand[0]
+        const = operand[0]
         if !const.is_a?(Float)
           raise EvalError, "invalid type of operand"
         end

data/scripts/templates/alu_module.rb.tmpl

@@ -5,14 +5,16 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.${PREFIX}_eval_insn(runtime, frame, code, operand)
+      case code
 ${DEFS}
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end

data/scripts/templates/conv_module.rb.tmpl

@@ -5,14 +5,16 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.convert_eval_insn(runtime, frame, code, operand)
+      case code
 ${DEFS}
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end

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

@@ -4,8 +4,9 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.f32_eval_insn: (Runtime runtime, Frame frame, Symbol code, Array[operandItem] operand) -> bool?
   end
 end

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

@@ -4,8 +4,9 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.f64_eval_insn: (Runtime runtime, Frame frame, Symbol code, Array[operandItem] operand) -> bool?
   end
 end

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

@@ -4,8 +4,9 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.i32_eval_insn: (Runtime runtime, Frame frame, Symbol code, Array[operandItem] operand) -> bool?
   end
 end

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

@@ -4,8 +4,9 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.i64_eval_insn: (Runtime runtime, Frame frame, Symbol code, Array[operandItem] operand) -> bool?
   end
 end

data/sig/generated/wardite/cli/cli.rbs

@@ -17,6 +17,8 @@ module Wardite
 
       attr_reader yjit: bool
 
+      attr_reader profile_file_path: String?
+
       # @rbs args: Array[String]
       # @rbs return: void
       def initialize: (Array[String] args) -> void
@@ -32,6 +34,9 @@ module Wardite
       # @rbs return: void
       def run: () -> void
 
+      # @rbs return: void
+      def __run: () -> void
+
       # @rbs return: void
       def invoke_function: () -> void
 

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

@@ -4,8 +4,9 @@ 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
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.convert_eval_insn: (Runtime runtime, Frame frame, Symbol code, Array[operandItem] operand) -> bool?
   end
 end

data/sig/generated/wardite/instruction.rbs

@@ -9,11 +9,11 @@ module Wardite
 
     FC_SYMS: Array[Symbol]
 
-    # @rbs return: Hash[Integer, Symbol]
-    def self.table: () -> Hash[Integer, Symbol]
+    OPERANDS: Array[Array[Symbol]]
 
-    # @rbs return: Hash[Integer, Symbol]
-    def self.fc_table: () -> Hash[Integer, Symbol]
+    NAMESPACES: Array[Symbol]
+
+    FC_OPERANDS: Array[Symbol]
 
     attr_accessor namespace: Symbol
 
@@ -24,18 +24,22 @@ module Wardite
 
     attr_accessor meta: Hash[Symbol, Integer]
 
+    # $OP_COUNT = 0
+    # END {
+    #   puts "Total opcodes: #{$OP_COUNT}"
+    # }
     # @rbs namespace: Symbol
     # @rbs code: Symbol
     # @rbs operand: Array[operandItem]
     def initialize: (Symbol namespace, Symbol code, Array[operandItem] operand) -> untyped
 
-    # @rbs chr: String
-    # @rbs return: [Symbol, Symbol]
-    def self.to_sym: (String chr) -> [ Symbol, Symbol ]
+    # @rbs chr: Integer
+    # @rbs return: Symbol
+    def self.to_sym: (Integer chr) -> Symbol
 
     # @rbs lower: Integer
-    # @rbs return: [Symbol, Symbol]
-    def self.resolve_fc_sym: (Integer lower) -> [ Symbol, Symbol ]
+    # @rbs return: Symbol
+    def self.resolve_fc_sym: (Integer lower) -> Symbol
 
     # @rbs code: Symbol
     # @rbs return: Array[Symbol]

data/sig/generated/wardite/load.rbs

@@ -87,7 +87,7 @@ module Wardite
 
       attr_accessor locals_type: Array[Symbol]
 
-      attr_accessor body: Array[Op]
+      attr_accessor body: Array[[ Symbol, Symbol, Array[operandItem], Integer?, Integer? ]]
 
       # @rbs &blk: (CodeBody) -> void
       # @rbs return: void
@@ -212,13 +212,13 @@ module Wardite
     def self.code_section: () -> CodeSection
 
     # @rbs buf: StringIO
-    # @rbs return: Array[::Wardite::Op]
-    def self.code_body: (StringIO buf) -> Array[::Wardite::Op]
+    # @rbs return: Array[[Symbol, Symbol, Array[operandItem], Integer?, Integer?]]
+    def self.code_body: (StringIO buf) -> Array[[ Symbol, Symbol, Array[operandItem], Integer?, Integer? ]]
 
     # @rbs c: String
     # @rbs buf: StringIO
-    # @rbs return: [Symbol, Symbol]
-    def self.resolve_code: (String c, StringIO buf) -> [ Symbol, Symbol ]
+    # @rbs return: [Symbol, Symbol, Array[Symbol]]
+    def self.resolve_code: (String c, StringIO buf) -> [ Symbol, Symbol, Array[Symbol] ]
 
     # @rbs return: DataSection
     def self.data_section: () -> DataSection
@@ -230,13 +230,13 @@ module Wardite
     # @rbs return: String
     def self.fetch_insn_while_end: (StringIO sbuf) -> String
 
-    # @rbs ops: Array[Op]
+    # @rbs ops: Array[[Symbol, Symbol, Array[operandItem], Integer?, Integer?]]
     # @rbs return: Integer
-    def self.decode_expr: (Array[Op] ops) -> Integer
+    def self.decode_expr: (Array[[ Symbol, Symbol, Array[operandItem], Integer?, Integer? ]] ops) -> Integer
 
-    # @rbs ops: Array[Op]
+    # @rbs ops: Array[[Symbol, Symbol, Array[operandItem], Integer?, Integer?]]
     # @rbs return: wasmValue
-    def self.decode_global_expr: (Array[Op] ops) -> wasmValue
+    def self.decode_global_expr: (Array[[ Symbol, Symbol, Array[operandItem], Integer?, Integer? ]] ops) -> wasmValue
 
     # @rbs return: ExportSection
     def self.export_section: () -> ExportSection

data/sig/generated/wardite.rbs

@@ -110,6 +110,10 @@ module Wardite
     # @rbs return: Object|nil
     def invoke_internal: (WasmFunction wasm_function) -> (Object | nil)
 
+    $GLOBAL_EXTERNAL_ELAP: Float
+
+    $GLOBAL_EXTERNAL_TIMES: Integer
+
     # @rbs external_function: ExternalFunction
     # @rbs return: wasmValue|nil
     def invoke_external: (ExternalFunction external_function) -> (wasmValue | nil)
@@ -118,9 +122,9 @@ module Wardite
     def execute!: () -> void
 
     # @rbs frame: Frame
-    # @rbs insn: Op
+    # @rbs insn: [Symbol, Symbol, Array[operandItem], Integer?, Integer?]
     # @rbs return: void
-    def eval_insn: (Frame frame, Op insn) -> void
+    def eval_insn: (Frame frame, [ Symbol, Symbol, Array[operandItem], Integer?, Integer? ] insn) -> void
 
     # @rbs labels: Array[Label]
     # @rbs stack: Array[wasmValue]
@@ -168,7 +172,7 @@ module Wardite
 
     attr_accessor sp: Integer
 
-    attr_accessor body: Array[Op]
+    attr_accessor body: Array[[ Symbol, Symbol, Array[Wardite::operandItem], Integer?, Integer? ]]
 
     attr_accessor arity: Integer
 
@@ -180,11 +184,11 @@ module Wardite
 
     # @rbs pc: Integer
     # @rbs sp: Integer
-    # @rbs body: Array[Op]
+    # @rbs body: Array[[Symbol, Symbol, Array[Wardite::operandItem], Integer?, Integer?]]
     # @rbs arity: Integer
     # @rbs locals: Array[wasmValue]
     # @rbs returb: void
-    def initialize: (Integer pc, Integer sp, Array[Op] body, Integer arity, Array[wasmValue] locals) -> untyped
+    def initialize: (Integer pc, Integer sp, Array[[ Symbol, Symbol, Array[Wardite::operandItem], Integer?, Integer? ]] body, Integer arity, Array[wasmValue] locals) -> untyped
   end
 
   class Label
@@ -358,8 +362,8 @@ module Wardite
     # @rbs return: void
     def initialize: (Array[Symbol] callsig, Array[Symbol] retsig, CodeSection::CodeBody code_body) -> void
 
-    # @rbs return: Array[Op]
-    def body: () -> Array[Op]
+    # @rbs return: Array[[Symbol, Symbol, Array[operandItem], Integer?, Integer?]]
+    def body: () -> Array[[ Symbol, Symbol, Array[operandItem], Integer?, Integer? ]]
 
     # @rbs return: Array[Symbol]
     def locals_type: () -> Array[Symbol]

data/sig/vernier.rbs

@@ -0,0 +1,3 @@
+module Vernier
+  def self.profile: (?out: String) { (void) -> void } -> void
+end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: wardite
 version: !ruby/object:Gem::Version
-  version: 0.8.1
+  version: 0.9.0
 platform: ruby
 authors:
 - Uchio Kondo
 bindir: exe
 cert_chain: []
-date: 2025-04-05 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies: []
 description: A pure-ruby webassembly runtime
 email:
@@ -31,8 +31,12 @@ files:
 - examples/global.wat
 - examples/grayscale.rb
 - examples/helloworld.wat
+- examples/i32_bench.html
+- examples/i32_bench.wat
+- examples/i32_bench_original.wat
 - examples/i32_const.wat
 - examples/i32_store.wat
+- examples/load_perf.rb
 - examples/local_set.wat
 - examples/loop.wat
 - examples/memory.wat
@@ -97,6 +101,7 @@ files:
 - sig/generated/wardite/wasi/dirent_cache.rbs
 - sig/generated/wardite/wasi/preopens.rbs
 - sig/generated/wardite/wasm_module.rbs
+- sig/vernier.rbs
 - sig/wardite.rbs
 homepage: https://github.com/udzura/wardite
 licenses: []
@@ -117,7 +122,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.6.2
+rubygems_version: 3.6.9
 specification_version: 4
 summary: A pure-ruby webassembly runtime
 test_files: []