/*	$NetBSD: t_sha512trunc.c,v 1.4 2026/04/30 23:10:23 gutteridge Exp $	*/

/*-
 * Copyright (c) 2024 The NetBSD Foundation, Inc.
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */

#include <sys/cdefs.h>
__RCSID("$NetBSD: t_sha512trunc.c,v 1.4 2026/04/30 23:10:23 gutteridge Exp $");

#include <stddef.h>

#include <atf-c.h>

#include <openssl/evp.h>

#include "h_macros.h"

struct testcase {
	const unsigned char in[5824];
	size_t inlen;
	const unsigned char out[32];
};

static void
check(const struct testcase *C, size_t n, size_t digestlen, const EVP_MD *md)
{
	enum { C0 = 0xc0, C1 = 0xc1 };
	unsigned char *buf, *digest, *p0, *p1;
	size_t i;

	ATF_REQUIRE_MSG(digestlen <= INT_MAX, "digestlen=%zu", digestlen);
	ATF_REQUIRE_EQ_MSG((int)digestlen, EVP_MD_size(md),
	    "expected %d, got %d", (int)digestlen, EVP_MD_size(md));

	ATF_REQUIRE_MSG(digestlen < SIZE_MAX - 2048,
	    "digestlen=%zu", digestlen);
	REQUIRE_LIBC(buf = malloc(digestlen + 2048), NULL);
	p0 = buf;
	digest = buf + 1;
	p1 = buf + 1 + digestlen;

	for (i = 0; i < n; i++) {
		EVP_MD_CTX *ctx;
		unsigned digestlen1;

		*p0 = C0;
		*p1 = C1;

#define	REQUIRE(x)	ATF_REQUIRE_MSG((x), "i=%zu", i)
		REQUIRE(ctx = EVP_MD_CTX_new());
		REQUIRE(EVP_DigestInit_ex(ctx, md, NULL));
		REQUIRE(EVP_DigestUpdate(ctx, C[i].in, C[i].inlen));
		REQUIRE(EVP_DigestFinal_ex(ctx, digest, &digestlen1));
#undef	REQUIRE
		ATF_CHECK_MSG(digestlen == digestlen1,
		    "i=%zu: expected %zu got %u", i, digestlen, digestlen1);
		EVP_MD_CTX_free(ctx);

		ATF_CHECK_MSG(memcmp(digest, C[i].out, digestlen) == 0,
		    "i=%zu", i);

		ATF_CHECK_EQ_MSG(*p0, C0, "expected 0x%x got 0x%hhx", C0, *p0);
		ATF_CHECK_EQ_MSG(*p1, C1, "expected 0x%x got 0x%hhx", C1, *p1);
	}

	free(buf);
}

/*
 * Test vectors from:
 *
 * https://csrc.nist.gov/Projects/Cryptographic-Algorithm-Validation-Program/Secure-Hashing#Testing
 */

