Hi, on 2023/4/20 14:53, Matthew R. Wilson wrote: > Hello, > > I'm looking into writing some code for a POWER9 processor in which I > want to explicitly use the VSX scalar instructions for quad-precision > floating point arithmetic. > > In the GCC documentation, section 6.60.22.5, the relevant built-in > functions are listed (see > <https://gcc.gnu.org/onlinedocs/gcc/Basic-PowerPC-Built-in-Functions-Available-on-ISA-3_002e0.html#Basic-PowerPC-Built-in-Functions-Available-on-ISA-3_002e0>) > > However, it looks like only the ..._round_to_odd versions of the > functions exist. But in the Power ISA 3.0, there are both the "normal" > version of the instruction (that use the rounding mode configured in the > floating-point control register, as all of the other floating point > instructions do) and the "round to odd" versions of the instructions. > > (See, for example, the VSX Scalar Add Quad-Precision instruction on page > 520 of the Power ISA Version 3.0 B PDF at > <https://wiki.raptorcs.com/w/images/c/cb/PowerISA_public.v3.0B.pdf>) > > That is, two instructions exist: xsaddqp and xdaddqpo, with the latter > being the round-to-odd version of the instruction. I have verified that > using the GCC __builtin_addf128_round_to_odd function does produce code > that uses xsaddqpo, but it would be more typical to want to generate > code that uses xsaddqp. It seems like an equivalent __builtin_addf128 > function is missing (for add and all of the other quad-precision VSX > scalar arithmetic instructions that have both xxx and xxxo > instructions). There is no this kind of bif, I think it's because users can just use the normal arithmetic operators, like "+" for "addition". For: _Float128 foo (_Float128 a, _Float128 b) { return a + b; } It gets desired xsaddqp with -mcpu=power9 -O2: foo: xsaddqp 2,2,3 blr BR, Kewen > > Is there a particular reason this is the case, or is it indeed just an > oversight? If there isn't a known reason to exclude those, I can open a > bug in the bug tracker. > > Thanks, > Matthew >
