rubyx/lib/risc/instruction.rb

105 lines
3.2 KiB
Ruby
Raw Normal View History

require "common/list"
2014-05-03 14:13:44 +02:00
module Risc
# the register machine has at least 8 registers, named r0-r5 , :lr and :pc
# (for historical reasons , r for register, pc for ProgramCounter ie next instruction address
# and lr means LinkRegister, ie the location where to return to when in a function)
#
# We can load and store their contents, move data between them and
# access (get/set) memory at a constant offset from a register
# While Mom works with objects, the register machine has registers,
# but we keep the names for better understanding, r2-5 are temporary/scratch
# There is no direct memory access, only through registers
# Constants can/must be loaded into registers before use
# At compile time, Instructions form a linked list (:next attribute is the link)
# At run time Instructions are traversesed as a graph
#
# Branches fan out, Labels collect
# Labels are the only valid branch targets
#
class Instruction
include Common::List
def initialize source , nekst = nil
2015-10-28 20:38:23 +01:00
@source = source
@next = nekst
return unless source
2018-03-22 17:38:19 +01:00
raise "Source must be string or Instruction, not #{source.class}" unless source.is_a?(String) or source.is_a?(Mom::Instruction)
2015-07-18 10:21:49 +02:00
end
attr_reader :source
2015-07-18 10:21:49 +02:00
#TODO check if this is used. Maybe build an each for instructions
2017-01-04 20:32:09 +01:00
def to_arr labels = []
ret = [self.class]
2017-01-04 20:32:09 +01:00
ret += self.next.to_arr(labels) if self.next
ret
end
# derived classes must provide a byte_length
def byte_length
raise "Abstract called on #{self}"
end
def to_cpu( translator )
translator.translate( self )
end
def assemble_all( io , labels = [] )
self.assemble(io)
self.next.assemble_all(io, labels) if self.next
end
def assemble io
raise "Abstract called on #{self}"
end
def total_byte_length( labels = [])
ret = self.byte_length
ret += self.next.total_byte_length(labels) if self.next
#puts "#{self.class.name} return #{ret}"
ret
end
def set_position position , labels = []
2017-01-01 20:52:35 +01:00
Positioned.set_position(self,position)
position += byte_length
if self.next
self.next.set_position(position , labels)
else
position
end
end
2015-10-25 11:03:31 +01:00
def each_label labels =[] , &block
self.next.each_label(labels , &block) if self.next
end
2018-03-22 17:38:19 +01:00
def class_source( derived)
"#{self.class.name.split("::").last}: #{derived} #{source_mini}"
end
def source_mini
return "(no source)" unless source
2018-03-23 17:55:23 +01:00
return "(from: #{source[0..25]})" if source.is_a?(String)
2018-03-22 17:38:19 +01:00
"(from: #{source.class.name.split("::").last})"
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
require_relative "instructions/setter"
require_relative "instructions/getter"
require_relative "instructions/reg_to_slot"
require_relative "instructions/slot_to_reg"
2016-12-25 17:11:58 +01:00
require_relative "instructions/reg_to_byte"
require_relative "instructions/byte_to_reg"
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/transfer"
require_relative "instructions/label"
require_relative "instructions/branch"
2015-08-04 21:01:20 +02:00
require_relative "instructions/operator_instruction"