rubinius-compiler 2.1.0 → 2.1.1

data/spec/transforms/assembly_spec.rb

@@ -0,0 +1,195 @@
+describe "A Call node using InlineAssembly transform" do
+  relates <<-ruby do
+      Rubinius.asm(a) do |m|
+        push 1
+      end
+    ruby
+
+    compile do |g|
+      g.push_const :Rubinius
+      g.push :self
+      g.send :a, 0, true
+
+      g.in_block_send :asm, :single, nil, 1, false do |d|
+        d.push :self
+        d.push 1
+        d.send :push, 1, true
+      end
+    end
+
+    compile :assembly do |g|
+      g.push 1
+    end
+  end
+
+  relates <<-ruby do
+      def new(*args)
+        obj = allocate()
+
+        Rubinius.asm(args, obj) do |x, y|
+          run y
+          run x
+          push_block
+          send_with_splat :initialize, 0, true
+        end
+
+        return obj
+      end
+    ruby
+
+    compile do |g|
+      in_method :new do |d|
+        d.push :self
+        d.send :allocate, 0, true
+        d.set_local 1
+        d.pop
+
+        d.push_const :Rubinius
+        d.push_local 0
+        d.push_local 1
+
+        e = new_block_generator(g)
+
+        ruby_version_is ""..."1.9" do
+          e.cast_for_multi_block_arg
+          e.shift_array
+
+          e.set_local 0
+          e.pop
+          e.shift_array
+          e.set_local 1
+          e.pop
+          e.pop
+        end
+
+        e.push_modifiers
+        e.new_label.set!
+
+        e.push :self
+        e.push_local 1
+        e.send :run, 1, true
+        e.pop
+
+        e.push :self
+        e.push_local 0
+        e.send :run, 1, true
+        e.pop
+
+        e.push :self
+        e.send :push_block, 0, true
+        e.pop
+        e.push :self
+        e.push_literal :initialize
+        e.push 0
+        e.push :true
+        e.send :send_with_splat, 3, true
+
+        e.pop_modifiers
+        e.ret
+
+        d.create_block(e)
+        d.send_with_block :asm, 2, false
+        d.pop
+        d.push_local 1
+        d.ret
+      end
+    end
+
+    compile :assembly do |g|
+      in_method :new do |d|
+        d.push :self
+        d.send :allocate, 0, true
+        d.set_local 1
+        d.pop
+
+        d.push_local 1
+        d.push_local 0
+        d.push_block
+        d.send_with_splat :initialize, 0, true
+        d.pop
+        d.push_local 1
+        d.ret
+      end
+    end
+  end
+
+  relates <<-ruby do
+      def new(cnt)
+        obj = allocate_sized cnt
+        Rubinius.asm(obj) do |x|
+          push_block
+          run x
+          send_with_block :initialize, 0, true
+        end
+
+        return obj
+      end
+    ruby
+
+    compile do |g|
+      in_method :new do |d|
+        d.push :self
+        d.push_local 0
+        d.send :allocate_sized, 1, true
+        d.set_local 1
+        d.pop
+
+        d.push_const :Rubinius
+        d.push_local 1
+
+        e = new_block_generator(g)
+
+        ruby_version_is ""..."1.9" do
+          e.cast_for_single_block_arg
+
+          e.set_local 0
+          e.pop
+        end
+
+        e.push_modifiers
+        e.new_label.set!
+
+        e.push :self
+        e.send :push_block, 0, true
+        e.pop
+
+        e.push :self
+        e.push_local 0
+        e.send :run, 1, true
+        e.pop
+
+        e.push :self
+        e.push_literal :initialize
+        e.push 0
+        e.push :true
+        e.send :send_with_block, 3, true
+
+        e.pop_modifiers
+        e.ret
+
+        d.create_block(e)
+        d.send_with_block :asm, 1, false
+        d.pop
+        d.push_local 1
+        d.ret
+      end
+    end
+
+    compile :assembly do |g|
+      in_method :new do |d|
+        d.push :self
+        d.push_local 0
+        d.send :allocate_sized, 1, true
+        d.set_local 1
+        d.pop
+
+        d.push_block
+        d.push_local 1
+        d.send_with_block :initialize, 0, true
+        d.pop
+        d.push_local 1
+        d.ret
+      end
+    end
+  end
+end

data/spec/transforms/block_given_spec.rb

