let boot_functions return the compilers
methods are still added, but this is a good step to removing the risc/cpu level from the methods
This commit is contained in:
parent
208b98d709
commit
91a99b1239
@ -12,33 +12,46 @@ module Risc
|
|||||||
# This should return the implementation of the method (ie a method object),
|
# This should return the implementation of the method (ie a method object),
|
||||||
# not actually try to implement it(as that's impossible in ruby)
|
# not actually try to implement it(as that's impossible in ruby)
|
||||||
#
|
#
|
||||||
def self.boot_functions( )
|
def self.boot_functions
|
||||||
|
compilers = []
|
||||||
space = Parfait.object_space
|
space = Parfait.object_space
|
||||||
# very fiddly chicken 'n egg problem. Functions need to be in the right order, and in fact we
|
# very fiddly chicken 'n egg problem. Functions need to be in the right order,
|
||||||
# have to define some dummies, just for the others to compile
|
# and in fact we have to define some dummies, just for the others to compile
|
||||||
# TODO go through the virtual parfait layer and adjust function names to what they really are
|
# TODO go through the virtual parfait layer and adjust function names
|
||||||
space_class = space.get_class
|
# to what they really are
|
||||||
space_class.instance_type.add_method Builtin::Space.send(:main, nil)
|
space_type = space.get_class.instance_type
|
||||||
|
compilers << compiler_for( space_type , Space , :main)
|
||||||
|
|
||||||
obj = space.get_class_by_name(:Object)
|
obj_type = space.get_class_by_name(:Object).instance_type
|
||||||
[ :get_internal_word , :set_internal_word , :_method_missing,
|
[ :get_internal_word , :set_internal_word , :_method_missing,
|
||||||
:exit , :__init__].each do |f|
|
:exit , :__init__].each do |f|
|
||||||
obj.instance_type.add_method Builtin::Object.send(f , nil)
|
compilers << compiler_for( obj_type , Object , f)
|
||||||
end
|
end
|
||||||
|
|
||||||
obj = space.get_class_by_name(:Word)
|
word_type = space.get_class_by_name(:Word).instance_type
|
||||||
[:putstring , :get_internal_byte , :set_internal_byte ].each do |f|
|
[:putstring , :get_internal_byte , :set_internal_byte ].each do |f|
|
||||||
obj.instance_type.add_method Builtin::Word.send(f , nil)
|
compilers << compiler_for( word_type , Word , f)
|
||||||
end
|
end
|
||||||
|
|
||||||
obj = space.get_class_by_name(:Integer)
|
int_type = space.get_class_by_name(:Integer).instance_type
|
||||||
Risc.operators.each do |op|
|
Risc.operators.each do |op|
|
||||||
obj.instance_type.add_method Builtin::Integer.operator_method(op)
|
compilers << operator_compiler( int_type , op)
|
||||||
end
|
end
|
||||||
[:putint, :div4, :div10 , :<,:<= , :>=, :>].each do |f| #div4 is just a forward declaration
|
[:putint, :div4, :div10 , :<,:<= , :>=, :>].each do |f| #div4 is just a forward declaration
|
||||||
obj.instance_type.add_method Builtin::Integer.send(f , nil)
|
compilers << compiler_for( int_type , Integer , f)
|
||||||
end
|
end
|
||||||
|
compilers
|
||||||
end
|
end
|
||||||
|
|
||||||
|
def self.compiler_for( type , mod , name)
|
||||||
|
compiler = mod.send(name , nil)
|
||||||
|
type.add_method( compiler.method )
|
||||||
|
compiler
|
||||||
|
end
|
||||||
|
def self.operator_compiler(int_type , op)
|
||||||
|
compiler = Integer.operator_method(op)
|
||||||
|
int_type.add_method(compiler.method)
|
||||||
|
compiler
|
||||||
|
end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
@ -17,7 +17,7 @@ module Risc
|
|||||||
builder.add_new_int(source,me , two)
|
builder.add_new_int(source,me , two)
|
||||||
builder.add_reg_to_slot( source , two , :message , :return_value)
|
builder.add_reg_to_slot( source , two , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
def >( context )
|
def >( context )
|
||||||
comparison( :> )
|
comparison( :> )
|
||||||
@ -54,12 +54,12 @@ module Risc
|
|||||||
builder.add_code merge_label
|
builder.add_code merge_label
|
||||||
builder.add_reg_to_slot( "#{operator} save ret" , other , :message , :return_value)
|
builder.add_reg_to_slot( "#{operator} save ret" , other , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
def putint(context)
|
def putint(context)
|
||||||
compiler = compiler_for(:Integer,:putint ,{})
|
compiler = compiler_for(:Integer,:putint ,{})
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
def operator_method( op_sym )
|
def operator_method( op_sym )
|
||||||
compiler = compiler_for(:Integer, op_sym ,{other: :Integer})
|
compiler = compiler_for(:Integer, op_sym ,{other: :Integer})
|
||||||
@ -71,7 +71,7 @@ module Risc
|
|||||||
builder.add_new_int(op_sym.to_s + " new int", me , other)
|
builder.add_new_int(op_sym.to_s + " new int", me , other)
|
||||||
builder.add_reg_to_slot( op_sym.to_s + "save ret" , other , :message , :return_value)
|
builder.add_reg_to_slot( op_sym.to_s + "save ret" , other , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
def div10( context )
|
def div10( context )
|
||||||
s = "div_10 "
|
s = "div_10 "
|
||||||
@ -134,7 +134,7 @@ module Risc
|
|||||||
builder.add_reg_to_slot( s , tmp , :message , :return_value)
|
builder.add_reg_to_slot( s , tmp , :message , :return_value)
|
||||||
|
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
extend ClassMethods
|
extend ClassMethods
|
||||||
|
@ -17,7 +17,7 @@ module Risc
|
|||||||
# and put it back into the return value
|
# and put it back into the return value
|
||||||
builder.add_reg_to_slot( source , me , :message , :return_value)
|
builder.add_reg_to_slot( source , me , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
# self[index] = val basically. Index is the first arg , value the second
|
# self[index] = val basically. Index is the first arg , value the second
|
||||||
@ -31,7 +31,7 @@ module Risc
|
|||||||
# do the set
|
# do the set
|
||||||
builder.add_reg_to_slot( source , value , me , index)
|
builder.add_reg_to_slot( source , value , me , index)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
# every object needs a method missing.
|
# every object needs a method missing.
|
||||||
@ -39,7 +39,7 @@ module Risc
|
|||||||
def _method_missing( context )
|
def _method_missing( context )
|
||||||
compiler = compiler_for(:Object,:method_missing ,{})
|
compiler = compiler_for(:Object,:method_missing ,{})
|
||||||
emit_syscall( compiler.compiler_builder(compiler.method) , :exit )
|
emit_syscall( compiler.compiler_builder(compiler.method) , :exit )
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
# this is the really really first place the machine starts (apart from the jump here)
|
# this is the really really first place the machine starts (apart from the jump here)
|
||||||
@ -73,7 +73,7 @@ module Risc
|
|||||||
end
|
end
|
||||||
compiler.reset_regs
|
compiler.reset_regs
|
||||||
exit_sequence(builder)
|
exit_sequence(builder)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
# a sort of inline version of exit method.
|
# a sort of inline version of exit method.
|
||||||
@ -89,7 +89,7 @@ module Risc
|
|||||||
compiler = compiler_for(:Object,:exit ,{})
|
compiler = compiler_for(:Object,:exit ,{})
|
||||||
builder = compiler.compiler_builder(compiler.method)
|
builder = compiler.compiler_builder(compiler.method)
|
||||||
exit_sequence(builder)
|
exit_sequence(builder)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
def emit_syscall( builder , name )
|
def emit_syscall( builder , name )
|
||||||
|
@ -10,7 +10,7 @@ module Risc
|
|||||||
def main(context)
|
def main(context)
|
||||||
compiler = compiler_for(:Space , :main ,{args: :Integer})
|
compiler = compiler_for(:Space , :main ,{args: :Integer})
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
end
|
end
|
||||||
|
@ -13,7 +13,7 @@ module Risc
|
|||||||
builder.add_slot_to_reg( "putstring" , :new_message , index , reg )
|
builder.add_slot_to_reg( "putstring" , :new_message , index , reg )
|
||||||
Risc::Builtin::Object.emit_syscall( builder , :putstring )
|
Risc::Builtin::Object.emit_syscall( builder , :putstring )
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
compiler.method
|
compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
# self[index] basically. Index is the first arg > 0
|
# self[index] basically. Index is the first arg > 0
|
||||||
@ -30,7 +30,7 @@ module Risc
|
|||||||
# and put it back into the return value
|
# and put it back into the return value
|
||||||
builder.add_reg_to_slot( source , index , :message , :return_value)
|
builder.add_reg_to_slot( source , index , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
# self[index] = val basically. Index is the first arg ( >0),
|
# self[index] = val basically. Index is the first arg ( >0),
|
||||||
@ -48,7 +48,7 @@ module Risc
|
|||||||
value = builder.load_int_arg_at(source , 1 )
|
value = builder.load_int_arg_at(source , 1 )
|
||||||
builder.add_reg_to_slot( source , value , :message , :return_value)
|
builder.add_reg_to_slot( source , value , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler
|
||||||
end
|
end
|
||||||
|
|
||||||
end
|
end
|
||||||
|
22
test/risc/test_builtin.rb
Normal file
22
test/risc/test_builtin.rb
Normal file
@ -0,0 +1,22 @@
|
|||||||
|
require_relative "helper"
|
||||||
|
|
||||||
|
module Risc
|
||||||
|
class TestBuiltinFunction < MiniTest::Test
|
||||||
|
|
||||||
|
def setup
|
||||||
|
Parfait.boot!
|
||||||
|
end
|
||||||
|
def test_has_boot_function
|
||||||
|
assert Builtin.boot_functions
|
||||||
|
end
|
||||||
|
def test_boot_function_type
|
||||||
|
assert_equal Array, Builtin.boot_functions.class
|
||||||
|
end
|
||||||
|
def test_boot_function_length
|
||||||
|
assert_equal 23, Builtin.boot_functions.length
|
||||||
|
end
|
||||||
|
def test_boot_function_first
|
||||||
|
assert_equal RiscCompiler, Builtin.boot_functions.first.class
|
||||||
|
end
|
||||||
|
end
|
||||||
|
end
|
Loading…
Reference in New Issue
Block a user