I think the problem is valgrind's Makefiles are passing -mcpu=cortex-a8 to the compiler. Cortex-a8 has Neon and the compiler now makes use of that.
On the subject of the configuration of GCC --with-arch=armv7-a+fp *is* the correct configuration for the baseline GCC; it adds a vfpv3 with 16 double-precision registers. +vfpv3-fp16 would add support for the float16 load/store operations, while +nosimd is a nop because no other options have been added to enable SIMD. IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
