implement assignment normalisation

especially when the value is a send that needs normalising
fixes several broken tests
This commit is contained in:
Torsten Ruger
2018-04-27 21:56:41 +03:00
parent 1685ba5a44
commit d84d208192
6 changed files with 134 additions and 12 deletions

View File

@ -0,0 +1,42 @@
require_relative "helper"
module Vool
module Norm
class TestAssignSend < NormTest
def setup
super
@stm = normalize("a = foo(1 - 2)")
end
def test_many
assert_equal Statements , @stm.class
end
def test_assignment
assert_equal LocalAssignment , @stm.first.class
end
def test_assignment_value
assert_equal SendStatement , @stm.first.value.class
end
def test_assignment_method
assert_equal :- , @stm.first.value.name
end
def test_length
assert_equal 2 , @stm.length
end
def test_name
assert @stm.first.name.to_s.start_with?("tmp_") , @stm.first.name
end
def test_assignment2
assert_equal LocalAssignment , @stm.last.class
end
def test_name
assert_equal :a , @stm.last.name
end
def test_assignment_method2
assert_equal :foo , @stm.last.value.name
end
end
end
end

View File

@ -0,0 +1,33 @@
require_relative "helper"
module Vool
class TestSendArgsSendMom < MiniTest::Test
include MomCompile
include Mom
def setup
Risc.machine.boot
@ins = compile_first_method( "a = main(1 + 2)" )
end
def test_array
check_array [MessageSetup, ArgumentTransfer, SimpleCall, SlotLoad, MessageSetup ,
ArgumentTransfer, SimpleCall, SlotLoad] , @ins
end
def test_one_call
assert_equal SimpleCall, @ins.next(2).class
assert_equal :+, @ins.next(2).method.name
end
def test_two_call
assert_equal SimpleCall, @ins.next(6).class
assert_equal :main, @ins.next(6).method.name
end
def test_args_one_l
left = @ins.next(1).arguments[0].left
assert_equal Symbol, left.known_object.class
assert_equal :message, left.known_object
assert_equal [:next_message, :arguments, 2], left.slots
end
end
end