@@ -0,0 +1,75 @@
+describe "A Call node using BlockGiven transform" do
+  block_given = lambda do |g|
+    in_method :m do |d|
+      no_blk = d.new_label
+      done = d.new_label
+
+      d.push_has_block
+      d.gif no_blk
+
+      d.push 1
+      d.goto done
+
+      no_blk.set!
+      d.push :nil
+
+      done.set!
+    end
+  end
+
+  relates <<-ruby do
+      def m
+        1 if block_given?
+      end
+    ruby
+
+    compile do |g|
+      in_method :m do |d|
+        no_blk = d.new_label
+        done = d.new_label
+
+        d.push :self
+        d.send :block_given?, 0, true
+        d.gif no_blk
+
+        d.push 1
+        d.goto done
+
+        no_blk.set!
+        d.push :nil
+
+        done.set!
+      end
+    end
+
+    compile(:block_given, &block_given)
+  end
+
+  relates <<-ruby do
+      def m
+        1 if iterator?
+      end
+    ruby
+
+    compile do |g|
+      in_method :m do |d|
+        no_blk = d.new_label
+        done = d.new_label
+
+        d.push :self
+        d.send :iterator?, 0, true
+        d.gif no_blk
+
+        d.push 1
+        d.goto done
+
+        no_blk.set!
+        d.push :nil
+
+        done.set!
+      end
+    end
+
+    compile(:block_given, &block_given)
+  end
+end

data/spec/transforms/fast_coerce_spec.rb

@@ -0,0 +1,112 @@
+describe "A Call node using SendFastCoerceTo transform" do
+  relates <<-ruby do
+      a = b
+      Rubinius::Type.coerce_to a, Fixnum, :to_int
+    ruby
+
+    compile do |g|
+      g.push :self
+      g.send :b, 0, true
+      g.set_local 0
+      g.pop
+
+      g.push_type
+      g.push_local 0
+      g.push_const :Fixnum
+      g.push_literal :to_int
+      g.send :coerce_to, 3, false
+    end
+
+    compile :fast_coerce do |g|
+      done = g.new_label
+
+      g.push :self
+      g.send :b, 0, true
+      g.set_local 0
+      g.pop
+
+      g.push_local 0
+      g.dup
+      g.push_const :Fixnum
+      g.swap
+      g.kind_of
+      g.git done
+
+      g.pop
+      g.push_type
+      g.push_local 0
+      g.push_const :Fixnum
+      g.push_literal :to_int
+      g.send :coerce_to, 3, false
+
+      done.set!
+    end
+  end
+
+  relates <<-ruby do
+      Rubinius::Type.coerce_to a, Fixnum, :to_int
+    ruby
+
+    compile do |g|
+      g.push_type
+      g.push :self
+      g.send :a, 0, true
+      g.push_const :Fixnum
+      g.push_literal :to_int
+      g.send :coerce_to, 3, false
+    end
+
+    compile :fast_coerce do |g|
+      g.push_type
+      g.push :self
+      g.send :a, 0, true
+      g.push_const :Fixnum
+      g.push_literal :to_int
+      g.send :coerce_to, 3, false
+    end
+  end
+
+  relates <<-ruby do
+      a = b
+      Rubinius::Type.coerce_to a, String, :to_str
+    ruby
+
+    compile do |g|
+      g.push :self
+      g.send :b, 0, true
+      g.set_local 0
+      g.pop
+
+      g.push_type
+      g.push_local 0
+      g.push_const :String
+      g.push_literal :to_str
+      g.send :coerce_to, 3, false
+    end
+
+    compile :fast_coerce do |g|
+      done = g.new_label
+
+      g.push :self
+      g.send :b, 0, true
+      g.set_local 0
+      g.pop
+
+      g.push_local 0
+      g.dup
+      g.push_const :String
+      g.swap
+      g.kind_of
+      g.git done
+
+      g.pop
+      g.push_type
+      g.push_local 0
+      g.push_const :String
+      g.push_literal :to_str
+      g.send :coerce_to, 3, false
+
+      done.set!
+    end
+  end
+end

data/spec/transforms/fast_new_spec.rb

