Алгоритм формирования CRC32 C++

[freeeeez]

Объясните пожалуйста зачем в коде csum>>1|csum<<31?
И почему через |?

 for(i=0; i<bytes_cnt; i++) {
              csum += buffer[i] ^ i;
              csum = (csum >> 1) | (csum << 31);
}

[p51x]

потому что в С++ нет циклического сдвига

[freeeeez]

Тогда допустим если мы сдвигаем на 1 бит вправо к примеру 00110011 => 00011001
а затем на 7 бит влево 10000000 так как правые биты заменяются нулями??
Тогда какой в этом смысл? Или я не так понял процедуру?

[p51x]

00110011 => 00011001
00110011 => 10000000
10000000 | 00011001 => 10011001