Hi, > In GCC (in rs6000.md) we have the "*add<mode>3_fpr" and similar insns, > which could be extended to allow DF inputs with an SF output; it doesn't > yet allow it.
Thanks for the inputs, I will try to address these points now. I have built GCC on gcc112 and will apply patch and test testcases there. Tejas On Wed, 31 Jul 2019 at 01:18, Joseph Myers <jos...@codesourcery.com> wrote: > > On Tue, 30 Jul 2019, Florian Weimer wrote: > > > * Martin Jambor: > > > > > as you might know, Tejas is our Google Summer of Code student working on > > > adding built-in functions for some new math functions added in ISO/IEC > > > TS 18661. > > > > > > His next step is to expand "functions rounding result to narrower type" > > > (so fadd, fsub and possibly fmul and fdiv described in > > > http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2314.pdf) into ISA > > > instructions on targets that have such instructions. > > > > Sorry, this might be a silly question, but: How do you plan to recognize > > that the fadd/fsub being called is indeed the one from the TS? > > I expect it's the same as any other built-in function: compatible > prototype plus appropriate options (-std=gnu*, or -std=c2x in future once > we teach GCC that these functions are in C2x) that enable the built-in > functions. > > -- > Joseph S. Myers > jos...@codesourcery.com
