Nuno P Lopes and John Regehr have authored a new blog post on tracking
miscompilations in LLVM using its own unit
tests, https://blog.regehr.org/archives/1737 .
If you don't quite follow, it helps to read the article about "Alive2" pointed to in the introduction paragraph.

cheers,
  Johan

On Tuesday, 9 June 2020 at 10:59:50 UTC, Johan wrote:
> Nuno P Lopes and John Regehr have authored a new blog post on tracking
> miscompilations in LLVM using its own unit
> tests, https://blog.regehr.org/archives/1737 .
> If you don't quite follow, it helps to read the article about "Alive2" pointed to in the introduction paragraph.
>
> cheers,
>   Johan

thanks for sharing