add NewMessage / Frame instructions (without actual implementation)

This commit is contained in:
Torsten Ruger 2014-09-23 19:06:10 +03:00
parent 3d5eb685a1
commit 4e01bc798f
4 changed files with 23 additions and 6 deletions

View File

@ -6,16 +6,18 @@ module Ast
def compile method , message def compile method , message
me = receiver.compile( method, message ) me = receiver.compile( method, message )
method.add_code Virtual::NewMessage.new
method.add_code Virtual::Set.new(Virtual::NewSelf.new(me.type), me) method.add_code Virtual::Set.new(Virtual::NewSelf.new(me.type), me)
method.add_code Virtual::Set.new(Virtual::NewName.new(), Virtual::StringConstant.new(name)) method.add_code Virtual::Set.new(Virtual::NewName.new(), Virtual::StringConstant.new(name))
compiled_args = [] compiled_args = []
args.each_with_index do |arg , i| args.each_with_index do |arg , i|
#compile in the running method, ie before passing control #compile in the running method, ie before passing control
val = arg.compile( method, message) val = arg.compile( method, message)
compiled_args << val
# move the compiled value to it's slot in the new message # move the compiled value to it's slot in the new message
to = Virtual::NewMessageSlot.new(i ,val.type , val)
# (doing this immediately, not after the loop, so if it's a return it won't get overwritten) # (doing this immediately, not after the loop, so if it's a return it won't get overwritten)
method.add_code Virtual::Set.new(Virtual::NewMessageSlot.new(i ,val.type ) , val ) method.add_code Virtual::Set.new(to , val )
compiled_args << to
end end
method.add_code Virtual::MessageSend.new(name , me , compiled_args) #and pass control method.add_code Virtual::MessageSend.new(name , me , compiled_args) #and pass control
# the effect of the method is that the NewMessage Return slot will be filled, return it # the effect of the method is that the NewMessage Return slot will be filled, return it

View File

@ -2,6 +2,10 @@ module Register
class ReturnImplementation class ReturnImplementation
def run block def run block
block.codes.dup.each do |code| block.codes.dup.each do |code|
#TODO
- move message to new meesage
- restore caller message and self / frame
next unless code.is_a? Virtual::MethodReturn next unless code.is_a? Virtual::MethodReturn
#load the return address into pc, affecting return. (other cpus have commands for this, but not arm) #load the return address into pc, affecting return. (other cpus have commands for this, but not arm)
message = RegisterReference.new(:r0) message = RegisterReference.new(:r0)

View File

@ -66,6 +66,11 @@ module Virtual
class UnconditionalBranch < Branch class UnconditionalBranch < Branch
end end
class NewMessage < Instruction
end
class NewFrame < Instruction
end
class MessageSend < Instruction class MessageSend < Instruction
def initialize name , me , args = [] def initialize name , me , args = []
@name = name.to_sym @name = name.to_sym

View File

@ -1,11 +1,17 @@
module Virtual module Virtual
# This implements the send logic # This implements the send logic
# Send is so complicated that we actually code it in ruby and stick it in # Send is so complicated that we actually code it in ruby and stick it in
# That off course opens up an endless loop possibility that we stop by reducing to Class and Module methods # That off course opens up an endless loop possibility that we stop by
# implementing Class and Module methods
# Note: I find it slightly unsemetrical that the NewMessage object needs to be created before this instruction
# This is because all expressions create a (return) value and that return value is overwritten by the next
# expression unless saved. And since the message is the place to save it it needs to exist. qed
class SendImplementation class SendImplementation
def run block def run block
block.codes.dup.each do |code| block.codes.dup.each do |code|
next unless code.is_a? MessageSend next unless code.is_a? MessageSend
new_codes = [ ]
ref = code.me ref = code.me
raise "only refs implemented #{me.inspect}" unless ( ref.type == Reference) raise "only refs implemented #{me.inspect}" unless ( ref.type == Reference)
if(ref.value) if(ref.value)
@ -16,14 +22,14 @@ module Virtual
# get the function from my class. easy peasy # get the function from my class. easy peasy
method = me.clazz.get_instance_method(code.name) method = me.clazz.get_instance_method(code.name)
raise "Method not implemented #{clazz.name}.#{code.name}" unless method raise "Method not implemented #{clazz.name}.#{code.name}" unless method
call = FunctionCall.new( method ) new_codes << FunctionCall.new( method )
block.replace(code , call )
else else
raise "unimplemented #{code}" raise "unimplemented #{code}"
end end
else else
raise "not constant/ known object for send #{me.inspect}" raise "not constant/ known object for send #{ref.inspect}"
end end
block.replace(code , new_codes )
end end
end end
end end