During this talk at the LLVM Social Meetup in Bangalore, we show how we have developed a technique that achieves good results with optimization testing and demonstrate optimization errors in some well-known compilers.
Home / Knowledge / Video / Verifying the safety of optimizing compilers