http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53124
--- Comment #5 from Richard Earnshaw <rearnsha at gcc dot gnu.org> 2012-04-27 12:25:06 UTC --- Just for the record, I've confirmed with the Assembler Guide team that there is a documentation fault in that document. It will be clarified in a future release.