int result = BigIntegerMath.log2(x, HALF_UP);
      BigInteger x2 = x.pow(2);
      // x^2 < 2^(2 * result + 1), or else we would have rounded up
      assertTrue(ZERO.setBit(2 * result + 1).compareTo(x2) > 0);
      // x^2 >= 2^(2 * result - 1), or else we would have rounded down
      assertTrue(result == 0 || ZERO.setBit(2 * result - 1).compareTo(x2) <= 0);
    }
  }

  public void testLog2HalfDown() {

	XVSRLB		$7, X2, X1	// 413c3077
	XVSRLB		$5, X2		// 42343077
	XVSRLH		$0, X2, X1	// 41403077
	XVSRLH		$15, X2, X1	// 417c3077
	XVSRLH		$9, X2		// 42643077
	XVSRLW		$0, X2, X1	// 41803077
	XVSRLW		$31, X2, X1	// 41fc3077
	XVSRLW		$14, X2		// 42b83077
	XVSRLV		$0, X2, X1	// 41003177
	XVSRLV		$63, X2, X1	// 41fc3177
	XVSRLV		$45, X2		// 42b43177
	XVSRAB		$0, X2, X1	// 41203477
	XVSRAB		$7, X2, X1	// 413c3477

	VRCP28SD X25, X14, K4, X2                          // 62928d0ccbd1
	VRCP28SD X11, X14, K4, X2                          // 62d28d0ccbd3
	VRCP28SD X17, X14, K4, X2                          // 62b28d0ccbd1
	VRCP28SD X25, X0, K4, X2                           // 6292fd0ccbd1
	VRCP28SD X11, X0, K4, X2                           // 62d2fd0ccbd3
	VRCP28SD X17, X0, K4, X2                           // 62b2fd0ccbd1

	VPDPWSSD X2, X2, K3, X18                           // 62e26d0b52d2
	VPDPWSSD X27, X2, K3, X18                          // 62826d0b52d3
	VPDPWSSD X26, X2, K3, X18                          // 62826d0b52d2
	VPDPWSSD (SI), X2, K3, X18                         // 62e26d0b5216
	VPDPWSSD 7(SI)(DI*2), X2, K3, X18                  // 62e26d0b52947e07000000
	VPDPWSSD X2, X24, K3, X18                          // 62e23d0352d2

	VPOPCNTW 99(R15), K3, X23                          // 62c2fd0b54bf63000000
	VPOPCNTW X20, K3, X2                               // 62b2fd0b54d4
	VPOPCNTW X5, K3, X2                                // 62f2fd0b54d5
	VPOPCNTW X25, K3, X2                               // 6292fd0b54d1
	VPOPCNTW (CX), K3, X2                              // 62f2fd0b5411
	VPOPCNTW 99(R15), K3, X2                           // 62d2fd0b549763000000

	VPERMB -7(DI)(R8*2), X20, K1, X23                  // 62a25d018dbc47f9ffffff
	VPERMB X26, X2, K1, X23                            // 62826d098dfa
	VPERMB X19, X2, K1, X23                            // 62a26d098dfb
	VPERMB X0, X2, K1, X23                             // 62e26d098df8
	VPERMB 7(SI)(DI*4), X2, K1, X23                    // 62e26d098dbcbe07000000
	VPERMB -7(DI)(R8*2), X2, K1, X23                   // 62a26d098dbc47f9ffffff

   * @throws X1 when the given throwable is of the declared type X1
   * @throws X2 when the given throwable is of the declared type X2
   */
  public <X1 extends Exception, X2 extends Exception> RuntimeException rethrow(
      Throwable e, Class<X1> declaredType1, Class<X2> declaredType2) throws IOException, X1, X2 {
    checkNotNull(e);
    thrown = e;
    throwIfInstanceOf(e, IOException.class);

	{"g", "R14"},
	{"SI", "SI"},
	{"SP", "SP"},
	{"X0", "X0"},
	{"X1", "X1"},
	{"X10", "X10"},
	{"X11", "X11"},
	{"X12", "X12"},
	{"X13", "X13"},
	{"X14", "X14"},
	{"X15", "X15"},
	{"X2", "X2"},
	{"X3", "X3"},
	{"X4", "X4"},
	{"X5", "X5"},
	{"X6", "X6"},
	{"X7", "X7"},
	{"X8", "X8"},
	{"X9", "X9"},
	{"_expand_key_128<>(SB)", "_expand_key_128<>(SB)"},
	{"_seek<>(SB)", "_seek<>(SB)"},

     * 1.0.0.RC1 < 1.0.0-RC2 and more generally:
     * 1.0.0.X1 < 1.0.0-X2 for any string X
     */
    @Test
    void testMng7644() {
        for (String x : new String[] {"abc", "alpha", "a", "beta", "b", "def", "milestone", "m", "RC"}) {
            // 1.0.0.X1 < 1.0.0-X2 for any string x
            checkVersionsOrder("1.0.0." + x + "1", "1.0.0-" + x + "2");

        //
        // To determine which side of logFloor.5 the logarithm is,
        // we compare x^2 to 2^(2 * logFloor + 1).
        BigInteger x2 = x.pow(2);
        int logX2Floor = x2.bitLength() - 1;
        return (logX2Floor < 2 * logFloor + 1) ? logFloor : logFloor + 1;
    }
    throw new AssertionError();
  }

  /*