2016-12-14 12:43:13 +01:00
|
|
|
module Arm
|
|
|
|
# There are only three call instructions in arm branch (b), call (bl) and syscall (swi)
|
|
|
|
|
|
|
|
# A branch could be called a jump as it has no notion of returning
|
|
|
|
|
|
|
|
# The pc is put into the link register to make a return possible
|
|
|
|
# a return is affected by moving the stored link register into the pc, effectively a branch
|
|
|
|
|
|
|
|
# swi (SoftWareInterrupt) or system call is how we call the kernel.
|
|
|
|
# in Arm the register layout is different and so we have to place the syscall code into register 7
|
|
|
|
# Registers 0-6 hold the call values as for a normal c call
|
|
|
|
class CallInstruction < Register::Branch
|
|
|
|
include Constants
|
|
|
|
include Attributed
|
|
|
|
|
|
|
|
def initialize(first, attributes)
|
|
|
|
super(nil, nil)
|
|
|
|
@attributes = attributes
|
|
|
|
raise "no target" if first.nil?
|
|
|
|
@first = first
|
|
|
|
opcode = @attributes[:opcode].to_s
|
|
|
|
if opcode.length == 3 and opcode[0] == "b"
|
|
|
|
@attributes[:condition_code] = opcode[1,2].to_sym
|
|
|
|
@attributes[:opcode] = :b
|
|
|
|
end
|
|
|
|
if opcode.length == 6 and opcode[0] == "c"
|
|
|
|
@attributes[:condition_code] = opcode[4,2].to_sym
|
|
|
|
@attributes[:opcode] = :call
|
|
|
|
end
|
|
|
|
@attributes[:update_status] = 0
|
|
|
|
@attributes[:condition_code] = :al if @attributes[:condition_code] == nil
|
|
|
|
end
|
|
|
|
|
|
|
|
def assemble(io)
|
|
|
|
case @attributes[:opcode]
|
|
|
|
when :b, :call
|
2016-12-14 18:07:03 +01:00
|
|
|
handle_call(io)
|
2016-12-14 12:43:13 +01:00
|
|
|
when :swi
|
2016-12-14 18:07:03 +01:00
|
|
|
handle_swi(io)
|
2016-12-14 12:43:13 +01:00
|
|
|
else
|
|
|
|
raise "Should not be the case #{inspect}"
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-14 18:07:03 +01:00
|
|
|
def handle_call(io)
|
|
|
|
case @first
|
|
|
|
when Register::Label
|
|
|
|
# relative addressing for jumps/calls
|
|
|
|
# but because of the arm "theoretical" 3- stage pipeline,
|
|
|
|
# we have to subtract 2 words (fetch/decode)
|
|
|
|
arg = arg.position - self.position - 8
|
|
|
|
when Parfait::TypedMethod
|
|
|
|
# But, for methods, this happens to be the size of the object header,
|
|
|
|
# so there it balances out, but not blocks
|
|
|
|
# have to use the code, not the mthod object for methods
|
|
|
|
arg = arg.binary.position - self.position
|
2016-12-14 12:43:13 +01:00
|
|
|
else
|
2016-12-14 18:07:03 +01:00
|
|
|
arg = @first
|
2016-12-14 12:43:13 +01:00
|
|
|
end
|
2016-12-14 18:07:03 +01:00
|
|
|
write_call(arg, io)
|
2016-12-14 12:43:13 +01:00
|
|
|
end
|
2016-12-14 18:07:03 +01:00
|
|
|
|
|
|
|
def write_call(arg,io)
|
|
|
|
raise "else not Attributed arg =\n#{arg.to_s[0..1000]}: #{inspect[0..1000]}" unless (arg.is_a?(Numeric))
|
|
|
|
jmp_val = arg >> 2
|
|
|
|
packed = [jmp_val].pack('l')
|
|
|
|
# signed 32-bit, condense to 24-bit
|
|
|
|
# TODO add check that the value fits into 24 bits
|
|
|
|
io << packed[0,3]
|
|
|
|
io.write_uint8 op_bit_code | (COND_CODES[@attributes[:condition_code]] << 4)
|
|
|
|
end
|
|
|
|
|
|
|
|
def handle_swi(io)
|
|
|
|
arg = @first
|
|
|
|
raise "expected literal not #{arg} #{inspect}" unless (arg.is_a?(Numeric))
|
|
|
|
packed = [arg].pack('L')[0,3]
|
|
|
|
io << packed
|
|
|
|
io.write_uint8 0b1111 | (COND_CODES[@attributes[:condition_code]] << 4)
|
2016-12-14 12:43:13 +01:00
|
|
|
end
|
2016-12-14 18:07:03 +01:00
|
|
|
|
2016-12-14 12:43:13 +01:00
|
|
|
def to_s
|
|
|
|
"#{opcode} #{@first} #{super}"
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|