Can _mm_crc32_u64() return a value that is bigger than MAX_UINT32?

[Eitan Azriel <eitan@xxxxxxxxxxxxxxxxx>]

Hi,

The signature of _mm_crc32_u64() is:
unsigned int64 _mm_crc32_u64 (
   unsigned __int64 crc,
   unsigned __int64 v
);

Why does it return int64, and not uint32? Shouldn't it return a valid CRC32
value?

Thanks,
Eitan