Sure, the tests are of utmost importance here. By the way, in what suite should they be?
As for the changes in the compiler itself - what do you think about introduction of a fake variable, reflecting rounding mode (similar variables could be introduced for exception flags and other properties). How difficult would it be to do that (we'll need to add implicit dependencies from those variables to all FP-operations and kill their values after each call)? Thanks, Michael PS: I'll return to this discussion in two weeks, after my vacations. On 17 January 2013 20:54, Joseph S. Myers <jos...@codesourcery.com> wrote: > I should add that the recent observation of bugs on some platforms with > unordered comparisons being wrongly used instead of ordered ones > illustrates my point about the value of having proper test coverage for > each individual operation, even though some bugs will only show in more > complicated code. > > -- > Joseph S. Myers > jos...@codesourcery.com -- --- Best regards, Michael V. Zolotukhin, Software Engineer Intel Corporation.