ATF_TC(sha512_224);
ATF_TC_HEAD(sha512_224, tc)
{
	atf_tc_set_md_var(tc, "descr", "Test SHA512-224");
}
ATF_TC_BODY(sha512_224, tc)
{
	static const struct testcase C[] = {
		[0] = {
			.inlen = 0,
			.out = {
				0x6e,0xd0,0xdd,0x02, 0x80,0x6f,0xa8,0x9e,
				0x25,0xde,0x06,0x0c, 0x19,0xd3,0xac,0x86,
				0xca,0xbb,0x87,0xd6, 0xa0,0xdd,0xd0,0x5c,
				0x33,0x3b,0x84,0xf4,
			},
		},
		[1] = {
			.inlen = 1,
			.in = {
				0xcf,
			},
			.out = {
				0x41,0x99,0x23,0x9e, 0x87,0xd4,0x7b,0x6f,
				0xed,0xa0,0x16,0x80, 0x2b,0xf3,0x67,0xfb,
				0x6e,0x8b,0x56,0x55, 0xef,0xf6,0x22,0x5c,
				0xb2,0x66,0x8f,0x4a,
			},
		},
		/* SHA512_224ShortMsg.rsp, test case # 4 (Len = 32). */
		[2] = {
			.inlen = 4,
			.in = {
				0xc2,0xeb,0x0c,0x88,
			},
			.out = {
				0xc5,0xb9,0x7f,0x1e, 0x46,0xd9,0x1c,0x39,
				0x40,0xbe,0x8c,0xfe, 0xf1,0xe4,0x9b,0xaa,
				0x77,0xb4,0x75,0xdb, 0x94,0x3e,0x49,0xf0,
				0x0c,0xdd,0xbe,0x72,
			},
		},
		/* SHA512_224ShortMsg.rsp, test case # 28 (Len = 224). */
		[3] = {
			.inlen = 28,
			.in = {
				0x03,0xf8,0xcf,0x98, 0x03,0x5e,0xac,0x15,
				0x8f,0xf1,0x8f,0xd9, 0x3b,0x44,0xcd,0xb6,
				0x21,0x59,0x72,0x55, 0xd7,0xc3,0xd9,0x7a,
				0x9e,0x08,0x79,0x89,
			},
			.out = {
				0xe1,0xfc,0x5f,0x50, 0x8d,0xee,0xd8,0xbf,
				0x74,0x88,0x3b,0x6f, 0xde,0xf8,0xc3,0xe0,
				0xc8,0x63,0x06,0xe7, 0xf1,0xd6,0x30,0x0c,
				0xce,0x4d,0x36,0xdc,
			},
		},
		/* SHA512_224ShortMsg.rsp, test case # 117 (Len = 936). */
		[4] = {
			.inlen = 117,
			.in = {
				0x54,0xbf,0x37,0x59, 0x44,0xc0,0x02,0xcc,
				0xac,0x87,0xf5,0x5f, 0xf3,0xeb,0x58,0xc4,
				0x58,0x44,0xf6,0x2d, 0x91,0x7d,0xdd,0x03,
				0xb2,0x6b,0x5f,0xdb, 0x51,0x5d,0x5c,0xa6,
				0xe8,0xf5,0xc4,0x27, 0x7a,0x36,0x57,0xab,
				0x7a,0xdd,0xaf,0xf4, 0xe8,0xf5,0x81,0x76,
				0xbd,0xa6,0x20,0xc6, 0x89,0x4e,0x42,0x4f,
				0x5b,0xd3,0x07,0x47, 0xe1,0x37,0x37,0xe1,
				0xd0,0x6c,0xcb,0xc4, 0x86,0x6a,0xb0,0xbd,
				0xef,0x80,0xc7,0xb0, 0xa5,0xe7,0x30,0xd5,
				0x5b,0x9d,0xc8,0x20, 0x7b,0x70,0xf0,0x01,
				0x0e,0x59,0x91,0x4e, 0xdd,0x0c,0x5d,0x7e,
				0xd5,0xcd,0x57,0x17, 0xb0,0x85,0x95,0x69,
				0xd2,0x15,0x44,0x7d, 0x71,0xea,0xee,0x49,
				0xf9,0xd2,0xf8,0x25, 0xaf,
			},
			.out = {
				0x0c,0xd6,0x90,0x73, 0x6d,0xd1,0xf3,0x90,
				0x69,0x4f,0x65,0xc3, 0xb8,0x9e,0x0c,0xc2,
				0x26,0x9f,0x3b,0x82, 0x08,0xc8,0x06,0x92,
				0x9a,0x8f,0x8c,0xb9,
			},
		},
		/* SHA512_224LongMsg.rsp, test case # 5 (Len = 5776). */
		[5] = {
			.inlen = 722,
			.in = {
				0xda,0x1c,0xd2,0xf1, 0xc4,0xe9,0x0a,0xa6,
				0xc6,0xbd,0x4a,0xfc, 0xc9,0xe5,0x71,0xde,
				0x58,0xdc,0xe9,0xa4, 0xba,0xd4,0xe5,0x45,
				0x5e,0x93,0xe6,0xc8, 0x7d,0x80,0x84,0xfc,
				0xfa,0xfe,0x6b,0x69, 0x8d,0xf8,0xa4,0x86,
				0x20,0xbd,0x16,0x2d, 0x79,0x0f,0x4c,0x4b,
				0x1a,0x76,0x78,0xdc, 0x65,0xdb,0xb8,0x17,
				0x04,0x51,0x99,0xe5, 0x88,0x36,0xda,0x98,
				0x50,0x7b,0x72,0xda, 0xad,0x40,0xd3,0xe3,
				0x43,0xa4,0x71,0xf0, 0xb3,0xdb,0x7e,0xf0,
				0x77,0x81,0xf8,0x80, 0x0d,0x2d,0xe6,0x19,
				0x57,0x4a,0xdf,0x88, 0x42,0x22,0xcb,0x9f,
				0xa6,0x3c,0xee,0x2b, 0x6d,0xe8,0x22,0x26,
				0xf8,0x18,0x63,0x2d, 0xbe,0x71,0x91,0x34,
				0x36,0xa2,0x72,0x78, 0xf8,0xf5,0xf7,0xb5,
				0x1f,0x23,0xc0,0x99, 0xf1,0x6d,0xe1,0x79,
				0xc2,0xe8,0xe7,0x44, 0x15,0x19,0x16,0xb5,
				0x05,0xc1,0xf5,0xcc, 0xe3,0xfa,0x0d,0x7e,
				0x21,0x83,0xed,0xac, 0x6e,0x59,0x71,0x52,
				0x23,0x87,0x44,0x01, 0xde,0x3e,0xa4,0x8f,
				0x6c,0x28,0x65,0x0d, 0xed,0xfa,0x39,0xf9,
				0x32,0x49,0x2e,0xb5, 0x6a,0x9e,0x78,0x38,
				0xfe,0xcc,0x71,0x04, 0xb9,0x81,0xde,0x57,
				0x2c,0x1c,0x74,0xa6, 0x51,0xbe,0x9b,0x47,
				0x6e,0xa4,0x71,0x6e, 0x3c,0xb4,0x12,0x5a,
				0x49,0x55,0x17,0xd0, 0x9b,0x84,0x5c,0xc9,
				0x96,0x25,0x07,0x68, 0x20,0x96,0xc5,0x2e,
				0x02,0x8a,0x57,0x71, 0x91,0x15,0x4e,0x0a,
				0x8f,0x03,0x12,0x4f, 0x4c,0x6e,0x29,0x41,
				0x10,0x90,0xb6,0x06, 0xbd,0xd5,0x40,0x99,
				0xb1,0x34,0xb5,0xc0, 0xea,0xc0,0xaf,0x3e,
				0x6d,0x7a,0xf5,0x4a, 0xe8,0x6a,0x45,0x41,
				0x96,0xee,0x51,0x98, 0x63,0x51,0x07,0x14,
				0x51,0x9f,0x15,0x3d, 0x1a,0xb8,0xad,0x10,
				0x17,0xa4,0x85,0xf4, 0x60,0x26,0x23,0xef,
				0x35,0x94,0x57,0x1a, 0x9c,0xe5,0x09,0x52,
				0x4c,0x0c,0x34,0x31, 0xca,0x85,0x33,0x3c,
				0xd2,0x2d,0x3c,0x5e, 0xf8,0x56,0x2a,0x96,
				0x8f,0x1b,0x7f,0xec, 0xca,0xf1,0xa9,0xa9,
				0x21,0x7f,0x84,0xc7, 0xf6,0xb0,0x21,0xa7,
				0x79,0x06,0xc6,0x02, 0xc9,0x31,0x35,0x22,
				0x5c,0xe0,0x31,0x52, 0xa0,0xd7,0x3f,0x93,
				0xe2,0x41,0xaa,0x90, 0x70,0x48,0xc9,0xd4,
				0xfa,0xe4,0x84,0x3b, 0x3e,0xf0,0x15,0xa6,
				0xe5,0x83,0x0c,0xf3, 0xa7,0x7d,0x96,0x2d,
				0xb6,0x60,0xfe,0xff, 0x5a,0x62,0x74,0x6f,
				0xd8,0xc0,0x0e,0xc9, 0x99,0x54,0x0c,0xd8,
				0x88,0x6a,0x60,0x5c, 0xbc,0xd0,0x6e,0xb9,
				0x57,0x2c,0x10,0xed, 0xae,0x92,0xdd,0xc4,
				0xaa,0x56,0xab,0x4f, 0x6e,0x1f,0x52,0x92,
				0x39,0x3d,0xb3,0x7d, 0x8e,0x3d,0xf9,0x1e,
				0x93,0xba,0x1f,0x14, 0xb8,0x76,0xb3,0x47,
				0x98,0xa9,0xd9,0xd6, 0x24,0x98,0x92,0x51,
				0xfe,0x6a,0x3e,0x29, 0x23,0x37,0x60,0x64,
				0xcd,0x63,0xa2,0x95, 0x98,0x2a,0x19,0x0c,
				0xe3,0x7b,0xc9,0x4a, 0x79,0x0a,0x6c,0xb8,
				0x71,0xa1,0x6f,0x98, 0x52,0xb6,0x3e,0x3b,
				0x7b,0x43,0xc1,0x74, 0xc2,0xd2,0x26,0x4e,
				0x5c,0xd7,0xe2,0xfa, 0xfd,0x43,0xf2,0x0b,
				0x3f,0x56,0x67,0xe6, 0x48,0xb5,0x21,0x73,
				0xa7,0xbc,0xdb,0x19, 0x80,0x15,0x68,0xea,
				0xe9,0x8a,0x3b,0x1a, 0x93,0x17,0x2d,0xb6,
				0xad,0x44,0x7b,0x92, 0x05,0xb2,0x0e,0x84,
				0x71,0xf3,0x00,0xcf, 0x6d,0x9e,0x5b,0xe2,
				0x05,0xa3,0x24,0x43, 0xf6,0xdd,0x98,0xc6,
				0x10,0xe6,0xb5,0x02, 0xde,0x2f,0xfc,0x05,
				0x89,0x50,0x76,0x47, 0xfa,0x9c,0xf5,0xdd,
				0x3f,0xf9,0x9c,0xef, 0x30,0xef,0xa1,0x6c,
				0x52,0xfe,0x52,0xfc, 0xfb,0x35,0x56,0x37,
				0xb7,0x00,0x36,0x14, 0xeb,0x42,0x1c,0xa4,
				0xb8,0xa3,0xda,0x00, 0x22,0x2c,0x2d,0x80,
				0x72,0x11,0x43,0x2d, 0xd8,0xcd,0x7c,0x79,
				0x55,0x74,0x6e,0x2e, 0xd8,0x45,0x2b,0xa5,
				0xa8,0x7f,0xc6,0x38, 0x01,0x77,0x13,0xf9,
				0x02,0xe6,0xaf,0xa5, 0xc7,0x87,0x40,0xd3,
				0xd2,0xe2,0xfe,0x71, 0xaf,0x62,0x73,0x71,
				0xd7,0xae,0x7e,0xc0, 0xd6,0x36,0x9e,0x78,
				0xa9,0x0c,0x6d,0x56, 0x6a,0xf6,0x6b,0x6e,
				0x2f,0xc1,0xfd,0x1d, 0x2f,0xd8,0xb6,0x40,
				0x26,0x15,0xd4,0xa3, 0xfb,0xd6,0x0e,0xbd,
				0xa0,0x54,0x8d,0x9a, 0x3b,0x30,0x38,0x18,
				0x83,0x4f,0x34,0x56, 0x6c,0xe8,0xab,0x6a,
				0x06,0xdb,0xcd,0x52, 0xa2,0x45,0x15,0x2d,
				0x38,0x51,0xce,0xac, 0x05,0x51,0xd5,0xc3,
				0x78,0x0d,0xa0,0xa4, 0x4f,0x5a,0x7f,0xed,
				0xfe,0xef,0x22,0x20, 0x50,0x75,0x5c,0x55,
				0x50,0xdd,0x26,0x2b, 0x6a,0xf6,0xe7,0x04,
				0xce,0x3f,0xf3,0x72, 0x15,0xfa,0x51,0xec,
				0x27,0x81,0xc1,0xc6, 0x5c,0xdd,0xfd,0x60,
				0xe1,0x95,0x40,0x9d, 0x5e,0xc4,0x05,0x96,
				0xd5,0x6e,
			},
			.out = {
				0x4c,0xb0,0xba,0xad, 0xfd,0xa3,0x5e,0xaf,
				0x66,0xbf,0xbb,0x96, 0x09,0x5d,0xfc,0x04,
				0x9c,0x9c,0xb2,0x7d, 0xa2,0x4f,0x29,0xb9,
				0x51,0x13,0x48,0xe2,
			},
		},
	};

	check(C, __arraycount(C), 28, EVP_sha512_224());
}

