/* ------------------------------------------------------------------------- */
/*   "symbols" :  The symbols table                                          */
/*                                                                           */
/*   Part of Inform release 5                                                */
/*                                                                           */
/* ------------------------------------------------------------------------- */

#include "header.h"

int used_local_variable[16];
zip *local_varname[16];
int routine_starts_line;

/* ------------------------------------------------------------------------- */
/*   Symbols table arrays                                                    */
/* ------------------------------------------------------------------------- */

#ifndef ALLOCATE_BIG_ARRAYS
 static char *  symbs[MAX_SYMBOLS];
 int32   svals[MAX_SYMBOLS];
#ifdef VAX
 char    stypes[MAX_SYMBOLS];
#else
 signed char  stypes[MAX_SYMBOLS];
#endif
 static int     bank1_next[MAX_BANK_SIZE];
 static int32   bank1_hash[HASH_TAB_SIZE];
 static int     bank6_next[MAX_BANK_SIZE];
 static int32   bank6_hash[HASH_TAB_SIZE];
 static int     routine_keys[MAX_ROUTINES+1];
#else
 static int32 *  *symbs;
 int32   *svals;
#ifdef VAX
 char    *stypes;
#else
 signed char  *stypes;
#endif
 static int     *routine_keys;
 static int     *bank1_next;
 static int32   *bank1_hash;
 static int     *bank6_next;
 static int32   *bank6_hash;
#endif

static int banksize[7];

static int bank_chunks_made[7];
static int32 *bank_chunks[7][32];

static char** symbs_ptrs;
static int no_symbs_ptrs;

extern void symbols_allocate_arrays(void)
{
#ifdef ALLOCATE_BIG_ARRAYS
   symbs      = my_calloc(sizeof(char *),  MAX_SYMBOLS, "symbols");
   svals      = my_calloc(sizeof(int32),   MAX_SYMBOLS, "symbol values");
   stypes     = my_calloc(sizeof(char),    MAX_SYMBOLS, "symbol types");
   bank1_next = my_calloc(sizeof(int),     MAX_BANK_SIZE, "bank 1 next");
   bank1_hash = my_calloc(sizeof(int32),   MAX_BANK_SIZE, "bank 1 hash");
   bank6_next = my_calloc(sizeof(int),     MAX_BANK_SIZE, "bank 6 next");
   bank6_hash = my_calloc(sizeof(int32),   MAX_BANK_SIZE, "bank 6 hash");
   routine_keys = my_calloc(sizeof(int),   MAX_ROUTINES+1,  "routine keys");
   symbs_ptrs = my_calloc(sizeof(char *),  MAX_SYMBOLS/MAX_BANK_SIZE+100,
                                           "symbol pointers");
#endif
}

extern void symbols_free_arrays(void)
{
#ifdef ALLOCATE_BIG_ARRAYS
   int i, j;

   for (i=0; i<no_symbs_ptrs; i++)
           my_free(&(symbs_ptrs[i]), "symbol pointer");
   my_free(&symbs_ptrs, "symbol pointer array");

   my_free(&symbs, "symbols");
   my_free(&svals, "symbol values");
   my_free(&stypes, "symbol types");
   my_free(&bank1_next, "bank 1 next");
   my_free(&bank1_hash, "bank 1 hash");
   my_free(&bank6_next, "bank 6 next");
   my_free(&bank6_hash, "bank 6 hash");
   my_free(&routine_keys, "routine keys");

   for (i=0; i<7; i++)
       for (j=0; j<=bank_chunks_made[i]; j++)
           my_free(&(bank_chunks[i][j]), "symbols banks chunk");

   if (memout_mode==1)
   {   for (i=0; i<7; i++)
           printf("Bank %d: %d entries, %d chunks (size %d bytes)\n",
               i,banksize[i],bank_chunks_made[i]+1,
               (bank_chunks_made[i]+1)*BANK_CHUNK_SIZE);
   }

#endif
}

/* ------------------------------------------------------------------------- */
/*   Symbols table and address fixing                                        */
/* ------------------------------------------------------------------------- */

extern void init_symbol_banks(void)
{   int i;

   for (i=0; i<7; i++) { banksize[i]=0; bank_chunks_made[i]=-1; }

   for (i=0; i<MAX_ROUTINES+1; i++) routine_keys[i]= -1;
   for (i=0;i<HASH_TAB_SIZE;i++) { bank1_hash[i]= -1; bank6_hash[i]= -1; }
}

static int read_banks(int number, int32 entry)
{   int *x, chunk=-1, i;


   chunk = entry/BANK_CHUNK_SIZE;
   i = entry%BANK_CHUNK_SIZE;

/*    printf("RB %d, entry %d, chunk %d, slot %d\n",
            number, entry, chunk, i);
*/

   if (bank_chunks_made[number] < chunk) return(-1);

   x= (int *) bank_chunks[number][chunk];
   return x[i];
}

