I wrote:
> Also, there's no +fp option for "-march=armv8-a" because the
> ARMv8 specs require chips to implement both or neither of FP
> and SIMD. So the idiomatic thing for us to write is not a
> separate -mfpu spec but "-march=armv8-a+crc+simd". I'll
> adjust my patch to do it like that and push later today.
And done. In the event I decided to try the +simd option first,
reasoning that that's correct on the majority of current ARM systems.
I'm interested to see what the older buildfarm ARM animals pick.
regards, tom lane