aboutsummaryrefslogtreecommitdiff
path: root/gcc/doc
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2012-10-23 14:51:22 +0200
committerMarc Glisse <glisse@gcc.gnu.org>2012-10-23 12:51:22 +0000
commita8dcc458896307fb03bb3b8c56c33a1b860837c4 (patch)
tree9d49e15eb24b4681bee36a4cb27693dddf91dcd8 /gcc/doc
parent053223551fd7253097117744fcafccd28c8941c0 (diff)
downloadgcc-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.texi5
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