Inform GCC of clobbered registers