Re: [PATCH] PR90424 - lowpart vector set recognition

2019-05-15 Thread Richard Biener
On Tue, 14 May 2019, Richard Sandiford wrote: > Richard Biener writes: > > On Tue, 14 May 2019, Richard Sandiford wrote: > > > >> Richard Biener writes: > >> > The following makes SSA rewrite (update-address-taken) recognize > >> > sets of aligned sub-vectors in aligned position > >> > (v2qi int

Re: [PATCH] PR90424 - lowpart vector set recognition

2019-05-14 Thread Richard Sandiford
Richard Biener writes: > On Tue, 14 May 2019, Richard Sandiford wrote: > >> Richard Biener writes: >> > The following makes SSA rewrite (update-address-taken) recognize >> > sets of aligned sub-vectors in aligned position >> > (v2qi into v16qi, but esp. v8qi into v16qi). It uses the >> > BIT_INS

Re: [PATCH] PR90424 - lowpart vector set recognition

2019-05-14 Thread Richard Biener
On Tue, 14 May 2019, Richard Sandiford wrote: > Richard Biener writes: > > The following makes SSA rewrite (update-address-taken) recognize > > sets of aligned sub-vectors in aligned position > > (v2qi into v16qi, but esp. v8qi into v16qi). It uses the > > BIT_INSERT_EXPR support for this, enabl

Re: [PATCH] PR90424 - lowpart vector set recognition

2019-05-14 Thread Richard Sandiford
Richard Biener writes: > The following makes SSA rewrite (update-address-taken) recognize > sets of aligned sub-vectors in aligned position > (v2qi into v16qi, but esp. v8qi into v16qi). It uses the > BIT_INSERT_EXPR support for this, enabling that for vector > typed values. This makes us turn f

[PATCH] PR90424 - lowpart vector set recognition

2019-05-14 Thread Richard Biener
The following makes SSA rewrite (update-address-taken) recognize sets of aligned sub-vectors in aligned position (v2qi into v16qi, but esp. v8qi into v16qi). It uses the BIT_INSERT_EXPR support for this, enabling that for vector typed values. This makes us turn for example typedef unsigned cha