c - 特定のビット演算を実行中に uint64_t の上位 32 ビットが 1 になるのはなぜですか?

Question

uint64_tケース番号＃2でaの上位32ビットが1に設定されている理由を誰かに説明してもらえますか：

uint64_t ret = 0;
ret = (((uint64_t)0x00000000000000FF) << 24);
printf("#1 [%016llX]\n", ret);

ret = (0x00000000000000FF << 24);
printf("#2 [%016llX]\n", ret);

uint32_t ret2 = 0;
ret2 = (((uint32_t)0x000000FF) << 8);
printf("#3 [%08X]\n", ret2);

ret2 = (0x000000FF << 8);
printf("#4 [%08X]\n", ret2);

出力：

#1 [00000000FF000000]
#2 [FFFFFFFFFF000000]
#3 [0000FF00]
#4 [0000FF00]

https://ideone.com/xKUaTe

同じ動作を示さない「同等の」32ビットバージョン（ケース＃3および＃4）を提供したことに気付くでしょう...