The former, absolutely. The compiler can do whatever the heck it wants as long as the result is the same.