http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50596
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-04 11:13:58 UTC --- (In reply to comment #4) > I agree with the need to at least support vectorizing loads and stores of > 1-bit unsigned precision values. We need to be careful with arithmetic > and conversions though (which is why we reject bools right now). We could represent the arithmetic and conversions (or at least subset thereof) using *COND_EXPRs etc. In any case, the bool representation is desirable for the scalar loop, so this isn't something we should be doing in ifcvt, it needs to be done in the vectorizer itself.