wardite 0.2.0 → 0.2.2

data/sig/generated/wardite.rbs

@@ -7,171 +7,6 @@ module Wardite
 end
 
 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 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: 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 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
-
   class Instance
     attr_accessor version: Integer
 
@@ -198,6 +33,9 @@ module Wardite
     # @rbs return: MemorySection|nil
     def memory_section: () -> (MemorySection | nil)
 
+    # @rbs return: GlobalSection|nil
+    def global_section: () -> (GlobalSection | nil)
+
     # @rbs return: DataSection|nil
     def data_section: () -> (DataSection | nil)
 
@@ -215,7 +53,7 @@ module Wardite
     include ValueHelper
 
     # TODO: add types of class that the stack accomodates
-    attr_accessor stack: Array[I32 | I64 | F32 | F64 | Block]
+    attr_accessor stack: Array[I32 | I64 | F32 | F64]
 
     attr_accessor call_stack: Array[Frame]
 
@@ -265,8 +103,8 @@ module Wardite
     def stack_unwind: (Integer sp, Integer arity) -> void
 
     # @rbs finish: Integer
-    # @rbs return: Array[I32|I64|F32|F64|Block]
-    def drained_stack: (Integer finish) -> Array[I32 | I64 | F32 | F64 | Block]
+    # @rbs return: Array[I32|I64|F32|F64]
+    def drained_stack: (Integer finish) -> Array[I32 | I64 | F32 | F64]
 
     # @rbs name: Symbol
     # @rbs args: Array[Object]
@@ -322,6 +160,8 @@ module Wardite
 
     attr_accessor memories: Array[Memory]
 
+    attr_accessor globals: Array[Global]
+
     # @rbs inst: Instance
     # @rbs return: void
     def initialize: (Instance inst) -> void
@@ -333,6 +173,8 @@ module Wardite
   class Memory
     attr_accessor data: String
 
+    attr_accessor current: Integer
+
     attr_accessor max: Integer | nil
 
     # @rbs min: Integer
@@ -340,9 +182,32 @@ module Wardite
     # @rbs return: void
     def initialize: (Integer min, Integer | nil max) -> void
 
+    # @rbs delta: Integer
+    # @rbs return: Integer
+    def grow: (Integer delta) -> Integer
+
     def inspect: () -> untyped
   end
 
+  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
+
+    alias mutable? mutable
+
+    alias shared? shared
+  end
+
   class WasmData
     attr_accessor memory_index: Integer
 
@@ -437,6 +302,9 @@ module Wardite
   class EvalError < StandardError
   end
 
+  class Unreachable < StandardError
+  end
+
   # @rbs path: String|nil
   # @rbs buffer: File|StringIO|nil
   # @rbs **options: Hash[Symbol, Object]

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: wardite
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.2.2
 platform: ruby
 authors:
 - Uchio Kondo
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-11-02 00:00:00.000000000 Z
+date: 2024-11-08 00:00:00.000000000 Z
 dependencies: []
 description: A pure-ruby webassembly runtime
 email:
@@ -25,8 +25,10 @@ files:
 - examples/add.wasm
 - examples/add.wat
 - examples/call.wat
+- examples/consts.wat
 - examples/fib.wat
 - examples/fib2.wat
+- examples/global.wat
 - examples/helloworld.wat
 - examples/i32_const.wat
 - examples/i32_store.wat
@@ -34,20 +36,32 @@ files:
 - examples/memory.wat
 - exe/wardite
 - lib/wardite.rb
+- lib/wardite/alu_f32.generated.rb
+- lib/wardite/alu_f64.generated.rb
 - lib/wardite/alu_i32.generated.rb
+- lib/wardite/alu_i64.generated.rb
 - lib/wardite/const.rb
+- lib/wardite/convert.generated.rb
 - lib/wardite/instruction.rb
 - lib/wardite/leb128.rb
+- lib/wardite/load.rb
 - lib/wardite/value.rb
 - lib/wardite/version.rb
 - lib/wardite/wasi.rb
 - scripts/gen_alu.rb
+- scripts/gen_conv.rb
 - scripts/templates/alu_module.rb.tmpl
+- scripts/templates/conv_module.rb.tmpl
 - sig/generated/wardite.rbs
+- sig/generated/wardite/alu_f32.generated.rbs
+- sig/generated/wardite/alu_f64.generated.rbs
 - sig/generated/wardite/alu_i32.generated.rbs
+- sig/generated/wardite/alu_i64.generated.rbs
 - sig/generated/wardite/const.rbs
+- sig/generated/wardite/convert.generated.rbs
 - sig/generated/wardite/instruction.rbs
 - sig/generated/wardite/leb128.rbs
+- sig/generated/wardite/load.rbs
 - sig/generated/wardite/value.rbs
 - sig/generated/wardite/version.rbs
 - sig/generated/wardite/wasi.rbs