[llvm-dev] alive2

[John Regehr via llvm-dev]

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
_______________________________________________
LLVM Developers mailing list
llvm...@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev