go test fuzz v1

go test fuzz v1

go test fuzz v1

go test fuzz v1

	x107, x108 = bits.Add64(x83, x98, uint64(p256Uint1(x106)))
	var x109 uint64
	var x110 uint64
	x110, x109 = bits.Mul64(x99, 0xffffffff00000001)
	var x111 uint64
	var x112 uint64
	x112, x111 = bits.Mul64(x99, 0xffffffff)
	var x113 uint64
	var x114 uint64
	x114, x113 = bits.Mul64(x99, 0xffffffffffffffff)
	var x115 uint64
	var x116 uint64
	x115, x116 = bits.Add64(x114, x111, uint64(0x0))

	var x95 uint64
	x95, x94 = bits.Mul64(x2, arg2[2])
	var x96 uint64
	var x97 uint64
	x97, x96 = bits.Mul64(x2, arg2[1])
	var x98 uint64
	var x99 uint64
	x99, x98 = bits.Mul64(x2, arg2[0])
	var x100 uint64
	var x101 uint64
	x100, x101 = bits.Add64(x99, x96, uint64(0x0))
	var x102 uint64
	var x103 uint64
	x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
	var x104 uint64
	var x105 uint64

	// with nlit=288, should not panic.
	io.Copy(io.Discard, NewReader(strings.NewReader(
		"\xfc\xfe\x36\xe7\x5e\x1c\xef\xb3\x55\x58\x77\xb6\x56\xb5\x43\xf4"+
			"\x6f\xf2\xd2\xe6\x3d\x99\xa0\x85\x8c\x48\xeb\xf8\xda\x83\x04\x2a"+
			"\x75\xc4\xf8\x0f\x12\x11\xb9\xb4\x4b\x09\xa0\xbe\x8b\x91\x4c")))
}

var suites = []struct{ name, file string }{

			"\x2a\x59\xad\xb2\xf1\x02\x82\x7c\x33\xcb\x92\x6f\x32\x4f\x9b\xb0" +
			"\xa2\x30\xf0\xc0\x06\x1e\x98\x99\x2c\x06\x1e\xd8\xc0\x03\x56\xd8" +
			"\xc0\x03\x0f\x6c\xe0\x01\xf1\xf0\xee\x9a\xc6\xc8\x97\x99\xd1\x6c" +
			"\xb4\x21\x45\x3b\x10\xe4\x7b\x99\x4d\x8a\x36\x64\x5c\x77\x08\x02" +
			"\xcb\xe0\xce",
	},
	{
		"fuzz1",
		"0\x00\x00\x00\x00\x000\x00\x00\x00\x00\x001\x00\x00\x00\x00\x000000",

	var x90 [10<<20]byte
	var x91 [10<<20]byte
	var x92 [10<<20]byte
	var x93 [10<<20]byte
	var x94 [10<<20]byte
	var x95 [10<<20]byte
	var x96 [10<<20]byte
	var x97 [10<<20]byte
	var x98 [10<<20]byte
	var x99 [10<<20]byte
	var x100 [10<<20]byte
	var x101 [10<<20]byte
	var x102 [10<<20]byte
	var x103 [10<<20]byte
	var x104 [10<<20]byte
	var x105 [10<<20]byte
	var x106 [10<<20]byte
	var x107 [10<<20]byte

var golden256 = []sha512Test{
	{
		"c672b8d1ef56ed28ab87c3622c5114069bdd3ad7b8f9737498d0c01ecef0967a",
		"",