@@ -0,0 +1,255 @@
+describe "A Call node using FastNew transform" do
+  relates "new(a)" do
+    compile do |g|
+      g.push :self
+      g.push :self
+      g.send :a, 0, true
+      g.send :new, 1, true
+    end
+
+    compile :fast_new do |g|
+      slow = g.new_label
+      done = g.new_label
+
+      g.push :self
+      g.dup
+      g.check_serial_private :new, Rubinius::CompiledCode::KernelMethodSerial
+      gif slow
+
+      g.send :allocate, 0, true
+      g.dup
+      g.push :self
+      g.send :a, 0, true
+      g.send :initialize, 1, true
+      g.pop
+      g.goto done
+
+      slow.set!
+      g.push :self
+      g.send :a, 0, true
+      g.send :new, 1, true
+
+      done.set!
+    end
+  end
+
+  relates "new(&block)" do
+    fast_new_with_block = lambda do |g|
+      g.push :self
+      g.push :self
+      g.send :block, 0, true
+      g.dup
+      g.is_nil
+
+      no_block = g.new_label
+      g.git no_block
+
+      g.push_cpath_top
+      g.find_const :Proc
+      g.swap
+      g.send :__from_block__, 1
+
+      no_block.set!
+      g.send_with_block :new, 0, true
+    end
+
+    compile(&fast_new_with_block)
+
+    compile(:fast_new, &fast_new_with_block)
+  end
+
+  relates "new(a, &block)" do
+    fast_new_with_arg_block = lambda do |g|
+      g.push :self
+      g.push :self
+      g.send :a, 0, true
+
+      g.push :self
+      g.send :block, 0, true
+      g.dup
+      g.is_nil
+
+      no_block = g.new_label
+      g.git no_block
+
+      g.push_cpath_top
+      g.find_const :Proc
+      g.swap
+      g.send :__from_block__, 1
+
+      no_block.set!
+      g.send_with_block :new, 1, true
+    end
+
+    compile(&fast_new_with_arg_block)
+
+    compile(:fast_new, &fast_new_with_arg_block)
+  end
+
+  relates "A.new" do
+    compile do |g|
+      g.push_const :A
+      g.send :new, 0, false
+    end
+
+    compile :fast_new do |g|
+      slow = g.new_label
+      done = g.new_label
+
+      g.push_const :A
+      g.dup
+      g.check_serial :new, Rubinius::CompiledCode::KernelMethodSerial
+      gif slow
+
+      g.send :allocate, 0, true
+      g.dup
+      g.send :initialize, 0, true
+      g.pop
+      g.goto done
+
+      slow.set!
+      g.send :new, 0, false
+
+      done.set!
+    end
+  end
+
+  relates "A.new(a)" do
+    compile do |g|
+      g.push_const :A
+      g.push :self
+      g.send :a, 0, true
+      g.send :new, 1, false
+    end
+
+    compile :fast_new do |g|
+      slow = g.new_label
+      done = g.new_label
+
+      g.push_const :A
+      g.dup
+      g.check_serial :new, Rubinius::CompiledCode::KernelMethodSerial
+      gif slow
+
+      g.send :allocate, 0, true
+      g.dup
+      g.push :self
+      g.send :a, 0, true
+      g.send :initialize, 1, true
+      g.pop
+      g.goto done
+
+      slow.set!
+      g.push :self
+      g.send :a, 0, true
+      g.send :new, 1, false
+
+      done.set!
+    end
+  end
+
+  relates "A.new(&block)" do
+    fast_new_with_block = lambda do |g|
+      g.push_const :A
+      g.push :self
+      g.send :block, 0, true
+      g.dup
+      g.is_nil
+
+      no_block = g.new_label
+      g.git no_block
+
+      g.push_cpath_top
+      g.find_const :Proc
+      g.swap
+      g.send :__from_block__, 1
+
+      no_block.set!
+      g.send_with_block :new, 0, false
+    end
+
+    compile(&fast_new_with_block)
+
+    compile(:fast_new, &fast_new_with_block)
+  end
+
+  relates "A.new(a, &block)" do
+    fast_new_with_arg_block = lambda do |g|
+      g.push_const :A
+      g.push :self
+      g.send :a, 0, true
+
+      g.push :self
+      g.send :block, 0, true
+      g.dup
+      g.is_nil
+
+      no_block = g.new_label
+      g.git no_block
+
+      g.push_cpath_top
+      g.find_const :Proc
+      g.swap
+      g.send :__from_block__, 1
+
+      no_block.set!
+      g.send_with_block :new, 1, false
+    end
+
+    compile(&fast_new_with_arg_block)
+
+    compile(:fast_new, &fast_new_with_arg_block)
+  end
+
+  ruby_version_is "1.9" do
+    relates "A.new(a { |(b, c)| })" do
+      compile :fast_new do
+        d = new_block_generator(g)
+        d.push_local 0
+        d.cast_array
+        d.shift_array
+        d.set_local 0
+        d.pop
+
+        d.shift_array
+        d.set_local 1
+        d.pop
+        d.pop
+
+        d.push_modifiers
+        d.new_label.set!
+        d.push :nil
+        d.pop_modifiers
+        d.ret
+
+        slow = g.new_label
+        done = g.new_label
+
+        g.push_const :A
+        g.dup
+        g.check_serial :new, Rubinius::CompiledCode::KernelMethodSerial
+        gif slow
+
+        g.send :allocate, 0, true
+        g.dup
+
+        g.push :self
+        g.create_block(d)
+        g.send_with_block :a, 0, true
+
+        g.send :initialize, 1, true
+        g.pop
+        g.goto done
+
+        slow.set!
+
+        g.push :self
+        g.create_block(d)
+        g.send_with_block :a, 0, true
+        g.send :new, 1, false
+
+        done.set!
+      end
+    end
+  end
+end