wardite 0.8.2 → 0.9.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 70bbc0a49f19757035ab126c1730f805e402c83e10010aaa7eb60f60af82c5fb
-  data.tar.gz: 5596c41c9af5bfdebb7e11a2ce1489f3ca941131dcf77292719f6e8d211c5ec8
+  metadata.gz: ed01a146affa721cec03c8751baded66418e2f62d6b42a878c6a8a60d8bdf270
+  data.tar.gz: 84fdcdfb8127d32a40f95f629065b6ce9c65f30e9f79c854003b9de05ee45b14
 SHA512:
-  metadata.gz: 6fc262b77485384e5adad30621864bf6b7327c919e30db9cf9b59e3476107f549aadf4d6d346bbf0e06ecf24552441bfd2e5737d1df8d1ab134f3551b06956f1
-  data.tar.gz: 9feede8d3ab709382a34dae4ae33e5e2c471237fdd31f9af4674a4c33a20274dff04f143d6f722216e2ce69d0ef0fea29871a8a31e152b2db1821b88c2a29f39
+  metadata.gz: 538b3e0a4b50fc5b4e109a39d1c243a5751d877859d1fe9942e8e5e52633ecf62ba55b2a99b0ffd80102c3b5cb7de258c8d0e878a8738b0bced8d4c9823e4052
+  data.tar.gz: 343459f70f34ebe76916058adc10d4db338d2594a39c4dca364fa8387b6c72393939e827517364965a8da14cf64ebf129198c9dbcfab9cf89dc0f17c766a752a

data/examples/load_perf.rb

@@ -0,0 +1,24 @@
+require "wardite"
+require "optparse"
+require "ostruct"
+
+$options = OpenStruct.new
+
+opt = OptionParser.new
+opt.on('--wasm-file [FILE]') {|v| $options.wasm_file = v }
+opt.parse!
+
+f = File.open($options.wasm_file)
+
+require "vernier"
+RubyVM::YJIT.enable
+puts "YJIT enabled: #{RubyVM::YJIT.enabled?}"
+
+Vernier.profile(out: "./tmp/load_perf.json") do
+  start = Time.now
+  _instance = Wardite::BinaryLoader::load_from_buffer(f);
+  puts "Profile saved to ./tmp/load_perf.json"
+  puts "Load time: #{Time.now.to_f - start.to_f} seconds"
+end
+
+p "OK"

data/lib/wardite/alu_f32.generated.rb

@@ -5,14 +5,15 @@ module Wardite
   module Evaluator
     # @rbs runtime: Runtime
     # @rbs frame: Frame
-    # @rbs insn: Op
-    # @rbs return: void 
-    def self.f32_eval_insn(runtime, frame, insn)
-      case insn.code
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.f32_eval_insn(runtime, frame, code, operand)
+      case code
 
       when :f32_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
@@ -31,8 +32,8 @@ module Wardite
 
 
       when :f32_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
@@ -48,7 +49,7 @@ module Wardite
 
 
       when :f32_const
-        const = insn.operand[0]
+        const = operand[0]
         if !const.is_a?(Float)
           raise EvalError, "invalid type of operand"
         end
@@ -243,8 +244,9 @@ module Wardite
 
 
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end

data/lib/wardite/alu_f64.generated.rb

@@ -5,14 +5,15 @@ module Wardite
   module Evaluator
     # @rbs runtime: Runtime
     # @rbs frame: Frame
-    # @rbs insn: Op
-    # @rbs return: void 
-    def self.f64_eval_insn(runtime, frame, insn)
-      case insn.code
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.f64_eval_insn(runtime, frame, code, operand)
+      case code
 
       when :f64_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
@@ -31,8 +32,8 @@ module Wardite
 
 
       when :f64_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
@@ -48,7 +49,7 @@ module Wardite
 
 
       when :f64_const
-        const = insn.operand[0]
+        const = operand[0]
         if !const.is_a?(Float)
           raise EvalError, "invalid type of operand"
         end
@@ -243,8 +244,9 @@ module Wardite
 
 
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end

data/lib/wardite/alu_i32.generated.rb

@@ -5,14 +5,15 @@ module Wardite
   module Evaluator
     # @rbs runtime: Runtime
     # @rbs frame: Frame
