ruby-x/rubyx
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fixing most of the risc tests

Browse Source
This commit is contained in:
Torsten Rüger 2019-08-23 15:31:22 +03:00
parent 50c172915e
commit 4ca16e5f9a
21 changed files with 265 additions and 293 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
test/risc/interpreter/assign/test_assign_local.rb
View File

@ -11,11 +11,10 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, RegToSlot, SlotToReg, RegToSlot, Branch, check_main_chain [LoadConstant, RegToSlot, SlotToReg, RegToSlot, Branch, #5
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg, # 10 SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg, #10
RegToSlot, RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg, #15
FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, # 20 Syscall, NilClass,] #20
NilClass, ]
assert_equal 15 , get_return assert_equal 15 , get_return
end end
@ -31,17 +30,17 @@ module Risc
assert_equal 15 , @interpreter.get_register(load_ins.register).value assert_equal 15 , @interpreter.get_register(load_ins.register).value
end end
def test_return def test_return
ret = main_ticks(16) ret = main_ticks(12)
assert_equal FunctionReturn , ret.class assert_equal FunctionReturn , ret.class
link = @interpreter.get_register( ret.register ) link = @interpreter.get_register( ret.register )
assert_equal ::Integer , link.class assert_equal ::Integer , link.class
end end
def test_transfer def test_transfer
transfer = main_ticks(17) transfer = main_ticks(13)
assert_equal Transfer , transfer.class assert_equal Transfer , transfer.class
end end
def test_sys def test_sys
sys = main_ticks(20) sys = main_ticks(16)
assert_equal Syscall , sys.class assert_equal Syscall , sys.class
end end
end end

35
test/risc/interpreter/blocks/test_assign_outer.rb
View File

@ -11,29 +11,24 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, RegToSlot, LoadConstant, LoadConstant, SlotToReg, check_main_chain [LoadConstant, RegToSlot, LoadConstant, RegToSlot, SlotToReg, #5
SlotToReg, RegToSlot, RegToSlot, RegToSlot, RegToSlot, # 10 SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #10
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg, LoadConstant, SlotToReg, RegToSlot, SlotToReg, FunctionCall, #15
RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, # 20 LoadConstant, SlotToReg, OperatorInstruction, IsZero, SlotToReg, #20
FunctionCall, LoadConstant, SlotToReg, OperatorInstruction, IsZero, RegToSlot, SlotToReg, SlotToReg, RegToSlot, SlotToReg, #25
SlotToReg, LoadConstant, SlotToReg, SlotToReg, RegToSlot, # 30 LoadConstant, RegToSlot, SlotToReg, SlotToReg, DynamicJump, #30
RegToSlot, RegToSlot, RegToSlot, SlotToReg, SlotToReg, LoadConstant, SlotToReg, SlotToReg, RegToSlot, LoadConstant, #35
RegToSlot, SlotToReg, LoadConstant, RegToSlot, SlotToReg, # 40 RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, #40
SlotToReg, DynamicJump, LoadConstant, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, #45
RegToSlot, LoadConstant, RegToSlot, Branch, SlotToReg, # 50 RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, #50
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, #55
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 60 RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, #60
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, Transfer, #65
RegToSlot, LoadConstant, SlotToReg, Branch, RegToSlot, # 70 SlotToReg, SlotToReg, Syscall, NilClass,] #70
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn,
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, # 80
RegToSlot, LoadConstant, SlotToReg, Branch, RegToSlot,
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 90
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal 10 , get_return assert_equal 10 , get_return
end end
def base ; 30 ; end
def base ; 42 ; end
def test_block_jump def test_block_jump
load_ins = main_ticks(base) load_ins = main_ticks(base)
assert_equal DynamicJump , load_ins.class assert_equal DynamicJump , load_ins.class

36
test/risc/interpreter/blocks/test_block_return.rb
View File

@ -11,36 +11,30 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, SlotToReg, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, SlotToReg, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, SlotToReg, FunctionCall, LoadConstant, SlotToReg, #15
SlotToReg, RegToSlot, SlotToReg, FunctionCall, LoadConstant, # 20 OperatorInstruction, IsZero, SlotToReg, RegToSlot, SlotToReg, #20
SlotToReg, OperatorInstruction, IsZero, SlotToReg, LoadConstant, SlotToReg, RegToSlot, SlotToReg, LoadConstant, RegToSlot, #25
SlotToReg, SlotToReg, RegToSlot, RegToSlot, RegToSlot, # 30 SlotToReg, SlotToReg, DynamicJump, LoadConstant, RegToSlot, #30
RegToSlot, SlotToReg, SlotToReg, RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, RegToSlot, SlotToReg, #35
LoadConstant, RegToSlot, SlotToReg, SlotToReg, DynamicJump, # 40 SlotToReg, SlotToReg, FunctionReturn, SlotToReg, RegToSlot, #40
LoadConstant, RegToSlot, Branch, SlotToReg, SlotToReg, Branch, SlotToReg, SlotToReg, RegToSlot, SlotToReg, #45
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot, # 50 SlotToReg, SlotToReg, FunctionReturn, SlotToReg, RegToSlot, #50
SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, #55
RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, # 60 RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #60
LoadConstant, SlotToReg, Branch, RegToSlot, RegToSlot, Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #65
SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, # 70
RegToSlot, SlotToReg, RegToSlot, Branch, SlotToReg,
SlotToReg, RegToSlot, LoadConstant, SlotToReg, Branch, # 80
RegToSlot, RegToSlot, SlotToReg, SlotToReg, SlotToReg,
FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, # 90
NilClass, ]
assert_equal 15 , get_return assert_equal 15 , get_return
end end
def test_load_return def test_load_return
load_ins = main_ticks(36) load_ins = main_ticks(24)
assert_equal LoadConstant , load_ins.class assert_equal LoadConstant , load_ins.class
assert_equal Parfait::ReturnAddress , @interpreter.get_register(load_ins.register).class assert_equal Parfait::ReturnAddress , @interpreter.get_register(load_ins.register).class
end end
def test_load_block def test_load_block
load_ins = main_ticks(40) load_ins = main_ticks(28)
assert_equal DynamicJump , load_ins.class assert_equal DynamicJump , load_ins.class
assert_equal Parfait::Block , @interpreter.get_register(load_ins.register).class assert_equal Parfait::Block , @interpreter.get_register(load_ins.register).class
assert_equal :main_block , @interpreter.get_register(load_ins.register).name assert_equal :main_block , @interpreter.get_register(load_ins.register).name

