Sorry, forgot to Reply-All.
Yes, this is very helpful! Thank you!
How does this work when exiting a variable’s liveness range? Will it automatically know to free the stack slot for reuse?
The stack temporaries are allocated to physical stack slots after register allocation, I believe, so yes they will be reused automatically when possible.