Re: [lno] [RFC] if-conversion and auto vectorizer

[Devang Patel <dpatel at apple dot com>]

On Mar 5, 2004, at 11:17 AM, Diego Novillo wrote:

> On Fri, 2004-03-05 at 14:05, Devang Patel wrote:
>
> >    a = select a1, a2, c
> >    b = select b1, b2, c1
> >    c = select a1, b1, c2
> >
> > We want to put all three statements in one basic block.
> Why would it?  They still look like a MODIFY_EXPR.
>
> 	MODIFY_EXPR <a, COND_EXPR <a1, a2, c>>
> 	MODIFY_EXPR <b, COND_EXPR <b1, b2, c1>>
> 	MODIFY_EXPR <c, COND_EXPR <a1, b1, c2>>

My worry is it would it cause confusion to gimple verifiers?
Would it be possible that during verification this is flagged
as non gimple expression ? If not and CFG routines want alter
control flow when they see it then its fine. I do not know
if someone else will be tickled by COND_EXPR or not.

But so far it seems that's not the case.

Thanks,
--
Devang