Well, it doesn't have any control flow, symbols, or system calls, so most of the work is in setting up a buffer and calling conventions. There's also no language intermediate representation or optimiser.
The W^X machinery bans self-modifying code in the traditional sense, but there may be situations where creating little specifically-optimised gadgets like this can benefit a program.
