Lower AVX v4i64->v4i32 truncate to one shuffle.
ConstantFolding: Also fold the vector overloads of our math intrinsics.