make ptr::rotate smaller when using optimize_for_size
#125720
Merged
ptr::rotate smaller when using optimize_for_size
#125720