KNOTQ K1, K5          // c4e1f844e9
	KORB K7, K5, K0       // c5d545c7
	KORB K0, K7, K5       // c5c545e8
	KORW K7, K5, K0       // c5d445c7
	KORW K0, K7, K5       // c5c445e8
	KORD K7, K5, K0       // c4e1d545c7
	KORD K0, K7, K5       // c4e1c545e8
	KORQ K7, K5, K0       // c4e1d445c7
	KORQ K0, K7, K5       // c4e1c445e8
	KSHIFTLB $0, K7, K0   // c4e37932c700
	KSHIFTLB $196, K1, K5 // c4e37932e9c4

	VPCMPW $126, Z13, Z11, K7, K0                      // 62d3a54f3fc57e
	VPCMPW $126, Z14, Z11, K7, K0                      // 62d3a54f3fc67e
	VPCMPW $126, 15(DX)(BX*1), Z11, K7, K0             // 62f3a54f3f841a0f0000007e
	VPCMPW $126, -7(CX)(DX*2), Z11, K7, K0             // 62f3a54f3f8451f9ffffff7e
	VPCMPW $126, Z13, Z5, K7, K0                       // 62d3d54f3fc57e
	VPCMPW $126, Z14, Z5, K7, K0                       // 62d3d54f3fc67e

	VADDSUBPS X0, X20, X2           // ERROR "invalid instruction"
	// Use of K0 for write mask (Yknot0).
	// TODO(quasilyte): improve error message (#21860).
	//                  "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"

	VPSHUFBITQMB X0, X13, K6, K0                       // 62f2150e8fc0
	VPSHUFBITQMB (R8), X13, K6, K0                     // 62d2150e8f00
	VPSHUFBITQMB 15(DX)(BX*2), X13, K6, K0             // 62f2150e8f845a0f000000
	VPSHUFBITQMB X24, X8, K6, K0                       // 62923d0e8fc0
	VPSHUFBITQMB X7, X8, K6, K0                        // 62f23d0e8fc7
	VPSHUFBITQMB X0, X8, K6, K0                        // 62f23d0e8fc0

	VPTESTNMQ Z1, Z20, K2, K0                          // 62f2de4227c1
	VPTESTNMQ Z3, Z20, K2, K0                          // 62f2de4227c3
	VPTESTNMQ 7(SI)(DI*8), Z20, K2, K0                 // 62f2de422784fe07000000
	VPTESTNMQ -15(R14), Z20, K2, K0                    // 62d2de422786f1ffffff
	VPTESTNMQ Z1, Z9, K2, K0                           // 62f2b64a27c1
	VPTESTNMQ Z3, Z9, K2, K0                           // 62f2b64a27c3

	KMOVB K6, R9                                       // c57993ce
	KMOVB K5, K0                                       // c5f990c5
	KMOVB K4, K0                                       // c5f990c4
	KMOVB 7(AX), K0                                    // c5f9904007
	KMOVB (DI), K0                                     // c5f99007
	KMOVB K5, K7                                       // c5f990fd

	VPBROADCASTMW2D K4, Y23                            // 62e27e283afc
	VPBROADCASTMW2D K6, Y23                            // 62e27e283afe
	VPBROADCASTMW2D K0, Z16                            // 62e27e483ac0
	VPBROADCASTMW2D K7, Z16                            // 62e27e483ac7
	VPBROADCASTMW2D K0, Z9                             // 62727e483ac8
	VPBROADCASTMW2D K7, Z9                             // 62727e483acf