https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116891
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Walter Mascarenhas from comment #6) > Hi Andrew, > > The proper optimization in this case would be to use the instruction > vfnmsub132pd followed by a change of sign. It could be something like That is exactly what I Said just using internals of gcc. Note bugzilla is usually a mix of both user facing information and internals of what needs to be done inside gcc.