2017-01-19 08:02:29 +01:00
|
|
|
module Risc
|
2015-06-29 20:03:58 +02:00
|
|
|
module Builtin
|
|
|
|
class Object
|
|
|
|
module ClassMethods
|
2016-12-15 18:20:54 +01:00
|
|
|
include CompileHelper
|
2015-05-04 22:03:52 +02:00
|
|
|
|
2015-11-07 16:36:28 +01:00
|
|
|
# self[index] basically. Index is the first arg
|
|
|
|
# return is stored in return_value
|
2018-04-01 13:09:30 +02:00
|
|
|
def get_internal_word( context )
|
2018-03-18 17:38:35 +01:00
|
|
|
compiler = compiler_for(:Object , :get_internal_word ,{at: :Integer})
|
2018-08-09 19:15:52 +02:00
|
|
|
compiler.compiler_builder(compiler.source).build do
|
2018-08-14 18:39:46 +02:00
|
|
|
object! << message[:receiver]
|
|
|
|
integer! << message[:arguments]
|
|
|
|
integer << integer[1]
|
2018-08-09 19:15:52 +02:00
|
|
|
integer.reduce_int
|
|
|
|
object << object[integer]
|
|
|
|
message[:return_value] << object
|
|
|
|
end
|
2018-04-01 14:17:16 +02:00
|
|
|
compiler.add_mom( Mom::ReturnSequence.new)
|
2018-06-30 22:16:17 +02:00
|
|
|
return compiler
|
2015-11-07 16:36:28 +01:00
|
|
|
end
|
|
|
|
|
2016-12-06 10:38:09 +01:00
|
|
|
# self[index] = val basically. Index is the first arg , value the second
|
2018-08-14 10:23:19 +02:00
|
|
|
# return the value passed in
|
2018-04-01 14:17:16 +02:00
|
|
|
def set_internal_word( context )
|
2018-03-18 17:38:35 +01:00
|
|
|
compiler = compiler_for(:Object , :set_internal_word , {at: :Integer, :value => :Object} )
|
2018-08-09 19:15:52 +02:00
|
|
|
compiler.compiler_builder(compiler.source).build do
|
2018-08-14 18:39:46 +02:00
|
|
|
object! << message[:receiver]
|
|
|
|
integer! << message[:arguments]
|
|
|
|
object_reg! << integer[ 2]
|
|
|
|
integer << integer[1]
|
2018-08-09 19:15:52 +02:00
|
|
|
integer.reduce_int
|
|
|
|
object[integer] << object_reg
|
|
|
|
message[:return_value] << object_reg
|
|
|
|
end
|
2018-04-01 14:17:16 +02:00
|
|
|
compiler.add_mom( Mom::ReturnSequence.new)
|
2018-06-30 22:16:17 +02:00
|
|
|
return compiler
|
2015-11-08 16:10:36 +01:00
|
|
|
end
|
|
|
|
|
2018-04-02 15:49:30 +02:00
|
|
|
# every object needs a method missing.
|
|
|
|
# Even if it's just this one, sys_exit (later raise)
|
|
|
|
def _method_missing( context )
|
|
|
|
compiler = compiler_for(:Object,:method_missing ,{})
|
2018-07-09 18:32:17 +02:00
|
|
|
emit_syscall( compiler.compiler_builder(compiler.source) , :exit )
|
2018-06-30 22:16:17 +02:00
|
|
|
return compiler
|
2018-04-02 15:49:30 +02:00
|
|
|
end
|
2018-06-29 12:03:19 +02:00
|
|
|
|
2018-04-02 16:06:31 +02:00
|
|
|
# this is the really really first place the machine starts (apart from the jump here)
|
|
|
|
# it isn't really a function, ie it is jumped to (not called), exits and may not return
|
2018-08-14 10:23:19 +02:00
|
|
|
# so it is responsible for initial setup:
|
|
|
|
# - load fist message, set up Space as receiver
|
|
|
|
# - call main, ie set up message for that etc
|
|
|
|
# - exit (exit_sequence) which passes a machine int out to c
|
|
|
|
def __init__( context )
|
2018-06-30 22:26:28 +02:00
|
|
|
compiler = MethodCompiler.compiler_for_class(:Object,:__init__ ,
|
2018-04-02 16:06:31 +02:00
|
|
|
Parfait::NamedList.type_for({}) , Parfait::NamedList.type_for({}))
|
2018-07-09 18:32:17 +02:00
|
|
|
builder = compiler.compiler_builder(compiler.source)
|
2018-04-07 21:35:40 +02:00
|
|
|
builder.build do
|
2018-08-14 18:39:46 +02:00
|
|
|
space! << Parfait.object_space
|
2018-07-02 14:49:51 +02:00
|
|
|
message << space[:next_message]
|
2018-08-14 18:39:46 +02:00
|
|
|
next_message! << message[:next_message]
|
2018-07-02 14:49:51 +02:00
|
|
|
space[:next_message] << next_message
|
2018-04-06 23:14:02 +02:00
|
|
|
end
|
|
|
|
|
2018-04-08 17:52:17 +02:00
|
|
|
Mom::MessageSetup.new(Parfait.object_space.get_main).build_with( builder )
|
2018-04-06 23:14:02 +02:00
|
|
|
|
2018-04-07 21:35:40 +02:00
|
|
|
builder.build do
|
2018-04-06 23:14:02 +02:00
|
|
|
message << message[:next_message]
|
|
|
|
message[:receiver] << space
|
|
|
|
end
|
|
|
|
|
2018-07-16 11:03:40 +02:00
|
|
|
exit_label = Risc.label(compiler.source , "#{compiler.receiver_type.object_class.name}.#{compiler.source.name}" )
|
2018-08-14 19:24:48 +02:00
|
|
|
ret_tmp = compiler.use_reg(:Label).set_builder(builder)
|
2018-04-08 17:52:17 +02:00
|
|
|
builder.build do
|
2018-08-14 19:24:48 +02:00
|
|
|
ret_tmp << exit_label
|
|
|
|
message[:return_address] << ret_tmp
|
|
|
|
add_code Risc.function_call( "__init__ issue call" , Parfait.object_space.get_main)
|
2018-04-08 17:52:17 +02:00
|
|
|
add_code exit_label
|
|
|
|
end
|
2018-04-08 21:29:08 +02:00
|
|
|
compiler.reset_regs
|
2018-06-19 17:55:47 +02:00
|
|
|
exit_sequence(builder)
|
2018-06-30 22:16:17 +02:00
|
|
|
return compiler
|
2018-04-02 16:06:31 +02:00
|
|
|
end
|
|
|
|
|
2018-06-19 17:55:47 +02:00
|
|
|
# a sort of inline version of exit method.
|
|
|
|
# Used by exit and __init__ (so it doesn't have to call it)
|
2018-08-14 10:23:19 +02:00
|
|
|
# Assumes int return value and extracts the fixnum for process exit code
|
2018-06-19 17:55:47 +02:00
|
|
|
def exit_sequence(builder)
|
2018-06-19 18:52:06 +02:00
|
|
|
save_message( builder )
|
2018-08-09 20:10:05 +02:00
|
|
|
message = Risc.message_reg
|
|
|
|
builder.add_slot_to_reg "get return" , message , :return_value , message
|
|
|
|
builder.add_slot_to_reg( "reduce return" , message , Parfait::Integer.integer_index , message)
|
2018-06-19 18:52:06 +02:00
|
|
|
builder.add_code Syscall.new("emit_syscall(exit)", :exit )
|
2018-06-19 17:55:47 +02:00
|
|
|
end
|
|
|
|
|
2018-08-14 10:23:19 +02:00
|
|
|
# the exit function
|
|
|
|
# mainly calls exit_sequence
|
2018-04-02 16:06:31 +02:00
|
|
|
def exit( context )
|
|
|
|
compiler = compiler_for(:Object,:exit ,{})
|
2018-07-09 18:32:17 +02:00
|
|
|
builder = compiler.compiler_builder(compiler.source)
|
2018-06-19 17:55:47 +02:00
|
|
|
exit_sequence(builder)
|
2018-06-30 22:16:17 +02:00
|
|
|
return compiler
|
2018-04-02 16:06:31 +02:00
|
|
|
end
|
|
|
|
|
2018-08-14 10:23:19 +02:00
|
|
|
# emit the syscall with given name
|
|
|
|
# there is a Syscall instruction, but the message has to be saved and restored
|
2018-04-08 17:52:17 +02:00
|
|
|
def emit_syscall( builder , name )
|
|
|
|
save_message( builder )
|
|
|
|
builder.add_code Syscall.new("emit_syscall(#{name})", name )
|
|
|
|
restore_message(builder)
|
2018-04-02 16:06:31 +02:00
|
|
|
return unless (@clazz and @method)
|
2018-04-08 17:52:17 +02:00
|
|
|
builder.add_code Risc.label( "#{@clazz.name}.#{@message.name}" , "return_syscall" )
|
2018-04-02 16:06:31 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
# save the current message, as the syscall destroys all context
|
|
|
|
#
|
|
|
|
# This relies on linux to save and restore all registers
|
|
|
|
#
|
2018-04-08 17:52:17 +02:00
|
|
|
def save_message(builder)
|
2018-08-14 19:08:58 +02:00
|
|
|
r8 = RegisterValue.new( :r8 , :Message).set_builder(builder)
|
|
|
|
builder.build {r8 << message}
|
2018-04-02 16:06:31 +02:00
|
|
|
end
|
|
|
|
|
2018-08-14 10:23:19 +02:00
|
|
|
# restore the message that we save in r8
|
|
|
|
# get a new int and save the c return into it
|
|
|
|
# tht int gets retured, ie is the return_value of the message
|
2018-04-08 17:52:17 +02:00
|
|
|
def restore_message(builder)
|
2018-06-29 10:39:07 +02:00
|
|
|
r8 = RegisterValue.new( :r8 , :Message)
|
2018-04-08 17:52:17 +02:00
|
|
|
int = builder.compiler.use_reg(:Integer)
|
2018-08-13 17:48:54 +02:00
|
|
|
builder.build do
|
2018-08-14 18:39:46 +02:00
|
|
|
integer_reg! << message
|
2018-08-13 17:48:54 +02:00
|
|
|
message << r8
|
|
|
|
add_new_int( "_restore_message", integer_reg , int )
|
|
|
|
message[:return_value] << int
|
|
|
|
end
|
2018-04-02 16:06:31 +02:00
|
|
|
end
|
|
|
|
|
2014-06-03 13:49:02 +02:00
|
|
|
end
|
2015-06-29 20:03:58 +02:00
|
|
|
extend ClassMethods
|
2014-06-03 13:49:02 +02:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|