Major improvements to yesterday's return slot optimization. Remove some unneccessary constraints,

and add some others that should have been in from the first place.  Document the whole thing better.

llvm-svn: 47315