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
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