From d7978bff88f8db16bf28b247d4882c49eaccd623 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Wed, 20 Apr 2011 15:50:26 +0000 Subject: [PATCH] re PR c/47892 (Fails to vectorize comparison code, if-conversion fails) 2011-04-20 Richard Guenther PR tree-optimization/47892 * tree-if-conv.c (if_convertible_stmt_p): Const builtins are if-convertible. * gcc.dg/vect/fast-math-ifcvt-1.c: New testcase. From-SVN: r172774 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/vect/fast-math-ifcvt-1.c | 18 ++++++++++++++++++ gcc/tree-if-conv.c | 16 ++++++++++++++++ 4 files changed, 45 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/vect/fast-math-ifcvt-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7a459c7d7bb..cf5ae0a6a1a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-04-20 Richard Guenther + + PR tree-optimization/47892 + * tree-if-conv.c (if_convertible_stmt_p): Const builtins + are if-convertible. + 2011-04-20 Eric Botcazou * config/alpha/vms.h (ASM_OUTPUT_ADDR_DIFF_ELT): Do not redefine. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a4b42d9b91b..5c792f1670a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-04-20 Richard Guenther + + PR tree-optimization/47892 + * gcc.dg/vect/fast-math-ifcvt-1.c: New testcase. + 2011-04-20 Richard Guenther PR middle-end/48695 diff --git a/gcc/testsuite/gcc.dg/vect/fast-math-ifcvt-1.c b/gcc/testsuite/gcc.dg/vect/fast-math-ifcvt-1.c new file mode 100644 index 00000000000..ba22d8d7889 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/fast-math-ifcvt-1.c @@ -0,0 +1,18 @@ +/* PR 47892 */ +/* { dg-do compile } */ +/* { dg-require-effective-target vect_float } */ +/* { dg-require-effective-target vect_condition } */ + +void +bestseries9 (float * __restrict__ arr, int len) +{ + int i; + for (i = 0; i < len; ++i) + { + float or = arr[i]; + arr[i] = (or > 0.0f) * (2 - or * or); + } +} + +/* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" } } */ +/* { dg-final { cleanup-tree-dump "vect" } } */ diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c index 7ca6deec123..450ddb294b0 100644 --- a/gcc/tree-if-conv.c +++ b/gcc/tree-if-conv.c @@ -719,6 +719,22 @@ if_convertible_stmt_p (gimple stmt, VEC (data_reference_p, heap) *refs) case GIMPLE_ASSIGN: return if_convertible_gimple_assign_stmt_p (stmt, refs); + case GIMPLE_CALL: + { + tree fndecl = gimple_call_fndecl (stmt); + if (fndecl) + { + int flags = gimple_call_flags (stmt); + if ((flags & ECF_CONST) + && !(flags & ECF_LOOPING_CONST_OR_PURE) + /* We can only vectorize some builtins at the moment, + so restrict if-conversion to those. */ + && DECL_BUILT_IN (fndecl)) + return true; + } + return false; + } + default: /* Don't know what to do with 'em so don't do anything. */ if (dump_file && (dump_flags & TDF_DETAILS)) -- 2.30.2