[Bug gas/24258] v8.5 extension "frintts" missing as a separate feature

[rth at gcc dot gnu.org]

https://sourceware.org/bugzilla/show_bug.cgi?id=24258

--- Comment #4 from Richard Henderson <rth at gcc dot gnu.org> ---
But we *do* make every other feature optional.
That is exactly my point -- frintts is the odd man out.

See aarch64_features[], where we currently list 24 of these.

-- 
You are receiving this mail because:
You are on the CC list for the bug.