re PR target/80846 (auto-vectorized AVX2 horizontal sum should narrow to 128b right...