Feel free to commit as a way to codify our current behavior, but I'm not sure it's the right approach. We might want to throw up our hands on control flow and assume it clobbers everything except ebp/esp. http://reviews.llvm.org/D4577