> movq 8(%rsp),%r9
This is a huge edgecase but is 8(%rsp) guaranteed to be readable memory
Yes, see https://en.wikipedia.org/wiki/Red_zone_(computing)
Yes, see https://en.wikipedia.org/wiki/Red_zone_(computing)