wardite 0.4.0 → 0.4.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2d2b7f37620b7290c9a4c1fc558024d87cb7ad73bf217c7f7abbda3e6dfda266
-  data.tar.gz: c239d24ee56a9dd80084abc11dcffad7a40edbc2c4644146c3cf91fa5b393ddd
+  metadata.gz: '02079b17ada50d21f00ea34c1830452eea21ff12a2fb6e9c5903d07cdca53d3a'
+  data.tar.gz: 9ab24caf2cc630593ce32ab652c8044a621f67ddce1cb70f75a1cd9e767b13e2
 SHA512:
-  metadata.gz: 8a9369b5cb946190e8dd0f0fc5c17d383e9f5f168098332b78a4ed821398f0a6d7b631558ba6a8a32a14d9ebcce88dd23e8f05d32b73eb7d9e7aafa14a46b0f4
-  data.tar.gz: 62f7f961e035a39203616793aa257d238a62760c70f6c9184070d3b79cc0615b829fbe5c4b89608838efe3db6b1a9e26332a125530992fcb41dcd64df8df3304
+  metadata.gz: 88054ffba3884002ea3ff7c63b21a38ff41a93f2e641ec7b82cf39f47e7df7672c5c6412f4efd1ca9feb6e222aaaadf98e67a40810c8ed213046df348aac8f79
+  data.tar.gz: 1c5b8765bff6ae42eb00c696efd8af2c6b892911d52fc68a1124fb3804419f121f886ba416b6b39b3183afa22e1f6aadf730681c004f254796c5e6934ab39da1

data/README.md

@@ -7,6 +7,21 @@ A pure-ruby webassembly runtime.
 - [x] Fully typed by RBS (with the aid of [rbs-inline](https://github.com/soutaro/rbs-inline))
 - [ ] WASI (p1) support
 
+## Supported Instructions
+
+ref: https://webassembly.github.io/spec/core/binary/instructions.html
+
+- [x] Control Instructions
+- [x] Parametric Instructions
+- [x] Variable Instructions
+- [ ] Table Instructions
+- [x] Memory Instructions (except `data.drop`)
+- [x] Numeric Instructions (`0x41 ... 0xC4`)
+- [x] Numeric Instructions (`0xFC` Operations)
+- [ ] Reference Instructions
+- [ ] Vector Instructions
+- [x] end `0x0B`
+
 ## Installation
 
 Install the gem and add to the application's Gemfile by executing:

data/lib/wardite/leb128.rb

@@ -2,8 +2,9 @@
 module Wardite
   module Leb128Helper
     # @rbs buf: File|StringIO
+    # @rbs max_level: Integer
     # @rbs return: Integer
-    def fetch_uleb128(buf)
+    def fetch_uleb128(buf, max_level: 8)
       dest = 0
       level = 0
       while b = buf.read(1)
@@ -18,7 +19,7 @@ module Wardite
           return dest
         end
 
-        if level > 6
+        if level > max_level
           break
         end
         level += 1
@@ -29,7 +30,7 @@ module Wardite
 
     # @rbs buf: File|StringIO
     # @rbs return: Integer
-    def fetch_sleb128(buf)
+    def fetch_sleb128(buf, max_level: 8)
       dest = 0
       level = 0
       while b = buf.read(1)
@@ -44,7 +45,7 @@ module Wardite
           break
         end
 
-        if level > 6
+        if level > max_level
           raise "unreachable! debug: dest = #{dest} level = #{level}"
         end
         level += 1

data/lib/wardite/load.rb

@@ -630,7 +630,7 @@ module Wardite
           when :i32
             operand << fetch_sleb128(buf)
           when :i64
-            operand << fetch_sleb128(buf)
+            operand << fetch_sleb128(buf, max_level: 16)
           when :f32
             data = buf.read 4
             if !data || data.size != 4
@@ -667,6 +667,12 @@ module Wardite
       end
 
       dest
+    rescue => e
+      require "pp"
+      $stderr.puts "parsed:::"
+      $stderr.puts "#{dest.pretty_inspect}"
+      $stderr.puts "code = #{code}"
+      raise e
     end
 
     # @rbs c: String
@@ -845,7 +851,7 @@ module Wardite
     # @rbs return: nil
     def self.unimplemented_skip_section(code)
       $stderr.puts "warning: unimplemented section: 0x0#{code}"
-      size = @buf.read(1)&.ord
+      size = fetch_uleb128(@buf)
       @buf.read(size)
       nil
     end

data/lib/wardite/version.rb

@@ -2,5 +2,5 @@
 # rbs_inline: enabled
 
 module Wardite
-  VERSION = "0.4.0" #: String
+  VERSION = "0.4.1" #: String
 end

data/sig/generated/wardite/leb128.rbs

@@ -4,11 +4,12 @@
 module Wardite
   module Leb128Helper
     # @rbs buf: File|StringIO
+    # @rbs max_level: Integer
     # @rbs return: Integer
-    def fetch_uleb128: (File | StringIO buf) -> Integer
+    def fetch_uleb128: (File | StringIO buf, ?max_level: Integer) -> Integer
 
     # @rbs buf: File|StringIO
     # @rbs return: Integer
-    def fetch_sleb128: (File | StringIO buf) -> Integer
+    def fetch_sleb128: (File | StringIO buf, ?max_level: untyped) -> Integer
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: wardite
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.4.1
 platform: ruby
 authors:
 - Uchio Kondo