wardite 0.5.0 → 0.6.0

data/sig/generated/wardite/wasi/consts.rbs

@@ -0,0 +1,137 @@
+# Generated from lib/wardite/wasi/consts.rb with RBS::Inline
+
+module Wardite
+  module Wasi
+    EACCES: ::Integer
+
+    EAGAIN: ::Integer
+
+    EBADF: ::Integer
+
+    EEXIST: ::Integer
+
+    EFAULT: ::Integer
+
+    EINTR: ::Integer
+
+    EINVAL: ::Integer
+
+    EIO: ::Integer
+
+    EISDIR: ::Integer
+
+    ELOOP: ::Integer
+
+    ENAMETOOLONG: ::Integer
+
+    ENOENT: ::Integer
+
+    ENOSYS: ::Integer
+
+    ENOTDIR: ::Integer
+
+    ERANGE: ::Integer
+
+    ENOTEMPTY: ::Integer
+
+    ENOTSOCK: ::Integer
+
+    ENOTSUP: ::Integer
+
+    EPERM: ::Integer
+
+    EROFS: ::Integer
+
+    FILETYPE_UNKNOWN: ::Integer
+
+    FILETYPE_BLOCK_DEVICE: Integer
+
+    FILETYPE_CHARACTER_DEVICE: Integer
+
+    FILETYPE_DIRECTORY: Integer
+
+    FILETYPE_REGULAR_FILE: Integer
+
+    FILETYPE_SOCKET_DGRAM: Integer
+
+    FILETYPE_SOCKET_STREAM: Integer
+
+    FILETYPE_SYMBOLIC_LINK: Integer
+
+    FD_APPEND: Integer
+
+    FD_DSYNC: Integer
+
+    FD_NONBLOCK: Integer
+
+    FD_RSYNC: Integer
+
+    FD_SYNC: Integer
+
+    RIGHT_FD_DATASYNC: untyped
+
+    RIGHT_FD_READ: untyped
+
+    RIGHT_FD_SEEK: untyped
+
+    RIGHT_FDSTAT_SET_FLAGS: untyped
+
+    RIGHT_FD_SYNC: untyped
+
+    RIGHT_FD_TELL: untyped
+
+    RIGHT_FD_WRITE: untyped
+
+    RIGHT_FD_ADVISE: untyped
+
+    RIGHT_FD_ALLOCATE: untyped
+
+    RIGHT_PATH_CREATE_DIRECTORY: untyped
+
+    RIGHT_PATH_CREATE_FILE: untyped
+
+    RIGHT_PATH_LINK_SOURCE: untyped
+
+    RIGHT_PATH_LINK_TARGET: untyped
+
+    RIGHT_PATH_OPEN: untyped
+
+    RIGHT_FD_READDIR: untyped
+
+    RIGHT_PATH_READLINK: untyped
+
+    RIGHT_PATH_RENAME_SOURCE: untyped
+
+    RIGHT_PATH_RENAME_TARGET: untyped
+
+    RIGHT_PATH_FILESTAT_GET: untyped
+
+    RIGHT_PATH_FILESTAT_SET_SIZE: untyped
+
+    RIGHT_PATH_FILESTAT_SET_TIMES: untyped
+
+    RIGHT_FD_FILESTAT_GET: untyped
+
+    RIGHT_FD_FILESTAT_SET_SIZE: untyped
+
+    RIGHT_FD_FILESTAT_SET_TIMES: untyped
+
+    RIGHT_PATH_SYMLINK: untyped
+
+    RIGHT_PATH_REMOVE_DIRECTORY: untyped
+
+    RIGHT_PATH_UNLINK_FILE: untyped
+
+    RIGHT_POLL_FD_READWRITE: untyped
+
+    RIGHT_SOCK_SHUTDOWN: untyped
+
+    RIGHT_FILE_RIGHT_BASE: untyped
+
+    RIGHT_DIR_RIGHT_BASE: untyped
+
+    # @rbs mode_str: String
+    # @rbs return: Integer
+    def self.to_ftype: (String mode_str) -> Integer
+  end
+end

data/sig/generated/wardite/wasi.rbs

@@ -1,21 +1,78 @@
 # Generated from lib/wardite/wasi.rb with RBS::Inline
 
-# rbs_inline: enabled
 module Wardite
   class WasiSnapshotPreview1
     include ValueHelper
 
-    attr_accessor fd_table: Array[IO]
+    include WasmModule
 
