"Yangfei (Felix)" <felix.y...@huawei.com> writes:
>> We don't need to fall back to constant comparisons here.
>> We should assert for known_eq between the TYPE_VECTOR_SUBPARTS
>> instead.
>> 
>> Same for the other assert.
>
> Good suggestion.  Modified accordingly.
>
>> LGTM otherwise, and sorry for the breakage.
>
> Does the v2 patch look better?
>
> Manually run the following three tests with runtest:
>     gcc.target/aarch64/sve/acle/general/pr94683.c
>     gcc.target/aarch64/sve/acle/general/pr94700.c
>     gcc.dg/pr94784.c

Thanks, pushed to master after testing on aarch64-linux-gnu.

Richard

Reply via email to