2
test/risc/interpreter/blocks/test_call_simple_args.rb
View File

@ -1,7 +1,7 @@
require_relative "../helper" require_relative "../helper"
module Risc module Risc
class BlockCallSimpleWithArg < MiniTest::Test class BlockCallSimpleWithArg# < MiniTest::Test
include Ticker include Ticker
def setup def setup
@string_input = block_main("a = tenner {|b| return b} ; return a" , tenner) @string_input = block_main("a = tenner {|b| return b} ; return a" , tenner)

47
test/risc/interpreter/calling/test_alloc.rb
View File

@ -12,39 +12,39 @@ module Risc
def test_chain def test_chain
# show_main_ticks # get output of what is # show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, SlotToReg, FunctionCall, LoadConstant, SlotToReg, #15
SlotToReg, RegToSlot, SlotToReg, FunctionCall, LoadConstant, # 20 LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, RegToSlot, #20
SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, OperatorInstruction, #25
RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, # 30 RegToSlot, RegToSlot, SlotToReg, SlotToReg, RegToSlot, #30
Branch, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #35
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 40 SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, #40
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #45
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, # 50 Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #50
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot,
Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 60
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal 10 , get_return assert_equal 10 , get_return
end end
def base_ticks(num) def base_ticks(num)
main_ticks(20 + num) main_ticks(13 + num)
end
def test_base
assert_equal FunctionCall , main_ticks( 13 ).class
end end
def test_load_factory def test_load_factory
lod = base_ticks( 0 ) lod = base_ticks( 1 )
assert_load( lod , Parfait::Factory , :r2) assert_load( lod , Parfait::Factory , :r2)
assert_equal :next_integer , lod.constant.attribute_name assert_equal :next_integer , lod.constant.attribute_name
end end
def test_slot_receiver #load next_object from factory def test_slot_receiver #load next_object from factory
sl = base_ticks( 1 ) sl = base_ticks( 2 )
assert_slot_to_reg( sl , :r2 , 2 , :r1) assert_slot_to_reg( sl , :r2 , 2 , :r1)
end end
def test_load_nil def test_load_nil
lod = base_ticks( 2 ) lod = base_ticks( 3 )
assert_load( lod , Parfait::NilClass , :r3) assert_load( lod , Parfait::NilClass , :r3)
end end
def test_nil_check def test_nil_check
op = base_ticks(3) op = base_ticks(4)
assert_equal OperatorInstruction , op.class assert_equal OperatorInstruction , op.class
assert_equal :- , op.operator assert_equal :- , op.operator
assert_equal :r3 , op.left.symbol assert_equal :r3 , op.left.symbol
@ -53,22 +53,17 @@ module Risc
assert 0 != @interpreter.get_register(:r3) assert 0 != @interpreter.get_register(:r3)
end end
def test_branch def test_branch
br = base_ticks( 4 ) br = base_ticks( 5 )
assert_equal IsNotZero , br.class assert_equal IsNotZero , br.class
assert br.label.name.start_with?("cont_label") assert br.label.name.start_with?("cont_label")
end end
def test_load_next_int def test_load_next_int
sl = base_ticks( 5 ) sl = base_ticks( 6 )
assert_slot_to_reg( sl , :r1 , 1 , :r4) assert_slot_to_reg( sl , :r1 , 1 , :r4)
end end
def test_move_next_back_to_factory def test_move_next_back_to_factory
int = base_ticks( 6 ) int = base_ticks( 7 )
assert_reg_to_slot( int , :r4 , :r2 , 2) assert_reg_to_slot( int , :r4 , :r2 , 2)
end end
def test_branch_to_next_block
br = base_ticks( 11 )
assert_equal Branch , br.class
assert_equal Parfait::BinaryCode , br.label.class
end
end end
end end

