I don't see the Rust code to generate those tests. Not sure if I botched the explanation, your code is still in progress or you forgot to check it in or, but the tests are one part. The other part is Rust code: for each file there should be a rust unit test (generated by extending the existing macro that generates unit tests) to verify that .ll match LLVM bitcode generated by the compiler

@vosen Yep, still working on that part. Just wanted the .ll files committed