ATF_TC(sha512_256);
ATF_TC_HEAD(sha512_256, tc)
{
	atf_tc_set_md_var(tc, "descr", "Test SHA512-256");
}
ATF_TC_BODY(sha512_256, tc)
{
	static const struct testcase C[] = {
		[0] = {
			.inlen = 0,
			.out = {
				0xc6,0x72,0xb8,0xd1, 0xef,0x56,0xed,0x28,
				0xab,0x87,0xc3,0x62, 0x2c,0x51,0x14,0x06,
				0x9b,0xdd,0x3a,0xd7, 0xb8,0xf9,0x73,0x74,
				0x98,0xd0,0xc0,0x1e, 0xce,0xf0,0x96,0x7a,
			},
		},
		[1] = {
			.inlen = 1,
			.in = {
				0xfa,
			},
			.out = {
				0xc4,0xef,0x36,0x92, 0x3c,0x64,0xe5,0x1e,
				0x87,0x57,0x20,0xe5, 0x50,0x29,0x8a,0x5a,
				0xb8,0xa3,0xf2,0xf8, 0x75,0xb1,0xe1,0xa4,
				0xc9,0xb9,0x5b,0xab, 0xf7,0x34,0x4f,0xef,
			},
		},
		/* SHA512_256ShortMsg.rsp, test case # 5 (Len = 40). */
		[2] = {
			.inlen = 5,
			.in = {
				0x77,0xd2,0xee,0x3f, 0xd1,
			},
			.out = {
				0x32,0x9d,0x0a,0xe2, 0x6d,0xf3,0x64,0x6f,
				0xb7,0xdb,0x0b,0x32, 0x2c,0xf1,0xf3,0x48,
				0x8d,0x53,0x81,0xf6, 0x6e,0xb3,0x76,0xfe,
				0xe4,0x0f,0x05,0x96, 0xd6,0xd9,0xdc,0x4b,
			},
		},
		/* SHA512_256ShortMsg.rsp, test case # 35 (Len = 280). */
		[3] = {
			.inlen = 35,
			.in = {
				0xce,0x88,0x5f,0xfb, 0x34,0x0f,0xd7,0xa4,
				0x3e,0x21,0x50,0x69, 0x9b,0x3f,0x98,0xef,
				0x33,0x42,0x70,0x03, 0x67,0x94,0xec,0x75,
				0x9a,0xa0,0x1d,0x29, 0xf0,0x87,0xed,0x6b,
				0x55,0x15,0x49,
			},
			.out = {
				0x10,0x71,0xf8,0xb5, 0x73,0x28,0xb7,0x67,
				0x20,0x9c,0x15,0xa4, 0x3e,0x1d,0x84,0x52,
				0x76,0x38,0x65,0xac, 0x93,0xd5,0x8f,0x93,
				0xc8,0x40,0x87,0x6c, 0x1a,0x5b,0x21,0xe0,
			},
		},
		/* SHA512_256ShortMsg.rsp, test case # 62 (Len = 496). */
		[4] = {
			.inlen = 62,
			.in = {
				0xb0,0x99,0xe1,0xb5, 0x23,0x48,0xf9,0x3a,
				0x6c,0x22,0x89,0x6c, 0x72,0x85,0x4a,0xb0,
				0x4f,0x2d,0xd3,0xd1, 0xf9,0x4c,0x5f,0xad,
				0x21,0xdd,0xd1,0x2e, 0x5b,0x35,0xf5,0x7c,
				0x80,0xdb,0x09,0x71, 0x50,0x99,0x7c,0x4e,
				0x5c,0xd3,0xf5,0xac, 0x24,0x18,0x97,0xb5,
				0x7c,0xf7,0x84,0x93, 0x34,0x14,0x9f,0x29,
				0xf7,0x7b,0x97,0x01, 0x74,0x33,
			},
			.out = {
				0x01,0xd5,0x82,0xc8, 0x2c,0xe6,0xe6,0xa8,
				0xc0,0xcf,0xa8,0x17, 0x92,0x11,0x0b,0xc9,
				0x50,0xfa,0x55,0xe3, 0x1c,0x10,0x1c,0xc6,
				0xf2,0xdf,0x6b,0x2a, 0xeb,0xc1,0x89,0x25,
			},
		},
		/* SHA512_256LongMsg.rsp, test case # 3 (Len = 4192). */
		[5] = {
			.inlen = 524,
			.in = {
				0x43,0x89,0xf5,0x29, 0x95,0xe8,0x15,0x50,
				0xcc,0x7e,0xe1,0x7f, 0xc5,0x46,0xbb,0xa0,
				0x8e,0x9e,0xd3,0x38, 0x70,0x42,0x48,0xf3,
				0x2d,0x7b,0x90,0x84, 0x86,0x94,0x19,0xab,
				0x00,0x8e,0x30,0x97, 0xe8,0x15,0x23,0x6f,
				0x95,0xb2,0xa2,0x2c, 0xed,0x41,0x6b,0xa9,
				0x2b,0xa6,0x27,0xfd, 0xdf,0xbc,0x8e,0x08,
				0x35,0x8e,0xd2,0x4c, 0x7b,0xca,0x3b,0xfe,
				0xde,0x72,0x0e,0x5d, 0x74,0xd5,0xb4,0x43,
				0x80,0xbe,0x18,0xfa, 0xf1,0xeb,0x51,0x50,
				0x2b,0xc0,0x81,0xee, 0x0a,0x3d,0xfd,0xe5,
				0x24,0x2e,0xae,0x8a, 0x4f,0xa1,0xb7,0x84,
				0x64,0x9d,0x57,0x23, 0x42,0x11,0x11,0xf4,
				0x15,0x0b,0x0b,0x92, 0xd8,0x2a,0xb5,0xbe,
				0x18,0x56,0xaa,0xb2, 0xfb,0xae,0xdb,0xb3,
				0x82,0xc2,0xea,0xe6, 0x0b,0x03,0xd4,0x64,
				0x1a,0x78,0xd3,0x90, 0x58,0xb2,0x83,0xa9,
				0xdc,0x01,0x43,0x9b, 0xaa,0xe8,0xde,0x1b,
				0x79,0xcf,0x6b,0xf2, 0xba,0xf8,0x71,0x99,
				0xd5,0xb4,0x4f,0x07, 0xb6,0xd7,0xdb,0xc7,
				0x88,0x69,0x4a,0x4d, 0xc0,0x9e,0x50,0x8a,
				0x5e,0x08,0x87,0xbe, 0x6f,0x0c,0x15,0x8e,
				0xd7,0x93,0x8a,0x56, 0x4d,0x01,0x07,0xc0,
				0xa7,0x6b,0xa5,0x96, 0x58,0x05,0x14,0xd4,
				0x37,0xd9,0x83,0x02, 0x82,0xbf,0xc0,0xc0,
				0x22,0x89,0xa1,0xa3, 0x30,0x7e,0xa2,0x3f,
				0xb9,0x0a,0xcf,0x85, 0xbe,0xb3,0xe5,0x50,
				0x7f,0x4f,0xb4,0x3a, 0xfa,0x74,0xc7,0xb4,
				0xae,0x31,0x47,0x56, 0xa4,0xfb,0x1d,0x73,
				0xb0,0xea,0x57,0xf1, 0xf5,0x26,0xcd,0x57,
				0xa7,0x9c,0x04,0x28, 0x15,0xf5,0x52,0x70,
				0xe6,0xc8,0x43,0x9c, 0xa2,0x0e,0x3c,0x8e,
				0x75,0xd7,0x5e,0xf1, 0x30,0x3c,0xad,0xca,
				0x91,0x95,0x72,0x50, 0xc4,0xec,0xde,0xfe,
				0x29,0xb1,0xef,0xe6, 0x58,0xae,0x98,0x48,
				0x63,0x3e,0x1c,0x63, 0x5b,0xba,0xbb,0x8b,
				0x15,0x35,0x90,0x7c, 0x2d,0x69,0xba,0xee,
				0x4c,0xf0,0xba,0x6a, 0xa7,0xb8,0x1c,0x5b,
				0xc8,0xb1,0x5a,0x68, 0x91,0xc8,0xfd,0x01,
				0x7e,0x19,0x05,0x38, 0x2a,0x60,0x8b,0xd3,
				0x15,0xb1,0xa5,0x9f, 0xa4,0x6a,0x8a,0x07,
				0x69,0x65,0xf6,0xe4, 0xa5,0x72,0xd0,0x97,
				0x0b,0x04,0x0b,0x56, 0xc7,0x2a,0xca,0xc3,
				0xbf,0xc1,0xc7,0xc3, 0x19,0xe9,0xf5,0x8d,
				0xfd,0xb5,0x64,0x01, 0x9c,0x27,0x65,0x3c,
				0x71,0x5b,0xf0,0x69, 0xc6,0x02,0x42,0xd9,
				0x7b,0x12,0xca,0x57, 0x03,0xbc,0x46,0xb5,
				0xaf,0x9f,0x2a,0xab, 0x2f,0x3b,0x41,0xe2,
				0x56,0xa8,0x96,0x4b, 0x1d,0x87,0x95,0xb5,
				0xeb,0x3a,0x6e,0x9f, 0x13,0x50,0xba,0x4a,
				0x9e,0x43,0x61,0x13, 0x4c,0x66,0xbb,0x00,
				0xd5,0x19,0xf5,0x99, 0x74,0x3f,0xb7,0xf9,
				0xa6,0xf2,0x03,0x24, 0x30,0x75,0x61,0x9b,
				0x5f,0x69,0x39,0x2e, 0x93,0x44,0x80,0x12,
				0xff,0x00,0x96,0x33, 0xaa,0x10,0x6f,0xcb,
				0xb9,0x98,0xf2,0x34, 0xf1,0xdd,0x9e,0xfb,
				0x78,0xfb,0x73,0x35, 0xdb,0xd6,0x10,0x16,
				0x55,0x52,0x19,0xbf, 0x4f,0xc7,0xdb,0x58,
				0x23,0xaf,0x33,0x5f, 0x25,0xa2,0xab,0x3f,
				0xe4,0x85,0xe7,0x25, 0xad,0xfe,0x40,0x0f,
				0x51,0x2a,0xae,0x26, 0x28,0x93,0xeb,0x4d,
				0x56,0x5c,0xd5,0xfa, 0x4d,0xbf,0x15,0x44,
				0x94,0xba,0xfe,0x3e, 0xc6,0x04,0xb7,0x84,
				0xdd,0x46,0x9d,0x13, 0xb0,0x88,0xe3,0x5e,
				0xbb,0xe9,0x7b,0x9e, 0x1f,0x94,0x3a,0x69,
				0xe9,0xef,0x37,0x86,
			},
			.out = {
				0x1a,0x12,0x0d,0xb1, 0xb4,0x8a,0x40,0x35,
				0x39,0x5b,0x5f,0x52, 0xe5,0x2d,0xec,0xb1,
				0xcc,0x9c,0x0c,0x50, 0x8b,0x41,0x14,0x55,
				0xa9,0xe3,0x34,0x46, 0xf4,0xd8,0xa8,0x7c,
			},
		},
	};

	check(C, __arraycount(C), 32, EVP_sha512_256());
}

ATF_TP_ADD_TCS(tp)
{

	ATF_TP_ADD_TC(tp, sha512_224);
	ATF_TP_ADD_TC(tp, sha512_256);

	return atf_no_error();
}
