diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-06-21 11:02:38 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-06-21 11:02:38 +0000 |
| commit | 7b7ec6c51efe53786f0efdc7c9127ba8221331fd (patch) | |
| tree | dc57e81a877b41014966d99e0e48a413f39a385a /gcc | |
| parent | ced4d0e333a3123208df5950b6e5fc41775666f8 (diff) | |
| download | gcc-7b7ec6c51efe53786f0efdc7c9127ba8221331fd.zip gcc-7b7ec6c51efe53786f0efdc7c9127ba8221331fd.tar.gz gcc-7b7ec6c51efe53786f0efdc7c9127ba8221331fd.tar.bz2 | |
re PR tree-optimization/49483 (unable to vectorize code equivalent to "scalbnf")
2011-06-21 Richard Guenther <rguenther@suse.de>
PR tree-optimization/49483
* tree-vect-stmts.c (vectorizable_assignment): Also handle
VIEW_CONVERT_EXPR conversions.
* gcc.dg/vect/vect-120.c: New testcase.
From-SVN: r175252
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/vect-120.c | 36 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.c | 9 |
4 files changed, 54 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 60e5395..4ec2603 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-06-21 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/49483 + * tree-vect-stmts.c (vectorizable_assignment): Also handle + VIEW_CONVERT_EXPR conversions. + 2011-06-21 Joseph Myers <joseph@codesourcery.com> * config/avr/avr-mcus.def, config/avr/genopt.sh: New files. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 20fc4a4..9dec802 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-06-21 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/49483 + * gcc.dg/vect/vect-120.c: New testcase. + 2011-06-21 Ira Rosen <ira.rosen@linaro.org> PR testsuite/49443 diff --git a/gcc/testsuite/gcc.dg/vect/vect-120.c b/gcc/testsuite/gcc.dg/vect/vect-120.c new file mode 100644 index 0000000..b9a2f50 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/vect-120.c @@ -0,0 +1,36 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target vect_float } */ +/* { dg-require-effective-target vect_shift } */ + +static inline float +i2f(int x) +{ + union { float f; int i; } tmp; + tmp.i=x; + return tmp.f; +} +static inline float +vect_ldexpf(float x, int n) +{ + n = (n+0x7f)<<23; + return x * i2f(n); +} + +float __attribute__ ((aligned(16))) a[1024]; +float __attribute__ ((aligned(16))) b[1024]; +float __attribute__ ((aligned(16))) c[1024]; + +void +tV() +{ + int i; + for (i=0; i!=1024; ++i) + { + float z = a[i]; + int n = b[i]; + c[i] = vect_ldexpf(z,n); + } +} + +/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */ +/* { dg-final { cleanup-tree-dump "vect" } } */ diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index 6a5ba22..f9b9639 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -2089,6 +2089,9 @@ vectorizable_assignment (gimple stmt, gimple_stmt_iterator *gsi, else return false; + if (code == VIEW_CONVERT_EXPR) + op = TREE_OPERAND (op, 0); + if (!vect_is_simple_use_1 (op, loop_vinfo, bb_vinfo, &def_stmt, &def, &dt[0], &vectype_in)) { @@ -2099,7 +2102,8 @@ vectorizable_assignment (gimple stmt, gimple_stmt_iterator *gsi, /* We can handle NOP_EXPR conversions that do not change the number of elements or the vector size. */ - if (CONVERT_EXPR_CODE_P (code) + if ((CONVERT_EXPR_CODE_P (code) + || code == VIEW_CONVERT_EXPR) && (!vectype_in || TYPE_VECTOR_SUBPARTS (vectype_in) != nunits || (GET_MODE_SIZE (TYPE_MODE (vectype)) @@ -2134,7 +2138,8 @@ vectorizable_assignment (gimple stmt, gimple_stmt_iterator *gsi, /* Arguments are ready. create the new vector stmt. */ FOR_EACH_VEC_ELT (tree, vec_oprnds, i, vop) { - if (CONVERT_EXPR_CODE_P (code)) + if (CONVERT_EXPR_CODE_P (code) + || code == VIEW_CONVERT_EXPR) vop = build1 (VIEW_CONVERT_EXPR, vectype, vop); new_stmt = gimple_build_assign (vec_dest, vop); new_temp = make_ssa_name (vec_dest, new_stmt); |