diff options
Diffstat (limited to 'cuobjdump_to_ptxplus/cuobjdump.y')
| -rw-r--r-- | cuobjdump_to_ptxplus/cuobjdump.y | 83 |
1 files changed, 0 insertions, 83 deletions
diff --git a/cuobjdump_to_ptxplus/cuobjdump.y b/cuobjdump_to_ptxplus/cuobjdump.y deleted file mode 100644 index 0b20a83..0000000 --- a/cuobjdump_to_ptxplus/cuobjdump.y +++ /dev/null @@ -1,83 +0,0 @@ - /*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)} - | ; - - -%% |
