2014-08-22 16:40:09 +02:00
|
|
|
module Register
|
2014-05-03 14:13:44 +02:00
|
|
|
|
2014-10-03 10:05:17 +02:00
|
|
|
# the register machine has at least 8 registers, named r0-r5 , :lr and :pc (for historical reasons)
|
|
|
|
# we can load and store their contents and
|
|
|
|
# access (get/set) memory at a constant offset from a register
|
2015-05-24 19:00:11 +02:00
|
|
|
# while the vm works with objects, the register machine has registers,
|
2014-10-03 10:05:17 +02:00
|
|
|
# but we keep the names for better understanding, r4/5 are temporary/scratch
|
|
|
|
# there is no direct memory access, only through registers
|
|
|
|
# constants can/must be loaded into registers before use
|
2014-10-03 09:25:10 +02:00
|
|
|
class Instruction
|
|
|
|
|
2015-07-18 10:21:49 +02:00
|
|
|
def initialize source
|
|
|
|
@source = source
|
|
|
|
end
|
2015-07-27 11:13:39 +02:00
|
|
|
attr_reader :source
|
2015-07-18 10:21:49 +02:00
|
|
|
|
2015-10-10 20:38:55 +02:00
|
|
|
# returns an array of registers (RegisterValues) that this instruction uses.
|
2015-05-24 19:00:11 +02:00
|
|
|
# ie for r1 = r2 + r3
|
2014-06-08 00:41:56 +02:00
|
|
|
# which in assembler is add r1 , r2 , r3
|
|
|
|
# it would return [r2,r3]
|
|
|
|
# for pushes the list may be longer, whereas for a jump empty
|
|
|
|
def uses
|
|
|
|
raise "abstract called for #{self.class}"
|
|
|
|
end
|
2015-10-10 20:38:55 +02:00
|
|
|
# returns an array of registers (RegisterValues) that this instruction assigns to.
|
2015-05-24 19:00:11 +02:00
|
|
|
# ie for r1 = r2 + r3
|
2014-06-08 00:41:56 +02:00
|
|
|
# which in assembler is add r1 , r2 , r3
|
|
|
|
# it would return [r1]
|
|
|
|
# for most instruction this is one, but comparisons and jumps 0 , and pop's as long as 16
|
|
|
|
def assigns
|
|
|
|
raise "abstract called for #{self.class}"
|
|
|
|
end
|
2014-10-03 10:05:17 +02:00
|
|
|
|
2014-10-07 11:23:08 +02:00
|
|
|
# wrap symbols into regsiter reference if needed
|
2015-10-10 18:14:27 +02:00
|
|
|
def wrap_register reg , type
|
2015-10-10 20:38:55 +02:00
|
|
|
return reg if reg.is_a? RegisterValue
|
|
|
|
RegisterValue.new(reg , type)
|
2014-10-07 11:23:08 +02:00
|
|
|
end
|
2014-05-02 07:02:25 +02:00
|
|
|
end
|
2015-05-24 19:00:11 +02:00
|
|
|
|
2014-05-02 07:02:25 +02:00
|
|
|
end
|
2014-10-03 10:05:17 +02:00
|
|
|
|
2014-10-03 10:07:18 +02:00
|
|
|
require_relative "instructions/set_slot"
|
|
|
|
require_relative "instructions/get_slot"
|
|
|
|
require_relative "instructions/load_constant"
|
2015-06-22 21:48:42 +02:00
|
|
|
require_relative "instructions/syscall"
|
2014-10-04 11:52:47 +02:00
|
|
|
require_relative "instructions/function_call"
|
|
|
|
require_relative "instructions/function_return"
|
|
|
|
require_relative "instructions/save_return"
|
|
|
|
require_relative "instructions/register_transfer"
|
2015-07-17 12:21:57 +02:00
|
|
|
require_relative "instructions/branch"
|
2015-08-04 21:01:20 +02:00
|
|
|
require_relative "instructions/operator_instruction"
|