URL https://opencores.org/ocsvn/sc2v/sc2v/trunk

Subversion Repositories sc2v

[/] [sc2v/] [trunk/] [src/] [sc2v_step1.y] - Blame information for rev 28

Go to most recent revision | Details | Compare with Previous | View Log


/* -----------------------------------------------------------------------------
 *
 *  SystemC to Verilog Translator v0.4
 *  Provided by OpenSoc Design
 *
 *  www.opensocdesign.com
 *
 * -----------------------------------------------------------------------------
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program 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 Library General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 */
 
 
%{
#include 
#include 
 
#include "sc2v_step1.h"
 
  int lineno = 1;
  int processfound = 0;
  int switchfound = 0;
  int lastswitch=0;
  int switchparenthesis[256];
  int ifdeffound = 0;
  char *processname, *processname2;
  char *fileregs;
  char *filename;
  int openedkeys = 0;
  int newline = 0;
  int reg_found = 0;
  int reglenght = 0;
  int writelenght = 0;
  int array_size=0;
  int integer_found=0;
  int regs_end;
  int i = 0;                    //for loops counter
  FILE *file;
  FILE *regs_file;
  char *regname, *regname2;
  char *lastword;               // Stores last WORD for use it in WRITE
  char *file_defines;
  FILE *FILE_DEFINES;
  char *file_writes;
  FILE *FILE_WRITES;            //FILE to store .write to know if it is a wire or reg
  int definefound = 0;
  int defineinvocationfound = 0;
  int opencorchfound = 0;
  int defineparenthesis = 0;
  int openedcase = 0;
  int writingvar=0;
 
  int default_break_found = 0;
  int default_found;
 
//Directives variables
  int translate;
  int verilog;
  int writemethod;
 
  void yyerror (const char *str)
  {
    fprintf (stderr, "line: %d error: %s\n", lineno, str);
  }
 
  int yywrap ()
  {
    return 1;
  }
 
  main ()
  {
    int i;
 
    defineslist = NULL;
    regslist = NULL;
 
    fprintf (stderr, "\nSystemC to Verilog Translator v0.4");
    fprintf (stderr,
             "\nProvided by OpenSoc http://www.opensocdesign.com\n\n");
    fprintf (stderr, "Parsing implementation file.......\n\n");
 
    processname = (char *) malloc (256 * sizeof (char));
    processname2 = (char *) malloc (256 * sizeof (char));
    fileregs = (char *) malloc (256 * sizeof (char));
 
    file_defines = (char *) malloc (256 * sizeof (char));
    strcpy (file_defines, (char *) "file_defines.sc2v");
    FILE_DEFINES = fopen (file_defines, (char *) "w");
 
    file_writes = (char *) malloc (256 * sizeof (char));
    strcpy (file_writes, (char *) "file_writes.sc2v");
    FILE_WRITES = fopen (file_writes, (char *) "w");
 
    lastword = (char *) malloc (sizeof (char) * 256);
 
    for (i = 0; i < 256; i++)
      switchparenthesis[i] = 0;
 
    translate = 1;
    verilog = 0;
    writemethod = 0;
 
    FILE *yyin = stdin;
    FILE *yyout = stdout;
    yyparse ();
    fclose (FILE_WRITES);
    fclose (FILE_DEFINES);
 
    fprintf (stderr, "\nDone\n\n");
  }
 
%}
 
%token NUMBER WORD SC_REG BOOL BIGGER LOWER OPENKEY CLOSEKEY WRITE WORD SYMBOL NEWLINE ENUM INCLUDE
%token COLON SEMICOLON RANGE OPENPAR CLOSEPAR TWODOUBLEPOINTS OPENCORCH CLOSECORCH SWITCH CASE DEFAULT BREAK
%token HEXA DEFINE READ TRANSLATEOFF TRANSLATEON VERILOGBEGIN VERILOGEND TAB DOLLAR MINEQ
%token VOID TTRUE TFALSE ENDFUNC INC DEC INTEGER EQUALS
%token PIFDEF PIFNDEF PENDDEF PELSE COMMENT
 
%% commands:    /* empty */
|commands command;
 
 
command:
endfunc
  |
  voidword
  |
  include
  |
  dollar
  |
  tab
  |
  read
  |
  sc_reg
  |
  integer
  |
  number
  |
  bool
  |
  word
  |
  symbol
  |
  write
  |
  newline
  |
  openkey
  |
  closekey
  |
  colon
  |
  semicolon
  |
  range
  |
  openpar
  |
  closepar
  |
  void
  |
  opencorch
  |
  closecorch
  |
  bigger
  |
  lower
  |
  switch
  |
  case_only
  |
  case_number
  |
  case_hexnumber
  |
  case_hexword
  |
  case_hexnumberword
  |
  case_word
  |
  case_default
  |
  break
  |
  hexa
  |
  definemacro
  |
  defineword
  |
  definenumber
  |
  translateoff
  |
  translateon
  |
  verilogbegin
  |
  verilogend
  |
  ifdef
  |
  ifndef
  |
  endif
  |
  pelse
  |
  ttrue
  |
  tfalse
  |
  increment
  |
  decrement
  |
  equal
  |
  minorequal
  |
  comment;
 
minorequal:
MINEQ
{
 //This rule is needed because <= in the step two could be confused with a non-blocking assignment
 defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "<1+");
        }
    }
  else if (verilog == 1)
    fprintf (file, "<=");
};
 
