ARM Information Center http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0204h/Bcfhfbga.html
"NEON always uses flush-to-zero mode, regardless of this bit. Flush-to-zero mode must not be used when IEEE 754 compatibility is a requirement."
32-bit ArmのNEONはIEEE 754に準拠していない挙動がある（ので、GCCは-Ofastや-funsafe-math-optimizationsのようなオプションを与えない限りNEONを使ってベクトル化しない場合もある）という話

正確にはARMv7 ISAのNEONはそうだという話らしい（ARMv8ではIEEE 754準拠という話がある、未確認）

あっ、ARMv7も今のルールだとArmv7になるのか

NEON Programmer’s Guide Version: 1.0 – Arm Developer https://developer.arm.com/products/architecture/a-profile/docs/den0018/a

！！！Scalable Vector Extensionsのドキュメントがある！！！

SVEの載ったArmの石を入手する予定は今のところないです（そもそもあれがポスト京向けに富士通が作るやつ以外に載るかどうかまだよくわからないし）