-    def initialize: () -> untyped
+    attr_accessor fd_table: Array[IO | File]
+
+    attr_accessor argv: Array[String]
+
+    # @rbs argv: Array[String]
+    # @rbs return: void
+    def initialize: (?argv: Array[String]) -> void
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def args_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def args_sizes_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def environ_sizes_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def environ_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def clock_time_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def fd_prestat_get: (Store store, Array[wasmValue] args) -> Object
 
     # @rbs store: Store
     # @rbs args: Array[wasmValue]
     # @rbs return: Object
     def fd_write: (Store store, Array[wasmValue] args) -> Object
 
-    # @rbs return: Hash[Symbol, wasmCallable]
-    def to_module: () -> Hash[Symbol, wasmCallable]
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def fd_read: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def fd_fdstat_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def fd_filestat_get: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def proc_exit: (Store store, Array[wasmValue] args) -> Object
+
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: Object
+    def random_get: (Store store, Array[wasmValue] args) -> Object
 
     private
 

data/sig/generated/wardite/wasm_module.rbs

@@ -0,0 +1,42 @@
+# Generated from lib/wardite/wasm_module.rb with RBS::Inline
+
+module Wardite
+  interface _WasmCallable
+    def call: (Store, Array[wasmValue]) -> wasmFuncReturn
+
+    def []: (Store, Array[wasmValue]) -> wasmFuncReturn
+  end
+
+  type wasmModuleSrc = Hash[Symbol, _WasmCallable] | WasmModule | HashModule
+
+  type wasmModule = WasmModule | HashModule
+
+  module WasmModule
+    # @rbs fnname: Symbol
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: wasmFuncReturn
+    def invoke: (Symbol fnname, Store store, *untyped args) -> wasmFuncReturn
+
+    # @rbs fnname: Symbol
+    # @rbs return: _WasmCallable
+    def callable: (Symbol fnname) -> _WasmCallable
+  end
+
+  class HashModule
+    attr_accessor hash: Hash[Symbol, _WasmCallable]
+
+    # @rbs ha: Hash[Symbol, _WasmCallable]
+    def initialize: (untyped hash) -> untyped
+
+    # @rbs fnname: Symbol
+    # @rbs store: Store
+    # @rbs args: Array[wasmValue]
+    # @rbs return: wasmFuncReturn
+    def invoke: (Symbol fnname, Store store, *untyped args) -> wasmFuncReturn
+
+    # @rbs fnname: Symbol
+    # @rbs return: _WasmCallable
+    def callable: (Symbol fnname) -> _WasmCallable
+  end
+end

data/sig/generated/wardite.rbs

@@ -20,11 +20,13 @@ module Wardite
 
     attr_accessor exports: Exports
 
-    attr_reader import_object: Hash[Symbol, Hash[Symbol, wasmCallable]]
+    attr_reader import_object: Hash[Symbol, wasmModule]
 
-    # @rbs import_object: Hash[Symbol, Hash[Symbol, wasmCallable]]
+    attr_accessor wasi: WasiSnapshotPreview1?
+
+    # @rbs import_object: Hash[Symbol, wasmModuleSrc]
     # @rbs &blk: (Instance) -> void
-    def initialize: (Hash[Symbol, Hash[Symbol, wasmCallable]] import_object) { (Instance) -> void } -> untyped
+    def initialize: (Hash[Symbol, wasmModuleSrc] import_object) { (Instance) -> void } -> untyped
 
     # @rbs return: void
     def check_data_count: () -> void
@@ -115,22 +117,12 @@ module Wardite
     # @rbs return: void
     def eval_insn: (Frame frame, Op insn) -> void
 
-    # @rbs ops: Array[Op]
-    # @rbs pc_start: Integer
-    # @rbs return: Integer
-    def fetch_ops_while_else_or_end: (Array[Op] ops, Integer pc_start) -> Integer
-
     # @rbs labels: Array[Label]
     # @rbs stack: Array[wasmValue]
     # @rbs level: Integer
     # @rbs return: Integer
     def do_branch: (Array[Label] labels, Array[wasmValue] stack, Integer level) -> Integer
 
-    # @rbs ops: Array[Op]
-    # @rbs pc_start: Integer
-    # @rbs return: Integer
-    def fetch_ops_while_end: (Array[Op] ops, Integer pc_start) -> Integer
-
     # unwind the stack and put return value if exists
     # @rbs sp: Integer
     # @rbs arity: Integer
@@ -209,6 +201,8 @@ module Wardite
   class Store
     attr_accessor funcs: Array[WasmFunction | ExternalFunction]
 
+    attr_accessor modules: Hash[Symbol, wasmModule]
+
     attr_accessor memories: Array[Memory]
 
     attr_accessor globals: Array[Global]