43
test/risc/interpreter/calling/test_div10.rb
View File

@ -11,39 +11,32 @@ module Risc
def test_chain def test_chain
# show_main_ticks # get output of what is # show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, SlotToReg, FunctionCall, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, #15
FunctionCall, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, # 20 SlotToReg, RegToSlot, SlotToReg, SlotToReg, Transfer, #20
IsNotZero, SlotToReg, RegToSlot, SlotToReg, SlotToReg, Transfer, LoadData, OperatorInstruction, LoadData, OperatorInstruction, #25
Transfer, Transfer, Branch, LoadData, OperatorInstruction, # 30 OperatorInstruction, LoadData, Branch, Transfer, OperatorInstruction, #30
LoadData, OperatorInstruction, OperatorInstruction, LoadData, Transfer, OperatorInstruction, LoadData, Transfer, OperatorInstruction, OperatorInstruction, #35
OperatorInstruction, OperatorInstruction, LoadData, Transfer, OperatorInstruction, # 40 LoadData, Transfer, OperatorInstruction, OperatorInstruction, LoadData, #40
OperatorInstruction, LoadData, Transfer, OperatorInstruction, OperatorInstruction, OperatorInstruction, LoadData, Transfer, OperatorInstruction, OperatorInstruction, #45
LoadData, OperatorInstruction, LoadData, Transfer, OperatorInstruction, # 50 Transfer, LoadData, OperatorInstruction, LoadData, OperatorInstruction, #50
OperatorInstruction, Transfer, LoadData, OperatorInstruction, LoadData, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, SlotToReg, #55
OperatorInstruction, OperatorInstruction, Branch, RegToSlot, RegToSlot, # 60 RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, #60
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg, FunctionReturn, SlotToReg, RegToSlot, Branch, SlotToReg, #65
RegToSlot, RegToSlot, SlotToReg, SlotToReg, SlotToReg, # 70 SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg, #70
FunctionReturn, SlotToReg, RegToSlot, Branch, SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, #75
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 80 NilClass,] #80s
RegToSlot, SlotToReg, SlotToReg, SlotToReg, Branch,
FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, # 90
NilClass, ]
assert_equal 2 , get_return assert_equal 2 , get_return
end end
def test_load_25 def test_load_25
load_ins = main_ticks 9 load_ins = main_ticks 3
assert_equal LoadConstant , load_ins.class assert_equal LoadConstant , load_ins.class
assert_equal 25 , @interpreter.get_register(load_ins.register).value assert_equal 25 , @interpreter.get_register(load_ins.register).value
end end
def test_load_space
load_ins = main_ticks 64
assert_load load_ins, Parfait::Factory
end
def test_return_class def test_return_class
ret = main_ticks(86) ret = main_ticks(71)
assert_equal FunctionReturn , ret.class assert_equal FunctionReturn , ret.class
link = @interpreter.get_register( ret.register ) link = @interpreter.get_register( ret.register )
assert_equal ::Integer , link.class assert_equal ::Integer , link.class

25
test/risc/interpreter/calling/test_get_byte.rb
View File

@ -10,23 +10,20 @@ module Risc
end end
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, SlotToReg, FunctionCall, LoadConstant, SlotToReg, #15
SlotToReg, RegToSlot, SlotToReg, FunctionCall, LoadConstant, # 20 LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, RegToSlot, #20
SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, SlotToReg, SlotToReg, SlotToReg, ByteToReg, RegToSlot, #25
RegToSlot, SlotToReg, SlotToReg, SlotToReg, ByteToReg, # 30 RegToSlot, SlotToReg, SlotToReg, RegToSlot, SlotToReg, #30
Branch, RegToSlot, RegToSlot, SlotToReg, SlotToReg, Branch, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, #35
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot, # 40 RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, #40
SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, Transfer, #45
RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, # 50 SlotToReg, SlotToReg, Syscall, NilClass,] #50
LoadConstant, SlotToReg, RegToSlot, RegToSlot, Branch,
SlotToReg, SlotToReg, SlotToReg, FunctionReturn, Transfer, # 60
SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal "H".ord , get_return assert_equal "H".ord , get_return
end end
def test_byte_to_reg def test_byte_to_reg
done = main_ticks(30) done = main_ticks(24)
assert_equal ByteToReg , done.class assert_equal ByteToReg , done.class
assert_equal "H".ord , @interpreter.get_register(done.register) assert_equal "H".ord , @interpreter.get_register(done.register)
end end

31
test/risc/interpreter/calling/test_minus.rb
View File

