[Bug tree-optimization/50319] if-conversion produces unvectorizable conditions

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50319

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-09-07 
14:19:38 UTC ---
Author: rguenth
Date: Wed Sep  7 14:19:33 2011
New Revision: 178638

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178638
Log:
2011-09-07  Richard Guenther  <rguent...@suse.de>

    PR tree-optimization/50319
    * tree-if-conv.c (set_bb_predicate): Assert we only set
    canonical predicates.
    (add_to_predicate_list): Simplify.  Allow TRUTH_NOT_EXPR
    around canonical predicates.
    (predicate_bbs): Do not re-gimplify already canonical
    predicates.  Properly unshare them though.
    (find_phi_replacement_condition): Simplify.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-if-conv.c