[PATCH PR81799]Fix ICE by forcing to is_gimple_val

[Bin.Cheng]

On Mon, Aug 14, 2017 at 12:21 PM, Richard Biener
<richard.guenther@gmail.com> wrote:
> On Mon, Aug 14, 2017 at 1:05 PM, Bin Cheng <Bin.Cheng@arm.com> wrote:
>> Hi,
>> This patch fixes ICE reported in PR81799.  It simply uses is_gimple_val rather than is_gimple_condexpr.
>> Bootstap and test on x86_64.  Is it OK?
>
> I guess this eventually pessimizes code-gen for the case we do not
> have the IFN call (eventually cleaned up
> by folding / forwprop later).
Note we are not optimal with current code even folding/forwprop can
fold condition to true/false because we undo the versioning in
vectorizer and the folding is not happening between distribution and
vectorizer?

Thanks,
bin
>
> I guess we don't care too much and thus OK.
>
> Thanks,
> Richard.
>
>> Thanks,
>> bin
>> 2017-08-11  Bin Cheng  <bin.cheng@arm.com>
>>
>>         PR tree-optimization/81799
>>         * tree-loop-distribution.c (version_loop_by_alias_check): Force
>>         cond_expr to simple gimple operand.
>>
>> gcc/testsuite
>> 2017-08-11  Bin Cheng  <bin.cheng@arm.com>
>>
>>         PR tree-optimization/81799
>>         * gcc.dg/tree-ssa/pr81799.c: New.