better way to test object registers

also some cleaning, by using more helpers
This commit is contained in:
2020-03-02 17:50:03 +02:00
parent ece1e8c87b
commit d0036ed95b
8 changed files with 73 additions and 136 deletions

View File

@ -3,31 +3,44 @@ module Minitest
def assert_tos string , object
assert_equal string , object.to_s.gsub("\n",";").gsub(/\s+/," ").gsub("; ",";")
end
def assert_register( kind , pattern , register)
return unless register
if(pattern.is_a?(Symbol))
assert_equal( pattern , register.symbol , "wrong #{kind} register:#{register}")
else
is_parts = pattern.split(".")
reg_parts = register.symbol.to_s.split(".")
assert_equal reg_parts.length , is_parts.length , "wrong dot length for #{pattern}"
is_parts.each_with_index do |part , index|
assert reg_parts[index].start_with?(part) , "wrong #{kind}, at:#{part} register:#{register}"
end
end
end
def assert_slot_to_reg( slot , array = nil, index = nil , register = nil)
assert_equal Risc::SlotToReg , slot.class
assert_equal( array , slot.array.symbol , "wrong source register") if array
assert_register( :source , array , slot.array)
assert_equal( index , slot.index, "wrong source index") if index
assert_equal( register , slot.register.symbol, "wrong destination") if register
assert_register( :destination , register , slot.register )
end
def assert_reg_to_slot( slot , register = nil, array = nil, index = nil )
assert_equal Risc::RegToSlot , slot.class
assert_equal( register , slot.register.symbol, "wrong source register") if register
assert_equal( array , slot.array.symbol, "wrong destination register") if array
assert_register( :source , register , slot.register )
assert_register( :destination , array , slot.array)
assert_equal( index , slot.index, "wrong destination index") if index
end
def assert_load(load , clazz = nil , register = nil)
assert_equal Risc::LoadConstant , load.class
assert_equal( clazz , load.constant.class) if clazz
if register
assert_equal( register , load.register.symbol, "wrong destination register") if register
assert_register(:source , register , load.register)
else
assert load.register.is_object? , "reg #{load.register.symbol} is not object (ie no id_xx)"
raise "rewrite"
end
end
def assert_transfer( transfer , from , to)
assert_equal Risc::Transfer , transfer.class
assert_equal from , transfer.from.symbol
assert_equal to , transfer.to.symbol
assert_register( :source , from , transfer.from )
assert_register( :destination , to , transfer.to )
end
def assert_label( label , name )
assert_equal Risc::Label , label.class
@ -44,8 +57,8 @@ module Minitest
def assert_operator ins , op , left , right
assert_equal Risc::OperatorInstruction , ins.class
assert_equal op , ins.operator
assert_equal left , ins.left.symbol
assert_equal right , ins.right.symbol
assert_register :left , left , ins.left
assert_register :right , right , ins.right
end
def assert_zero ins , label
assert_equal Risc::IsZero , ins.class