VPDPBUSD 7(SI)(DI*2), Z23, K3, Z23                 // 62e2454350bc7e07000000
	VPDPBUSD Z8, Z6, K3, Z23                           // 62c24d4b50f8
	VPDPBUSD Z28, Z6, K3, Z23                          // 62824d4b50fc
	VPDPBUSD (SI), Z6, K3, Z23                         // 62e24d4b503e
	VPDPBUSD 7(SI)(DI*2), Z6, K3, Z23                  // 62e24d4b50bc7e07000000
	VPDPBUSD Z8, Z23, K3, Z5                           // 62d2454350e8

	VPSHUFBITQMB -15(R14)(R15*8), Y21, K3, K5          // 629255238facfef1ffffff
	VPSHUFBITQMB Z3, Z6, K7, K1                        // 62f24d4f8fcb
	VPSHUFBITQMB Z21, Z6, K7, K1                       // 62b24d4f8fcd
	VPSHUFBITQMB -15(R14)(R15*1), Z6, K7, K1           // 62924d4f8f8c3ef1ffffff
	VPSHUFBITQMB -15(BX), Z6, K7, K1                   // 62f24d4f8f8bf1ffffff
	VPSHUFBITQMB Z3, Z25, K7, K1                       // 62f235478fcb

	VAESDECLAST Z8, Z6, Z23                            // 62c24d48dff8 or 62c2cd48dff8
	VAESDECLAST Z28, Z6, Z23                           // 62824d48dffc or 6282cd48dffc
	VAESDECLAST -17(BP)(SI*8), Z6, Z23                 // 62e24d48dfbcf5efffffff or 62e2cd48dfbcf5efffffff
	VAESDECLAST (R15), Z6, Z23                         // 62c24d48df3f or 62c2cd48df3f

	VRCP28PS -7(CX)(DX*2), K3, Z28                     // 62627d4bcaa451f9ffffff
	VRCP28PS Z13, K3, Z6                               // 62d27d4bcaf5
	VRCP28PS Z21, K3, Z6                               // 62b27d4bcaf5
	VRCP28PS 15(DX)(BX*1), K3, Z6                      // 62f27d4bcab41a0f000000
	VRCP28PS -7(CX)(DX*2), K3, Z6                      // 62f27d4bcab451f9ffffff
	VRCP28SD X25, X14, K4, X19                         // 62828d0ccbd9

	VPMADD52HUQ Z23, Z23, K1, Z27                      // 6222c541b5df
	VPMADD52HUQ Z6, Z23, K1, Z27                       // 6262c541b5de
	VPMADD52HUQ 17(SP), Z23, K1, Z27                   // 6262c541b59c2411000000
	VPMADD52HUQ -17(BP)(SI*4), Z23, K1, Z27            // 6262c541b59cb5efffffff
	VPMADD52HUQ Z23, Z5, K1, Z27                       // 6222d549b5df
	VPMADD52HUQ Z6, Z5, K1, Z27                        // 6262d549b5de

	VPERMT2B Z20, Z1, K3, Z6                           // 62b2754b7df4
	VPERMT2B Z9, Z1, K3, Z6                            // 62d2754b7df1
	VPERMT2B (CX), Z1, K3, Z6                          // 62f2754b7d31
	VPERMT2B 99(R15), Z1, K3, Z6                       // 62d2754b7db763000000
	VPERMT2B Z20, Z9, K3, Z6                           // 62b2354b7df4
	VPERMT2B Z9, Z9, K3, Z6                            // 62d2354b7df1

def _tfr_attrs_num_type(x, y, x1, y1):
  # int
  z0 = [x, y]
  z1 = x == y
  z2 = x < y
  z3 = x <= y
  z4 = x > y
  z5 = x >= y
  z6 = x != y
  z7 = x + y
  z8 = x - y
  z8 += x
  z8 += 1
  (z0, z1, z2, z3, z4, z5, z6, z7, z8)  # pylint: disable=pointless-statement

  # float
  z9 = x1 > y1
  z10 = x1 + y1
  z11 = [x1, y1]
  (z9, z10, z11)  # pylint: disable=pointless-statement