wardite 0.8.2 → 0.9.0

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

@@ -122,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]
@@ -172,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
 
@@ -184,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
@@ -362,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,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: wardite
 version: !ruby/object:Gem::Version
-  version: 0.8.2
+  version: 0.9.0
 platform: ruby
 authors:
 - Uchio Kondo
@@ -36,6 +36,7 @@ files:
 - 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
@@ -100,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: []