static void write_banks(int number, int32 entry, int value)
{   int *x, chunk=-1, i, j, k;

   chunk = entry/BANK_CHUNK_SIZE;
   i = entry%BANK_CHUNK_SIZE;

/*    printf("WB %d, entry %d, chunk %d, slot %d -> %d\n",
            number, entry, chunk, i, value);
*/
   while (bank_chunks_made[number] < chunk)
   {   j=++bank_chunks_made[number];
       if (j==32)
           memoryerror("BANK_CHUNK_SIZE", BANK_CHUNK_SIZE);

       bank_chunks[number][j] = my_calloc(sizeof(int), BANK_CHUNK_SIZE,
                                          "symbols banks chunk");
       for (k=0; k<BANK_CHUNK_SIZE; k++)
           *( (int *)bank_chunks[number][j] + k) = -1;
   }

   x=(int *) bank_chunks[number][chunk];
   x[i] = value;
}

static char reserveds_buffer[32];

extern void prim_new_symbol(char *p, int32 value, int type, int bank)
{   int32 i, j, this, last, key, start; char *r;

   if (p[0]==0) { error("Symbol name expected"); return; }
   if (bank==6)
   {   strcpy(reserveds_buffer,p); p=reserveds_buffer; }
   make_lower_case(p);
   if (bank==0)
   {   start=routine_keys[no_routines]; if (start<0) goto NotDupl;
       for (i=start; i<banksize[0]; i++)
       {   j=read_banks(0,i);
           if (strcmp((char *)symbs[j],p)==0)
           {   error_named("Duplicated symbol name:",p);
               return;
           }
       }
       NotDupl: j=banksize[0]++;
   }
   else
   if (bank==1)
   {   for(r=p,key=0; *r; r++) key=(key*67+*r)%HASH_TAB_SIZE;
       for(this=bank1_hash[key], j= -1, last= -1;
          this!=-1 && (j=strcmp((char *)symbs[read_banks(1,this)],p))<0;
          last=this, this=bank1_next[this]);
       if(!j)
       { if (pass_number==1)
         { error_named("Duplicated symbol name:",p); return;}
         return;
       }
       j=banksize[1]++;
   }
   else
   if (bank==6)
   {   for(r=p,key=0; *r; r++) key=(key*67+*r)%HASH_TAB_SIZE;
       for(this=bank6_hash[key], j= -1, last= -1;
          this!=-1 && (j=strcmp((char *)symbs[read_banks(6,this)],p))<0;
          last=this, this=bank6_next[this]);
       if(!j)
       { if (pass_number==1)
         { error_named("Duplicated symbol name:",p); return;}
         return;
       }
       j=banksize[6]++;
   }
   else
   {   j=atoi(p+2);
       if (read_banks(bank,j)!=-1)
       {   error_named("Duplicated system symbol name:",p);
           return;
       }
   }

   if (j>=MAX_BANK_SIZE)
       memoryerror("MAX_BANK_SIZE", MAX_BANK_SIZE);

   write_banks(bank,j,no_symbols);

   if (bank==0)
   {   if (routine_keys[no_routines]==-1) routine_keys[no_routines]=j;
       if (nowarnings_mode==0)
       {   local_varname[value]=symbols_p;
       }
   }
   if (bank==1)
   { if (last==-1) {bank1_next[j]=bank1_hash[key];bank1_hash[key]=j;}
     else          {bank1_next[j]=this; bank1_next[last]=j;}
   }
   if (bank==6)
   { if (last==-1) {bank6_next[j]=bank6_hash[key];bank6_hash[key]=j;}
     else          {bank6_next[j]=this; bank6_next[last]=j;}
   }

   if (no_symbols==MAX_SYMBOLS)
       memoryerror("MAX_SYMBOLS", MAX_SYMBOLS);

   if (symbols_p+strlen(p)+1 >= symbols_top)
   {   symbols_p=my_malloc(SYMBOLS_CHUNK_SIZE,"symbols table chunk");
       symbols_top=symbols_p+SYMBOLS_CHUNK_SIZE;
       symbs_ptrs[no_symbs_ptrs] =  (char *)symbols_p;
       no_symbs_ptrs++;
   }

   strcpy((char *)symbols_p,p); symbs[no_symbols]=(int32 *) symbols_p;
   symbols_p+=strlen((char *)symbols_p)+1;

   svals[no_symbols]=value; stypes[no_symbols]=type;

   no_symbols++;
}

extern int prim_find_symbol(char *q, int bank)
{   char c[50], *r; int i, j, start, finish=banksize[bank];
   int32 key, this;
   if (strlen(q)>49) return -1;
   strcpy(c,q); make_lower_case(c);

   if (bank==0)
   {   start=routine_keys[no_routines]; if (start<0) return -1;
       i=routine_keys[no_routines+1]; if (i>=0) finish=i;
       if (finish>start+15) finish=start+15;
       for (i=start; i<finish; i++)
       {   j=read_banks(0,i);
           if (strcmp((char *) symbs[j],c)==0)
           {   used_local_variable[svals[j]]=1;
               return(j);
           }
       }
       return(-1);
   }
   else
   if (bank==1)
   { for(r=c, key=0; *r; r++) key=(key*67+*r)%HASH_TAB_SIZE;
     for(this=bank1_hash[key],j= -1;
         this!=-1 && (j=strcmp((char *)symbs[read_banks(1,this)],c))<0;
         this=bank1_next[this]);
     if(!j) return read_banks(1,this);
     return(-1);
   }
   else
   if (bank==6)
   { for(r=c, key=0; *r; r++) key=(key*67+*r)%HASH_TAB_SIZE;
     for(this=bank6_hash[key],j= -1;
         this!=-1 && (j=strcmp((char *)symbs[read_banks(6,this)],c))<0;
         this=bank6_next[this]);
     if(!j) return read_banks(6,this);
     return(-1);
   }

   j=atoi(c+2);
   return(read_banks(bank,j));
}

