From 2f32669918c6422f072b3b648809b792b5b909f6 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Mon, 30 Jan 2012 14:48:37 +0100 Subject: [PATCH 1/1] re PR tree-optimization/52046 (ICE: verify_gimple failed: invalid operands in ternary operation with -O -fexceptions -fnon-call-exceptions -ftree-vectorize) PR tree-optimization/52046 * tree-vect-patterns.c (check_bool_pattern): Give up if a comparison could throw. * gcc.dg/pr52046.c: New test. From-SVN: r183724 --- gcc/ChangeLog | 4 ++++ gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/pr52046.c | 14 ++++++++++++++ gcc/tree-vect-patterns.c | 7 ++++++- 4 files changed, 27 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/pr52046.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2bec9cb82ae..c819d1d0636 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2012-01-30 Jakub Jelinek + 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. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e543e9a630a..36dab8f112b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2012-01-30 Jakub Jelinek + 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 index 00000000000..e72061f9908 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr52046.c @@ -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]); +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index 34ac2e5329f..f63b4e593cc 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -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 @@ -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; -- 2.30.2