rlang 0.3.0

data/lib/rlang/parser/ext/type.rb

@@ -0,0 +1,64 @@
+module Type
+
+  class I64 < Numeric
+    MAX = 2**64 - 1
+    def size; 8; end  # size in bytes
+    def self.size; 8; end # size in bytes
+    def wasm_type; 'i64'; end
+    def self.wasm_type; 'i64'; end
+  end
+
+  class I32 < Numeric
+    MAX = 2**64 - 1
+    def initialize(v); @v = Integer(v); end
+    def +(v); I32.new(v + @v); end
+    def size; 4; end # size in bytes
+    def self.size; 4; end # size in bytes
+    def wasm_type; 'i32'; end
+    def self.wasm_type; 'i32'; end
+  end
+
+  class F64 < Numeric
+    MAX = 1.7976931348623158E308
+    def size; 8; end # size in bytes
+    def wasm_type; 'f64'; end
+    def self.size; 8; end # size in bytes
+    def self.wasm_type; 'f64'; end
+  end
+
+  class F32 < Numeric
+    MAX = 3.4028235E38
+    # size in bytes
+    def size; 4; end  
+    def wasm_type; 'f32'; end
+    def self.size; 4; end  
+    def self.wasm_type; 'f32'; end
+  end
+
+  class Numeric
+    def type
+      if self.is_a? Integer
+        if self <= I32::MAX
+          'i32'
+        elsif self <= I64::MAX
+          'i64'
+        else
+          raise "Integer value too large #{self}"
+        end
+      elsif self.is_a? Float
+        if self <= F32::MAX
+          'f32'
+        elsif self <= F64::MAX
+          'f64'
+        else
+          raise "Float value too large #{self}"
+        end  
+      else
+        raise "Unknown value type #{self.class} for #{self}"
+      end
+    end
+  end
+
+  DEFAULT = Type::I32
+
+end

data/lib/rlang/parser/global.rb

@@ -0,0 +1,65 @@
+# Rubinius WebAssembly VM
+# Copyright (c) 2019, Laurent Julliard and contributors
+# All rights reserved.
+
+# Class variables
+
+require_relative './wtype'
+require_relative './export'
+
+module Rlang::Parser
+  class Global
+    @@globals = []
+    attr_accessor :name, :wtype, :mutable, :value
+
+    def initialize(name, wtype=WType::DEFAULT, value=0, mutable=true)
+      @name = name
+      @wtype = wtype
+      @mutable = mutable
+      @value = value
+      @@globals << self
+    end
+
+    def self.find(name)
+      @@globals.find {|g| g.name == name}
+    end
+
+    def mutable?
+      @mutable
+    end
+
+    def wasm_name
+      @name
+    end
+
+    def wasm_type
+      @wtype.wasm_type
+    end
+
+    def export_name
+      @name
+    end
+
+    def export!
+      Export.new(self)
+    end
+
+    def export_wasm_code
+      '(export  "%s" (global %s (mut %s)))' % [self.export_name, self.wasm_name, self.wtype.wasm_type]
+    end
+
+    def self.transpile
+      output = []
+      @@globals.each do |g|
+        if g.mutable?
+          output << '(global %{name} (mut %{type}) (%{type}.const %{value}))' \
+                    % {name: g.wasm_name, type: g.wtype.wasm_type, value: g.value}
+        else
+          output << '(global %{name} %{type} (%{type}.const %{value}))' \
+                    % {name: g.wasm_name, type: g.wtype.wasm_type, value: g.value}
+        end
+      end
+      output.join("\n")
+    end
+  end
+end

data/lib/rlang/parser/lvar.rb

@@ -0,0 +1,29 @@
+# Rubinius WebAssembly VM
+# Copyright (c) 2019, Laurent Julliard and contributors
+# All rights reserved.
+
+# Local variables
+
+require_relative './wtype'
+
+module Rlang::Parser
+  class LVar
+    attr_reader :name
+    attr_accessor :wtype
+
+    def initialize(name, wtype=WType::DEFAULT)
+      @name = name
+      # TODO: check if local/param value wtype
+      # was explicitely declared
+      @wtype = wtype
+    end
+
+    def wasm_name
+      "$#{name}"
+    end
+
+    def wasm_type
+      @wtype.wasm_type
+    end
+  end
+end

data/lib/rlang/parser/marg.rb

