On Jun 29, 2009, at 10:03 PM, Eli Friedman wrote: >> >> +There is no need to clobber %edx there. > > Huh? We *are* returning a 64-bit value, whose top half is in %edx. You're right, I completely misread the asm :) -Chris