VPERMB (DI), Z8, K1, Z3                            // 62f23d498d1f
	VPERMB Z3, Z2, K1, Z3                              // 62f26d498ddb
	VPERMB Z27, Z2, K1, Z3                             // 62926d498ddb
	VPERMB 7(AX), Z2, K1, Z3                           // 62f26d498d9807000000
	VPERMB (DI), Z2, K1, Z3                            // 62f26d498d1f
	VPERMB Z3, Z8, K1, Z21                             // 62e23d498deb

	VADDPD Z6, Z2, K3, Z5                              // 62f1ed4b58ee
	VADDPD Z14, Z2, K3, Z5                             // 62d1ed4b58ee
	VADDPD 17(SP), Z2, K3, Z5                          // 62f1ed4b58ac2411000000
	VADDPD -17(BP)(SI*4), Z2, K3, Z5                   // 62f1ed4b58acb5efffffff
	VADDPD Z6, Z2, K3, Z23                             // 62e1ed4b58fe
	VADDPD Z14, Z2, K3, Z23                            // 62c1ed4b58fe

// Code generated by avx512test. DO NOT EDIT.

#include "../../../../../../runtime/textflag.h"

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

         assertEquals("Z2", itemList2.get(5).getOutputs()[1]);

         final SynonymItem synonymItem2 = new SynonymItem(0, new String[] {"z1", "z2" }, new String[] { "z1", "z2" });
         synonymFile.insert(synonymItem2);
         final PagingList<SynonymItem> itemList3 = synonymFile.selectList(0, 20);
         assertEquals(7, itemList3.size());
         assertEquals("z1", itemList3.get(6).getInputs()[0]);

	VPACKSSWB Z23, Z27, K3, Z2                         // 62b1254363d7 or 62b1a54363d7
	VPACKSSWB Z9, Z27, K3, Z2                          // 62d1254363d1 or 62d1a54363d1
	VPACKSSWB -17(BP)(SI*2), Z27, K3, Z2               // 62f12543639475efffffff or 62f1a543639475efffffff
	VPACKSSWB 7(AX)(CX*2), Z27, K3, Z2                 // 62f1254363944807000000 or 62f1a54363944807000000

	VADDPD.Z X30, X1, K7, X0  // 6291f58f58c6
	VMAXPD.Z (AX), Z2, K1, Z1 // 62f1edc95f08
	// EVEX: embedded rounding.
	VADDPD.RU_SAE Z3, Z2, K1, Z1   // 62f1ed5958cb
	VADDPD.RD_SAE Z3, Z2, K1, Z1   // 62f1ed3958cb
	VADDPD.RZ_SAE Z3, Z2, K1, Z1   // 62f1ed7958cb
	VADDPD.RN_SAE Z3, Z2, K1, Z1   // 62f1ed1958cb
	VADDPD.RU_SAE.Z Z3, Z2, K1, Z1 // 62f1edd958cb
	VADDPD.RD_SAE.Z Z3, Z2, K1, Z1 // 62f1edb958cb

	VPOPCNTD -15(BX), K5, Y12                          // 62727d2d55a3f1ffffff
	VPOPCNTD Z2, K3, Z22                               // 62e27d4b55f2
	VPOPCNTD Z31, K3, Z22                              // 62827d4b55f7
	VPOPCNTD 7(SI)(DI*4), K3, Z22                      // 62e27d4b55b4be07000000
	VPOPCNTD -7(DI)(R8*2), K3, Z22                     // 62a27d4b55b447f9ffffff
	VPOPCNTD Z2, K3, Z7                                // 62f27d4b55fa

	VPCOMPRESSB Y21, K1, (R15)                         // 62c27d29632f
	VPCOMPRESSB Z2, K1, Z5                             // 62f27d4963d5
	VPCOMPRESSB Z2, K1, Z23                            // 62b27d4963d7
	VPCOMPRESSB Z2, K1, -17(BP)                        // 62f27d496355ef
	VPCOMPRESSB Z2, K1, -15(R14)(R15*8)                // 62927d496354fef1
	VPCOMPRESSW X20, K5, X20                           // 62a2fd0d63e4

	//                  "K0 can't be used for write mask"
	VADDPD X0, X1, K0, X2           // ERROR "invalid instruction"
	VADDPD Y0, Y1, K0, Y2           // ERROR "invalid instruction"
	VADDPD Z0, Z1, K0, Z2           // ERROR "invalid instruction"
	// VEX-encoded VSIB can't use High-16 registers as index (unlike EVEX).
	// TODO(quasilyte): improve error message (#21860).
	VPGATHERQQ X2, (BP)(X20*2), X3  // ERROR "invalid instruction"

ageKey:"badSepa"}),a.formUtils.addValidator({name:"iban",validatorFunction:function(a){return d(a)&&c(a)},errorMessage:"",errorMessageKey:"badIban"}),a.formUtils.addValidator({name:"bic",validatorFunction:function(a){var b=new RegExp("^[A-Z]{6,6}[A-Z2-9][A-NP-Z0-9]([A-Z0-9]{3,3}){0,1}$");return b.test(a)},errorMessage:"",errorMessageKey:"badBic"})}(a)});...