Re: Intel "shouldn't be selling CPUs?"
> Not an unconditional branch, since the destination isn't 100% known.
Wrong again. The return register is always known. And if you're dealing with a large struct, where one or more struct elements would be returned outside the return register, these registers are also always known.