Comment by tmyklebu

Two fast (today) instructions:

  unsigned h = _pext_u32(1264523 * x, 0x1020a01);