VPMADD52HUQ -7(DI)(R8*4), X31, K1, X18             // 62a28501b59487f9ffffff
	VPMADD52HUQ X7, X3, K1, X18                        // 62e2e509b5d7
	VPMADD52HUQ X0, X3, K1, X18                        // 62e2e509b5d0
	VPMADD52HUQ 17(SP)(BP*2), X3, K1, X18              // 62e2e509b5946c11000000
	VPMADD52HUQ -7(DI)(R8*4), X3, K1, X18              // 62a2e509b59487f9ffffff
	VPMADD52HUQ X7, X11, K1, X21                       // 62e2a509b5ef

	ADCB.RU_SAE.Z $7, AL             // ERROR "invalid instruction"
	// Usage of rounding with invalid operands.
	VADDPD.RU_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RD_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RZ_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RN_SAE X3, X2, K1, X1     // ERROR "unsupported rounding"
	VADDPD.RU_SAE Y3, Y2, K1, Y1     // ERROR "unsupported rounding"

	VRANGESS $5, X7, X15, K3, X3                       // 62f3050b51df05
	VRANGESS $5, X13, X15, K3, X3                      // 62d3050b51dd05
	VRANGESS $5, X8, X15, K3, X3                       // 62d3050b51d805
	VRANGESS $5, X7, X28, K3, X3                       // 62f31d0351df05
	VRANGESS $5, X13, X28, K3, X3                      // 62d31d0351dd05
	VRANGESS $5, X8, X28, K3, X3                       // 62d31d0351d805

	VROTRV		V1, V2, V3	// 4384ef70
	XVSLLB		X3, X2, X1	// 410ce874
	XVSLLH		X3, X2, X1	// 418ce874
	XVSLLW		X3, X2, X1	// 410ce974
	XVSLLV		X3, X2, X1	// 418ce974
	XVSRLB		X3, X2, X1	// 410cea74
	XVSRLH		X3, X2, X1	// 418cea74
	XVSRLW		X3, X2, X1	// 410ceb74
	XVSRLV		X3, X2, X1	// 418ceb74
	XVSRAB		X3, X2, X1	// 410cec74
	XVSRAH		X3, X2, X1	// 418cec74
	XVSRAW		X3, X2, X1	// 410ced74
	XVSRAV		X3, X2, X1	// 418ced74

	V4FMADDSS 7(AX), [X0-X3], K5, X3                   // 62f27f0d9b9807000000 or 62f27f2d9b9807000000 or 62f27f4d9b9807000000
	V4FMADDSS (DI), [X0-X3], K5, X3                    // 62f27f0d9b1f or 62f27f2d9b1f or 62f27f4d9b1f
	V4FMADDSS 7(AX), [X10-X13], K5, X3                 // 62f22f0d9b9807000000 or 62f22f2d9b9807000000 or 62f22f4d9b9807000000

      int x0 = buf[bufLen - 1] & 0xff;
      int x1 = buf[bufLen - 2] & 0xff;
      int x2 = buf[bufLen - 3] & 0xff;
      int x3 = buf[bufLen / 2] & 0xff;
      buf[((x0 << 16) + (x1 << 8) + x2) % bufLen] ^= x3;
      buf[((x1 << 16) + (x2 << 8) + x3) % bufLen] ^= i % 256;
    }
    assertEquals(0xeaa3b1c985261632L, h);
  }

  private static long remix(long h) {
    h ^= h >>> 41;

	VGATHERDPS X3, 664(X4*8), X6            // c4e2619234e598020000
	VGATHERDPS X3, 8(X14*1), X6             // c4a26192343508000000
	VGATHERDPS X3, -8(X14*1), X6            // c4a261923435f8ffffff
	VGATHERDPS X3, 0(X14*1), X6             // c4a26192343500000000
	VGATHERDPS X3, 664(X14*1), X6           // c4a26192343598020000
	VGATHERDPS X3, 8(X14*8), X6             // c4a2619234f508000000

	VPDPWSSDS X12, X15, K2, X3                         // 62d2050a53dc
	VPDPWSSDS 17(SP)(BP*8), X15, K2, X3                // 62f2050a539cec11000000
	VPDPWSSDS 17(SP)(BP*4), X15, K2, X3                // 62f2050a539cac11000000
	VPDPWSSDS X13, X30, K2, X3                         // 62d20d0253dd
	VPDPWSSDS X6, X30, K2, X3                          // 62f20d0253de

	VRCP28SS X13, X11, K2, X3                          // 62d2250acbdd
	VRCP28SS X6, X11, K2, X3                           // 62f2250acbde
	VRCP28SS X12, X11, K2, X3                          // 62d2250acbdc
	VRCP28SS X13, X15, K2, X3                          // 62d2050acbdd
	VRCP28SS X6, X15, K2, X3                           // 62f2050acbde
	VRCP28SS X12, X15, K2, X3                          // 62d2050acbdc

	VCMPSD $27, X21, X3, K3, K0                        // 62b1e70bc2c51b or 62b1e72bc2c51b or 62b1e74bc2c51b
	VCMPSD $27, (BX), X3, K3, K0                       // 62f1e70bc2031b or 62f1e72bc2031b or 62f1e74bc2031b
	VCMPSD $27, -17(BP)(SI*1), X3, K3, K0              // 62f1e70bc28435efffffff1b or 62f1e72bc28435efffffff1b or 62f1e74bc28435efffffff1b