Re: [PATCH] Fix PR56695 + adjust verify_gimple_comparison

2013-03-28 Thread Richard Biener
On Wed, 27 Mar 2013, Marek Polacek wrote: > This fixes PR56695 where we ICEd because expand_vec_cond_expr > doesn't expect that the result of a vector comparison is of > TYPE_UNSIGNED type. So we unconditionally build a signed type now. > We know that the result of vec comparison is e.g. { -1, 0,

[PATCH] Fix PR56695 + adjust verify_gimple_comparison

2013-03-27 Thread Marek Polacek
This fixes PR56695 where we ICEd because expand_vec_cond_expr doesn't expect that the result of a vector comparison is of TYPE_UNSIGNED type. So we unconditionally build a signed type now. We know that the result of vec comparison is e.g. { -1, 0, -1} and that all elements have to be SI types. Th