// SPDX-License-Identifier: GPL-2.0-or-later
/* ----------------------------------------------------------------------- *
 *
 *   Copyright 2008 rPath, Inc. - All Rights Reserved
 *
 * ----------------------------------------------------------------------- */

/*
 * This is a host program to preprocess the CPU strings into a
 * compact format suitable for the setup code.
 */

#include <stdio.h>

#include "../include/asm/cpufeatures.h"
#include "../include/asm/vmxfeatures.h"
#include "../kernel/cpu/capflags.c"

int main(void)
{
        int i, j;
        const char *str;

        printf("#include <asm/cpufeaturemasks.h>\n\n");
        printf("static const char x86_cap_strs[] =\n");

        for (i = 0; i < NCAPINTS; i++) {
                for (j = 0; j < 32; j++) {
                        str = x86_cap_flags[i*32+j];

                        if (i == NCAPINTS-1 && j == 31) {
                                /* The last entry must be unconditional; this
                                   also consumes the compiler-added null
                                   character */
                                if (!str)
                                        str = "";
                                printf("\t\"\\x%02x\\x%02x\"\"%s\"\n",
                                       i, j, str);
                        } else if (str) {
                                printf("#if REQUIRED_MASK%d & (1 << %d)\n"
                                       "\t\"\\x%02x\\x%02x\"\"%s\\0\"\n"
                                       "#endif\n",
                                       i, j, i, j, str);
                        }
                }
        }
        printf("\t;\n");
        return 0;
}