endfunc:
ENDFUNC
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          fprintf (file, "%s = ", processname);
        }
    }
  else if (verilog == 1)
    fprintf (file, "return ");
};
 
 
voidword:
VOID
{
  defineparenthesis = 0;
  if (verilog == 1)
    fprintf (file, " void");
};
 
 
include:
INCLUDE
{
  defineparenthesis = 0;
  if (verilog == 1)
    fprintf (file, " #include");
};
 
 
dollar:
DOLLAR
{
  defineparenthesis = 0;
  if (verilog == 1)
    fprintf (file, " $");
};
 
 
tab:
TAB
{
  defineparenthesis = 0;
  if (verilog == 1)
    fprintf (file, " \t");
};
 
read:
READ OPENPAR CLOSEPAR
{
  defineparenthesis = 0;
  if (verilog == 1)
    fprintf (file, ".read()");
 
}
 
defineword:
DEFINE WORD WORD
{
 
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "`define %s %s\n", (char *) $2, (char *) $3);
          defineslist = InsertDefine (defineslist, (char *) $2);
        }
      else
        {
          fprintf (FILE_DEFINES, "`define %s %s\n", (char *) $2, (char *) $3);
          defineslist = InsertDefine (defineslist, (char *) $2);
        }
    }
  else if (verilog == 1)
    fprintf (file, "#define %s %s\n", (char *) $2, (char *) $3);
 
};
 
definenumber:
DEFINE WORD NUMBER
{
 
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "`define %s %d\n", (char *) $2, (int) $3);
          defineslist = InsertDefine (defineslist, (char *) $2);
        }
      else
        {
          fprintf (FILE_DEFINES, "`define %s %d\n", (char *) $2, (int) $3);
          defineslist = InsertDefine (defineslist, (char *) $2);
        }
    }
  else if (verilog == 1)
    fprintf (file, "#define %s %d\n", (char *) $2, (int) $3);
 
};
 
 
definemacro:
DEFINE WORD OPENPAR CLOSEPAR
{
  defineparenthesis = 0;
  //Macro found
  if (translate == 1 && verilog == 0)
    {
      defineslist = InsertDefine (defineslist, (char *) $2);
 
      definefound = 1;
      if (processfound)
        fprintf (file, "`define %s ", (char *) $2);
      else
        fprintf (FILE_DEFINES, "`define %s ", (char *) $2);
    }
  else if (verilog == 1)
    fprintf (file, "#define %s ()", (char *) $2);
}
 
void:
WORD TWODOUBLEPOINTS WORD OPENPAR
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      strcpy (processname, (char *) $4);
      strcpy (processname2, (char *) $4);
      strcat (processname2, (char *) ".sc2v");
      strcpy (fileregs, (char *) $4);
      strcat (fileregs, (char *) "_regs.sc2v");
    }
  else if (verilog == 1)
    fprintf (file, " %s::%s()", (char *) $1, (char *) $3);
 
}
 
sc_reg:
SC_REG LOWER NUMBER BIGGER
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          writelenght=1;
          reglenght = $3;
          reg_found = 1;
        }
    }
};
 
integer:
INTEGER
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (regs_file, "integer ");
          integer_found = 1;
        }
    }
};
 
 
bool:
BOOL
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          writelenght=1;
          reglenght=0;
          reg_found = 1;
        }
    }
  else if (verilog == 1)
    fprintf (file, "bool");
}
 
;
 
range:
RANGE OPENPAR NUMBER COLON NUMBER CLOSEPAR
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        fprintf (file, "[%d:%d]", $3, $5);
      else if (definefound)
        fprintf (FILE_DEFINES, "[%d:%d]", $3, $5);
    }
  else if (verilog == 1)
    fprintf (file, ".range(%d,%d)", $3, $5);
}
 
;
 
number:
NUMBER
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
       if(opencorchfound && reg_found)
        fprintf (regs_file, "%d:0",$1-1);
       else
        fprintf (file, "%d", $1);
      else if (definefound)
        fprintf (FILE_DEFINES, "%d", $1);
    }
  else if (verilog == 1)
    fprintf (file, "%d", $1);
};
 
increment:
WORD INC
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
       if (processfound){
        regname2 = IsReg (regslist, (char *) $1);
        if (regname2 == NULL){
            fprintf (file, "%s=%s+1", (char *) $1,(char *)$1);
        }else
            fprintf (file, "%s=%s+1", regname2,regname2);
       }
  else if (verilog == 1)
    fprintf (file, "%s++ ", (char *) $1);
};
 
decrement:
WORD DEC
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
      if (processfound){
        regname2 = IsReg (regslist, (char *) $1);
        if (regname2 == NULL){
            fprintf (file, "%s=%s+1", (char *) $1,(char *)$1);
        }else
            fprintf (file, "%s=%s+1", regname2,regname2);
      }
  else if (verilog == 1)
    fprintf (file, "%s-- ", (char *) $1);
};
 