-    # @rbs insn: Op
-    # @rbs return: void 
-    def self.i32_eval_insn(runtime, frame, insn)
-      case insn.code
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.i32_eval_insn(runtime, frame, code, operand)
+      case code
 
       when :i32_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
@@ -31,8 +32,8 @@ module Wardite
 
 
       when :i32_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
@@ -51,8 +52,8 @@ module Wardite
 
 
       when :i32_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
@@ -71,8 +72,8 @@ module Wardite
 
 
       when :i32_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
@@ -91,8 +92,8 @@ module Wardite
 
 
       when :i32_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
@@ -111,8 +112,8 @@ module Wardite
 
 
       when :i32_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
@@ -128,8 +129,8 @@ module Wardite
 
 
       when :i32_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
@@ -145,8 +146,8 @@ module Wardite
 
 
       when :i32_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
@@ -162,7 +163,7 @@ module Wardite
 
 
       when :i32_const
-        const = insn.operand[0]
+        const = operand[0]
         if !const.is_a?(Integer)
           raise EvalError, "invalid type of operand"
         end
@@ -464,8 +465,9 @@ module Wardite
 
 
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end

data/lib/wardite/alu_i64.generated.rb

@@ -5,14 +5,15 @@ module Wardite
   module Evaluator
     # @rbs runtime: Runtime
     # @rbs frame: Frame
-    # @rbs insn: Op
-    # @rbs return: void 
-    def self.i64_eval_insn(runtime, frame, insn)
-      case insn.code
+    # @rbs code: Symbol
+    # @rbs operand: Array[operandItem]
+    # @rbs return: bool?
+    def self.i64_eval_insn(runtime, frame, code, operand)
+      case code
 
       when :i64_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
@@ -31,8 +32,8 @@ module Wardite
 
 
       when :i64_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
@@ -51,8 +52,8 @@ module Wardite
 
 
       when :i64_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
@@ -71,8 +72,8 @@ module Wardite
 
 
       when :i64_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
@@ -91,8 +92,8 @@ module Wardite
 
 
       when :i64_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
@@ -111,8 +112,8 @@ module Wardite
 
 
       when :i64_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
@@ -131,8 +132,8 @@ module Wardite
 
 
       when :i64_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
@@ -151,8 +152,8 @@ module Wardite
 
 
       when :i64_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
@@ -168,8 +169,8 @@ module Wardite
 
 
       when :i64_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
@@ -185,8 +186,8 @@ module Wardite
 
 
       when :i64_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
@@ -202,8 +203,8 @@ module Wardite
 
 
       when :i64_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
@@ -219,7 +220,7 @@ module Wardite
 
 
       when :i64_const
-        const = insn.operand[0]
+        const = operand[0]
         if !const.is_a?(Integer)
           raise EvalError, "invalid type of operand"
         end
@@ -521,8 +522,9 @@ module Wardite
 
 
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end

data/lib/wardite/cli/cli.rb

@@ -13,6 +13,8 @@ module Wardite
       attr_reader :wasi    #: bool
       attr_reader :yjit    #: bool
 
+      attr_reader :profile_file_path #: String?
+
       # @rbs args: Array[String]
       # @rbs return: void
       def initialize(args)
@@ -37,6 +39,9 @@ module Wardite
           opts.on("--yjit", "Enable yjit if available; setting WARDITE_YJIT_ON=1 has the same effect") {|_v|
             @yjit = true
           }
+          opts.on("--out-profile [file]", "Enable Vernier profiling and save to the file") {|v|
+            @profile_file_path = v
+          }
           opts.on("FILE.wasm") { }
         end
         options.parse!(args)
@@ -77,6 +82,19 @@ module Wardite
 
       # @rbs return: void
       def run
+        if profile_file_path
+          require "vernier"
+          $stderr.puts "Activated Vernier profiling"
+          Vernier.profile(out: profile_file_path) do
+            __run
+          end
+        else
+          __run
+        end
+      end
+
+      # @rbs return: void
+      def __run
         if invoke
           invoke_function
         else

data/lib/wardite/convert.generated.rb

@@ -5,10 +5,11 @@ 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
 
       when :i32_wrap_i64
         from = runtime.stack.pop
@@ -331,8 +332,9 @@ module Wardite
 
 
       else
-        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+        return
       end
+      return true
     end
   end
 end