https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112438
--- Comment #12 from Kito Cheng <kito at gcc dot gnu.org> --- oh, yeah, you are right, it already take a5 to splat, so it's right, and as you said it must be VLMAX, unless it AVL prorogation for both splat and the following vadd.vv