/**********************************************************************
  Copyright(c) 2011-2018 Intel Corporation All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions
  are met:
    * Redistributions of source code must retain the above copyright
      notice, this list of conditions and the following disclaimer.
    * 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.
    * Neither the name of Intel Corporation nor the names of its
      contributors may be used to endorse or promote products derived
      from this software without specific prior written permission.

  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS 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 COPYRIGHT
  OWNER 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 <stdint.h>
#include <stdio.h>
#include <inttypes.h>
#include <string.h>
#include <stdlib.h>
#include "igzip_lib.h"

#define STATIC_INFLATE_FILE "static_inflate.h"

/**
 * @brief Prints a table of uint16_t elements to a file.
 * @param outfile: the file the table is printed to.
 * @param table: the table to be printed.
 * @param length: number of elements to be printed.
 * @param header: header to append in front of the table.
 * @param footer: footer to append at the end of the table.
 * @param begin_line: string printed at beginning of new line
 */
void fprint_uint16_table(FILE * outfile, uint16_t * table, uint64_t length, char *header,
			 char *footer, char *begin_line)
{
	int i;
	fprintf(outfile, "%s", header);
	for (i = 0; i < length - 1; i++) {
		if ((i & 7) == 0)
			fprintf(outfile, "\n%s", begin_line);
		else
			fprintf(outfile, " ");
		fprintf(outfile, "0x%04x,", table[i]);
	}

	if ((i & 7) == 0)
		fprintf(outfile, "\n%s", begin_line);
	else
		fprintf(outfile, " ");
	fprintf(outfile, "0x%04x", table[i]);
	fprintf(outfile, "%s", footer);

}

/**
 * @brief Prints a table of uint32_t elements to a file.
 * @param outfile: the file the table is printed to.
 * @param table: the table to be printed.
 * @param length: number of elements to be printed.
 * @param header: header to append in front of the table.
 * @param footer: footer to append at the end of the table.
 * @param begin_line: string printed at beginning of new line
 */
void fprint_uint32_table(FILE * outfile, uint32_t * table, uint64_t length, char *header,
			 char *footer, char *begin_line)
{
	int i;
	fprintf(outfile, "%s", header);
	for (i = 0; i < length - 1; i++) {
		if ((i & 3) == 0)
			fprintf(outfile, "\n%s", begin_line);
		else
			fprintf(outfile, " ");
		fprintf(outfile, "0x%08x,", table[i]);
	}

	if ((i & 3) == 0)
		fprintf(outfile, "%s", begin_line);
	else
		fprintf(outfile, " ");
	fprintf(outfile, "0x%08x", table[i]);
	fprintf(outfile, "%s", footer);

}

void fprint_header(FILE * output_file)
{
	fprintf(output_file, "#include \"igzip_lib.h\"\n\n");
	fprintf(output_file, "#define LONG_BITS_CHECK %d\n", ISAL_DECODE_LONG_BITS);
	fprintf(output_file, "#define SHORT_BITS_CHECK %d\n", ISAL_DECODE_SHORT_BITS);
	fprintf(output_file,
		"#if (LONG_BITS_CHECK == ISAL_DECODE_LONG_BITS) && (SHORT_BITS_CHECK == ISAL_DECODE_SHORT_BITS)\n"
		"# define ISAL_STATIC_INFLATE_TABLE\n"
		"#else\n"
		"# warning \"Incompatible compile time defines for optimized static inflate table.\"\n"
		"#endif\n\n");
}

int main(int argc, char *argv[])
{
	struct inflate_state state;
	FILE *file;
	uint8_t static_deflate_hdr = 3;
	uint8_t tmp_space[8];

	isal_inflate_init(&state);

	state.next_in = &static_deflate_hdr;
	state.avail_in = sizeof(static_deflate_hdr);
	state.next_out = tmp_space;
	state.avail_out = sizeof(tmp_space);

	isal_inflate(&state);

	file = fopen(STATIC_INFLATE_FILE, "w");

	if (file == NULL) {
		printf("Error creating file hufftables_c.c\n");
		return 1;
	}

	fprintf(file, "#ifndef STATIC_HEADER_H\n" "#define STATIC_HEADER_H\n\n");

	fprint_header(file);

	fprintf(file, "struct inflate_huff_code_large static_lit_huff_code = {\n");
	fprint_uint32_table(file, state.lit_huff_code.short_code_lookup,
			    sizeof(state.lit_huff_code.short_code_lookup) / sizeof(uint32_t),
			    "\t.short_code_lookup = {", "\t},\n\n", "\t\t");
	fprint_uint16_table(file, state.lit_huff_code.long_code_lookup,
			    sizeof(state.lit_huff_code.long_code_lookup) / sizeof(uint16_t),
			    "\t.long_code_lookup = {", "\t}\n", "\t\t");
	fprintf(file, "};\n\n");

	fprintf(file, "struct inflate_huff_code_small static_dist_huff_code = {\n");
	fprint_uint16_table(file, state.dist_huff_code.short_code_lookup,
			    sizeof(state.dist_huff_code.short_code_lookup) / sizeof(uint16_t),
			    "\t.short_code_lookup = {", "\t},\n\n", "\t\t");
	fprint_uint16_table(file, state.dist_huff_code.long_code_lookup,
			    sizeof(state.dist_huff_code.long_code_lookup) / sizeof(uint16_t),
			    "\t.long_code_lookup = {", "\t}\n", "\t\t");
	fprintf(file, "};\n\n");

	fprintf(file, "#endif\n");
	fclose(file);

	return 0;
}