@@ -0,0 +1,30 @@
+# Rubinius WebAssembly VM
+# Copyright (c) 2019, Laurent Julliard and contributors
+# All rights reserved.
+
+# Method argument class
+
+require_relative '../../utils/log'
+require_relative './wtype'
+
+module Rlang::Parser
+  class MArg
+    include Log
+    attr_reader :name
+    attr_accessor :wtype
+
+    def initialize(name, wtype=WType::DEFAULT)
+      @name = name
+      @wtype = wtype
+      logger.debug "Method argument #{name} created"
+    end
+
+    def wasm_name
+      "$#{@name}"
+    end
+
+    def wasm_type
+      @wtype.wasm_type
+    end
+  end
+end

data/lib/rlang/parser/method.rb

@@ -0,0 +1,76 @@
+# Rubinius WebAssembly VM
+# Copyright (c) 2019, Laurent Julliard and contributors
+# All rights reserved.
+
+# Class variables
+require_relative '../../utils/log'
+require_relative './wtype'
+require_relative './export'
+
+module Rlang::Parser
+  # Note: Cannot use Method as class name
+  # because it's already used by Ruby
+  class MEthod
+    include Log
+
+    attr_reader :name, :wtype
+    attr_accessor :class_name
+
+    def initialize(name, class_name, wtype=WType::DEFAULT)
+      @name = name
+      @class_name = class_name
+      @wtype = wtype
+      @instance = false
+      logger.debug "Method instance created #{self.inspect}"
+    end
+
+    def instance!
+      @instance = true
+    end
+
+    def instance?
+      @instance
+    end
+
+    def class!
+      @instance = false
+    end
+
+    def class?
+      !@instance
+    end
+
+    def wtype=(wtype)
+      @wtype = wtype
+      logger.debug "Method wtype updated: #{self.inspect}"
+    end
+
+    def wasm_name
+      if @instance
+        "$#{@class_name}##{@name}"
+      else
+        "$#{@class_name}::#{@name}"
+      end
+    end
+
+    def wasm_type
+      @wtype.wasm_type
+    end
+
+    def export_name
+      if @instance
+        "#{@class_name.downcase}_i_#{@name}"
+      else
+        "#{@class_name.downcase}_c_#{@name}"
+      end
+    end
+
+    def export!
+      Export.new(self)
+    end
+
+    def export_wasm_code
+      '(export  "%s" (func %s))' % [self.export_name, self.wasm_name]
+    end
+  end
+end

data/lib/rlang/parser/wattr.rb

@@ -0,0 +1,65 @@
+# Rubinius WebAssembly VM
+# Copyright (c) 2019, Laurent Julliard and contributors
+# All rights reserved.
+
+# Method argument class
+
+require_relative '../../utils/log'
+require_relative './wtype'
+
+module Rlang::Parser
+  class WAttr
+    include Log
+    attr_reader :name, :wtype, :getter, :setter
+
+    def initialize(class_wnode, name, wtype=WType::DEFAULT)
+      @class_wnode = class_wnode
+      @name = name
+      @wtype = wtype
+      # Also create the corresponding getter and setter
+      # method objects (with default WType - wattr_type
+      # directives might later change this wtype)
+      # Don't generate WAT code yet
+      @getter = @class_wnode.create_method(self.getter_name, nil, wtype, :instance)
+      @getter.instance!
+      logger.debug "Getter created: #{@getter.inspect}"
+
+      @setter = @class_wnode.create_method(self.setter_name, nil, wtype, :instance)
+      @setter.instance!
+      logger.debug "Setter created: #{@setter.inspect}"
+
+      logger.debug "Class attribute #{name} created"
+    end
+
+    def class_name
+      @class_wnode.class_name
+    end
+
+    def wtype=(wtype)
+      @wtype = wtype
+      # Adjust corresponding method objects wtype accordingly
+      @getter.wtype = wtype
+      @setter.wtype = wtype
+      logger.debug "Getter and Setter wtype updated : #{@getter.inspect}"
+    end
+
+    def size
+      @wtype.size
+    end
+
+    def wasm_name
+      "$#{@name}"
+    end
+    
+    def getter_name
+      @name
+    end
+
+    def setter_name
+      "#{@name}=".to_sym
+    end
+    def wasm_type
+      @wtype.wasm_type
+    end
+  end
+end