This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
COND_EXPRs in GIMPLE code and vectorizer
- From: Roberto COSTA <roberto dot costa at st dot com>
- To: GCC mailing list <gcc at gcc dot gnu dot org>
- Date: Wed, 27 Sep 2006 14:16:05 +0200
- Subject: COND_EXPRs in GIMPLE code and vectorizer
Hello,
I have a question about the form of COND_EXPR nodes allowed in GIMPLE
representation.
By looking at what gimplify.c does (more precisely, at function
gimplify_cond_expr (...) ), I understood that GIMPLE only allows a
restricted form of COND_EXPR, in which both 'then' and 'else' operands
are GOTO_EXPR nodes.
However, when compiling with -ftree-vectorize command-line option, there
are cases of COND_EXPR nodes generated and not gimplified (in the sense
of my previous sentence).
An example of this is gcc.dg/tree-ssa/pr23115.c from the testsuite, when
compiled with '-O2 -ftree-vectorize'.
Is it a known issue or is just my assumption about the restriction of
COND_EXPRs in GIMPLE wrong?
Cheers,
Roberto