/*
 * This file and its contents are supplied under the terms of the
 * Common Development and Distribution License ("CDDL"), version 1.0.
 * You may only use this file in accordance with the terms of version
 * 1.0 of the CDDL.
 *
 * A full copy of the text of the CDDL should have accompanied this
 * source.  A copy of the CDDL is also available via the Internet at
 * http://www.illumos.org/license/CDDL.
 */

/*
 * Copyright 2022 Oxide Computer Company
 */

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <strings.h>
#include <libgen.h>
#include <assert.h>

#include <sys/types.h>
#include <sys/sysmacros.h>
#include <sys/debug.h>
#include <sys/vmm.h>
#include <sys/vmm_dev.h>
#include <vmmapi.h>

#include "in_guest.h"

static const struct vcpu_cpuid_entry test_entries[] = {
	{
		.vce_function = 0,
		.vce_eax = 5,
		.vce_ebx = 0x74737552,
		.vce_edx = 0x4f206465,
		.vce_ecx = 0x65646978,
	},
	/* basic "std" leaf */
	{
		.vce_function = 1,
		.vce_eax = 0x100,
	},

	/* skip 2 for a hole */

	/* leaf with index matching */
	{
		.vce_function = 3,
		.vce_index = 0,
		.vce_flags = VCE_FLAG_MATCH_INDEX,
		.vce_eax = 0x300,
	},
	{
		.vce_function = 3,
		.vce_index = 1,
		.vce_flags = VCE_FLAG_MATCH_INDEX,
		.vce_eax = 0x301,
	},

	/* leaf with index matching and a hole */
	{
		.vce_function = 4,
		.vce_index = 0,
		.vce_flags = VCE_FLAG_MATCH_INDEX,
		.vce_eax = 0x400,
	},
	{
		.vce_function = 4,
		.vce_index = 2,
		.vce_flags = VCE_FLAG_MATCH_INDEX,
		.vce_eax = 0x402,
	},

	/* terminal "std" leaf */
	{
		.vce_function = 5,
		.vce_eax = 5,
		.vce_ebx = 5,
		.vce_edx = 5,
		.vce_ecx = 5,
	},

	/* base "extended" leaf */
	{
		.vce_function = 0x80000000,
		.vce_eax = 0x80000001,
	},
	/* index-match "extended" leaves */
	{
		.vce_function = 0x80000001,
		.vce_index = 0x0,
		.vce_flags = VCE_FLAG_MATCH_INDEX,
		.vce_eax = 0x8000,
	},
	{
		.vce_function = 0x80000001,
		.vce_index = 0x1,
		.vce_flags = VCE_FLAG_MATCH_INDEX,
		.vce_eax = 0x8001,
	},
};

int
main(int argc, char *argv[])
{
	const char *test_suite_name = basename(argv[0]);
	struct vmctx *ctx = NULL;
	int err;

	ctx = test_initialize(test_suite_name);

	err = test_setup_vcpu(ctx, 0, MEM_LOC_PAYLOAD, MEM_LOC_STACK);
	if (err != 0) {
		test_fail_errno(err, "Could not initialize vcpu0");
	}


	/* Start with test data using Intel-style fallback */
	int vmfd = vm_get_device_fd(ctx);

	struct vm_vcpu_cpuid_config cfg = {
		.vvcc_vcpuid = 0,
		.vvcc_flags = VCC_FLAG_INTEL_FALLBACK,
		.vvcc_nent = ARRAY_SIZE(test_entries),
		/* We trust the ioctl not to alter this const value */
		.vvcc_entries = (struct vcpu_cpuid_entry *)test_entries,
	};
	err = ioctl(vmfd, VM_SET_CPUID, &cfg);
	if (err != 0) {
		test_fail_errno(err, "ioctl(VM_SET_CPUID) failed");
	}

	struct vm_entry ventry = { 0 };
	struct vm_exit vexit = { 0 };

	do {
		const enum vm_exit_kind kind =
		    test_run_vcpu(ctx, 0, &ventry, &vexit);
		switch (kind) {
		case VEK_REENTR:
			break;
		case VEK_TEST_PASS:
			test_pass();
			break;
		case VEK_TEST_FAIL:
			test_fail_msg("failed result %rip: %x", vexit.rip);
			break;
		case VEK_UNHANDLED: {
			uint32_t val;
			if (vexit_match_inout(&vexit, false, IOP_TEST_VALUE, 4,
			    &val)) {
				/*
				 * The payload has requested switch to AMD-style
				 * fallback to run the second half of the test.
				 */
				cfg.vvcc_flags = 0;
				err = ioctl(vmfd, VM_SET_CPUID, &cfg);
				if (err != 0) {
					test_fail_errno(err,
					    "ioctl(VM_SET_CPUID) failed");
				}
				ventry_fulfill_inout(&vexit, &ventry, 0);
			} else {
				test_fail_vmexit(&vexit);
			}
			break;
		}

		default:
			test_fail_vmexit(&vexit);
			break;
		}
	} while (true);
}