[llvm-dev] Tracking miscompilations in LLVM using its own unit tests

[Nuno Lopes via llvm-dev]

Hi,

John Regehr & I wrote a blog post on tracking miscompilations in LLVM using
its own unit tests & Alive2.
We have been tracking existing bugs & regressions in LLVM and we wrote a
summary of the remaining issues we are aware of. Some issues are simpler,
other require discussion around IR semantics.

https://blog.regehr.org/archives/1737

Thanks to everybody that has contributed so far in fixing bugs & LangRef.

Nuno