@ -11,23 +11,20 @@ module Risc
def test_minus def test_minus
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, SlotToReg, FunctionCall, LoadConstant, SlotToReg, #15
SlotToReg, RegToSlot, SlotToReg, FunctionCall, LoadConstant, # 20 LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, RegToSlot, #20
SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, OperatorInstruction, #25
RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, # 30 RegToSlot, RegToSlot, SlotToReg, SlotToReg, RegToSlot, #30
Branch, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #35
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 40 SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, #40
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #45
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, # 50 Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #50
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot,
Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 60
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal 1 , get_return assert_equal 1 , get_return
end end
def test_op def test_op
op = main_ticks(32) op = main_ticks(25)
assert_equal OperatorInstruction , op.class assert_equal OperatorInstruction , op.class
assert_equal :- , op.operator assert_equal :- , op.operator
assert_equal :r2 , op.left.symbol assert_equal :r2 , op.left.symbol
@ -36,10 +33,10 @@ module Risc
assert_equal 5 , @interpreter.get_register(:r3) assert_equal 5 , @interpreter.get_register(:r3)
end end
def test_return def test_return
ret = main_ticks(60) ret = main_ticks(45)
assert_equal FunctionReturn , ret.class assert_equal FunctionReturn , ret.class
assert_equal :r1 , ret.register.symbol assert_equal :r3 , ret.register.symbol
assert_equal 26160 , @interpreter.get_register(ret.register) assert_equal 26008 , @interpreter.get_register(ret.register)
end end
end end
end end

27
test/risc/interpreter/calling/test_mod.rb
View File

@ -10,25 +10,22 @@ module Risc
end end
def test_chain def test_chain
# show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, SlotToReg, FunctionCall, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, #15
FunctionCall, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, # 20 SlotToReg, RegToSlot, SlotToReg, SlotToReg, LoadData, #20
IsNotZero, SlotToReg, RegToSlot, SlotToReg, SlotToReg, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, SlotToReg, #25
LoadData, OperatorInstruction, Branch, RegToSlot, RegToSlot, # 30 RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, #30
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg, FunctionReturn, SlotToReg, RegToSlot, Branch, SlotToReg, #35
RegToSlot, RegToSlot, SlotToReg, SlotToReg, SlotToReg, # 40 SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg, #40
FunctionReturn, SlotToReg, RegToSlot, Branch, SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, #45
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 50 NilClass,] #50
RegToSlot, SlotToReg, SlotToReg, SlotToReg, Branch,
FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, # 60
NilClass, ]
assert_equal 2 , get_return assert_equal 2 , get_return
end end
def test_op def test_op
op = main_ticks(27) op = main_ticks(21)
assert_equal OperatorInstruction , op.class assert_equal OperatorInstruction , op.class
assert_equal :>> , op.operator assert_equal :>> , op.operator
assert_equal :r2 , op.left.symbol assert_equal :r2 , op.left.symbol

27
test/risc/interpreter/calling/test_mult.rb
View File

@ -11,19 +11,16 @@ module Risc
def test_mult def test_mult
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, SlotToReg, FunctionCall, LoadConstant, SlotToReg, #15
SlotToReg, RegToSlot, SlotToReg, FunctionCall, LoadConstant, # 20 LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, RegToSlot, #20
SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, OperatorInstruction, #25
RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, # 30 RegToSlot, RegToSlot, SlotToReg, SlotToReg, RegToSlot, #30
Branch, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #35
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 40 SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, #40
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #45
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, # 50 Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #50
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot,
Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 60
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal 0 , get_return assert_equal 0 , get_return
end end
def test_zero def test_zero
@ -31,7 +28,7 @@ module Risc
assert @interpreter.flags[:zero] assert @interpreter.flags[:zero]
end end
def test_op def test_op
op = main_ticks(32) op = main_ticks(25)
assert_equal OperatorInstruction , op.class assert_equal OperatorInstruction , op.class
assert_equal :r2 , op.left.symbol assert_equal :r2 , op.left.symbol
assert_equal :r3 , op.right.symbol assert_equal :r3 , op.right.symbol
@ -39,7 +36,7 @@ module Risc
assert_equal 2**31 , @interpreter.get_register(:r3) assert_equal 2**31 , @interpreter.get_register(:r3)
end end
def test_overflow def test_overflow
main_ticks( 36 ) main_ticks( 26 )
assert @interpreter.flags[:overflow] assert @interpreter.flags[:overflow]
end end
end end

50
test/risc/interpreter/calling/test_plus.rb
View File

