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

[Devang Patel]

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