On 2013-01-17 13:08:17 +0100, Gabriel Paubert wrote: > Hmm, are you sure that this part is properly implemented in gcc, using > unordered compare versus ordered compare instructions depending on > the operator you use? > > At least on PPC, floating point compares always use the unordered > instruction (fcmpu) and never the ordered one (fcmpo), so exceptions > flags are never set.
Not on x86_64 either. I've reported the following bug: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56020 -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)