diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2012-10-23 14:51:22 +0200 |
---|---|---|
committer | Marc Glisse <glisse@gcc.gnu.org> | 2012-10-23 12:51:22 +0000 |
commit | a8dcc458896307fb03bb3b8c56c33a1b860837c4 (patch) | |
tree | 9d49e15eb24b4681bee36a4cb27693dddf91dcd8 /gcc/doc | |
parent | 053223551fd7253097117744fcafccd28c8941c0 (diff) | |
download | gcc-a8dcc458896307fb03bb3b8c56c33a1b860837c4.zip gcc-a8dcc458896307fb03bb3b8c56c33a1b860837c4.tar.gz gcc-a8dcc458896307fb03bb3b8c56c33a1b860837c4.tar.bz2 |
tree-ssa-forwprop.c (forward_propagate_into_cond): Handle vectors.
2012-10-23 Marc Glisse <marc.glisse@inria.fr>
gcc/
* tree-ssa-forwprop.c (forward_propagate_into_cond): Handle vectors.
* fold-const.c (fold_relational_const): Handle VECTOR_CST.
* doc/generic.texi (VEC_COND_EXPR): Document current policy.
gcc/testsuite/
* gcc.dg/tree-ssa/foldconst-6.c: New testcase.
From-SVN: r192711
Diffstat (limited to 'gcc/doc')
-rw-r--r-- | gcc/doc/generic.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/doc/generic.texi b/gcc/doc/generic.texi index 082a528..c739731 100644 --- a/gcc/doc/generic.texi +++ b/gcc/doc/generic.texi @@ -1780,8 +1780,9 @@ operand is of signed integral vector type. If an element of the first operand evaluates to a zero value, the corresponding element of the result is taken from the third operand. If it evaluates to a minus one value, it is taken from the second operand. It should never evaluate to -any other value. In contrast with a @code{COND_EXPR}, all operands are -always evaluated. +any other value currently, but optimizations should not rely on that +property. In contrast with a @code{COND_EXPR}, all operands are always +evaluated. @end table |