Re: [PATCH v3 1/9] Allow COND_EXPR and VEC_COND_EXPR condtions to trap

2019-09-09 Thread Richard Biener
On Fri, Sep 6, 2019 at 5:45 PM Ilya Leoshkevich wrote: > > > Am 06.09.2019 um 13:07 schrieb Richard Biener : > > > > On Thu, Sep 5, 2019 at 1:10 PM Ilya Leoshkevich wrote: > >> > >> Right now gimplifier does not allow VEC_COND_EXPR's condition to trap > >> and introduces a temporary if this could

Re: [PATCH v3 1/9] Allow COND_EXPR and VEC_COND_EXPR condtions to trap

2019-09-06 Thread Ilya Leoshkevich
> Am 06.09.2019 um 13:07 schrieb Richard Biener : > > On Thu, Sep 5, 2019 at 1:10 PM Ilya Leoshkevich wrote: >> >> Right now gimplifier does not allow VEC_COND_EXPR's condition to trap >> and introduces a temporary if this could happen, for example, generating >> >> _5 = _4 > { 2.0e+0, 2.0e+0,

Re: [PATCH v3 1/9] Allow COND_EXPR and VEC_COND_EXPR condtions to trap

2019-09-06 Thread Richard Biener
On Thu, Sep 5, 2019 at 1:10 PM Ilya Leoshkevich wrote: > > Right now gimplifier does not allow VEC_COND_EXPR's condition to trap > and introduces a temporary if this could happen, for example, generating > > _5 = _4 > { 2.0e+0, 2.0e+0, 2.0e+0, 2.0e+0 }; > _6 = VEC_COND_EXPR <_5, { -1, -1, -1,

[PATCH v3 1/9] Allow COND_EXPR and VEC_COND_EXPR condtions to trap

2019-09-05 Thread Ilya Leoshkevich
Right now gimplifier does not allow VEC_COND_EXPR's condition to trap and introduces a temporary if this could happen, for example, generating _5 = _4 > { 2.0e+0, 2.0e+0, 2.0e+0, 2.0e+0 }; _6 = VEC_COND_EXPR <_5, { -1, -1, -1, -1 }, { 0, 0, 0, 0 }>; from GENERIC VEC_COND_EXPR < (*b > { 2.0