word:
WORD
{
 
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
          if(opencorchfound==0){
                strcpy (lastword, (char *) $1);
          }
 
      if (processfound)
        {
          if(lastswitch){
            openedcase=0;
          }else if (openedcase)
            {
              fprintf (file, " :\n");
 
              for (i = 0; i < openedkeys; i++)
                fprintf (file, "   ");
 
              fprintf(file,"begin\n");
              openedcase=0;
            }
 
                if (reg_found)
            {
              if(writelenght){
               writelenght=0;
               if(reglenght==0)
                fprintf (regs_file, "reg ");
               else
                fprintf (regs_file, "reg[%d:0] ", (-1 +reglenght));
              }
 
              regname = (char *) malloc (sizeof (char) * (strlen ((char *) $1) + 1));
              regname2 = (char *) malloc (sizeof (char) * (strlen ((char *) $1) + strlen (processname)) + 1);
              strcpy (regname, (char *) $1);
              strcpy (regname2, (char *) $1);
              strcat (regname2, processname);
              fprintf (regs_file, "%s", regname2);
 
              regslist = InsertReg (regslist, regname, regname2);
              free (regname);
              free (regname2);
            }
          else if(integer_found){
              regname = (char *) malloc (sizeof (char) * (strlen ((char *) $1) + 1));
              regname2 = (char *) malloc (sizeof (char) * (strlen ((char *) $1) + strlen (processname)) + 1);
              strcpy (regname, (char *) $1);
              strcpy (regname2, (char *) $1);
              strcat (regname2, processname);
              fprintf (regs_file, "%s;\n", regname2);
 
              regslist = InsertReg (regslist, regname, regname2);
 
              //After adding to list print it
              fprintf (file, "%s ", regname2);
              integer_found=0;
              free (regname);
              free (regname2);
 
          }else
            {
              if (newline)
                {
                  for (i = 0; i < openedkeys; i++)
                    fprintf (file, "   ");
                }
              regname2 = IsReg (regslist, (char *) $1);
              if (regname2 == NULL)
                {
 
                  if (IsDefine (defineslist, (char *) $1))
                    {
                      if (ifdeffound == 0)
                        {
                          fprintf (file, "`%s", (char *) $1);
                          defineinvocationfound = 1;
                        }
                      else
                        {
                          fprintf (file, "%s", (char *) $1);
                          ifdeffound = 0;
                        }
                    }
                  else
                    {
                      fprintf (file, "%s ", (char *) $1);
                    }
                }
              else
                fprintf (file, "%s", regname2);
 
              newline = 0;
            }
 
        }
      else if (definefound)
        {
 
          if (IsDefine (defineslist, (char *) $1))
            {
 
              fprintf (FILE_DEFINES, "`%s", (char *) $1);
            }
          else
            {
              fprintf (FILE_DEFINES, "%s ", (char *) $1);
            }
        }
    }
  else if (verilog == 1)
    fprintf (file, "%s ", (char *) $1);
  lastswitch=0;
};
 
symbol:
SYMBOL
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          if (reg_found)
            fprintf (regs_file, "%s", (char *) $1);
          else
            fprintf (file, "%s", (char *) $1);
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "%s", (char *) $1);
        }
    }
  else if (verilog == 1)
    fprintf (file, "%s", (char *) $1);
};
 
equal:
EQUALS
{
  defineparenthesis = 0;
  reg_found=0;
  if (translate == 1 && verilog == 0)
  {
   if (processfound)
        fprintf (file, "=");
        writingvar=1;
  }
  else if (definefound)
    fprintf (FILE_DEFINES, "=");
  else if (verilog == 1)
    fprintf (file, "=");
 
}
 
write:
WRITE
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      writemethod = 1;
      if (processfound)
        {
          fprintf (file, " <= ");
          fprintf (FILE_WRITES, "%s\n", lastword);
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, " <= ");
        }
 
    }
  else if (verilog == 1)
    {
      fprintf (file, ".write");
    }
};
 
newline:
NEWLINE
{
  defineparenthesis = 0;
  writingvar=0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound & !reg_found & !openedcase)
        {
          fprintf (file, "\n");
          newline = 1;
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "\n");
        }
 
    }
  else if (verilog == 1)
    fprintf (file, "\n");
};
 
colon:
COLON
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          if (reg_found)
            {
              fprintf (regs_file, ",");
            }
          else
            fprintf (file, ",");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, ",");
        }
    }
  else if (verilog == 1)
    fprintf (file, ",");
};
 
semicolon:
SEMICOLON
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          if (reg_found)
            {
              fprintf (regs_file, ";\n");
              reg_found = 0;
            }
          else
            {
            if (defineinvocationfound == 0 || writingvar)
                  fprintf (file, ";");
            }
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, ";");
        }
    }
  else if (verilog == 1)
    fprintf (file, ";");
 
  writingvar=0;
  defineinvocationfound = 0;
};
 
 
openpar:
OPENPAR
{
  defineparenthesis = 1;
  if (translate == 1 && verilog == 0 && defineinvocationfound == 0)
    {
      if (processfound)
        {
          fprintf (file, "(");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "(");
        }
 
    }
  else if (verilog == 1)
    {
      fprintf (file, "(");
    }
  //If par after a sc_reg declaration the declaration is a type cast
  reg_found=0;
}
 
closepar:
CLOSEPAR
{
  if (translate == 1 && verilog == 0)
    {
 
      if (processfound)
        {
          if (defineparenthesis == 0)
            {
              fprintf (file, ")");
              defineinvocationfound = 0;
            }
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, ")");
        }
    }
  else if (verilog == 1)
    fprintf (file, ")");
 
};
 
 
opencorch:
OPENCORCH
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          opencorchfound = 1;
          if (reg_found)
            {
              fprintf (regs_file, "[");
            }
          else
            fprintf (file, "[");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "[");
 
        }
    }
  else if (verilog == 1)
    fprintf (file, "[");
};
 
