aaboud marked 3 inline comments as done.
aaboud added a comment.

In https://reviews.llvm.org/D22045#506996, @joerg wrote:

> For what it is worth, this certainly seems to be misnamed. By nature, if it 
> doesn't preserve at least the stack pointer, there is no way to recover on 
> return, right?


I am not sure I understand what you mean!
When you  said "if it does not preserve the stack pointer", did you mean the 
"caller"?

Maybe it need more clarification on that, but stack pointer should be saved by 
the caller (via the call instruction), but even in this case the callee must 
preserve the stack pointer, right? otherwise the return will not work. So, from 
callee point of view it still cannot assume that any register is a scratch 
register and it need to preserve it before modifying.


https://reviews.llvm.org/D22045



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to