"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