417     double[] xd = new double[16];  in main()  local
418     xd[0] = Double.longBitsToDouble(0x7ff0000000000001L);  in main()
419     xd[1] = Double.longBitsToDouble(0x7ff4000000000000L);  in main()
420     xd[2] = Double.longBitsToDouble(0x7ff8000000000000L);  in main()
421     xd[3] = Double.longBitsToDouble(0x7fffffffffffffffL);  in main()
422     xd[4] = Double.longBitsToDouble(0xfff0000000000001L);  in main()
423     xd[5] = Double.longBitsToDouble(0xfff4000000000000L);  in main()
424     xd[6] = Double.longBitsToDouble(0xfff8000000000000L);  in main()
425     xd[7] = Double.longBitsToDouble(0xffffffffffffffffL);  in main()
426     xd[8] = Double.NEGATIVE_INFINITY;  in main()
427     xd[9] = -99.2f;  in main()
428     xd[10] = -1.0f;  in main()
429     xd[11] = -0.0f;  in main()
430     xd[12] = +0.0f;  in main()
431     xd[13] = +1.0f;  in main()
432     xd[14] = +99.2f;  in main()
433     xd[15] = Double.POSITIVE_INFINITY;  in main()
434     doitDouble(xd);  in main()
435     expectEqualsNaN64(0x7ff0000000000001L, Double.doubleToRawLongBits(xd[0]));  in main()
436     expectEqualsNaN64(0x7ff4000000000000L, Double.doubleToRawLongBits(xd[1]));  in main()
437     expectEqualsNaN64(0x7ff8000000000000L, Double.doubleToRawLongBits(xd[2]));  in main()
438     expectEqualsNaN64(0x7fffffffffffffffL, Double.doubleToRawLongBits(xd[3]));  in main()
439     expectEqualsNaN64(0x7ff0000000000001L, Double.doubleToRawLongBits(xd[4]));  in main()
440     expectEqualsNaN64(0x7ff4000000000000L, Double.doubleToRawLongBits(xd[5]));  in main()
441     expectEqualsNaN64(0x7ff8000000000000L, Double.doubleToRawLongBits(xd[6]));  in main()
442     expectEqualsNaN64(0x7fffffffffffffffL, Double.doubleToRawLongBits(xd[7]));  in main()
445         Double.doubleToRawLongBits(xd[8]));  in main()
448         Double.doubleToRawLongBits(xd[9]));  in main()
451         Double.doubleToRawLongBits(xd[10]));  in main()
452     expectEquals64(0, Double.doubleToRawLongBits(xd[11]));  in main()
453     expectEquals64(0, Double.doubleToRawLongBits(xd[12]));  in main()
456         Double.doubleToRawLongBits(xd[13]));  in main()
459         Double.doubleToRawLongBits(xd[14]));  in main()
462         Double.doubleToRawLongBits(xd[15]));  in main()