This fixes PR50574, we shouldn't compare vector mode sizes because
vectors can have BLKmode in gimple.

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.

Richard.

2011-09-30  Richard Guenther  <rguent...@suse.de>

        PR middle-end/50574
        * tree-cfg.c (verify_gimple_comparison): Compare component
        mode sizes for vector comparisons.

Index: gcc/tree-cfg.c
===================================================================
--- gcc/tree-cfg.c      (revision 179378)
+++ gcc/tree-cfg.c      (working copy)
@@ -3229,8 +3302,8 @@ verify_gimple_comparison (tree type, tre
         }
 
       if (TYPE_VECTOR_SUBPARTS (type) != TYPE_VECTOR_SUBPARTS (op0_type)
-         || (GET_MODE_SIZE (TYPE_MODE (type))
-             != GET_MODE_SIZE (TYPE_MODE (op0_type))))
+         || (GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (type)))
+             != GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (op0_type)))))
         {
           error ("invalid vector comparison resulting type");
           debug_generic_expr (type);

Reply via email to