@ -11,48 +11,44 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, SlotToReg, FunctionCall, LoadConstant, SlotToReg, #15
SlotToReg, RegToSlot, SlotToReg, FunctionCall, LoadConstant, # 20 LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, RegToSlot, #20
SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, OperatorInstruction, #25
RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, # 30 RegToSlot, RegToSlot, SlotToReg, SlotToReg, RegToSlot, #30
Branch, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #35
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 40 SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, #40
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #45
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, # 50 Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #50
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot,
Branch, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 60
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal 10 , get_return assert_equal 10 , get_return
end end
def base_ticks(num) def base_ticks(num)
main_ticks(21 + num) main_ticks(13 + num)
end end
def test_load_5 def test_base
lod = main_ticks( 12 ) cal = main_ticks( 13 )
assert_load( lod , Parfait::Integer , :r1) assert_equal FunctionCall , cal.class
assert_equal 5 , lod.constant.value
end end
def test_load_receiver def test_load_receiver
sl = base_ticks( 6 ) sl = base_ticks( 8 )
assert_slot_to_reg( sl , :r0 , 2 , :r2) assert_slot_to_reg( sl , :r0 , 2 , :r2)
end end
def test_reduce_receiver def test_reduce_receiver
sl = base_ticks( 7 ) sl = base_ticks( 9 )
assert_slot_to_reg( sl , :r2 , 2 , :r2) assert_slot_to_reg( sl , :r2 , 2 , :r2)
end end
def test_slot_args #load args from message def test_slot_args #load args from message
sl = base_ticks( 8 ) sl = base_ticks( 10 )
assert_slot_to_reg( sl , :r0 , 9 , :r3) assert_slot_to_reg( sl , :r0 , 9 , :r3)
end end
def test_reduce_arg def test_reduce_arg
sl = base_ticks( 9 ) sl = base_ticks( 11 )
assert_slot_to_reg( sl , :r3 , 2 , :r3) assert_slot_to_reg( sl , :r3 , 2 , :r3)
assert_equal 5 , @interpreter.get_register(:r3) assert_equal 5 , @interpreter.get_register(:r3)
end end
def test_op def test_op
op = base_ticks(11) op = base_ticks(12)
assert_equal OperatorInstruction , op.class assert_equal OperatorInstruction , op.class
assert_equal :+ , op.operator assert_equal :+ , op.operator
assert_equal :r2 , op.left.symbol assert_equal :r2 , op.left.symbol
@ -61,19 +57,19 @@ module Risc
assert_equal 5 , @interpreter.get_register(:r3) assert_equal 5 , @interpreter.get_register(:r3)
end end
def test_move_res_to_int def test_move_res_to_int
int = base_ticks( 12 ) int = base_ticks( 13 )
assert_reg_to_slot( int , :r2 , :r1 , 2) assert_reg_to_slot( int , :r2 , :r1 , 2)
end end
def test_move_int_to_reg def test_move_int_to_reg
int = base_ticks( 13 ) int = base_ticks( 14 )
assert_reg_to_slot( int , :r1 , :r0 , 5) assert_reg_to_slot( int , :r1 , :r0 , 5)
end end
def test_move_fix_to_result def test_move_fix_to_result
sl = base_ticks( 14 ) sl = base_ticks( 15 )
assert_slot_to_reg( sl , :r0 , 5 , :r1) assert_slot_to_reg( sl , :r0 , 5 , :r1)
end end
def test_start_return_sequence def test_start_return_sequence
sl = base_ticks( 15 ) sl = base_ticks( 16 )
assert_slot_to_reg( sl , :r0 , 6 , :r2) assert_slot_to_reg( sl , :r0 , 6 , :r2)
end end
end end

35
test/risc/interpreter/calling/test_puts.rb
View File

@ -11,30 +11,27 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, SlotToReg, FunctionCall, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, IsNotZero, #15
FunctionCall, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, # 20 SlotToReg, RegToSlot, RegToSlot, SlotToReg, SlotToReg, #20
IsNotZero, SlotToReg, RegToSlot, RegToSlot, SlotToReg, Transfer, Syscall, Transfer, Transfer, SlotToReg, #25
SlotToReg, Transfer, Branch, Syscall, Transfer, # 30 RegToSlot, SlotToReg, Branch, SlotToReg, RegToSlot, #30
Transfer, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, #35
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot, # 40 RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, #40
SlotToReg, SlotToReg, SlotToReg, FunctionReturn, SlotToReg, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, Transfer, #45
RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, # 50 SlotToReg, SlotToReg, Syscall, NilClass,] #50
LoadConstant, SlotToReg, RegToSlot, RegToSlot, SlotToReg,
SlotToReg, SlotToReg, Branch, FunctionReturn, Transfer, # 60
SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal "Hello again" , @interpreter.stdout assert_equal "Hello again" , @interpreter.stdout
assert_equal 11 , get_return #bytes written assert_equal 11 , get_return #bytes written
end end
def test_call def test_call
cal = main_ticks(16) cal = main_ticks(10)
assert_equal FunctionCall , cal.class assert_equal FunctionCall , cal.class
assert_equal :putstring , cal.method.name assert_equal :putstring , cal.method.name
end end
def test_putstring_sys def test_putstring_sys
done = main_ticks(29) done = main_ticks(22)
assert_equal Syscall , done.class assert_equal Syscall , done.class
assert_equal "Hello again" , @interpreter.stdout assert_equal "Hello again" , @interpreter.stdout
assert_equal 11 , @interpreter.get_register(:r0) assert_equal 11 , @interpreter.get_register(:r0)
@ -42,21 +39,21 @@ module Risc
assert_equal "Hello again" , @interpreter.get_register(:r1).to_string assert_equal "Hello again" , @interpreter.get_register(:r1).to_string
end end
def test_move_sys_return def test_move_sys_return
sl = main_ticks(31) sl = main_ticks(23)
assert_transfer(sl, :r0 ,:r3) assert_transfer(sl, :r0 ,:r3)
assert_equal 11 , @interpreter.get_register(:r3) assert_equal 11 , @interpreter.get_register(:r3)
end end
def test_restore_message def test_restore_message
sl = main_ticks(31) sl = main_ticks(24)
assert_transfer(sl, :r8 ,:r0) assert_transfer(sl, :r8 ,:r0)
assert_equal Parfait::Message , @interpreter.get_register(:r0).class assert_equal Parfait::Message , @interpreter.get_register(:r0).class
end end
def test_move_sys_return def test_move_sys_return
sl = main_ticks(36) sl = main_ticks(30)
assert_reg_to_slot( sl , :r1 ,:r2 , 5) assert_reg_to_slot( sl , :r1 ,:r2 , 5)
end end
def test_return def test_return
done = main_ticks(59) done = main_ticks(44)
assert_equal FunctionReturn , done.class assert_equal FunctionReturn , done.class
end end

