>>184
1 ? b << x : 0 は常に b << x なので簡略化して
(a >> x) & (b << x)
になる。

xを0から32(または64)まで動かせばそれぞれのビットに影響する範囲のpopcountがわかるが0から32(または64)なら愚直解でも大差ないな