Even gcc's -O0 will do the bitshift, but even dividing with 5 on x86_64 will not do idiv: imul rdx, rdx, 1717986919 shr rdx, 32

Even gcc's -O0 will do the bitshift, but even dividing with 5 on x86_64 will not do idiv: imul rdx, rdx, 1717986919 shr rdx, 32 sar edx sar eax, 31 sub edx, eax mov eax, edx