wardite 0.2.0 → 0.2.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8e33fd39e5cc58e9ec6071c4a74d5cbe872d68355657dd1adfdf375d74cf03b9
-  data.tar.gz: cee2e80f2dda3a2366450cf9b2d6656b172faa41b69eba39c03610b8a3c8d38b
+  metadata.gz: 932c8c0c36490c2b84b652ee4b43682ee0218c3d6ed4164685e5066b45e79e60
+  data.tar.gz: d185d75762ac744752fede64fe6fd766a4639105697af520eb01b802ae7bd4a2
 SHA512:
-  metadata.gz: bfabd5ef113b7ebdc5e7aa5059eed7984e5f38a8490e120b4ab4230972f503e62aff24d0bfa5cdcef49bc8dcd082c69ade651f95e5cd0101780acdd389378fda
-  data.tar.gz: eac7e0374494969be1ea08e8fb7344e163a2c122ff3d6b958d47851bc3815104329216c9107612930209ecf0551ff677a5d9f3744792d82746b410b32fe329d4
+  metadata.gz: 5251ca5fe770cfce8ad98f35ab31017b95d70d91e0088d640612c51f1506bb31e5484c26571cfc84503c686ab18f82a14b604698be5a0577072ef5dff6880cc7
+  data.tar.gz: f2c8f3e17ae79c3f79b9f736d3f31e317178cecacbc562900a592572596b283fdee1594267ccc3afb156426b7f7265a0d9ad9902bfc1a6a86e5f2db5622a9aa8

data/Rakefile

@@ -15,19 +15,182 @@ task :check do
   sh "bundle exec steep check"
 end
 
+desc "Compile wat"
+task :wasm, [:name] do |t, args|
+  Dir.chdir "examples" do
+    sh "wat2wasm #{args.name}.wat"
+  end
+end
+
 desc "Generate codes"
 task :generate do
   require_relative "scripts/gen_alu"
+  require_relative "scripts/gen_conv"
   libdir = File.expand_path("../lib", __FILE__)
 
   GenAlu.execute(libdir + "/wardite/alu_i32.generated.rb", prefix: "i32", defined_ops: [
+    :load,
+    :load8_s,
+    :load8_u,
+    :load16_s,
+    :load16_u,
+    :store,
+    :store8,
+    :store16,
+    :const,
+    :eqz,
+    :eq,
+    :ne,
     :lts,
+    :ltu,
+    :gts,
+    :gtu,
+    :les,
     :leu,
+    :ges,
+    :geu,
+    :clz,
+    :ctz,
+    :popcnt,
     :add,
     :sub,
+    :mul,
+    :div_s,
+    :div_u,
+    :rem_s,
+    :rem_u,
+    :and,
+    :or,
+    :xor,
+    :shl,
+    :shr_s,
+    :shr_u,
+    :rotl,
+    :rotr,
+  ])
+  GenAlu.execute(libdir + "/wardite/alu_i64.generated.rb", prefix: "i64", defined_ops: [
+    :load,
+    :load8_s,
+    :load8_u,
+    :load16_s,
+    :load16_u,
+    :load32_s,
+    :load32_u,
+    :store,
+    :store8,
+    :store16,
+    :store32,
     :const,
+    :eqz,
+    :eq,
+    :ne,
+    :lts,
+    :ltu,
+    :gts,
+    :gtu,
+    :les,
+    :leu,
+    :ges,
+    :geu,
+    :clz,
+    :ctz,
+    :popcnt,
+    :add,
+    :sub,
+    :mul,
+    :div_s,
+    :div_u,
+    :rem_s,
+    :rem_u,
+    :and,
+    :or,
+    :xor,
+    :shl,
+    :shr_s,
+    :shr_u,
+    :rotl,
+    :rotr,
+  ])
+  GenAlu.execute(libdir + "/wardite/alu_f32.generated.rb", prefix: "f32", defined_ops: [
+    :load,
     :store,
+    :const__f,
+    :eqz,
+    :eq,
+    :ne,
+    :lt,
+    :gt,
+    :le,
+    :ge,
+    :abs,
+    :neg,
+    :ceil,
+    :floor,
+    :trunc,
+    :nearest,
+    :sqrt,
+    :add,
+    :sub,
+    :mul,
+    :div,
+    :min,
+    :max,
+    :copysign,
   ])
+  GenAlu.execute(libdir + "/wardite/alu_f64.generated.rb", prefix: "f64", defined_ops: [
+    :load,
+    :store,
+    :const__f,
+    :eqz,
+    :eq,
+    :ne,
+    :lt,
+    :gt,
+    :le,
+    :ge,
+    :abs,
+    :neg,
+    :ceil,
+    :floor,
+    :trunc,
+    :nearest,
+    :sqrt,
+    :add,
+    :sub,
+    :mul,
+    :div,
+    :min,
+    :max,
+    :copysign,
+  ])
+
+  GenConv.execute(libdir + "/wardite/convert.generated.rb", defined_ops: {
+    i32: {
+      wrap: [:i64],
+      trunc_s: [:f32, :f64],
+      trunc_u: [:f32, :f64],
+      reinterpret: [:f32],
+    },
+    i64: {
+      extend_s: [:i32, :i64],
+      extend_u: [:i32, :i64],
+      trunc_s: [:f32, :f64],
+      trunc_u: [:f32, :f64],
+      reinterpret: [:f64],
+    },
+    f32: {
+      convert_s: [:i32, :i64],
+      convert_u: [:i32, :i64],
+      demote: [:f64],
+      reinterpret: [:i32],
+    },
+    f64: {
+      convert_s: [:i32, :i64],
+      convert_u: [:i32, :i64],
+      promote: [:f32],
+      reinterpret: [:i64],
+    },
+  })
 end
 
 task default: %i[test check]