closecorch:
CLOSECORCH
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
          {
          opencorchfound = 0;
          if (reg_found)
            {
              fprintf (regs_file, "]");
            }
          else
            fprintf (file, "]");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "]");
        }
    }
  else if (verilog == 1)
    fprintf (file, "]");
};
 
 
openkey:
OPENKEY
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      openedkeys++;
      if (!definefound)
        {
          if (openedkeys == 1)
            {
              printf ("Found process %s\n", processname);
              file = fopen (processname2, (char *) "w");
              regs_file = fopen (fileregs, (char *) "w");
              processfound = 1;
            }
          if (processfound)
            if (openedkeys != switchparenthesis[switchfound])
              {
                fprintf (file, "\n");
                for (i = 0; i < openedkeys; i++)
                  fprintf (file, "   ");
                fprintf (file, "begin\n");
                newline = 1;
              }
        }
    }
  else if (verilog == 1)
    fprintf (file, "{");
};
 
closekey:
CLOSEKEY
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound && !definefound)
        {
          if (openedkeys == switchparenthesis[switchfound] && switchfound > 0)
            {
              fprintf (file, "\n");
              if (default_found & !default_break_found)
                {
                  for (i = 0; i < openedkeys - 1; i++)
                    fprintf (file, "   ");
                  fprintf (file, "end\n");
                  default_found = 0;
                }
              for (i = 0; i < openedkeys - 1; i++)
                fprintf (file, "   ");
              fprintf (file, "endcase\n");
              newline = 1;
              switchparenthesis[switchfound] = 0;
              switchfound--;
 
            }
          else
            {
              fprintf (file, "\n");
              for (i = 0; i < openedkeys; i++)
                fprintf (file, "   ");
              fprintf (file, "end\n");
              newline = 1;
            }
        }
 
      openedkeys--;
      if (definefound)
        {
          definefound = 0;
          if (processfound)
            fprintf (file, "\n//Dummy Comment\n");
          else
            fprintf (FILE_DEFINES, "\n//Dummy Comment\n");
        }
      else if (openedkeys == 0)
        {
          fclose (file);
          fclose (regs_file);
          processfound = 0;
        }
    }
  else if (verilog == 1)
    fprintf (file, "}");
};
 
 
bigger:
BIGGER
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, ">");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, ">");
        }
    }
  else if (verilog == 1)
    fprintf (file, ">");
};
 
lower:
LOWER
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "<");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "<");
        }
    }
  else if (verilog == 1)
    fprintf (file, "<");
};
 
 
switch:
SWITCH
  {
    defineparenthesis = 0;
    lastswitch=1;
    if (translate == 1 && verilog == 0)
      {
        if (processfound && !openedcase)
          {
            fprintf (file, "\n");
            for (i = 0; i < openedkeys; i++)
              fprintf (file, "   ");
            fprintf (file, "case");
            switchfound++;
            switchparenthesis[switchfound] = openedkeys + 1;
          }else if (processfound)
          {
            fprintf (file, ":\n");
            for (i = 0; i < openedkeys; i++)
              fprintf (file, "   ");
            fprintf(file,"begin\n");
            for (i = 0; i < openedkeys; i++)
              fprintf (file, "   ");
            fprintf (file, "case");
            switchfound++;
            switchparenthesis[switchfound] = openedkeys + 1;
          }
      }
    else if (verilog == 1)
      fprintf (file, "switch");
  };
 
case_number:
CASE NUMBER SYMBOL
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
         if (!openedcase)
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          if (openedcase)
            fprintf (file, ", %d", $2);
          else
            fprintf (file, "%d", $2);
 
          newline = 1;
          openedcase = 1;
 
        }
    }
  else if (verilog == 1)
    fprintf (file, "case %d %s", $2, (char *) $3);
};
 
case_hexnumber:
CASE HEXA NUMBER SYMBOL
{
  //Is a dec number
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
         if (!openedcase)
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          if (openedcase)
            fprintf (file, ", 'h%d", $3);
          else
            fprintf (file, "'h%d", $3);
 
          newline = 1;
          openedcase = 1;
 
        }
    }
  else if (verilog == 1)
    fprintf (file, "case %d %s", $3, (char *) $4);
};
 
case_hexword:
CASE HEXA WORD SYMBOL
{
  //Begin with a-F
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
         if (!openedcase)
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          if (openedcase)
            fprintf (file, ", 'h%s", (char *)$3);
          else
            fprintf (file, "'h%s", (char *)$3);
 
          newline = 1;
          openedcase = 1;
 
        }
    }
  else if (verilog == 1)
    fprintf (file, "case 0x%s %s", (char *)$3, (char *) $4);
};
 
case_hexnumberword:
CASE HEXA NUMBER WORD SYMBOL
{
  //Hex number beginning with dec number
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
         if (!openedcase)
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          if (openedcase)
            fprintf (file, ", 'h%d%s", $3,(char *)$4);
          else
            fprintf (file, "'h%d%s", $3,(char *)$4);
 
          newline = 1;
          openedcase = 1;
 
        }
    }
  else if (verilog == 1)
    fprintf (file, "case %d%s %s", $3, (char *) $4, (char *)$5);
};
 
