Скачать или смотреть 2019 EuroLLVM Developers’ Meeting: J. Cabrelles “Testing and Qualification of Optimizing Compiler..”

http://llvm.org/devmtg/2019-04/
—
Testing and Qualification of Optimizing Compilers for Functional Safety - José Luis March Cabrelles (Solid Sands)

Slides: http://llvm.org/devmtg/2019-04/slides...
—
In the development of embedded applications, the compiler plays a crucial role in the translation from source to machine code. If the application is safety-critical, functional safety standards such as ISO 26262 for the automotive industry require that the user of the compiler develops confidence in the compilers correct operation. In this presentation we will discuss the requirements of ISO 26262 on tools such as LLVM compilers and how they can be met with a testing procedure that works well with the V-Model of engineering.

As the name implies, functional safety standards deal with specified functionality of components. But what about the optimizations that a LLVM-based compiler applies to the program, sometimes even silently? Optimizations are not even mentioned in the language standards for C and C++ - they are "non-functional" behavior of the compiler. As we will demonstrate, ignoring optimizations will lead to significant holes in the compiler's test coverage. We will show how we have developed a technique that achieves good results with optimization testing and have some errors in Intel's well-regarded Clang-based compiler to show. To show the completeness of our method for the requirements of functional safety, we have analyzed how the tests match with the various LLVM IR-level transformation passes that they go through.
—
Videos Filmed & Edited by Bash Films: http://www.BashFilms.com