OSDN Git Service

PR tree-optimization/52046
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Jan 2012 13:48:37 +0000 (13:48 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Jan 2012 13:48:37 +0000 (13:48 +0000)
* tree-vect-patterns.c (check_bool_pattern): Give up if
a comparison could throw.

* gcc.dg/pr52046.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183724 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr52046.c [new file with mode: 0644]
gcc/tree-vect-patterns.c

index 2bec9cb..c819d1d 100644 (file)
@@ -1,5 +1,9 @@
 2012-01-30  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/52046
+       * tree-vect-patterns.c (check_bool_pattern): Give up if
+       a comparison could throw.
+
        PR debug/52048
        * tree-ssa-tail-merge.c (local_def): Ignore debug uses.
 
index e543e9a..36dab8f 100644 (file)
@@ -1,5 +1,8 @@
 2012-01-30  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/52046
+       * gcc.dg/pr52046.c: New test.
+
        PR debug/52048
        * g++.dg/other/pr52048.C: New test.
 
diff --git a/gcc/testsuite/gcc.dg/pr52046.c b/gcc/testsuite/gcc.dg/pr52046.c
new file mode 100644 (file)
index 0000000..e72061f
--- /dev/null
@@ -0,0 +1,14 @@
+/* PR tree-optimization/52046 */
+/* { dg-do compile } */
+/* { dg-options "-O3 -fexceptions -fnon-call-exceptions" } */
+
+extern float a[], b[], c[], d[];
+extern int k[];
+
+void
+foo (void)
+{
+  int i;
+  for (i = 0; i < 1024; ++i)
+    k[i] = (a[i] < b[i]) | (c[i] < d[i]);
+}
index 34ac2e5..f63b4e5 100644 (file)
@@ -1,5 +1,5 @@
 /* Analysis Utilities for Loop Vectorization.
-   Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011
+   Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011, 2012
    Free Software Foundation, Inc.
    Contributed by Dorit Nuzman <dorit@il.ibm.com>
 
@@ -1967,6 +1967,11 @@ check_bool_pattern (tree var, loop_vec_info loop_vinfo)
        {
          tree vecitype, comp_vectype;
 
+         /* If the comparison can throw, then is_gimple_condexpr will be
+            false and we can't make a COND_EXPR/VEC_COND_EXPR out of it.  */
+         if (stmt_could_throw_p (def_stmt))
+           return false;
+
          comp_vectype = get_vectype_for_scalar_type (TREE_TYPE (rhs1));
          if (comp_vectype == NULL_TREE)
            return false;