Re: [6/6] Link imm uses for pattern stmts

2018-08-30 Thread Richard Biener
On Wed, Aug 29, 2018 at 11:25 AM Richard Sandiford wrote: > > Richard Biener writes: > > On Tue, Aug 28, 2018 at 1:25 PM Richard Sandiford > > wrote: > >> > >> One of the warts of the vectoriser IR is that it doesn't link SSA name > >> uses for pattern statements, leading to complicated special

Re: [6/6] Link imm uses for pattern stmts

2018-08-29 Thread Richard Sandiford
Richard Biener writes: > On Tue, Aug 28, 2018 at 1:25 PM Richard Sandiford > wrote: >> >> One of the warts of the vectoriser IR is that it doesn't link SSA name >> uses for pattern statements, leading to complicated special cases in >> vect_mark_stmts_to_be_vectorized and (especially) vect_detect

Re: [6/6] Link imm uses for pattern stmts

2018-08-29 Thread Richard Biener
On Tue, Aug 28, 2018 at 1:25 PM Richard Sandiford wrote: > > One of the warts of the vectoriser IR is that it doesn't link SSA name > uses for pattern statements, leading to complicated special cases in > vect_mark_stmts_to_be_vectorized and (especially) vect_detect_hybrid_slp. > It also makes it

[6/6] Link imm uses for pattern stmts

2018-08-28 Thread Richard Sandiford
One of the warts of the vectoriser IR is that it doesn't link SSA name uses for pattern statements, leading to complicated special cases in vect_mark_stmts_to_be_vectorized and (especially) vect_detect_hybrid_slp. It also makes it harder to check how an SSA name is used after pattern replacement (s