x64 has a 9/17/33/65 bit rotate using the carry as the extra bit. So for unsigned ints should be 2 instructions IIRC. Something like

ADD a, b

RCR $1, a