Re: [PATCH] forwprop: simplify_vector_constructor follow-up fix [PR95713]

2020-06-18 Thread Richard Sandiford
Richard Biener writes: > On Thu, 18 Jun 2020, Jakub Jelinek wrote: > >> Hi! >> >> As the following testcase shows, the exception for the aarch64 >> vec_pack_trunc_di is not sufficient on x86, the halfvectype >> "vectors" have SImode but the x86 vec_pack_trunc_si meant for >> the bool bitmasks com

Re: [PATCH] forwprop: simplify_vector_constructor follow-up fix [PR95713]

2020-06-18 Thread Richard Biener
On Thu, 18 Jun 2020, Jakub Jelinek wrote: > Hi! > > As the following testcase shows, the exception for the aarch64 > vec_pack_trunc_di is not sufficient on x86, the halfvectype > "vectors" have SImode but the x86 vec_pack_trunc_si meant for > the bool bitmasks combines 2x SImode into DImode, whil

[PATCH] forwprop: simplify_vector_constructor follow-up fix [PR95713]

2020-06-18 Thread Jakub Jelinek via Gcc-patches
Hi! As the following testcase shows, the exception for the aarch64 vec_pack_trunc_di is not sufficient on x86, the halfvectype "vectors" have SImode but the x86 vec_pack_trunc_si meant for the bool bitmasks combines 2x SImode into DImode, while in the testcase the halfvectype is 1x SImode "vector"