KISSATのポート問題

KISSATのWINDOWSポートで誤りがあり修正しています。

__builtin_clzllは、64ビット命令ですが、これが古いCPU(Haswell以前）だとサポートされていないようでしたので、修正しています。

kissat_leading_zeroes_of_word (word x)

{

  if (!x)

    return sizeof (word) * 8;

  if (sizeof(word) == sizeof(unsigned long long))

    return __builtin_clzll (x);//should be modified for pre-Haswell CPUs.

}