data/Steepfile

@@ -3,6 +3,7 @@ target :lib do
   signature "sig"
   check "lib"
 
+  library "pp"
   # configure_code_diagnostics(Steep::Diagnostic::Ruby.strict)
 end
 

data/examples/consts.wat

@@ -0,0 +1,12 @@
+(module
+  (func $test_const (result f32)
+    (i32.const 42)
+    (drop)
+    (i64.const 42)
+    (drop)
+    (f64.const 3.14)
+    (drop)
+    (f32.const 3.14)
+  )
+  (export "test_const" (func $test_const))
+)

data/examples/global.wat

@@ -0,0 +1,13 @@
+(module ;; from https://developer.mozilla.org/en-US/docs/WebAssembly/Reference/Variables/Global_set
+  (global $var (mut i32) (i32.const 0))
+  (global $var2 (mut i32) (i32.const 40))
+  (func $main (result i32)
+    i32.const 10 ;; load a number onto the stack
+    global.set $var ;; set the $var
+
+    global.get $var ;; load $var onto the stack
+    global.get $var2
+    i32.add ;; 10 + 40
+  )
+  (export "test" (func $main))
+)

data/lib/wardite/alu_f32.generated.rb

@@ -0,0 +1,250 @@
+# rbs_inline: enabled
+require_relative "value"
+
+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
+
+      when :f32_load
+        _align = insn.operand[0] # TODO: alignment support?
+        offset = insn.operand[1]
+        raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
+      
+        addr = runtime.stack.pop
+        if !addr.is_a?(I32)
+          raise EvalError, "maybe stack too short"
+        end
+      
+        at = addr.value + offset
+        data_end = at + F32.new.memsize / 8
+        memory = runtime.instance.store.memories[0] || raise("[BUG] no memory")
+        buf = memory.data[at...data_end]
+        if !buf
+          raise EvalError, "invalid memory range"
+        end
+        runtime.stack.push(F32.from_bytes(buf))
+
+
+      when :f32_store
+        _align = insn.operand[0] # TODO: alignment support?
+        offset = insn.operand[1]
+        raise EvalError, "[BUG] invalid type of operand" if !offset.is_a?(Integer)
+      
+        value = runtime.stack.pop
+        addr = runtime.stack.pop
+        if !value.is_a?(F32) || !addr.is_a?(I32)
+          raise EvalError, "maybe stack too short"
+        end
+      
+        at = addr.value + offset
+        data_end = at + value.packed.size
+        memory = runtime.instance.store.memories[0] || raise("[BUG] no memory")
+        memory.data[at...data_end] = value.packed
+
+
+      when :f32_const
+        const = insn.operand[0]
+        if !const.is_a?(Float)
+          raise EvalError, "invalid type of operand"
+        end
+        runtime.stack.push(F32(const))
+
+
+      when :f32_eqz
+        target = runtime.stack.pop
+        if !target.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = target.value.zero? ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_eq
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = (left.value == right.value) ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_ne
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = (left.value != right.value) ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_lt
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = (left.value < right.value) ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_gt
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = (left.value > right.value) ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_le
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = (left.value <= right.value) ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_ge
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        value = (left.value >= right.value) ? 1 : 0
+        runtime.stack.push(I32(value))
+
+
+      when :f32_abs
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(x.value.abs))
+
+
+      when :f32_neg
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(-(x.value)))
+
+
+      when :f32_ceil
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(x.value.ceil.to_f))
+
+
+      when :f32_floor
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(x.value.floor.to_f))
+
+
+      when :f32_trunc
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(x.value.to_i.to_f))
+
+
+      when :f32_nearest
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(x.value.round.to_f))
+
+
+      when :f32_sqrt
+        x = runtime.stack.pop
+        if !x.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(x.value ** 0.5))
+
+
+      when :f32_add
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(left.value + right.value))
+
+
+      when :f32_sub
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(left.value - right.value))
+
+
+      when :f32_mul
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(left.value * right.value))
+
+
+      when :f32_div
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        runtime.stack.push(F32(left.value / right.value))
+
+
+      when :f32_min
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        if right.value.nan? || left.value.nan?
+          runtime.stack.push(F32(Float::NAN))
+          return
+        end
+        runtime.stack.push(F32([left.value, right.value].min))
+
+
+      when :f32_max
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        if right.value.nan? || left.value.nan?
+          runtime.stack.push(F32(Float::NAN))
+          return
+        end
+        runtime.stack.push(F32([left.value, right.value].max))
+
+
+      when :f32_copysign
+        right, left = runtime.stack.pop, runtime.stack.pop
+        if !right.is_a?(F32) || !left.is_a?(F32)
+          raise EvalError, "maybe empty or invalid stack"
+        end
+        if left.sign == right.sign
+          runtime.stack.push(F32(left.value))
+        else
+          runtime.stack.push(F32(-left.value))
+        end
+
+
+      else
+        raise "Unknown opcode for namespace #{insn.namespace}: #{insn.code}"
+      end
+    end
+  end
+end