case_word:
CASE WORD SYMBOL
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
         if (!openedcase)
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          if (openedcase){
            if (IsDefine (defineslist, (char *) $2))
              fprintf (file, ", `%s", (char *) $2);
                else
                  fprintf (file, ", %s", (char *) $2);
          }else{
            if (IsDefine (defineslist, (char *) $2))
              fprintf (file, "`%s", (char *) $2);
                else
                  fprintf (file, "%s", (char *) $2);
      }
          newline = 1;
          openedcase = 1;
 
        }
    }
  else if (verilog == 1)
    fprintf (file, "case %s %s", (char *) $2, (char *) $3);
};
 
case_default:
DEFAULT SYMBOL
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
         if (!openedcase)
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          fprintf (file, "default:\n");
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          fprintf (file, "begin\n");
          newline = 1;
          default_found = 1;
        }
    }
  else if (verilog == 1)
    fprintf (file, "default %s", (char *) $2);
};
 
case_only:
CASE OPENPAR
{
  defineparenthesis = 0;
  //This rule occurs when in Verilog mode a case appears
  if (verilog == 1)
    fprintf (file, "case(");
};
 
break:
BREAK SEMICOLON
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          if (newline == 0)
            fprintf (file, "\n");
          for (i = 0; i < openedkeys; i++)
            fprintf (file, "   ");
          fprintf (file, "end\n");
          if (default_found)
            {
              default_break_found = 1;
            }
        }
    }
  else if (verilog == 1)
    fprintf (file, "break;");
};
 
hexa:
HEXA
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "'h");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "'h");
        }
    }
  else if (verilog == 1)
    fprintf (file, "0x");
};
 
translateoff:
TRANSLATEOFF
{
  defineparenthesis = 0;
  translate = 0;
  fprintf (stderr, "line: %d Found Translate off directive \n", lineno);
};
 
translateon:
TRANSLATEON
{
  defineparenthesis = 0;
  translate = 1;
  fprintf (stderr, "line: %d Found Translate on directive \n", lineno);
};
 
verilogbegin:
VERILOGBEGIN
{
  defineparenthesis = 0;
  verilog = 1;
  fprintf (stderr, "line: %d Found Verilog Begin directive \n", lineno);
};
 
verilogend:
VERILOGEND
{
  defineparenthesis = 0;
  verilog = 0;
  fprintf (stderr, "line: %d Found Verilog End directive \n", lineno);
};
 
ifdef:
PIFDEF
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          ifdeffound = 1;
          fprintf (file, "`ifdef");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "`ifdef");
        }
    }
  else if (verilog == 1)
    fprintf (file, "#ifdef");
};
 
ifndef:
PIFNDEF
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          ifdeffound = 1;
          fprintf (file, "`ifndef");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "`ifndef");
        }
    }
  else if (verilog == 1)
    fprintf (file, "#ifndef");
};
 
endif:
PENDDEF
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "`endif");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "`endif");
        }
    }
  else if (verilog == 1)
    fprintf (file, "#endif");
};
 
pelse:
PELSE
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "`else");
        }
      else if (definefound)
        {
          fprintf (FILE_DEFINES, "`else");
        }
    }
  else if (verilog == 1)
    fprintf (file, "#else");
};
 
ttrue:
TTRUE
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "1");
        }
    }
  else if (verilog == 1)
    fprintf (file, "1");
};
 
 
tfalse:
TFALSE
{
  defineparenthesis = 0;
  if (translate == 1 && verilog == 0)
    {
      if (processfound)
        {
          fprintf (file, "0");
        }
    }
  else if (verilog == 1)
    fprintf (file, "0");
};
 
comment:
COMMENT
{
if(processfound){
  //To manage comments inside switch statements
  if(lastswitch){
        openedcase=0;
  }else if (openedcase){
        fprintf (file, " :\n");
      for (i = 0; i < openedkeys; i++)
                fprintf (file, "   ");
        fprintf(file,"begin\n");
        openedcase=0;
  }
  //indent
  if(newline){
    for (i = 0; i < openedkeys; i++)
          fprintf (file, "   ");
        newline=0;
  }
  fprintf (file, " %s", (char *)$1);
 }
}

