https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105591
--- Comment #6 from Hongtao.liu <crazylht at gmail dot com> --- Maybe we should add an canonicalization in match.pd to make sure index is in range of 0 - 2*N, and the general code need't to do check idx % 2*N.