69 lines
3.4 KiB
Ruby
69 lines
3.4 KiB
Ruby
require_relative 'helper'
|
|
require_relative "test_call_expression"
|
|
|
|
module Risc
|
|
class TestCallStatement < MiniTest::Test
|
|
include Statements
|
|
|
|
def test_call_constant_int
|
|
clean_compile :Integer, :puti, {}, s(:statements, s(:return, s(:int, 1)))
|
|
@input = s(:call, :puti , s(:arguments), s(:receiver, s(:int, 42)))
|
|
@expect = [Label, SlotToReg, LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
|
|
SlotToReg, RegToSlot, LoadConstant, RegToSlot, RiscTransfer, FunctionCall, Label ,
|
|
RiscTransfer, SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot, Label ,
|
|
FunctionReturn]
|
|
assert_nil msg = check_nil , msg
|
|
end
|
|
|
|
|
|
def test_call_constant_string
|
|
clean_compile :Word, :putstr,{}, s(:statements, s(:return, s(:int, 1)))
|
|
|
|
@input =s(:call, :putstr, s(:arguments), s(:receiver, s(:string, "Hello")))
|
|
@expect = [Label, SlotToReg, LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
|
|
SlotToReg, RegToSlot, LoadConstant, RegToSlot, RiscTransfer, FunctionCall, Label ,
|
|
RiscTransfer, SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot, Label ,
|
|
FunctionReturn]
|
|
assert_nil msg = check_nil , msg
|
|
end
|
|
|
|
def test_call_local_int
|
|
Parfait.object_space.get_main.add_local(:testi , :Integer)
|
|
clean_compile :Integer, :putint, {}, s(:statements, s(:return, s(:int, 1)))
|
|
@input = s(:statements, s(:l_assignment, s(:local, :testi), s(:int, 20)), s(:call, :putint, s(:arguments), s(:receiver, s(:local, :testi))))
|
|
|
|
@expect = [Label, LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg ,
|
|
RegToSlot, LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant ,
|
|
RegToSlot, RiscTransfer, FunctionCall, Label, RiscTransfer, SlotToReg, SlotToReg ,
|
|
LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
|
|
assert_nil msg = check_nil , msg
|
|
end
|
|
|
|
def test_call_local_class
|
|
Parfait.object_space.get_main.add_local(:test_l , :List)
|
|
clean_compile :List, :add, {}, s(:statements, s(:return, s(:int, 1)))
|
|
|
|
@input =s(:statements, s(:call, :add, s(:arguments), s(:receiver, s(:local, :test_l))))
|
|
@expect = [Label, SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
|
|
LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RiscTransfer, FunctionCall ,
|
|
Label, RiscTransfer, SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot ,
|
|
Label, FunctionReturn]
|
|
assert_nil msg = check_nil , msg
|
|
end
|
|
|
|
def test_call_puts
|
|
clean_compile :Space, :putstr, {str: :Word}, s(:statements, s(:return, s(:arg, :str)))
|
|
@input =s(:call, :putstr , s(:arguments, s(:string, "Hello") ) )
|
|
@expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
|
|
LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot ,
|
|
LoadConstant, RegToSlot, RiscTransfer, FunctionCall, Label, RiscTransfer ,
|
|
SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot, Label ,
|
|
FunctionReturn]
|
|
was = check_return
|
|
set = was.next(8)
|
|
assert_equal RegToSlot , set.class
|
|
assert_equal 1, set.index , "Set to message must be offset, not #{set.index}"
|
|
end
|
|
end
|
|
end
|