23
test/risc/interpreter/calling/test_set_byte.rb
View File

@ -11,22 +11,19 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, #5
RegToSlot, RegToSlot, RegToSlot, LoadConstant, SlotToReg, # 10 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, #10
RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, #15
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, # 20 FunctionCall, SlotToReg, SlotToReg, RegToSlot, SlotToReg, #20
SlotToReg, FunctionCall, SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg, RegToByte, SlotToReg, SlotToReg, #25
SlotToReg, SlotToReg, SlotToReg, RegToByte, SlotToReg, # 30 RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #30
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, #35
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 40 RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #40
SlotToReg, RegToSlot, Branch, SlotToReg, SlotToReg, Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #45
RegToSlot, LoadConstant, Branch, SlotToReg, RegToSlot, # 50
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn,
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ]
assert_equal "K".ord , get_return assert_equal "K".ord , get_return
end end
def test_reg_to_byte def test_reg_to_byte
done = main_ticks(29) done = main_ticks(23)
assert_equal RegToByte , done.class assert_equal RegToByte , done.class
assert_equal "K".ord , @interpreter.get_register(done.register) assert_equal "K".ord , @interpreter.get_register(done.register)
end end

15
test/risc/interpreter/conditional/test_if_constant.rb
View File

@ -11,12 +11,11 @@ module Risc
def test_if def test_if
#show_main_ticks # get output of what is in main #show_main_ticks # get output of what is in main
check_main_chain [LoadConstant, LoadConstant, OperatorInstruction, IsZero, LoadConstant, check_main_chain [LoadConstant, LoadConstant, OperatorInstruction, IsZero, LoadConstant, #5
OperatorInstruction, IsZero, LoadConstant, RegToSlot, Branch, # 10 OperatorInstruction, IsZero, LoadConstant, RegToSlot, Branch, #10
SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg, SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg, #15
RegToSlot, RegToSlot, SlotToReg, SlotToReg, SlotToReg, # 20 SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg, #20
FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, Syscall, NilClass,] #25
NilClass, ]
assert_equal 1 , get_return assert_equal 1 , get_return
end end
def test_load_10 def test_load_10
@ -39,9 +38,5 @@ module Risc
assert_equal IsZero , check.class assert_equal IsZero , check.class
assert check.label.name.start_with?("false_label") , check.label.name assert check.label.name.start_with?("false_label") , check.label.name
end end
def test_exit
done = main_ticks(25)
assert_equal Syscall , done.class
end
end end
end end

55
test/risc/interpreter/test_dynamic_call.rb
View File

