On Mon, 29 Jul 2019, Segher Boessenkool wrote: > I think this is refering to the "fadds" and similar Power architecture > instructions, which take as inputs any single or double precision > numbers, and round the result to single precision? These instructions
Yes. On Power9, it is *also* possible to do such narrowing operations from IEEE binary128 to binary32 or binary64 format, by first doing the operation on binary128 using one of the "round to odd" instruction variants, then doing a conversion to the narrower format. -- Joseph S. Myers jos...@codesourcery.com