// SPDX-License-Identifier: GPL-2.0-only
/*
 * Copyright 2024, Kajol Jain, IBM Corp.
 */

#include <stdio.h>
#include <stdlib.h>

#include "../event.h"
#include "misc.h"
#include "utils.h"

/*
 * A perf sampling test to check extended
 * reg support.
 */
static int check_extended_reg_test(void)
{
        /* Check for platform support for the test */
        SKIP_IF(!have_hwcap2(PPC_FEATURE2_ARCH_3_00));

         /* Skip for Generic compat PMU */
        SKIP_IF(check_for_generic_compat_pmu());

        /* Check if platform supports extended regs */
        platform_extended_mask = perf_get_platform_reg_mask();
        FAIL_IF(check_extended_regs_support());

        return 0;
}

int main(void)
{
        return test_harness(check_extended_reg_test, "check_extended_reg_test");
}