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


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:


this instance is temporary and availability may not be super high, 
we're looking for a permanent home


John and Nuno

More information about the llvm-dev mailing list