https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106531
--- Comment #3 from Andrew Waterman <andrew at sifive dot com> --- The lengthy-ISA-name problem will be addressed to a great extent by the forthcoming introduction of ISA profiles. Although I agree the status quo is ugly and overly verbose, I recommend against introducing GCC-specific syntax for shortening ISA strings, since it'll quickly become legacy.
