VGF2P8AFFINEQB $82, X19, X0, K1, X15               // 6233fd09cefb52
	VGF2P8AFFINEQB $82, 17(SP)(BP*2), X0, K1, X15      // 6273fd09cebc6c1100000052
	VGF2P8AFFINEQB $82, -7(DI)(R8*4), X0, K1, X15      // 6233fd09cebc87f9ffffff52
	VGF2P8AFFINEQB $82, X22, X28, K1, X15              // 62339d01cefe52
	VGF2P8AFFINEQB $82, X7, X28, K1, X15               // 62739d01ceff52

	VPCOMPRESSB Y21, K1, Y8                            // 62c27d2963e8
	VPCOMPRESSB Y5, K1, Y11                            // 62d27d2963eb
	VPCOMPRESSB Y24, K1, Y11                           // 62427d2963c3
	VPCOMPRESSB Y21, K1, Y11                           // 62c27d2963eb
	VPCOMPRESSB Y5, K1, Y24                            // 62927d2963e8
	VPCOMPRESSB Y24, K1, Y24                           // 62027d2963c0

	VEXP2PS Z20, K1, Z1                                // 62b27d49c8cc
	VEXP2PS Z9, K1, Z1                                 // 62d27d49c8c9
	VEXP2PS 99(R15)(R15*4), K1, Z1                     // 62927d49c88cbf63000000
	VEXP2PS 15(DX), K1, Z1                             // 62f27d49c88a0f000000
	VEXP2PS Z20, K1, Z9                                // 62327d49c8cc
	VEXP2PS Z9, K1, Z9                                 // 62527d49c8c9

	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

TEXT asmtest_avx512dq(SB), NOSPLIT, $0
	KADDB K3, K1, K6                                   // c5f54af3
	KADDB K1, K1, K6                                   // c5f54af1
	KADDB K3, K5, K6                                   // c5d54af3
	KADDB K1, K5, K6                                   // c5d54af1
	KADDB K3, K1, K5                                   // c5f54aeb
	KADDB K1, K1, K5                                   // c5f54ae9

    for (int i = 1; i < input.length(); i += 2) {
      int k1 = input.charAt(i - 1) | (input.charAt(i) << 16);
      k1 = mixK1(k1);
      h1 = mixH1(h1, k1);
    }

    // deal with any remaining characters
    if ((input.length() & 1) == 1) {
      int k1 = input.charAt(input.length() - 1);
      k1 = mixK1(k1);
      h1 ^= k1;
    }

    return fmix(h1, Chars.BYTES * input.length());
  }

	// EVEX: embedded broadcasting.
	VADDPD.BCST (AX), X2, K1, X1   // 62f1ed195808
	VADDPD.BCST.Z (AX), X2, K1, X1 // 62f1ed995808
	VADDPD.BCST (AX), Y2, K1, Y1   // 62f1ed395808
	VADDPD.BCST.Z (AX), Y2, K1, Y1 // 62f1edb95808
	VADDPD.BCST (AX), Z2, K1, Z1   // 62f1ed595808
	VADDPD.BCST.Z (AX), Z2, K1, Z1 // 62f1edd95808
	VMAXPD.BCST (AX), Z2, K1, Z1   // 62f1ed595f08

    resetContainer(mapEntry(k0(), v0()), mapEntry(k0(), v1()), mapEntry(k1(), v0()));
    Multiset<K> keys = multimap().keys();
    assertEquals(2, keys.count(k0()));
    assertEquals(1, keys.count(k1()));
    assertEquals(3, keys.size());
    assertContainsAllOf(keys, k0(), k1());
    assertContainsAllOf(
        keys.entrySet(), Multisets.immutableEntry(k0(), 2), Multisets.immutableEntry(k1(), 1));
  }

  @MapFeature.Require(ALLOWS_NULL_KEY_QUERIES)

	VPLZCNTQ Y14, K1, Y22                              // 62c2fd2944f6
	VPLZCNTQ 15(R8)(R14*4), K1, Y22                    // 6282fd2944b4b00f000000
	VPLZCNTQ -7(CX)(DX*4), K1, Y22                     // 62e2fd2944b491f9ffffff
	VPLZCNTQ Y12, K1, Y13                              // 6252fd2944ec
	VPLZCNTQ Y1, K1, Y13                               // 6272fd2944e9

    this.d = d;
    this.k0 = k0;
    this.k1 = k1;
  }

  @Override
  public int bits() {
    return 64;
  }

  @Override
  public Hasher newHasher() {
    return new SipHasher(c, d, k0, k1);
  }

  // TODO(kak): Implement and benchmark the hashFoo() shortcuts.

  @Override
  public String toString() {
    return "Hashing.sipHash" + c + "" + d + "(" + k0 + ", " + k1 + ")";
  }

  @Override