1 files changed, 83 insertions, 0 deletions
diff --git a/libcuda/cuobjdump.y b/libcuda/cuobjdump.y
new file mode 100644
index 0000000..0b20a83
--- /dev/null
+++ b/libcuda/cuobjdump.y
@@ -0,0 +1,83 @@
+	/*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)}
+		 |	;
+
+
+%%