Rémy Oudompheng <******@****.***> 1357938048 +0100

TEXT asmtest_avx512_4vnniw(SB), NOSPLIT, $0
	VP4DPWSSD 7(SI)(DI*1), [Z2-Z5], K4, Z17            // 62e26f4c528c3e07000000
	VP4DPWSSD 15(DX)(BX*8), [Z2-Z5], K4, Z17           // 62e26f4c528cda0f000000
	VP4DPWSSD 7(SI)(DI*1), [Z12-Z15], K4, Z17          // 62e21f4c528c3e07000000
	VP4DPWSSD 15(DX)(BX*8), [Z12-Z15], K4, Z17         // 62e21f4c528cda0f000000
	VP4DPWSSD 7(SI)(DI*1), [Z22-Z25], K4, Z17          // 62e24f44528c3e07000000

	VALIGND $126, Z6, Z9, K2, Z17                      // 62e3354a03ce7e
	VALIGND $126, Z25, Z9, K2, Z17                     // 6283354a03c97e
	VALIGND $126, -7(DI)(R8*1), Z9, K2, Z17            // 62a3354a038c07f9ffffff7e
	VALIGND $126, (SP), Z9, K2, Z17                    // 62e3354a030c247e
	VALIGND $126, Z6, Z12, K2, Z17                     // 62e31d4a03ce7e
	VALIGND $126, Z25, Z12, K2, Z17                    // 62831d4a03c97e

	VPSRAVW Z21, Z31, K3, Z17                          // 62a2854311cd
	VPSRAVW Z9, Z31, K3, Z17                           // 62c2854311c9
	VPSRAVW (BX), Z31, K3, Z17                         // 62e28543110b
	VPSRAVW -17(BP)(SI*1), Z31, K3, Z17                // 62e28543118c35efffffff
	VPSRAVW Z21, Z0, K3, Z17                           // 62a2fd4b11cd
	VPSRAVW Z9, Z0, K3, Z17                            // 62c2fd4b11c9

TEXT asmtest_avx512er(SB), NOSPLIT, $0
	VEXP2PD Z17, K7, Z20                               // 62a2fd4fc8e1
	VEXP2PD Z0, K7, Z20                                // 62e2fd4fc8e0
	VEXP2PD Z17, K7, Z0                                // 62b2fd4fc8c1
	VEXP2PD Z0, K7, Z0                                 // 62f2fd4fc8c0
	VEXP2PD Z31, K2, Z17                               // 6282fd4ac8cf
	VEXP2PD Z0, K2, Z17                                // 62e2fd4ac8c8

	VPDPWSSDS Z6, Z9, K2, Z17                          // 62e2354a53ce
	VPDPWSSDS Z25, Z9, K2, Z17                         // 6282354a53c9
	VPDPWSSDS 17(SP), Z9, K2, Z17                      // 62e2354a538c2411000000
	VPDPWSSDS -17(BP)(SI*4), Z9, K2, Z17               // 62e2354a538cb5efffffff
	VPDPWSSDS Z6, Z12, K2, Z17                         // 62e21d4a53ce
	VPDPWSSDS Z25, Z12, K2, Z17                        // 62821d4a53c9

// crash 16
type Foo16[T any] r16 /* ERROR "not a type" */
func r16[T any]() Foo16[Foo16[T]] { panic(0) }

// crash 17
type Y17 interface{ c() }
type Z17 interface {
	c() Y17
	Y17 /* ERROR "duplicate method" */
}
func F17[T Z17](T) {}

// crash 18
type o18[T any] []func(_ o18[[]_ /* ERROR "cannot use _" */ ])

// crash 19
type Z19 [][[]Z19{}[0][0]]c19 /* ERROR "undefined" */

// crash 20

	VINSERTI64X2 $3, X7, Z31, K6, Z17                  // 62e3854638cf03
	VINSERTI64X2 $3, X0, Z31, K6, Z17                  // 62e3854638c803
	VINSERTI64X2 $3, 7(AX), Z31, K6, Z17               // 62e3854638880700000003
	VINSERTI64X2 $3, (DI), Z31, K6, Z17                // 62e38546380f03
	VINSERTI64X2 $3, X7, Z0, K6, Z17                   // 62e3fd4e38cf03
	VINSERTI64X2 $3, X0, Z0, K6, Z17                   // 62e3fd4e38c803

	"Y30",
	"Y31",
	"Z0",
	"Z1",
	"Z2",
	"Z3",
	"Z4",
	"Z5",
	"Z6",
	"Z7",
	"Z8",
	"Z9",
	"Z10",
	"Z11",
	"Z12",
	"Z13",
	"Z14",
	"Z15",
	"Z16",
	"Z17",
	"Z18",
	"Z19",
	"Z20",
	"Z21",
	"Z22",
	"Z23",
	"Z24",
	"Z25",
	"Z26",
	"Z27",
	"Z28",
	"Z29",
	"Z30",
	"Z31",
	"CS", // [D_CS]
	"SS",
	"DS",
	"ES",

	if a != want {
		t.Errorf("zero16 got=%v, want %v\n", a, want)
	}
}

type Z17 struct {
	pre  [8]byte
	mid  [17]byte
	post [8]byte
}

//go:noinline
func zero17_ssa(x *[17]byte) {
	*x = [17]byte{}
}
func testZero17(t *testing.T) {