[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Testing floating point optimizations with CSmith
Jacek,
> My research project for the summer is to use CSmith to test floating
point optimizations in C compilers. The general idea is to use interval
arithmetics to obtain ranges of where each float variable should fall
into. Running the program in float_test mode would give us the interval,
while running it in the normal mode would give us the actual value. Then
we just need to see if the value lies inside the interval.
A popular subject at the moment.
You may or may not have read the following:
Programming with Numerical Uncertainties
Eva DARULOVÁ
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei
A Dynamic Analysis for Tuning Floating-Point Precision
Cuong Nguyen
Automatically Improving Accuracy for Floating Point Expressions
Pavel Panchekha Alex Sachez-Stern James R. Wilcox Zachary Tatlock
--
Derek M. Jones Software analysis
tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com