Hi,
This patch adds a special handling of boolean vector invariants. We need
additional code to determine type of generated invariant. For VEC_COND_EXPR
case we even provide this type directly because statement vectype doesn't allow
us to compute it. Separate code is used to generate and exp
On Thu, Oct 8, 2015 at 5:11 PM, Ilya Enkovich wrote:
> Hi,
>
> This patch adds a special handling of boolean vector invariants. We need
> additional code to determine type of generated invariant. For VEC_COND_EXPR
> case we even provide this type directly because statement vectype doesn't
> a
2015-10-13 16:54 GMT+03:00 Richard Biener :
> On Thu, Oct 8, 2015 at 5:11 PM, Ilya Enkovich wrote:
>> Hi,
>>
>> This patch adds a special handling of boolean vector invariants. We need
>> additional code to determine type of generated invariant. For VEC_COND_EXPR
>> case we even provide this t
On Tue, Oct 13, 2015 at 4:52 PM, Ilya Enkovich wrote:
> 2015-10-13 16:54 GMT+03:00 Richard Biener :
>> On Thu, Oct 8, 2015 at 5:11 PM, Ilya Enkovich wrote:
>>> Hi,
>>>
>>> This patch adds a special handling of boolean vector invariants. We need
>>> additional code to determine type of generated
2015-10-14 11:49 GMT+03:00 Richard Biener :
> On Tue, Oct 13, 2015 at 4:52 PM, Ilya Enkovich wrote:
>> I don't understand what you mean. vect_get_vec_def_for_operand has two
>> changes made.
>> 1. For boolean invariants use build_same_sized_truth_vector_type
>> instead of get_vectype_for_scalar_ty
On 14 Oct 13:50, Ilya Enkovich wrote:
> 2015-10-14 11:49 GMT+03:00 Richard Biener :
> > On Tue, Oct 13, 2015 at 4:52 PM, Ilya Enkovich
> > wrote:
> >> I don't understand what you mean. vect_get_vec_def_for_operand has two
> >> changes made.
> >> 1. For boolean invariants use build_same_sized_trut
On Wed, Oct 14, 2015 at 6:13 PM, Ilya Enkovich wrote:
> On 14 Oct 13:50, Ilya Enkovich wrote:
>> 2015-10-14 11:49 GMT+03:00 Richard Biener :
>> > On Tue, Oct 13, 2015 at 4:52 PM, Ilya Enkovich
>> > wrote:
>> >> I don't understand what you mean. vect_get_vec_def_for_operand has two
>> >> changes
On 26 Oct 16:21, Richard Biener wrote:
> On Wed, Oct 14, 2015 at 6:13 PM, Ilya Enkovich wrote:
> > - val = fold_unary (VIEW_CONVERT_EXPR, TREE_TYPE (type), val);
> > + {
> > + /* Can't use VIEW_CONVERT_EXPR for booleans because
> > +of possibly diffe
On Mon, Nov 9, 2015 at 1:11 PM, Ilya Enkovich wrote:
> On 26 Oct 16:21, Richard Biener wrote:
>> On Wed, Oct 14, 2015 at 6:13 PM, Ilya Enkovich
>> wrote:
>> > - val = fold_unary (VIEW_CONVERT_EXPR, TREE_TYPE (type), val);
>> > + {
>> > + /* Can't use VIEW_CONVERT_