/*
 * Copyright (C) 2013-2019  Free Software Foundation, Inc.
 *
 * This file is part of GNU lightning.
 *
 * GNU lightning is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as published
 * by the Free Software Foundation; either version 3, or (at your option)
 * any later version.
 *
 * GNU lightning is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
 * License for more details.
 *
 * Authors:
 *	Paulo Cesar Pereira de Andrade
 */

#include <lightning.h>
#include <lightning/jit_private.h>
#include <stdio.h>
#include "lib/jit_names.c"

jit_int16_t	_szs[jit_code_last_code];

int
main(int argc, char *argv[])
{
    FILE		*fp;
    jit_word_t		 offset;
    int			 code, size, max;

    if ((fp = fopen(JIT_SIZE_PATH, "r")) == NULL)
	exit(-1);
    while (fscanf(fp, "%d %d\n", &code, &size) == 2) {
	if (_szs[code] < size)
	    _szs[code] = size;
    }
    fclose(fp);

    max = 0;
    for (offset = 0; offset < jit_code_last_code; offset++)
	if (max < _szs[offset])
	    max = _szs[offset];

    if ((fp = fopen(JIT_SIZE_PATH, "w")) == NULL)
	exit(-1);


#if __X64 || __X32
#  if __X64
    fprintf(fp, "#if __X64\n");
#    if __X64_32
    fprintf(fp, "#  if __X64_32\n");
#    else
    fprintf(fp, "#  if !__X64_32\n");
#    endif
#  else
    fprintf(fp, "#if __X32\n");
#  endif
#else
    fprintf(fp, "#if __WORDSIZE == %d\n", __WORDSIZE);
#endif
#if defined(__arm__)
#  if defined(__ARM_PCS_VFP)
    fprintf(fp, "#if defined(__ARM_PCS_VFP)\n");
#  else
    fprintf(fp, "#if !defined(__ARM_PCS_VFP)\n");
#  endif
#elif defined(__mips__)
#  if __WORDSIZE == 32
#    if NEW_ABI
    fprintf(fp, "#if NEW_ABI\n");
#    else
    fprintf(fp, "#if !NEW_ABI\n");
#    endif
#  endif
#elif defined(__powerpc__)
    fprintf(fp, "#if defined(__powerpc__)\n");
    fprintf(fp, "#if __BYTE_ORDER == %s\n",
	    __BYTE_ORDER == __BIG_ENDIAN ? "__BIG_ENDIAN" : "__LITTLE_ENDIAN");
#  if __WORDSIZE == 32
    fprintf(fp, "#if %s\n",
#    if !_CALL_SYSV
	   "!"
#    endif
	   "_CALL_SYSV"
	   );
#  endif
#endif
    fprintf(fp, "#define JIT_INSTR_MAX %d\n", max);
    for (offset = 0; offset < jit_code_last_code; offset++)
	fprintf(fp, "    %d,	/* %s */\n", _szs[offset], code_name[offset]);
#if defined(__arm__)
    fprintf(fp, "#endif /* __ARM_PCS_VFP */\n");
#elif defined(__mips__)
#  if __WORDSIZE == 32
    fprintf(fp, "#endif /* NEW_ABI */\n");
#  endif
#elif defined(__powerpc__)
    fprintf(fp, "#endif /* "
#  if !_CALL_SYSV
	    "!"
#  endif
	    "_CALL_SYSV"
	    " */\n");
    fprintf(fp, "#endif /* __BYTE_ORDER */\n");
    fprintf(fp, "#endif /* __powerpc__ */\n");
#endif
#if __X64 || __X32
#  if __X64
    fprintf(fp, "#  endif /* __X64_32 */\n");
    fprintf(fp, "#endif /* __X64 */\n");
#  else
    fprintf(fp, "#endif /* __X32 */\n");
#  endif
#else
    fprintf(fp, "#endif /* __WORDSIZE */\n");
#endif

    fclose(fp);

    return (0);
}