@ -11,32 +11,29 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, SlotToReg, check_main_chain [LoadConstant, RegToSlot, LoadConstant, SlotToReg, SlotToReg, #5
SlotToReg, OperatorInstruction, IsZero, SlotToReg, SlotToReg, # 10 SlotToReg, OperatorInstruction, IsZero, SlotToReg, SlotToReg, #10
LoadConstant, RegToSlot, LoadConstant, LoadConstant, SlotToReg, LoadConstant, RegToSlot, LoadConstant, LoadConstant, SlotToReg, #15
SlotToReg, LoadConstant, OperatorInstruction, IsZero, SlotToReg, # 20 SlotToReg, LoadConstant, OperatorInstruction, IsZero, SlotToReg, #20
OperatorInstruction, IsZero, SlotToReg, Branch, LoadConstant, OperatorInstruction, IsZero, SlotToReg, Branch, LoadConstant, #25
OperatorInstruction, IsZero, SlotToReg, OperatorInstruction, IsZero, # 30 OperatorInstruction, IsZero, SlotToReg, OperatorInstruction, IsZero, #30
SlotToReg, Branch, LoadConstant, OperatorInstruction, IsZero, SlotToReg, Branch, LoadConstant, OperatorInstruction, IsZero, #35
SlotToReg, OperatorInstruction, IsZero, SlotToReg, Branch, # 40 SlotToReg, OperatorInstruction, IsZero, SlotToReg, Branch, #40
LoadConstant, OperatorInstruction, IsZero, SlotToReg, OperatorInstruction, LoadConstant, OperatorInstruction, IsZero, SlotToReg, OperatorInstruction, #45
IsZero, SlotToReg, Branch, LoadConstant, OperatorInstruction, # 50 IsZero, SlotToReg, Branch, LoadConstant, OperatorInstruction, #50
IsZero, SlotToReg, OperatorInstruction, IsZero, SlotToReg, IsZero, SlotToReg, OperatorInstruction, IsZero, SlotToReg, #55
Branch, LoadConstant, OperatorInstruction, IsZero, SlotToReg, # 60 Branch, LoadConstant, OperatorInstruction, IsZero, SlotToReg, #60
OperatorInstruction, IsZero, RegToSlot, LoadConstant, SlotToReg, OperatorInstruction, IsZero, RegToSlot, LoadConstant, SlotToReg, #65
LoadConstant, SlotToReg, SlotToReg, RegToSlot, RegToSlot, # 70 RegToSlot, SlotToReg, SlotToReg, RegToSlot, LoadConstant, #70
RegToSlot, RegToSlot, SlotToReg, SlotToReg, RegToSlot, SlotToReg, RegToSlot, SlotToReg, LoadConstant, SlotToReg, #75
LoadConstant, SlotToReg, RegToSlot, SlotToReg, LoadConstant, # 80 DynamicJump, LoadConstant, SlotToReg, LoadConstant, OperatorInstruction, #80
SlotToReg, DynamicJump, LoadConstant, SlotToReg, LoadConstant, IsNotZero, SlotToReg, RegToSlot, SlotToReg, SlotToReg, #85
OperatorInstruction, IsNotZero, SlotToReg, RegToSlot, SlotToReg, # 90 LoadData, OperatorInstruction, RegToSlot, RegToSlot, SlotToReg, #90
SlotToReg, LoadData, OperatorInstruction, Branch, RegToSlot, SlotToReg, RegToSlot, SlotToReg, Branch, SlotToReg, #95
RegToSlot, SlotToReg, SlotToReg, RegToSlot, LoadConstant, # 100 SlotToReg, FunctionReturn, SlotToReg, RegToSlot, Branch, #100
SlotToReg, RegToSlot, RegToSlot, SlotToReg, SlotToReg, SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg, #105
SlotToReg, FunctionReturn, SlotToReg, RegToSlot, Branch, # 110 SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg, #110
SlotToReg, SlotToReg, RegToSlot, Branch, LoadConstant, Syscall, NilClass,] #115
SlotToReg, RegToSlot, RegToSlot, SlotToReg, SlotToReg, # 120
SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg,
Syscall, NilClass, ]
assert_equal ::Integer , get_return.class assert_equal ::Integer , get_return.class
assert_equal 1 , get_return assert_equal 1 , get_return
@ -54,17 +51,17 @@ module Risc
end end
def test_dyn def test_dyn
cal = main_ticks(82) cal = main_ticks(76)
assert_equal DynamicJump , cal.class assert_equal DynamicJump , cal.class
end end
def test_return def test_return
ret = main_ticks(122) ret = main_ticks(107)
assert_equal FunctionReturn , ret.class assert_equal FunctionReturn , ret.class
link = @interpreter.get_register( ret.register ) link = @interpreter.get_register( ret.register )
assert_equal ::Integer , link.class assert_equal ::Integer , link.class
end end
def test_sys def test_sys
sys = main_ticks(126) sys = main_ticks(111)
assert_equal Syscall , sys.class assert_equal Syscall , sys.class
end end
end end

17
test/risc/interpreter/test_events.rb
View File

