2019-08-12 12:16:15 +02:00
|
|
|
require_relative "helper"
|
|
|
|
|
2019-10-03 19:55:41 +02:00
|
|
|
module SlotMachine
|
2019-08-12 12:16:15 +02:00
|
|
|
module Builtin
|
|
|
|
class TestIntDiv4Risc < BootTest
|
|
|
|
def setup
|
2019-09-13 09:41:13 +02:00
|
|
|
@method = get_compiler("Integer",:div4)
|
|
|
|
end
|
2019-10-03 19:55:41 +02:00
|
|
|
def test_slot_length
|
2019-09-13 09:41:13 +02:00
|
|
|
assert_equal :div4 , @method.callable.name
|
2019-10-03 19:55:41 +02:00
|
|
|
assert_equal 7 , @method.slot_instructions.length
|
2019-08-12 12:16:15 +02:00
|
|
|
end
|
|
|
|
def test_compile
|
|
|
|
assert_equal Risc::MethodCompiler , @method.to_risc.class
|
2019-08-23 18:24:18 +02:00
|
|
|
assert_equal :div4 , @method.callable.name
|
2019-08-12 12:16:15 +02:00
|
|
|
end
|
|
|
|
def test_risc_length
|
2020-03-08 11:14:53 +01:00
|
|
|
assert_equal 40 , @method.to_risc.risc_instructions.length
|
2019-08-12 12:16:15 +02:00
|
|
|
end
|
2020-03-06 17:09:56 +01:00
|
|
|
def test_allocate
|
|
|
|
assert_allocate
|
|
|
|
end
|
|
|
|
def test_return
|
|
|
|
assert_return(32)
|
|
|
|
end
|
|
|
|
def test_all
|
2020-03-08 11:14:53 +01:00
|
|
|
assert_slot_to_reg 23 , :message , 2 , "message.receiver"
|
|
|
|
assert_slot_to_reg 24 , "message.receiver" , 2 , "message.receiver.data_1"
|
|
|
|
assert_data 25 , 2
|
|
|
|
assert_operator 26 , :>> , "message.receiver.data_1" , :integer_1
|
|
|
|
assert_reg_to_slot 27 ,"message.receiver.data_1" , "id_factory_.next_object" , 2
|
|
|
|
assert_reg_to_slot 28 ,"id_factory_.next_object" , :message , 5
|
|
|
|
assert_slot_to_reg 29 , :message , 5 , "message.return_value"
|
|
|
|
assert_reg_to_slot 30 , "message.return_value" , :message , 5
|
|
|
|
assert_branch 31 , "return_label"
|
2020-03-06 17:09:56 +01:00
|
|
|
end
|
2019-08-12 12:16:15 +02:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|