------- Comment #6 from rguenth at gcc dot gnu dot org 2008-01-06 15:57 ------- I see. So basically we need to split all floating point operators into two variants, one specifying a default rounding mode is used and one specifying the rounding mode is unknown. I suppose the frontend parts would be actually quite simple then?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34678