https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113576
--- Comment #17 from Tamar Christina <tnfchris at gcc dot gnu.org> --- Well the mid-end has generated the right precision. The type it generates is vector(4) <signed-boolean:1> vexit_reduc_67; so it does say it's a single bit boolean. Isn't this just an expand problem?
