Re: [ARM] Enable DF only when TARGET_VFP_DOUBLE

2019-10-10 Thread Kyrill Tkachov
Hi Andre, On 10/10/19 11:28 AM, Andre Vieira (lists) wrote: Hi Kyrill, On 10/10/2019 10:53, Kyrill Tkachov wrote: > > > I'm a bit surprised that TARGET_FMA (which just checks isa_bit_vfpv4) > doesn't imply TARGET_VFP_DOUBLE. > Can one really have a VFPV4 single-precision-only configuration? R

Re: [ARM] Enable DF only when TARGET_VFP_DOUBLE

2019-10-10 Thread Andre Vieira (lists)
Hi Kyrill, On 10/10/2019 10:53, Kyrill Tkachov wrote: I'm a bit surprised that TARGET_FMA (which just checks isa_bit_vfpv4) doesn't imply TARGET_VFP_DOUBLE. Can one really have a VFPV4 single-precision-only configuration? Richard? Armv7e-M supports single precision only FPv4, which also

Re: [ARM] Enable DF only when TARGET_VFP_DOUBLE

2019-10-10 Thread Kyrill Tkachov
Hi Kugan, On 10/10/19 2:55 AM, Kugan Vivekanandarajah wrote: As reported in Linaro bug report (https://bugs.linaro.org/show_bug.cgi?id=4636 ; there is no reproducible testcase provided), for some applications, we see (insn 126 125 127 9 (set (reg:DF 189) (fma:DF (reg:DF 126 [ _74 ])