RubyVM::InstructionSequence compiling and loading

I recently came across “An Amateur Smalltalk User’s Observations on
Ruby Object Model and Bytecode”
(Smalltalk and ruby - 2012-12-08).
I tried his example of enabling iseq_s_load(). I stumbled across a
simple case where the loaded compiled code does not work as the
original compiled code, specifically:

source = %q{
args           = {}
args['q']      = 'test'
args.to_a.collect {|x| "#{x[0]}=#{x[1]}" }.join('&')


orig = RubyVM::InstructionSequence.compile source
loaded = RubyVM::InstructionSequence.load ins.to_a

other.eval # ← Exception

The first eval works. The second eval throws an exception:

:in <compiled>': undefined method join’ for
#<Enumerator: [[“q”, “test”]]:collect> (NoMethodError)

The result of the first collect method is (and should be) an Array.
However the second is producing an Enumerator.

I was wondering if anyone could explain why this is the case?

Actually a better example without having to recompile Ruby is the

#!/usr/bin/env ruby

require ‘fiddle’

class RubyVM
class InstructionSequence
address = Fiddle::Handle::DEFAULT[‘rb_iseq_load’]
func = address,
[Fiddle::TYPE_VOIDP] * 3,
Fiddle::TYPE_VOIDP )

define_singleton_method(:load) do |data, parent = nil, opt = nil|, parent, opt).to_value


source = %q{
args = {}
args[‘q’] = ‘test’
args.to_a.collect {|x| “#{x[0]}=#{x[1]}” }.join(’&’)

orig = source
loaded = RubyVM::InstructionSequence.load orig.to_a


The last eval throws the exception. It would seem like the two
instruction sequences should be equivalent.

There is a single line difference between the two sequences:

< {:mid=>:collect, :flag=>0, :orig_argc=>0,
:blockptr=>[“YARVInstructionSequence/SimpleDataFormat”, 2, 0, 1,
{:arg_size=>1, :local_size=>2, :stack_max=>4}, "block in ",
“”, nil, 4, :block, [:x], [1, [], 0, 0, -1, -1, 3], [[:redo,
nil, :label_0, :label_22, :label_0, 0], [:next, nil, :label_0,
:label_22, :label_22, 0]], [:label_0, [:trace, 256], [:trace, 1],
[:getlocal_OP__WC__0, 2], [:putobject_OP_INT2FIX_O_0_C_], [:opt_aref,
{:mid=>:[], :flag=>256, :orig_argc=>1, :blockptr=>nil}], [:tostring],
[:putobject, “=”], [:getlocal_OP__WC__0, 2],
[:putobject_OP_INT2FIX_O_1_C_], [:opt_aref, {:mid=>:[], :flag=>256,
:orig_argc=>1, :blockptr=>nil}], [:tostring], [:concatstrings, 3],
[:trace, 512], :label_22, [:leave]]]}

{:mid=>:collect, :flag=>256, :orig_argc=>0, :blockptr=>nil}

Since I don’t have the first clue as to how this part of Ruby works
I’ll just move wait until iseq_s_load() is officially supported.

I think this is the bug: Bug #7995: RubyVM::InstructionSequence to_a not working for blocks - Ruby master - Ruby Issue Tracking System
I hope it would be solved in ruby 2.1.0