Comment 8 for bug 532722

OK, fair enough; I hadn't looked at the ifdefs preceding the patch.

Note that ARMv6 is missing: it may be a good idea to add some extra checks:

#ifdef defined(__ARM_ARCH_4__) || defined(__ARM_ARCH_4T__) || defined(__ARM_ARCH_5__) defined(__ARM_ARCH_5T__) || defined(__ARM_ARCH_5TE__) || defined(__ARM_ARCH_5TEJ__) || defined(__ARM_ARCH_6__) || defined(__ARM_ARCH_6J__) || defined(__ARM_ARCH_6ZK__) || defined(__ARM_ARCH_6T2__)
    /* old definitions */
#elif defined(__ARM_ARCH_6K__) || defined(__ARM_ARCH_7A__)
   /* new, GCC intrinsics based definitions and native "nop" instruction */
#endif

Alternatively, the attached mini configure script might be OK instead. If it looks useful, let me know and I'll add it to the wiki