move (group) test files

test/mom/send/test_send_dynamic.rb

@@ -0,0 +1,50 @@
+require_relative "../helper"
+
+module Risc
+  class TestSendDynamic < MiniTest::Test
+    include Statements
+
+    def setup
+      super
+      @input = "@a.mod4"
+      @expect = [LoadConstant, SlotToReg, SlotToReg, SlotToReg, OperatorInstruction,
+                 IsZero, SlotToReg, SlotToReg, LoadConstant, RegToSlot,
+                 LoadConstant, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
+                 SlotToReg, SlotToReg, SlotToReg, SlotToReg, RegToSlot,
+                 LoadConstant, SlotToReg, SlotToReg, SlotToReg, SlotToReg,
+                 RegToSlot, LoadConstant, SlotToReg, RegToSlot, SlotToReg,
+                 SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
+                 SlotToReg, RegToSlot, SlotToReg, LoadConstant, FunctionCall,
+                 Label, SlotToReg, LoadConstant, RegToSlot, Label,
+                 LoadConstant, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
+                 SlotToReg, SlotToReg, SlotToReg, SlotToReg, RegToSlot,
+                 LoadConstant, SlotToReg, SlotToReg, SlotToReg, SlotToReg,
+                 RegToSlot, SlotToReg, SlotToReg, SlotToReg, RegToSlot,
+                 LoadConstant, SlotToReg, DynamicJump]
+    end
+
+    def test_send_instructions
+      assert_nil msg = check_nil , msg
+    end
+    def test_function_call
+      produced = produce_body
+      assert_equal DynamicJump , produced.next(67).class
+    end
+    def test_load_address
+      produced = produce_body
+      assert_equal LoadConstant , produced.next(65).class
+      assert_equal Parfait::CacheEntry , produced.next(65).constant.class
+    end
+    def test_cache_check
+      produced = produce_body
+      assert_equal IsZero , produced.next(5).class
+      assert_equal Label , produced.next(44).class
+      assert_equal produced.next(44) , produced.next(5).label
+    end
+    def test_check_resolve
+      produced = produce_body
+      assert_equal FunctionCall , produced.next(39).class
+      assert_equal :resolve_method ,produced.next(39).method.name
+    end
+  end
+end

test/mom/send/test_send_simple.rb

@@ -0,0 +1,44 @@
+require_relative "../helper"
+
+module Risc
+  class TestCallSimple < MiniTest::Test
+    include Statements
+
+    def setup
+      super
+      @input = "5.mod4"
+      @expect = [LoadConstant, SlotToReg, SlotToReg, RegToSlot, LoadConstant,
+                 SlotToReg, SlotToReg, SlotToReg, SlotToReg, RegToSlot,
+                 LoadConstant, SlotToReg, SlotToReg, SlotToReg, SlotToReg,
+                 RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant,
+                 SlotToReg, RegToSlot, SlotToReg, LoadConstant, FunctionCall,
+                 Label]
+    end
+
+    def test_send_instructions
+      assert_nil msg = check_nil , msg
+    end
+    def test_load_5
+      produced = produce_body
+      assert_equal 5 , produced.next(16).constant.value
+    end
+    def test_load_label
+      produced = produce_body
+      assert_equal Label , produced.next(19).constant.class
+    end
+    def test_call_reg_setup
+      produced = produce_body
+      assert_equal produced.next(23).register , produced.next(24).register
+    end
+    def test_function_call
+      produced = produce_body
+      assert_equal FunctionCall , produced.next(24).class
+      assert_equal :mod4 , produced.next(24).method.name
+    end
+    def test_check_continue
+      produced = produce_body
+      assert produced.next(25).name.start_with?("continue_")
+    end
+    #TODO check the message setup, type and frame moves
+  end
+end

test/mom/send/test_send_simple_args.rb

@@ -0,0 +1,95 @@
+require_relative "../helper"
+
+module Risc
+  class TestCallSimpleArgs < MiniTest::Test
+    include Statements
+
+    def setup
+      super
+      @input = "5.get_internal_word(1)"
+      @expect = [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,
+                 RegToSlot, SlotToReg, LoadConstant, FunctionCall, Label]
+    end
+
+    def test_send_instructions
+      assert_nil msg = check_nil , msg
+    end
+    def test_load_5
+      produced = produce_body
+      assert_equal 5 , produced.next(16).constant.value
+    end
+    def test_load_arg_const
+      produced = produce_body
+      assert_equal LoadConstant , produced.next(19).class
+      assert_equal Parfait::Integer , produced.next(19).constant.class
+      assert_equal 1 , produced.next(19).constant.value
+    end
+    def test_load_next_m
+      produced = produce_body
+      assert_equal SlotToReg , produced.next(20).class
+      assert_equal :r2 , produced.next(20).register.symbol
+      assert_equal :r0 , produced.next(20).array.symbol
+      assert_equal 2 , produced.next(20).index
+    end
+    def test_load_args
+      produced = produce_body
+      assert_equal SlotToReg , produced.next(21).class
+      assert_equal :r3 , produced.next(21).register.symbol
+      assert_equal :r2 , produced.next(21).array.symbol
+      assert_equal 9 , produced.next(21).index
+    end
+    def test_store_arg_at
+      produced = produce_body
+      assert_equal RegToSlot , produced.next(22).class
+      assert_equal :r1 , produced.next(22).register.symbol
+      assert_equal :r3 , produced.next(22).array.symbol
+      assert_equal  2 , produced.next(22).index , "first arg must have index 1"
+    end
+    def test_load_label
+      produced = produce_body
+      assert_equal LoadConstant , produced.next(23).class
+      assert_equal Label , produced.next(23).constant.class
+    end
+    def test_load_some
+      produced = produce_body
+      assert_equal SlotToReg , produced.next(24).class
+      assert_equal :r0 , produced.next(24).array.symbol
+      assert_equal :r3 , produced.next(24).register.symbol
+      assert_equal 2 , produced.next(24).index
+    end
+    def test_store_
+      produced = produce_body
+      assert_equal RegToSlot , produced.next(25).class
+      assert_equal :r3 , produced.next(25).array.symbol
+      assert_equal :r2 , produced.next(25).register.symbol
+      assert_equal 5 , produced.next(25).index
+    end
+
+    def test_swap_messages
+      produced = produce_body
+      assert_equal SlotToReg , produced.next(26).class
+      assert_equal :r0 , produced.next(26).array.symbol
+      assert_equal :r0 , produced.next(26).register.symbol
+      assert_equal 2 , produced.next(26).index
+    end
+
+    def test_function_call
+      produced = produce_body
+      assert_equal FunctionCall , produced.next(28).class
+      assert_equal :get_internal_word , produced.next(28).method.name
+    end
+    def test_call_reg_setup
+      produced = produce_body
+      assert_equal produced.next(27).register , produced.next(28).register
+    end
+    def test_check_continue
+      produced = produce_body
+      assert produced.next(29).name.start_with?("continue_")
+    end
+    #TODO check the message setup, type and frame moves
+  end
+end