cargo build
cd tests
bash tests.sh
This will run turnt over all the folders with turnt tests defined and will run
brench on the lvn_bench folder, grepping the output for missing or incorrect. This has also been modified to transform a number of programs to SSA form and then check that they are indeed SSA. There are also brench pipelines to test correctness with respect to SSA and the "roundtrip" transformation.
Added two new transformations under the optimizations category, namely
to_ssa and from_ssa.
cargo run -- transform -o to_ssa
cargo run -- transform -o from_ssa
I have a small test suite working, though I suspect there are likely bugs somewhere that I haven't fully cleaned up. A lot of this turned out to be somewhat tricky in small ways. So the code's become a real mess, which I'll work on cleaning up later.