On 11/04/2022 13:02, Richard Biener wrote:
You need to check the vectorizer dump whether a complex pattern was recognized or not. Did you properly use -ffast-math?
Aha! I needed to enable -ffast-math. I missed that this is unsafe, and there's a fall-back to _muldc3 on NaN.OK, presumably I need to implement a vector version of the fall-back libcall if I want this to work without ffast-math.
Thanks Andrew