It is a simple counterexample to your incorrect statement.
It's still impossible in the general case, where not all arguments are passable by registers.
alt Hacker News
It's still impossible in the general case, where not all arguments are passable by registers.