Blog post about basic translation validation for AArch64 backend

we’ve extended Alive2 to deal with AArch64 code as well as LLVM IR, and are using this to look for codegen bugs:
https://blog.regehr.org/archives/2265

3 Likes