без переменных только битовые операции, по идее будет ппц быстрой, на С)
I=(I>>1)+((I^2)&2);

edit
Даже так можно
I=(I>>1)|((I^2)&2); //чтоб уж точно только битовые операции были