extern int find_symbol(char *q)
{   if (q[0]!='_') return(prim_find_symbol(q,1));
   if (q[1]=='s') return(prim_find_symbol(q,2));
   if (q[1]=='S') return(prim_find_symbol(q,2));
   if (q[1]=='w') return(prim_find_symbol(q,3));
   if (q[1]=='W') return(prim_find_symbol(q,3));
   if (q[1]=='f') return(prim_find_symbol(q,4));
   if (q[1]=='F') return(prim_find_symbol(q,4));
   if (q[1]=='x') return(prim_find_symbol(q,5));
   if (q[1]=='X') return(prim_find_symbol(q,5));
   error("Names are not permitted to start with an _");
   return(-1);
}

extern int local_find_symbol(char *q)
{   return(prim_find_symbol(q,0));
}

extern void new_symbol(char *p, int32 value, int type)
{   if (pass_number==2) return;
   if (strlen(p)>MAX_IDENTIFIER_LENGTH)
   {   error_named("Symbol name is too long:",p);
       return;
   }
   if (type==3) { prim_new_symbol(p,value,type,0); return; }
   if (p[0]!='_') { prim_new_symbol(p,value,type,1); return; }
   if (p[1]=='s') { prim_new_symbol(p,value,type,2); return; }
   if (p[1]=='S') { prim_new_symbol(p,value,type,2); return; }
   if (p[1]=='w') { prim_new_symbol(p,value,type,3); return; }
   if (p[1]=='W') { prim_new_symbol(p,value,type,3); return; }
   if (p[1]=='f') { prim_new_symbol(p,value,type,4); return; }
   if (p[1]=='F') { prim_new_symbol(p,value,type,4); return; }
   if (p[1]=='x') { prim_new_symbol(p,value,type,5); return; }
   if (p[1]=='X') { prim_new_symbol(p,value,type,5); return; }
   error("Symbol names are not permitted to start with an '_'");
}

extern void lose_local_symbols(void)
{   /* For future consideration */
}

/* ------------------------------------------------------------------------- */
/*   Printing diagnostics                                                    */
/* ------------------------------------------------------------------------- */

static char *typename(int type)
{   switch(type)
   {   case 1: return("Global label");
       case 2: return("Global variable");
       case 3: return("Local variable");
       case 4: return("Reserved word");
       case 5: return("Static string");
       case 6: return("Local label");
       case 7: return("Attribute");
       case 8: return("Integer constant");
       case 9: return("Object");
       case 10: return("Condition");
       case 11: return("Constant string address");
       case 12: return("Property");
       case 13: return("Class");
       case 14: return("Assembler directive");
       case 15: return("Compiler-modified opcode");
       case 16: return("Compiled command");
       case 17: return("Opcode");
       case 18: return("Fake action");
       case 19: return("Replacement name");
       case 20: return("Compiler-moved label");
       default: return("(Unknown type)");
   }
}

extern void list_symbols(void)
{   int i, j, k;

   for (j=0; j<2; j++)
   {   printf("In bank %d\n", j);
       for (i=0; i<banksize[j]; i++)
       {   k=read_banks(j,i);
           printf("%4d  %-16s  %04x  %s\n",
               k,symbs[k],svals[k],typename(stypes[k]));
       }
   }
   for (j=2; j<6; j++)
   {   printf("In bank %d\n", j);
       for (i=0; i<MAX_BANK_SIZE; i++)
       {   k=read_banks(j,i);
           if (k!=-1)
           {   printf("%4d  %-16s  %04x  %s\n",
                   k,symbs[k],svals[k],typename(stypes[k]));
           }
       }
   }
   printf("Full list:\n");
   for (i=0; i<no_symbols; i++)
       printf("(%08x) %-16s  %04x  %s\n",
           (int) symbs[i],symbs[i],svals[i],typename(stypes[i]));
}

extern void init_symbols_vars(void)
{
#ifdef ALLOCATE_BIG_ARRAYS
   int i,j;
   symbs = NULL;
   svals = NULL;
   stypes = NULL;
   bank1_next = NULL;
   bank1_hash = NULL;
   bank6_next = NULL;
   bank6_hash = NULL;
   routine_keys = NULL;
   symbs_ptrs = NULL;

   for (i=0; i<7; i++)
       for (j=0; j<32; j++)
           bank_chunks[i][j] = NULL;
#endif
   no_symbs_ptrs = 0;
}