Recent searches
Search options
I have implemented AArch64 support in the smtgcc GCC translation validator.
https://github.com/kristerw/smtgcc
The support is somewhat limited and only handles a subset of the A64 base instructions, but it has already found a bug in the GCC AArch64 backend!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117186
GitHubGitHub - kristerw/smtgcc: Some experiments with SMT solvers and GIMPLE IRSome experiments with SMT solvers and GIMPLE IR. Contribute to kristerw/smtgcc development by creating an account on GitHub.