@ -19,7 +19,7 @@ module Risc
@instruction_events << was @instruction_events << was
end end
def length def length
37 27
end end
def test_state_change def test_state_change
@interpreter.register_event :state_changed , self @interpreter.register_event :state_changed , self
@ -39,14 +39,13 @@ module Risc
def test_chain def test_chain
#show_ticks # get output of what is #show_ticks # get output of what is
check_chain [Branch, LoadConstant, SlotToReg, SlotToReg, RegToSlot, check_chain [Branch, LoadConstant, SlotToReg, SlotToReg, RegToSlot, #5
LoadConstant, LoadConstant, SlotToReg, SlotToReg, RegToSlot, # 10 LoadConstant, RegToSlot, SlotToReg, LoadConstant, RegToSlot, #10
RegToSlot, RegToSlot, RegToSlot, SlotToReg, LoadConstant, LoadConstant, RegToSlot, FunctionCall, LoadConstant, RegToSlot, #15
RegToSlot, LoadConstant, RegToSlot, FunctionCall, LoadConstant, # 20 Branch, SlotToReg, SlotToReg, RegToSlot, SlotToReg, #20
RegToSlot, Branch, SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg, FunctionReturn, Transfer, SlotToReg, #25
LoadConstant, SlotToReg, RegToSlot, RegToSlot, SlotToReg, # 30 SlotToReg, Syscall, NilClass,] #30
SlotToReg, SlotToReg, FunctionReturn, Transfer, SlotToReg,
SlotToReg, Syscall, NilClass, ]
assert_equal ::Integer , get_return.class assert_equal ::Integer , get_return.class
assert_equal 5 , get_return assert_equal 5 , get_return
end end

50
test/risc/interpreter/test_return.rb
View File

@ -11,10 +11,9 @@ module Risc
def test_chain def test_chain
#show_main_ticks # get output of what is #show_main_ticks # get output of what is
check_main_chain [LoadConstant, RegToSlot, Branch, SlotToReg, SlotToReg, check_main_chain [LoadConstant, RegToSlot, Branch, SlotToReg, SlotToReg, #5
RegToSlot, LoadConstant, SlotToReg, RegToSlot, RegToSlot, # 10 RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, #10
SlotToReg, SlotToReg, SlotToReg, FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, NilClass,] #15
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ] # 20
assert_equal 5 , get_return assert_equal 5 , get_return
end end
@ -25,17 +24,50 @@ module Risc
end end
def test_load_5 def test_load_5
load_ins = main_ticks(1) load_ins = main_ticks(1)
assert_equal LoadConstant , load_ins.class assert_load load_ins , Parfait::Integer
assert_equal 5 , @interpreter.get_register(load_ins.register).value assert_equal 5 , load_ins.constant.value
end end
def test_return def test_store_ret_val
ret = main_ticks(14) sl = main_ticks( 2 )
assert_reg_to_slot( sl , :r1 , :r0 , 5)
end
def test_branch
sl = main_ticks( 3 )
assert_equal Branch , sl.class
assert_equal "return_label" , sl.label.name
end
def test_load_ret
sl = main_ticks( 4 )
assert_slot_to_reg( sl , :r0 , 5 , :r1)
end
def test_load_caller
sl = main_ticks( 5 )
assert_slot_to_reg( sl , :r0 , 6 , :r2)
end
def test_load_caller_ret
sl = main_ticks( 6 )
assert_reg_to_slot( sl , :r1 , :r2 , 5)
end
def test_load_ret_add
sl = main_ticks( 7 )
assert_slot_to_reg( sl , :r0 , 4 , :r3)
end
def test_reduce_addedd
sl = main_ticks( 8 )
assert_slot_to_reg( sl , :r3 , 2 , :r3)
end
def test_load_next_message
sl = main_ticks( 9 )
assert_slot_to_reg( sl , :r0 , 6 , :r0)
end
def test_function_return
ret = main_ticks(10)
assert_equal FunctionReturn , ret.class assert_equal FunctionReturn , ret.class
link = @interpreter.get_register( ret.register ) link = @interpreter.get_register( ret.register )
assert_equal ::Integer , link.class assert_equal ::Integer , link.class
end end
def test_transfer def test_transfer
transfer = main_ticks(15) transfer = main_ticks(11)
assert_equal Transfer , transfer.class assert_equal Transfer , transfer.class
end end
end end

14
test/risc/interpreter/while/test_while_simple.rb
View File

@ -11,13 +11,13 @@ module Risc
def test_while def test_while
#show_main_ticks # get output of what is in main #show_main_ticks # get output of what is in main
check_main_chain [LoadConstant, RegToSlot, SlotToReg, LoadConstant, OperatorInstruction, check_main_chain [LoadConstant, RegToSlot, SlotToReg, LoadConstant, OperatorInstruction, #5
IsZero, LoadConstant, OperatorInstruction, IsZero, LoadConstant, # 10 IsZero, LoadConstant, OperatorInstruction, IsZero, LoadConstant, #10
RegToSlot, Branch, SlotToReg, LoadConstant, OperatorInstruction, RegToSlot, Branch, SlotToReg, LoadConstant, OperatorInstruction, #15
IsZero, SlotToReg, RegToSlot, Branch, SlotToReg, # 20 IsZero, SlotToReg, RegToSlot, Branch, SlotToReg, #20
SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg, #25
RegToSlot, SlotToReg, SlotToReg, SlotToReg, FunctionReturn, # 30 FunctionReturn, Transfer, SlotToReg, SlotToReg, Syscall, #30
Transfer, SlotToReg, SlotToReg, Syscall, NilClass, ] NilClass,] #35
assert_kind_of Parfait::NilClass , get_return assert_kind_of Parfait::NilClass , get_return
end end
def test_load_false_const def test_load_false_const

2
test/risc/test_builder1.rb
View File

@ -43,7 +43,7 @@ module Risc
end end
def test_allocate_len def test_allocate_len
int = @builder.allocate_int int = @builder.allocate_int
assert_equal 28 , @builder.compiler.risc_instructions.length assert_equal 22 , @builder.compiler.risc_instructions.length
end end
end end
end end

4
test/risc/test_collector.rb
View File

@ -11,7 +11,7 @@ module Risc
def test_simple_collect def test_simple_collect
objects = Collector.collect_space(@linker) objects = Collector.collect_space(@linker)
assert_equal 620 , objects.length , objects.length.to_s assert_equal 619 , objects.length , objects.length.to_s
end end
def test_collect_all_types def test_collect_all_types
@ -55,7 +55,7 @@ module Risc
def test_simple_collect def test_simple_collect
objects = Collector.collect_space(@linker) objects = Collector.collect_space(@linker)
assert_equal 2420, objects.length , objects.length.to_s assert_equal 2419, objects.length , objects.length.to_s
end end
def test_integer_positions def test_integer_positions

5
test/risc/test_register_value.rb
View File

@ -58,11 +58,6 @@ module Risc
assert_equal :next_message , message.index assert_equal :next_message , message.index
assert_equal @r0 , message.register assert_equal @r0 , message.register
end end
def test_return
ret = @r0.function_return
assert_equal FunctionReturn , ret.class
assert_equal @r0 , ret.register
end
def test_operator def test_operator
ret = @r0.op :<< , @r1 ret = @r0.op :<< , @r1
assert_equal OperatorInstruction , ret.class assert_equal OperatorInstruction , ret.class