Line No.	Rev	Author	Line
1	2	jcastillo	`/* -----------------------------------------------------------------------------`
2			`*`
3	16	jcastillo	`* SystemC to Verilog Translator v0.4`
4	2	jcastillo	`* Provided by OpenSoc Design`
5			`*`
6			`* www.opensocdesign.com`
7			`*`
8			`* -----------------------------------------------------------------------------`
9			`* This program is free software; you can redistribute it and/or modify`
10			`* it under the terms of the GNU General Public License as published by`
11			`* the Free Software Foundation; either version 2 of the License, or`
12			`* (at your option) any later version.`
13			`*`
14			`* This program is distributed in the hope that it will be useful,`
15			`* but WITHOUT ANY WARRANTY; without even the implied warranty of`
16			`* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the`
17			`* GNU Library General Public License for more details.`
18			`*`
19			`* You should have received a copy of the GNU General Public License`
20			`* along with this program; if not, write to the Free Software`
21			`* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.`
22			`*/`
23
24
25			`%{`
26			`#include`
27			`#include`
28
29	14	jcastillo	`#include "sc2v_step1.h"`
30	2	jcastillo
31	16	jcastillo	`int lineno = 1;`
32	12	jcastillo	`int processfound = 0;`
33			`int switchfound = 0;`
34	23	jcastillo	`int lastswitch=0;`
35	12	jcastillo	`int switchparenthesis[256];`
36			`int ifdeffound = 0;`
37			`char processname, processname2;`
38			`char *fileregs;`
39			`char *filename;`
40			`int openedkeys = 0;`
41			`int newline = 0;`
42			`int reg_found = 0;`
43	25	jcastillo	`int reglenght = 0;`
44			`int writelenght = 0;`
45	20	jcastillo	`int array_size=0;`
46	19	jcastillo	`int integer_found=0;`
47	12	jcastillo	`int regs_end;`
48			`int i = 0; //for loops counter`
49			`FILE *file;`
50			`FILE *regs_file;`
51			`char regname, regname2;`
52			`char *lastword; // Stores last WORD for use it in WRITE`
53			`char *file_defines;`
54			`FILE *FILE_DEFINES;`
55			`char *file_writes;`
56			`FILE *FILE_WRITES; //FILE to store .write to know if it is a wire or reg`
57			`int definefound = 0;`
58			`int defineinvocationfound = 0;`
59			`int opencorchfound = 0;`
60			`int defineparenthesis = 0;`
61			`int openedcase = 0;`
62	28	jcastillo	`int writingvar=0;`
63	2	jcastillo
64	12	jcastillo	`int default_break_found = 0;`
65			`int default_found;`
66	2	jcastillo
67	4	jcastillo	`//Directives variables`
68	12	jcastillo	`int translate;`
69			`int verilog;`
70			`int writemethod;`
71	4	jcastillo
72	12	jcastillo	`void yyerror (const char *str)`
73			`{`
74	15	jcastillo	`fprintf (stderr, "line: %d error: %s\n", lineno, str);`
75	12	jcastillo	`}`
76	2	jcastillo
77	12	jcastillo	`int yywrap ()`
78			`{`
79			`return 1;`
80			`}`
81	2	jcastillo
82	12	jcastillo	`main ()`
83			`{`
84			`int i;`
85	10	jcastillo
86	16	jcastillo	`defineslist = NULL;`
87			`regslist = NULL;`
88	2	jcastillo
89	18	jcastillo	`fprintf (stderr, "\nSystemC to Verilog Translator v0.4");`
90	16	jcastillo	`fprintf (stderr,`
91			`"\nProvided by OpenSoc http://www.opensocdesign.com\n\n");`
92			`fprintf (stderr, "Parsing implementation file.......\n\n");`
93
94	14	jcastillo	`processname = (char ) malloc (256 sizeof (char));`
95			`processname2 = (char ) malloc (256 sizeof (char));`
96			`fileregs = (char ) malloc (256 sizeof (char));`
97	12	jcastillo
98	14	jcastillo	`file_defines = (char ) malloc (256 sizeof (char));`
99	12	jcastillo	`strcpy (file_defines, (char *) "file_defines.sc2v");`
100			`FILE_DEFINES = fopen (file_defines, (char *) "w");`
101	16	jcastillo
102	14	jcastillo	`file_writes = (char ) malloc (256 sizeof (char));`
103	12	jcastillo	`strcpy (file_writes, (char *) "file_writes.sc2v");`
104			`FILE_WRITES = fopen (file_writes, (char *) "w");`
105
106	16	jcastillo	`lastword = (char ) malloc (sizeof (char) 256);`
107	12	jcastillo
108			`for (i = 0; i < 256; i++)`
109			`switchparenthesis[i] = 0;`
110
111			`translate = 1;`
112			`verilog = 0;`
113			`writemethod = 0;`
114	16	jcastillo
115			`FILE *yyin = stdin;`
116			`FILE *yyout = stdout;`
117	12	jcastillo	`yyparse ();`
118			`fclose (FILE_WRITES);`
119			`fclose (FILE_DEFINES);`
120	16	jcastillo
121			`fprintf (stderr, "\nDone\n\n");`
122	12	jcastillo	`}`
123
124	2	jcastillo	`%}`
125
126	16	jcastillo	`%token NUMBER WORD SC_REG BOOL BIGGER LOWER OPENKEY CLOSEKEY WRITE WORD SYMBOL NEWLINE ENUM INCLUDE`
127			`%token COLON SEMICOLON RANGE OPENPAR CLOSEPAR TWODOUBLEPOINTS OPENCORCH CLOSECORCH SWITCH CASE DEFAULT BREAK`
128	19	jcastillo	`%token HEXA DEFINE READ TRANSLATEOFF TRANSLATEON VERILOGBEGIN VERILOGEND TAB DOLLAR MINEQ`
129			`%token VOID TTRUE TFALSE ENDFUNC INC DEC INTEGER EQUALS`
130	28	jcastillo	`%token PIFDEF PIFNDEF PENDDEF PELSE COMMENT`
131	2	jcastillo
132	16	jcastillo	`%% commands: /* empty */`
133	12	jcastillo	`\|commands command;`
134	2	jcastillo
135
136			`command:`
137	16	jcastillo	`endfunc`
138			`\|`
139	12	jcastillo	`voidword`
140			`\|`
141			`include`
142			`\|`
143			`dollar`
144			`\|`
145			`tab`
146			`\|`
147			`read`
148			`\|`
149	16	jcastillo	`sc_reg`
150	12	jcastillo	`\|`
151	19	jcastillo	`integer`
152			`\|`
153	12	jcastillo	`number`
154			`\|`
155			`bool`
156			`\|`
157			`word`
158			`\|`
159			`symbol`
160			`\|`
161			`write`
162			`\|`
163			`newline`
164			`\|`
165			`openkey`
166			`\|`
167			`closekey`
168			`\|`
169			`colon`
170			`\|`
171			`semicolon`
172			`\|`
173			`range`
174			`\|`
175			`openpar`
176			`\|`
177	19	jcastillo	`closepar`
178			`\|`
179			`void`
180			`\|`
181			`opencorch`
182			`\|`
183			`closecorch`
184			`\|`
185			`bigger`
186			`\|`
187			`lower`
188			`\|`
189			`switch`
190			`\|`
191			`case_only`
192			`\|`
193			`case_number`
194			`\|`
195			`case_hexnumber`
196			`\|`
197	24	jcastillo	`case_hexword`
198			`\|`
199			`case_hexnumberword`
200			`\|`
201	19	jcastillo	`case_word`
202			`\|`
203			`case_default`
204			`\|`
205			`break`
206			`\|`
207			`hexa`
208			`\|`
209			`definemacro`
210			`\|`
211			`defineword`
212			`\|`
213			`definenumber`
214			`\|`
215			`translateoff`
216			`\|`
217			`translateon`
218			`\|`
219			`verilogbegin`
220			`\|`
221			`verilogend`
222			`\|`
223			`ifdef`
224	27	jcastillo	`\|`
225			`ifndef`
226	19	jcastillo	`\|`
227			`endif`
228			`\|`
229			`pelse`
230			`\|`
231			`ttrue`
232			`\|`
233			`tfalse`
234			`\|`
235			`increment`
236			`\|`
237			`decrement`
238			`\|`
239			`equal`
240			`\|`
241	28	jcastillo	`minorequal`
242			`\|`
243			`comment;`
244	2	jcastillo
245	19	jcastillo	`minorequal:`
246			`MINEQ`
247			`{`
248			`//This rule is needed because <= in the step two could be confused with a non-blocking assignment`
249			`defineparenthesis = 0;`
250			`if (translate == 1 && verilog == 0)`
251			`{`
252			`if (processfound)`
253			`{`
254			`fprintf (file, "<1+");`
255			`}`
256			`}`
257			`else if (verilog == 1)`
258			`fprintf (file, "<=");`
259			`};`
260	4	jcastillo
261	16	jcastillo	`endfunc:`
262			`ENDFUNC`
263			`{`
264			`defineparenthesis = 0;`
265			`if (translate == 1 && verilog == 0)`
266			`{`
267			`if (processfound)`
268			`{`
269			`for (i = 0; i < openedkeys; i++)`
270			`fprintf (file, " ");`
271			`fprintf (file, "%s = ", processname);`
272			`}`
273			`}`
274			`else if (verilog == 1)`
275			`fprintf (file, "return ");`
276			`};`
277	12	jcastillo
278	16	jcastillo
279	4	jcastillo	`voidword:`
280	12	jcastillo	`VOID`
281			`{`
282			`defineparenthesis = 0;`
283			`if (verilog == 1)`
284			`fprintf (file, " void");`
285			`};`
286	4	jcastillo
287	12	jcastillo
288	4	jcastillo	`include:`
289	12	jcastillo	`INCLUDE`
290			`{`
291			`defineparenthesis = 0;`
292			`if (verilog == 1)`
293			`fprintf (file, " #include");`
294			`};`
295	4	jcastillo
296
297			`dollar:`
298	12	jcastillo	`DOLLAR`
299			`{`
300			`defineparenthesis = 0;`
301			`if (verilog == 1)`
302			`fprintf (file, " $");`
303			`};`
304	4	jcastillo
305
306			`tab:`
307	12	jcastillo	`TAB`
308			`{`
309			`defineparenthesis = 0;`
310			`if (verilog == 1)`
311			`fprintf (file, " \t");`
312			`};`
313
314	2	jcastillo	`read:`
315	12	jcastillo	`READ OPENPAR CLOSEPAR`
316			`{`
317			`defineparenthesis = 0;`
318			`if (verilog == 1)`
319			`fprintf (file, ".read()");`
320	4	jcastillo
321	12	jcastillo	`}`
322
323			`defineword:`
324			`DEFINE WORD WORD`
325			`{`
326	16	jcastillo
327	12	jcastillo	`defineparenthesis = 0;`
328			`if (translate == 1 && verilog == 0)`
329			`{`
330			`if (processfound)`
331			`{`
332			fprintf (file, "`define %s %s\n", (char ) $2, (char ) $3);
333	16	jcastillo	`defineslist = InsertDefine (defineslist, (char *) $2);`
334	12	jcastillo	`}`
335			`else`
336			`{`
337			fprintf (FILE_DEFINES, "`define %s %s\n", (char ) $2, (char ) $3);
338	16	jcastillo	`defineslist = InsertDefine (defineslist, (char *) $2);`
339	12	jcastillo	`}`
340			`}`
341			`else if (verilog == 1)`
342			`fprintf (file, "#define %s %s\n", (char ) $2, (char ) $3);`
343
344			`};`
345
346			`definenumber:`
347			`DEFINE WORD NUMBER`
348			`{`
349	16	jcastillo
350	12	jcastillo	`defineparenthesis = 0;`
351			`if (translate == 1 && verilog == 0)`
352			`{`
353			`if (processfound)`
354			`{`
355			fprintf (file, "`define %s %d\n", (char *) $2, (int) $3);
356	16	jcastillo	`defineslist = InsertDefine (defineslist, (char *) $2);`
357	12	jcastillo	`}`
358			`else`
359			`{`
360			fprintf (FILE_DEFINES, "`define %s %d\n", (char *) $2, (int) $3);
361	16	jcastillo	`defineslist = InsertDefine (defineslist, (char *) $2);`
362	12	jcastillo	`}`
363			`}`
364			`else if (verilog == 1)`
365			`fprintf (file, "#define %s %d\n", (char *) $2, (int) $3);`
366
367			`};`
368
369
370			`definemacro:`
371			`DEFINE WORD OPENPAR CLOSEPAR`
372			`{`
373			`defineparenthesis = 0;`
374			`//Macro found`
375			`if (translate == 1 && verilog == 0)`
376			`{`
377	16	jcastillo	`defineslist = InsertDefine (defineslist, (char *) $2);`
378
379	12	jcastillo	`definefound = 1;`
380			`if (processfound)`
381			fprintf (file, "`define %s ", (char *) $2);
382			`else`
383			fprintf (FILE_DEFINES, "`define %s ", (char *) $2);
384			`}`
385			`else if (verilog == 1)`
386			`fprintf (file, "#define %s ()", (char *) $2);`
387			`}`
388
389	19	jcastillo	`void:`
390			`WORD TWODOUBLEPOINTS WORD OPENPAR`
391	12	jcastillo	`{`
392			`defineparenthesis = 0;`
393			`if (translate == 1 && verilog == 0)`
394			`{`
395			`strcpy (processname, (char *) $4);`
396			`strcpy (processname2, (char *) $4);`
397			`strcat (processname2, (char *) ".sc2v");`
398			`strcpy (fileregs, (char *) $4);`
399			`strcat (fileregs, (char *) "_regs.sc2v");`
400			`}`
401			`else if (verilog == 1)`
402			`fprintf (file, " %s::%s()", (char ) $1, (char ) $3);`
403
404			`}`
405
406	16	jcastillo	`sc_reg:`
407			`SC_REG LOWER NUMBER BIGGER`
408	12	jcastillo	`{`
409			`defineparenthesis = 0;`
410			`if (translate == 1 && verilog == 0)`
411			`{`
412			`if (processfound)`
413			`{`
414	25	jcastillo	`writelenght=1;`
415			`reglenght = $3;`
416	12	jcastillo	`reg_found = 1;`
417			`}`
418			`}`
419	16	jcastillo	`};`
420	2	jcastillo
421	19	jcastillo	`integer:`
422			`INTEGER`
423			`{`
424			`defineparenthesis = 0;`
425			`if (translate == 1 && verilog == 0)`
426			`{`
427			`if (processfound)`
428			`{`
429			`fprintf (regs_file, "integer ");`
430			`integer_found = 1;`
431			`}`
432			`}`
433			`};`
434
435
436	2	jcastillo	`bool:`
437	12	jcastillo	`BOOL`
438			`{`
439			`defineparenthesis = 0;`
440			`if (translate == 1 && verilog == 0)`
441			`{`
442			`if (processfound)`
443			`{`
444	25	jcastillo	`writelenght=1;`
445			`reglenght=0;`
446	12	jcastillo	`reg_found = 1;`
447			`}`
448			`}`
449			`else if (verilog == 1)`
450			`fprintf (file, "bool");`
451			`}`
452	2	jcastillo
453	12	jcastillo	`;`
454
455	2	jcastillo	`range:`
456	12	jcastillo	`RANGE OPENPAR NUMBER COLON NUMBER CLOSEPAR`
457			`{`
458			`defineparenthesis = 0;`
459			`if (translate == 1 && verilog == 0)`
460			`{`
461			`if (processfound)`
462			`fprintf (file, "[%d:%d]", $3, $5);`
463			`else if (definefound)`
464			`fprintf (FILE_DEFINES, "[%d:%d]", $3, $5);`
465			`}`
466			`else if (verilog == 1)`
467			`fprintf (file, ".range(%d,%d)", $3, $5);`
468			`}`
469
470			`;`
471
472			`number:`
473			`NUMBER`
474			`{`
475			`defineparenthesis = 0;`
476			`if (translate == 1 && verilog == 0)`
477			`{`
478			`if (processfound)`
479	25	jcastillo	`if(opencorchfound && reg_found)`
480			`fprintf (regs_file, "%d:0",$1-1);`
481			`else`
482			`fprintf (file, "%d", $1);`
483	12	jcastillo	`else if (definefound)`
484			`fprintf (FILE_DEFINES, "%d", $1);`
485			`}`
486			`else if (verilog == 1)`
487			`fprintf (file, "%d", $1);`
488	19	jcastillo	`};`
489	12	jcastillo
490	19	jcastillo	`increment:`
491			`WORD INC`
492			`{`
493			`defineparenthesis = 0;`
494			`if (translate == 1 && verilog == 0)`
495			`if (processfound){`
496			`regname2 = IsReg (regslist, (char *) $1);`
497			`if (regname2 == NULL){`
498			`fprintf (file, "%s=%s+1", (char ) $1,(char )$1);`
499			`}else`
500			`fprintf (file, "%s=%s+1", regname2,regname2);`

Browse

Tools

Subversion Repositories sc2v

[/] [sc2v/] [trunk/] [src/] [sc2v_step1.y] - Blame information for rev 28