Torsten
d5411c7727
move test that translate or create binary to own directory, for semantic distance (they are the only ones still failing)
63 lines
2.0 KiB
Ruby
63 lines
2.0 KiB
Ruby
require_relative "../helper"
|
|
|
|
module Risc
|
|
class InterpreterWhileSimple < MiniTest::Test
|
|
include Ticker
|
|
|
|
def setup
|
|
@string_input = as_main 'a = true; while( a ); a = false;end;return a'
|
|
super
|
|
end
|
|
|
|
def test_while
|
|
#show_main_ticks # get output of what is in main
|
|
check_main_chain [LoadConstant, RegToSlot, SlotToReg, LoadConstant, OperatorInstruction, #5
|
|
IsZero, LoadConstant, OperatorInstruction, IsZero, LoadConstant, #10
|
|
RegToSlot, Branch, SlotToReg, LoadConstant, OperatorInstruction, #15
|
|
IsZero, SlotToReg, RegToSlot, Branch, SlotToReg, #20
|
|
SlotToReg, RegToSlot, SlotToReg, SlotToReg, FunctionReturn, #25
|
|
Transfer, SlotToReg, SlotToReg, Transfer, Syscall, #30
|
|
NilClass,] #35
|
|
assert_kind_of NilClass , get_return
|
|
end
|
|
def test_load_false_const
|
|
load = main_ticks(1)
|
|
assert_equal LoadConstant , load.class
|
|
assert_kind_of Parfait::TrueClass , load.constant
|
|
end
|
|
def base
|
|
4
|
|
end
|
|
def test_load_false
|
|
load = main_ticks(base)
|
|
assert_equal LoadConstant , load.class
|
|
assert_equal Parfait::FalseClass , load.constant.class
|
|
end
|
|
def test_compare
|
|
op = main_ticks(base+1)
|
|
assert_equal OperatorInstruction , op.class
|
|
assert_equal :- , op.operator
|
|
end
|
|
def test_not_zero
|
|
check = main_ticks(base + 2)
|
|
assert_equal IsZero , check.class
|
|
assert check.label.name.start_with?("merge_label") , check.label.name
|
|
end
|
|
def test_load_false
|
|
load = main_ticks(base+3)
|
|
assert_equal LoadConstant , load.class
|
|
assert_equal Parfait::NilClass , load.constant.class
|
|
end
|
|
def test_compare2
|
|
op = main_ticks(base + 4)
|
|
assert_equal OperatorInstruction , op.class
|
|
assert_equal :- , op.operator
|
|
end
|
|
def test_not_zero2
|
|
check = main_ticks(base + 5)
|
|
assert_equal IsZero , check.class
|
|
assert check.label.name.start_with?("merge_label") , check.label.name
|
|
end
|
|
end
|
|
end
|