/*Yacc file for output of cuobjdump*/
%{
#include <stdio.h>

int yylex(void);
void yyerror(const char*);
extern void addCuobjdumpSection(int sectiontype);
void setCuobjdumparch(const char* arch);
void setCuobjdumpidentifier(const char* identifier);
void setCuobjdumpptxfilename(const char* filename);
void setCuobjdumpelffilename(const char* filename);
void setCuobjdumpsassfilename(const char* filename);
int elfserial = 1;
int ptxserial = 1;
FILE *ptxfile;
FILE *elffile;
FILE *sassfile;
char filename [1024];
%}
%union {
	char* string_value;
}
%token <string_value> H_SEPARATOR H_ARCH H_CODEVERSION H_PRODUCER H_HOST H_COMPILESIZE H_IDENTIFIER
%token <string_value> CODEVERSION
%token <string_value> STRING
%token <string_value> FILENAME
%token <string_value> DECIMAL
%token <string_value> PTXHEADER ELFHEADER
%token <string_value> PTXLINE
%token <string_value> ELFLINE
%token <string_value> SASSLINE
%token <string_value> IDENTIFIER
%token <string_value> NEWLINE

%%

program :	emptylines section
		|	program section;

emptylines	:	emptylines NEWLINE
			|	;

section :	PTXHEADER {
				addCuobjdumpSection(0);
				snprintf(filename, 1024, "_cuobjdump_%d.ptx", ptxserial++);
				ptxfile = fopen(filename, "w");
				setCuobjdumpptxfilename(filename);
			} headerinfo ptxcode {
				fclose(ptxfile);
			}
		|	ELFHEADER {
				addCuobjdumpSection(1);
				snprintf(filename, 1024, "_cuobjdump_%d.elf", elfserial);
				elffile = fopen(filename, "w");
				setCuobjdumpelffilename(filename);
			} headerinfo elfcode { 
				fclose(elffile);
				snprintf(filename, 1024, "_cuobjdump_%d.sass", elfserial++);
				sassfile = fopen(filename, "w");
				setCuobjdumpsassfilename(filename);
			} sasscode { 
				fclose(sassfile);
			};

headerinfo :	H_SEPARATOR NEWLINE
				H_ARCH IDENTIFIER NEWLINE
				H_CODEVERSION CODEVERSION NEWLINE
				H_PRODUCER IDENTIFIER NEWLINE
				H_HOST IDENTIFIER NEWLINE
				H_COMPILESIZE IDENTIFIER NEWLINE
				H_IDENTIFIER FILENAME {setCuobjdumparch($4); setCuobjdumpidentifier($19);};

ptxcode :	ptxcode PTXLINE {fprintf(ptxfile, "%s", $2);}
		|	;

elfcode :	elfcode ELFLINE {fprintf(elffile, "%s", $2);}
		|	;

sasscode :	sasscode SASSLINE {fprintf(sassfile, "%s", $2)}
		 |	;


%%