VPSHRDW $47, Y6, Y6, K3, Y16                       // 62e3cd2b72c62f
	VPSHRDW $47, Y26, Y6, K3, Y16                      // 6283cd2b72c22f
	VPSHRDW $47, -7(CX)(DX*1), Y6, K3, Y16             // 62e3cd2b728411f9ffffff2f
	VPSHRDW $47, -15(R14)(R15*4), Y6, K3, Y16          // 6283cd2b7284bef1ffffff2f
	VPSHRDW $47, Y7, Y3, K3, Y16                       // 62e3e52b72c72f
	VPSHRDW $47, Y6, Y3, K3, Y16                       // 62e3e52b72c62f

	// EVEX: corner cases for High-16 registers.
	VADDPD X31, X16, X15          // 6211fd0058ff
	VADDPD X23, X15, X16          // 62a1850858c7
	VADDPD Y31, Y16, Y15          // 6211fd2058ff
	VADDPD Y23, Y15, Y16          // 62a1852858c7
	VADDPD Z31, Z16, Z15          // 6211fd4058ff
	VADDPD Z23, Z15, Z16          // 62a1854858c7
	VGATHERQPD (DX)(X16*1),K1,X31 // 6262fd01933c02

9,0.191,2.781,0.564 c0.695,0.292,1.357,0.719,2.078,1.34c0.051,0.044,0.105,0.068,0.164,0.068c0.143,0,0.273-0.137,0.389-0.271 c0.191-0.214,0.324-0.395,0.135-0.575c-0.686-0.654-1.436-1.138-2.363-1.533C13.24,3.097,12.168,2.884,11.066,2.884z"/><path d="M16.43,15.747c-0.092-0.028-0.242,0.05-0.309,0.119l0,0c-0.652,0.652-1.42,1.169-2.268,1.521 c-0.877,0.371-1.814,0.551-2.779,0.551c-0.961,0-1.896-0.189-2.775-0.564c-0.848-0.36-1.612-0.879-2.268-1.53 c-0.682-0.688-1.196-1.455-1.529-2.268c-0.325-0.799-0.471...