IeeeCC754++ - An Advanced Set of Tools to Check IEEE 754-2008 Conformity

The „IEEE Standard for Binary Floating-Point Arithmetic“ IEEE 754 has arguably been one of the most influential standards for the broad area of scientic computing. Floating point arithmetic conforming to the standard implies that numerical algorithms behave identically across the various computing platforms (or at least in a predictable manner) and that developers of numerical algorithms can rely on the standard when addressing stability issues that might otherwise depend on the floating-point environment. With this thesis, we provide a contribution to evaluating the conformity of a given floating-point environment to IEEE 754-2008, the current version of the standard. In particular, we extended the well known testing tool IeeeCC754 with a large number of features, such as support for IEEE 754-2008, new analysis facilities, additional floating-point operators, and new test vectors to verify that these operators are implemented in a conforming manner. Furthermore, we heavily expanded the selection of supported floating-point environments and provide facilities to easily extend our new tool IeeeCC754++ with new ports targeted at future floating-point platforms. Additionally, we developed a testing framework that enables large-scale evaluation of floating-point environments and a variation of the testing framework tailored to studying the influence of compiler options on the behaviour of numerical applications regarding floating-point accuracy as well as application performance