@@ -335,7 +329,10 @@ module Wardite
   end
 
   # TODO: common interface btw. WasmFunction and ExternalFunction?
+  #       may be _WasmCallable?
   class WasmFunction
+    include ValueHelper
+
     attr_accessor callsig: Array[Symbol]
 
     attr_accessor retsig: Array[Symbol]
@@ -344,6 +341,8 @@ module Wardite
 
     attr_accessor findex: Integer
 
+    attr_accessor default_locals: Array[wasmValue]
+
     # @rbs callsig: Array[Symbol]
     # @rbs retsig: Array[Symbol]
     # @rbs code_body: CodeSection::CodeBody
@@ -359,6 +358,9 @@ module Wardite
     # @rbs return: Array[Integer]
     def locals_count: () -> Array[Integer]
 
+    # @rbs return: Array[wasmValue]
+    def construct_default_locals: () -> Array[wasmValue]
+
     # @rbs override_type: Type?
     # @rbs return: WasmFunction
     def clone: (?override_type: Type?) -> WasmFunction
@@ -366,20 +368,23 @@ module Wardite
 
   type wasmFuncReturn = Object | nil
 
-  type wasmCallable = ^(Store, Array[wasmValue]) -> wasmFuncReturn
-
   class ExternalFunction
+    attr_accessor target_module: wasmModule
+
+    attr_accessor name: Symbol
+
     attr_accessor callsig: Array[Symbol]
 
     attr_accessor retsig: Array[Symbol]
 
-    attr_accessor callable: wasmCallable
-
     # @rbs callsig: Array[Symbol]
     # @rbs retsig: Array[Symbol]
-    # @rbs callable: wasmCallable
+    # @rbs callable: _WasmCallable
     # @rbs return: void
-    def initialize: (Array[Symbol] callsig, Array[Symbol] retsig, wasmCallable callable) -> void
+    def initialize: (untyped target_module, untyped name, Array[Symbol] callsig, Array[Symbol] retsig) -> void
+
+    # @rbs return: _WasmCallable
+    def callable: () -> _WasmCallable
 
     # @rbs override_type: Type?
     # @rbs return: ExternalFunction

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: wardite
 version: !ruby/object:Gem::Version
-  version: 0.5.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Uchio Kondo
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-11-24 00:00:00.000000000 Z
+date: 2025-01-10 00:00:00.000000000 Z
 dependencies: []
 description: A pure-ruby webassembly runtime
 email:
@@ -22,7 +22,6 @@ files:
 - Rakefile
 - Steepfile
 - examples/.gitignore
-- examples/add.wasm
 - examples/add.wat
 - examples/break.wat
 - examples/call.wat
@@ -31,6 +30,7 @@ files:
 - examples/fib.wat
 - examples/fib2.wat
 - examples/global.wat
+- examples/grayscale.rb
 - examples/helloworld.wat
 - examples/i32_const.wat
 - examples/i32_store.wat
@@ -53,13 +53,25 @@ files:
 - lib/wardite/instruction.rb
 - lib/wardite/leb128.rb
 - lib/wardite/load.rb
+- lib/wardite/revisitor.rb
 - lib/wardite/value.rb
 - lib/wardite/version.rb
 - lib/wardite/wasi.rb
+- lib/wardite/wasi/consts.rb
+- lib/wardite/wasm_module.rb
+- misc/proposals/rubykaigi2025.md
+- misc/slides/fib.c
+- misc/slides/fib.html
+- misc/slides/image-1.png
+- misc/slides/image-2.png
+- misc/slides/image.png
+- misc/slides/tokyo12.html
+- misc/slides/tokyo12.md
 - scripts/gen_alu.rb
 - scripts/gen_conv.rb
 - scripts/templates/alu_module.rb.tmpl
 - scripts/templates/conv_module.rb.tmpl
+- sig/fcntl.rbs
 - sig/generated/wardite.rbs
 - sig/generated/wardite/alu_f32.generated.rbs
 - sig/generated/wardite/alu_f64.generated.rbs
@@ -71,9 +83,12 @@ files:
 - sig/generated/wardite/instruction.rbs
 - sig/generated/wardite/leb128.rbs
 - sig/generated/wardite/load.rbs
+- sig/generated/wardite/revisitor.rbs
 - sig/generated/wardite/value.rbs
 - sig/generated/wardite/version.rbs
 - sig/generated/wardite/wasi.rbs
+- sig/generated/wardite/wasi/consts.rbs
+- sig/generated/wardite/wasm_module.rbs
 - sig/wardite.rbs
 homepage: https://github.com/udzura/wardite
 licenses: []