| |
| |
|
|
| import ../src/hybrid_ast |
| import ../src/hybrid_codegen |
| import ../src/subleq_bf |
|
|
| const TapeCells = 64 |
|
|
| var passes = 0 |
| var failures = 0 |
|
|
| proc fail(name, msg: string) = |
| inc failures |
| echo "FAIL ", name, ": ", msg |
|
|
| proc pass(name: string) = |
| inc passes |
| echo "PASS ", name |
|
|
| proc testCompilation(name, bf: string; expectedOutput: seq[int]) = |
| |
| let prog = Program( |
| instrs: @[], |
| mode: modeBrainfuck |
| ) |
|
|
| |
| var program = Program(mode: modeBrainfuck) |
| for ch in bf: |
| case ch |
| of '>': program.instrs.add ptrInc() |
| of '<': program.instrs.add ptrDec() |
| of '+': program.instrs.add cellInc() |
| of '-': program.instrs.add cellDec() |
| of '.': program.instrs.add cellOut() |
| of ',': program.instrs.add cellIn() |
| of '[': program.instrs.add loopStart() |
| of ']': program.instrs.add loopEnd() |
| else: discard |
| program.instrs.add halt() |
|
|
| |
| let tr = codegen(program, TapeCells) |
| if tr.error.len > 0: |
| fail name, "codegen error: " & tr.error |
| return |
|
|
| |
| var mem = tr.mem |
| let result = runSubleq(mem) |
|
|
| if result.fault.len > 0: |
| fail name, "execution fault: " & result.fault |
| elif not result.halted: |
| fail name, "did not halt" |
| elif result.output != expectedOutput: |
| fail name, "output mismatch: got " & $result.output & " expected " & $expectedOutput |
| else: |
| pass name |
|
|
| |
| testCompilation("inc-out", "+++.", @[3]) |
| testCompilation("ptr-moves", ">+>++<<.>.>.", @[0, 1, 2]) |
| testCompilation("zero-skip-loop", "[+++.]+.", @[1]) |
| testCompilation("move-loop", "+++[->++<]>.", @[6]) |
| testCompilation("negative-cell", "-.", @[-1]) |
|
|
| |
| echo "" |
| echo "Results: " & $passes & " passed, " & $failures & " failed" |
| if failures > 0: |
| quit 1 |
|
|
