[llvm-dev] alive2
John Regehr via llvm-dev
llvm-dev at lists.llvm.org
Thu Mar 12 15:42:50 PDT 2020
Nuno and I wrote a blog post about alive2:
https://blog.regehr.org/archives/1722
The tl;dr is:
- alive2 works directly on LLVM IR, there is no need to rewrite
optimizations in a DSL
- alive2 handles memory operations and vectors and generally has quite a
lot more coverage of LLVM features than alive did (coverage is
definitely not complete, however)
- alive2 is available on a Compiler Explorer instance:
http://volta.cs.utah.edu:8080/
this instance is temporary and availability may not be super high,
we're looking for a permanent home
Thanks!
John and Nuno
More information about the llvm-dev
mailing list