https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84809
--- Comment #1 from Avi Kivity <a...@cloudius-systems.com> --- I think no_caller_saved_registers is very close to what I want, except for "Since GCC doesn't preserve MPX, SSE, MMX nor x87 states, the GCC option '-mgeneral-regs-only' should be used to compile functions with 'no_caller_saved_registers' attribute."
