fix RegToByte
seems to work, but does not end in syscall
This commit is contained in:
parent
3a9539a071
commit
1a19683e7d
@ -31,17 +31,16 @@ module Risc
|
|||||||
|
|
||||||
# self[index] = val basically. Index is the first arg ( >0),
|
# self[index] = val basically. Index is the first arg ( >0),
|
||||||
# value the second
|
# value the second
|
||||||
# no return
|
# return self
|
||||||
def set_internal_byte( context )
|
def set_internal_byte( context )
|
||||||
compiler = compiler_for(:Word, :set_internal_byte , {at: :Integer , :value => :Integer} )
|
compiler = compiler_for(:Word, :set_internal_byte , {at: :Integer , :value => :Integer} )
|
||||||
args = compiler.method.arguments
|
|
||||||
len = args.instance_length
|
|
||||||
raise "Compiler arg number mismatch, method=#{args} " if len != 3
|
|
||||||
source = "set_internal_byte"
|
source = "set_internal_byte"
|
||||||
me , index = compiler.self_and_int_arg(source)
|
me , index = compiler.self_and_int_arg(source)
|
||||||
value = compiler.load_int_arg_at(source , 2 )
|
value = compiler.load_int_arg_at(source , 2 )
|
||||||
# do the set
|
compiler.reduce_int( source + " fix me", value )
|
||||||
|
compiler.reduce_int( source + " fix arg", index )
|
||||||
compiler.add_reg_to_byte( source , value , me , index)
|
compiler.add_reg_to_byte( source , value , me , index)
|
||||||
|
compiler.add_reg_to_slot( source , me , :message , :return_value)
|
||||||
compiler.add_mom( Mom::ReturnSequence.new)
|
compiler.add_mom( Mom::ReturnSequence.new)
|
||||||
return compiler.method
|
return compiler.method
|
||||||
end
|
end
|
||||||
|
44
test/risc/interpreter/test_set_byte.rb
Normal file
44
test/risc/interpreter/test_set_byte.rb
Normal file
@ -0,0 +1,44 @@
|
|||||||
|
require_relative "helper"
|
||||||
|
|
||||||
|
module Risc
|
||||||
|
class InterpretSetByte < MiniTest::Test
|
||||||
|
include Ticker
|
||||||
|
|
||||||
|
def setup
|
||||||
|
@string_input = as_main("'Hello'.set_internal_byte(1,75)")
|
||||||
|
super
|
||||||
|
end
|
||||||
|
|
||||||
|
def test_chain
|
||||||
|
#show_ticks # get output of what is
|
||||||
|
check_chain [Branch, Label, LoadConstant, SlotToReg, LoadConstant,
|
||||||
|
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg,
|
||||||
|
SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
|
||||||
|
SlotToReg, SlotToReg, SlotToReg, SlotToReg, RegToSlot,
|
||||||
|
SlotToReg, RegToSlot, LoadConstant, RegToSlot, FunctionCall,
|
||||||
|
Label, LoadConstant, SlotToReg, SlotToReg, RegToSlot,
|
||||||
|
LoadConstant, SlotToReg, SlotToReg, SlotToReg, SlotToReg,
|
||||||
|
RegToSlot, LoadConstant, SlotToReg, SlotToReg, SlotToReg,
|
||||||
|
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot,
|
||||||
|
LoadConstant, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
|
||||||
|
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg,
|
||||||
|
RegToSlot, SlotToReg, LoadConstant, FunctionCall, Label,
|
||||||
|
SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg,
|
||||||
|
SlotToReg, SlotToReg, RegToByte, RegToSlot, SlotToReg,
|
||||||
|
SlotToReg, RegToSlot, SlotToReg, SlotToReg, FunctionReturn,
|
||||||
|
Label, NilClass]
|
||||||
|
assert_equal Parfait::Word , get_return.class
|
||||||
|
assert_equal "Kello" , get_return.to_string
|
||||||
|
end
|
||||||
|
def test_reg_to_byte
|
||||||
|
done = ticks(68)
|
||||||
|
assert_equal RegToByte , done.class
|
||||||
|
assert_equal "K".ord , @interpreter.get_register(done.register)
|
||||||
|
end
|
||||||
|
def test_exit
|
||||||
|
done = ticks(77)
|
||||||
|
assert_equal NilClass , done.class
|
||||||
|
end
|
||||||
|
|
||||||
|
end
|
||||||
|
end
|
@ -1,67 +0,0 @@
|
|||||||
require_relative "../helper"
|
|
||||||
|
|
||||||
module Risc
|
|
||||||
class TestInterpretRegToByte < MiniTest::Test
|
|
||||||
include Ticker
|
|
||||||
|
|
||||||
def setup
|
|
||||||
@string_input = <<HERE
|
|
||||||
class Space
|
|
||||||
int main()
|
|
||||||
"Hello".set_internal_byte(1,104)
|
|
||||||
end
|
|
||||||
end
|
|
||||||
HERE
|
|
||||||
@input = s(:statements, s(:call,
|
|
||||||
:set_internal_byte ,
|
|
||||||
s(:arguments, s(:int, 1), s(:int, 104)),
|
|
||||||
s(:receiver, s(:string, "Hello"))))
|
|
||||||
super
|
|
||||||
end
|
|
||||||
|
|
||||||
def pest_chain
|
|
||||||
#show_ticks # get output of what is
|
|
||||||
check_chain [Branch, Label, LoadConstant, SlotToReg, RegToSlot,
|
|
||||||
LoadConstant, RegToSlot, FunctionCall, Label, SlotToReg,
|
|
||||||
LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant,
|
|
||||||
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot,
|
|
||||||
LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot,
|
|
||||||
Transfer, FunctionCall, Label, LoadConstant, SlotToReg,
|
|
||||||
RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg,
|
|
||||||
SlotToReg, RegToByte, Label, FunctionReturn, Transfer,
|
|
||||||
SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot,
|
|
||||||
Label, FunctionReturn, Transfer, Syscall, NilClass]
|
|
||||||
end
|
|
||||||
|
|
||||||
def pest_branch
|
|
||||||
was = @interpreter.instruction
|
|
||||||
assert_equal Branch , ticks(1).class
|
|
||||||
assert was != @interpreter.instruction
|
|
||||||
assert @interpreter.instruction , "should have gone to next instruction"
|
|
||||||
end
|
|
||||||
def pest_load
|
|
||||||
assert_equal LoadConstant , ticks(3).class
|
|
||||||
assert_equal Parfait::Space , @interpreter.get_register(:r2).class
|
|
||||||
assert_equal :r2, @interpreter.instruction.array.symbol
|
|
||||||
end
|
|
||||||
def pest_get
|
|
||||||
assert_equal SlotToReg , ticks(4).class
|
|
||||||
assert @interpreter.get_register( :r1 )
|
|
||||||
assert Integer , @interpreter.get_register( :r1 ).class
|
|
||||||
end
|
|
||||||
def pest_call
|
|
||||||
assert_equal FunctionCall , ticks(8).class
|
|
||||||
end
|
|
||||||
def pest_exit
|
|
||||||
done = ticks(50)
|
|
||||||
assert_equal NilClass , done.class
|
|
||||||
end
|
|
||||||
|
|
||||||
def pest_reg_to_byte
|
|
||||||
done = ticks(37)
|
|
||||||
assert_equal RegToByte , done.class
|
|
||||||
assert_equal "h".ord , @interpreter.get_register(done.register)
|
|
||||||
end
|
|
||||||
|
|
||||||
end
|
|
||||||
end
|
|
Loading…
Reference in New Issue
Block a user