2014-10-03 10:07:18 +02:00
|
|
|
module Register
|
2015-06-21 20:00:16 +02:00
|
|
|
|
|
|
|
# GetSlot moves data into a register from memory.
|
|
|
|
# SetSlot moves data into memory from a register.
|
|
|
|
# Both use a base memory (a register)
|
|
|
|
|
|
|
|
# While the virtual machine has only one instruction (Set) to move data between slots,
|
|
|
|
# the register has two, namely GetSlot and SetSlot
|
2014-10-03 10:07:18 +02:00
|
|
|
#
|
2015-06-21 20:00:16 +02:00
|
|
|
# This is because that is what cpu's can do. In programming terms this would be accessing
|
|
|
|
# an element in an array, in the case of GetSlot setting the value in the array.
|
|
|
|
|
|
|
|
# btw: to move data between registers, use RegisterTransfer
|
|
|
|
|
2014-10-03 10:07:18 +02:00
|
|
|
class GetSlot < Instruction
|
2015-06-21 20:00:16 +02:00
|
|
|
|
|
|
|
# If you had a c array and index offset
|
|
|
|
# the instruction would do register = array[index]
|
|
|
|
# The arguments are in the order that makes sense for the Instruciton name
|
|
|
|
# So GetSlot means the slot (array and index) moves to the register (last argument)
|
|
|
|
def initialize array , index , register
|
|
|
|
@register = register
|
|
|
|
@array = array
|
2014-10-03 10:07:18 +02:00
|
|
|
@index = index
|
2015-06-29 19:56:11 +02:00
|
|
|
raise "not integer #{index}" unless index.is_a? Numeric
|
|
|
|
raise "Not register #{register}" unless Register::RegisterReference.look_like_reg(register)
|
|
|
|
raise "Not register #{array}" unless Register::RegisterReference.look_like_reg(array)
|
2014-10-03 10:07:18 +02:00
|
|
|
end
|
2015-06-21 20:00:16 +02:00
|
|
|
attr_accessor :register , :array , :index
|
2015-07-24 12:23:56 +02:00
|
|
|
|
|
|
|
def to_s
|
2015-07-25 08:30:58 +02:00
|
|
|
"GetSlot: #{register} -> #{array} [#{index}]"
|
2015-07-24 12:23:56 +02:00
|
|
|
end
|
|
|
|
|
2014-10-03 10:07:18 +02:00
|
|
|
end
|
2015-06-30 08:43:50 +02:00
|
|
|
|
|
|
|
# Produce a GetSlot instruction.
|
|
|
|
# From and to are registers or symbols that can be transformed to a register by resolve_to_register
|
|
|
|
# index resolves with resolve_index.
|
|
|
|
def self.get_slot from , index , to
|
|
|
|
index = resolve_index( from , index)
|
|
|
|
from = resolve_to_register from
|
|
|
|
to = resolve_to_register to
|
|
|
|
GetSlot.new( from , index , to)
|
|
|
|
end
|
|
|
|
|
2014-10-03 10:07:18 +02:00
|
|
|
end
|