ruby-x/rubyx
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

recode resolve method as assembler

Browse Source 
definitely needs some refactoring
in fact i was hoping to code this in ruby (with compiler tweeks)
but there it is: goes through the linked list of methods of the type
and compares their name with self (method on word)
if not found ends in sys exit for now
This commit is contained in:
Torsten Ruger 2018-04-02 19:32:59 +03:00
parent beb487eb09
commit 576ae9261d
2 changed files with 39 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
lib/risc/builtin/word.rb
View File

@ -56,8 +56,44 @@ module Risc
# parsed.
def resolve_method( context)
compiler = compiler_for(:Word, :resolve_method , {:value => :Type} )
source = "resolve_method "
me = compiler.add_known( :receiver )
type_arg = compiler.use_reg( :Type )
method = compiler.use_reg( :TypedMethod )
method_name = compiler.use_reg( :Word )
space = compiler.use_reg( :Space )
methods_index = Risc.resolve_to_index(:type , :methods)
next_index = Risc.resolve_to_index(:typed_method , :next_method)
name_index = Risc.resolve_to_index(:typed_method , :name)
binary_index = Risc.resolve_to_index(:typed_method , :binary)
nil_index = Risc.resolve_to_index(:space , :nil_object)
while_start = Risc.label( source , source + "while_start_#{object_id}")
exit_label = Risc.label( source , source + "exit_label_#{object_id}")
false_label = Risc.label( source , source + "fal_label_#{object_id}")
compiler.add_slot_to_reg(source + "retrieve args" , :message , :arguments , type_arg )
compiler.add_slot_to_reg(source + "retrieve arg 1", type_arg , 1 + 1, type_arg ) #1 for type
compiler.add_slot_to_reg(source + "get methods from type", type_arg , methods_index, method )
compiler.add_code while_start
compiler.add_load_constant(source + "load space" , Parfait.object_space , space )
compiler.add_slot_to_reg(source + "get nil object", space , nil_index, space )
compiler.add_op(source + "if method is nil", :- , space , method )
compiler.add_code Risc::IsZero.new(source + "jump if nil" , exit_label)
compiler.add_slot_to_reg(source + "get name from method" , method , name_index, method_name )
compiler.add_op(source + " compare name with me", :- , method_name , me )
compiler.add_code Risc::IsNotZero.new(source + "jump if not same" , false_label)
compiler.add_slot_to_reg(source + "get binary from method" , method , binary_index, method )
compiler.add_reg_to_slot(source + "save binary to return", method , :message , :return_value)
compiler.add_mom( Mom::ReturnSequence.new)
compiler.add_code false_label
compiler.add_slot_to_reg(source + "get next method" , method , next_index, method )
compiler.add_code Risc::Branch.new(source + "back to while", while_start)
compiler.add_code exit_label
Risc::Builtin::Object.emit_syscall( compiler , :exit )
return compiler.method
end

10
test/risc/interpreter/test_dynamic_call.rb
View File

@ -25,13 +25,9 @@ module Risc
LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg,
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot,
SlotToReg, LoadConstant, FunctionCall, Label, SlotToReg,
SlotToReg, RegToSlot, SlotToReg, SlotToReg, FunctionReturn,
SlotToReg, LoadConstant, RegToSlot, Label, LoadConstant,
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg,
SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
SlotToReg, SlotToReg, SlotToReg, SlotToReg, RegToSlot,
SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
SlotToReg]
SlotToReg, SlotToReg, SlotToReg, Label, LoadConstant,
SlotToReg, OperatorInstruction, IsZero, Label, Transfer,
Syscall, NilClass]
#assert_equal 1 , get_return
end