OpenCores
URL https://opencores.org/ocsvn/or1k/or1k/trunk

Subversion Repositories or1k

[/] [or1k/] [tags/] [stable_0_1_0/] [or1ksim/] [cuc/] [verilog.c] - Blame information for rev 924

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

Line No. Rev Author Line
1 879 markom
/* verilog.c -- OpenRISC Custom Unit Compiler, verilog generator
2
 *    Copyright (C) 2002 Marko Mlinar, markom@opencores.org
3
 *
4
 *    This file is part of OpenRISC 1000 Architectural Simulator.
5
 *
6
 *    This program is free software; you can redistribute it and/or modify
7
 *    it under the terms of the GNU General Public License as published by
8
 *    the Free Software Foundation; either version 2 of the License, or
9
 *    (at your option) any later version.
10
 *
11
 *    This program is distributed in the hope that it will be useful,
12
 *    but WITHOUT ANY WARRANTY; without even the implied warranty of
13
 *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
 *    GNU General Public License for more details.
15
 *
16
 *    You should have received a copy of the GNU General Public License
17
 *    along with this program; if not, write to the Free Software
18
 *    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
19
 
20
#include <stdio.h>
21
#include <stdlib.h>
22
#include <stdarg.h>
23
#include <assert.h>
24
#include "cuc.h"
25
#include "insn.h"
26 915 markom
#include "profiler.h"
27 879 markom
 
28 915 markom
/* Shortcut */
29
#define GEN(x...) fprintf (fo, x)
30
 
31 907 markom
/* returns log2(x) */
32
int log2 (unsigned long x)
33 879 markom
{
34
  int c = 0;
35 907 markom
  assert (x >= 0);
36
  if (!x) return 0; /* not by the book, but practical */
37
  while (x != 1) x >>= 1, c++;
38
  return c;
39
}
40
 
41
/* Find index of load/store/call */
42
int find_lsc_index (cuc_func *f, int ref)
43
{
44
  int c = 0;
45 879 markom
  int i;
46 907 markom
  int load;
47
 
48
  if (f->INSN(ref).index == II_CALL) {
49
    for (i = 0; i < f->nmsched; i++) {
50
      if (f->msched[i] == ref) break;
51
      if (f->mtype[i] & MT_CALL) c++;
52
    }
53
  } else {
54
    load = II_IS_LOAD (f->INSN(ref).index);
55
    for (i = 0; i < f->nmsched; i++) {
56
      if (f->msched[i] == ref) break;
57
      if (load && (f->mtype[i] & MT_LOAD)
58
       || !load && (f->mtype[i] & MT_STORE)) c++;
59
    }
60 879 markom
  }
61
  return c;
62
}
63
 
64
/* Print out dependencies as verilog expression */
65
void print_deps (FILE *fo, cuc_func *f, int b, dep_list *t, int registered)
66
{
67
  if (t) {
68
    int first = 0;
69
    while (t) {
70 907 markom
      if (f->INSN(t->ref).type & IT_MEMORY) {
71 915 markom
        GEN ("%s%c_end[%i]", first ? " && " : "",
72 907 markom
                  II_IS_LOAD (f->INSN(t->ref).index) ? 'l' : 's', find_lsc_index (f, t->ref));
73
      } else if (f->INSN(t->ref).index == II_CALL) {
74
        int x;
75 915 markom
        GEN ("%sf_end[%i]", first ? " && " : "", find_lsc_index (f, t->ref));
76 907 markom
      } else {
77
        printf ("print_deps: err %x\n", t->ref);
78
        assert (0);
79
      }
80 879 markom
      first = 1;
81
      t = t->next;
82
    }
83
  } else {
84 915 markom
    if (registered) GEN ("bb_start_r[%i]", b);
85
    else GEN ("bb_start[%i]", b);
86 879 markom
  }
87
}
88
 
89
char *print_op_v (cuc_func *f, char *s, int ref, int j)
90
{
91
  unsigned long op = f->INSN(ref).op[j];
92
  unsigned long opt = f->INSN(ref).opt[j];
93
  switch (opt & ~OPT_DEST) {
94
    case OPT_NONE: assert (0); break;
95 924 markom
    case OPT_CONST: if (f->INSN(ref).type & IT_COND && f->INSN(ref).insn == II_CMOV) {
96 906 markom
                      assert (op == 0 || op == 1);
97
                      sprintf (s, "1'b%x", op);
98
                    } else sprintf (s, "32'h%x", op);
99
                    break;
100 879 markom
    case OPT_REGISTER:
101
                    if (opt & OPT_DEST) sprintf (s, "t%x_%x", REF_BB(ref), REF_I(ref));
102
                    else sprintf (s, "r%i_%c", op, opt & OPT_DEST ? 'o' : 'i');
103
                    break;
104 907 markom
#if 0
105
    case OPT_FREG:  assert (opt & OPT_DEST);
106
                    sprintf (s, "fr%i_o", op);
107
                    break;
108
#endif
109 879 markom
    case OPT_REF:   sprintf (s, "t%x_%x", REF_BB(op), REF_I(op)); break;
110
  }
111
  return s;
112
}
113
 
114
/* Prints out specified instruction */
115
void print_insn_v (FILE *fo, cuc_func *f, int b, int i)
116
{
117
  cuc_insn *ii = &f->bb[b].insn[i];
118
  char *s = known[ii->index].rtl;
119
  char tmp[200] = "";
120 883 markom
 
121 879 markom
  while (*s) {
122
    if (*s <= MAX_OPERANDS) {
123
      char t[30];
124
      sprintf (tmp, "%s%s", tmp, print_op_v (f, t, REF(b, i), *s - 1));
125
    } else if (*s == '\b') sprintf (tmp, "%s%i", b);
126
    else sprintf (tmp, "%s%c", tmp, *s);
127
    s++;
128
  }
129 915 markom
  GEN ("%-40s /* %s */\n", tmp, ii->disasm);
130 879 markom
  if (ii->type & IT_MEMORY) {
131 907 markom
    int j, nls = find_lsc_index (f, REF (b, i));
132 879 markom
    if (II_IS_LOAD (ii->index)) {
133
      int nm;
134
      for (nm = 0; nm < f->nmsched; nm++) if (f->msched[nm] == REF (b, i)) break;
135
      assert (nm < f->nmsched);
136
 
137 915 markom
      GEN ("  if (rst) t%x_%x <= #Tp 32'h0;\n", b, i);
138
      GEN ("  else if (l_end[%i]) t%x_%x <= #Tp ", nls, b, i);
139 879 markom
      switch (f->mtype[nm] & (MT_WIDTH | MT_SIGNED)) {
140 915 markom
        case 1: GEN ("lwb_dat_i & 32'hff;\n");
141 879 markom
                break;
142 915 markom
        case 2: GEN ("lwb_dat_i & 32'hffff;\n");
143 879 markom
                break;
144
        case 4 | MT_SIGNED:
145 915 markom
        case 4: GEN ("lwb_dat_i;\n");
146 879 markom
                break;
147
        case 1 | MT_SIGNED:
148 915 markom
                GEN ("{24{lwb_dat_i[7]}, lwb_dat_i[7:0]};\n");
149 879 markom
                break;
150
        case 2 | MT_SIGNED:
151 915 markom
                GEN ("{16{lwb_dat_i[15]}, lwb_dat_i[15:0]};\n");
152 879 markom
                break;
153
        default: assert (0);
154
      }
155
    }
156
  } else if (ii->index == II_LRBB) {
157 915 markom
    GEN ("  if (rst) t%x_%x <= #Tp 1'b0;\n", b, i);
158 879 markom
    assert (f->bb[b].prev[0] >= 0);
159 915 markom
    GEN ("  else if (bb_start[%i]) t%x_%x <= #Tp bb_stb[%i];\n", b, b, i, f->bb[b].prev[0]);
160 879 markom
  } else if (ii->index == II_REG) {
161 915 markom
    GEN ("  if (rst) t%x_%x <= #Tp 32'h0;\n", b, i);
162 879 markom
    assert (ii->opt[1] == OPT_REF);
163 915 markom
    GEN ("  else if (");
164 879 markom
    if (f->bb[b].mdep) print_deps (fo, f, b, f->bb[b].mdep, 0);
165 915 markom
    else GEN ("bb_stb[%i]", b);
166
    GEN (") t%x_%x <= #Tp t%x_%x;\n",  b, i,
167 879 markom
                    REF_BB (ii->op[1]), REF_I (ii->op[1]));
168
  }
169
}
170
 
171
/* Outputs binary number */
172 907 markom
static char *bin_str (unsigned long x, int len)
173 879 markom
{
174
  static char bx[33];
175
  char *s = bx;
176
  while (len > 0) *s++ = '0' + ((x >> --len) & 1);
177
  *s = '\0';
178
  return bx;
179
}
180
 
181
/* Returns index of branch instruction inside a block b */
182 907 markom
static int branch_index (cuc_bb *bb)
183 879 markom
{
184
  int i;
185
  for (i = bb->ninsn - 1; i >= 0; i--)
186
    if (bb->insn[i].type & IT_BRANCH) return i;
187
  return -1;
188
}
189
 
190 907 markom
static void print_turn_off_dep (FILE *fo, cuc_func *f, dep_list *dep)
191
{
192
  while (dep) {
193
    assert (f->INSN(dep->ref).type & IT_MEMORY || f->INSN(dep->ref).index == II_CALL);
194 915 markom
    GEN ("      %c_stb[%i] <= #Tp 1'b0;\n", f->INSN(dep->ref).index == II_CALL ? 'f'
195 907 markom
            : II_IS_LOAD (f->INSN(dep->ref).index) ? 'l' : 's', find_lsc_index (f, dep->ref));
196
    dep = dep->next;
197
  }
198
}
199
 
200
static int func_index (cuc_func *f, int ref)
201
{
202
  int i;
203
  unsigned long addr;
204
  assert (f->INSN(ref).index == II_CALL && f->INSN(ref).opt[0] & OPT_CONST);
205
  addr = f->INSN(ref).op[0];
206
  for (i = 0; i < f->nfdeps; i++)
207
    if (f->fdeps[i]->start_addr == addr) return i;
208
 
209
  assert (0);
210
  return -1;
211
}
212
 
213 879 markom
/* Generates verilog file out of insn dataflow */
214
void output_verilog (cuc_func *f, char *filename)
215
{
216
  FILE *fo;
217
  int b, i, j;
218
  int ci = 0, co = 0;
219 907 markom
  int nloads = 0, nstores = 0, ncalls = 0;
220 879 markom
  char tmp[256];
221
  cuc_bb *end_bb = NULL;
222
  int end_bb_no = -1;
223
  sprintf (tmp, "%s.v", filename);
224
 
225 902 markom
  log ("Generating verilog file \"%s\"\n", tmp);
226
  printf ("Generating verilog file \"%s\"\n", tmp);
227 879 markom
  if ((fo = fopen (tmp, "wt+")) == NULL) {
228
    fprintf (stderr, "Cannot open '%s'\n", tmp);
229
    exit (1);
230
  }
231
 
232 883 markom
  for (b = 0; b < f->num_bb; b++)
233 879 markom
    if (f->bb[b].type & BB_END) end_bb = &f->bb[end_bb_no = b];
234
  assert (end_bb && end_bb->type & BB_END);
235
 
236
  /* output header */
237 915 markom
  GEN ("/* %s -- generated by OpenRISC Custom Unit Compiler\n", tmp);
238
  GEN ("   (C) 2002 OpenCores http://www.opencores.org/\n");
239
  GEN ("   function   \"%s\"\n", filename);
240
  GEN ("   at         %08x - %08x\n", f->start_addr, f->end_addr);
241
  GEN ("   num BBs    %i */\n\n", f->num_bb);
242
  GEN ("module %s (clk, rst,\n", filename);
243
  GEN ("              lwb_adr_o, lwb_dat_i, lwb_cycstb_o,\n");
244
  GEN ("              lwb_sel_o, lwb_linbrst_o, lwb_ack_i,\n");
245
  GEN ("              swb_adr_o, swb_dat_o, swb_cycstb_o,\n");
246
  GEN ("              swb_sel_o, swb_linbrst_o, swb_ack_i,\n");
247 879 markom
 
248 915 markom
  GEN ("/* inputs */  ");
249 879 markom
  for (i = 0; i < MAX_REGS; i++)
250 883 markom
    if (f->used_regs[i]) {
251 915 markom
      GEN ("r%i_i, ", i);
252 879 markom
      ci++;
253
    }
254 915 markom
  if (!ci) GEN ("/* NONE */");
255 879 markom
 
256 915 markom
  GEN ("\n/* outputs */ ");
257 879 markom
  for (i = 0; i < MAX_REGS; i++)
258 883 markom
    if (f->lur[i] >= 0 && !f->saved_regs[i]) {
259 915 markom
      GEN ("r%i_o, ", i);
260 879 markom
      co++;
261
    }
262
 
263 915 markom
  if (!co) GEN ("/* NONE */");
264 907 markom
  if (f->nfdeps) {
265 915 markom
    GEN ("\n/* f. calls */, fstart_o, %sfend_i, fr11_i, ",
266 907 markom
                    log2 (f->nfdeps) > 0 ? "fid_o, " : "");
267 915 markom
    for (i = 0; i < 6; i++) GEN ("fr%i_o, ", i + 3);
268 907 markom
  }
269 915 markom
  GEN ("\n              start_i, end_o, busy_o);\n\n");
270 879 markom
 
271 915 markom
  GEN ("parameter Tp = 1;\n\n");
272
 
273
  GEN ("input         clk, rst;\n");
274
  GEN ("input         start_i;\t/* Module starts when set to 1 */ \n");
275
  GEN ("output        end_o;\t/* Set when module finishes, cleared upon start_i == 1 */\n");
276
  GEN ("output        busy_o;\t/* Set when module should not be interrupted */\n");
277
  GEN ("\n/* Bus signals */\n");
278
  GEN ("output        lwb_cycstb_o, swb_cycstb_o;\n");
279
  GEN ("input         lwb_ack_i, swb_ack_i;\n");
280
  GEN ("output  [3:0] lwb_sel_o, swb_sel_o;\n");
281
  GEN ("output [31:0] lwb_adr_o, swb_adr_o;\n");
282
  GEN ("output        lwb_linbrst_o, swb_linbrst_o;\n");
283
  GEN ("input  [31:0] lwb_dat_i;\n");
284
  GEN ("output [31:0] swb_dat_o;\n\n");
285 879 markom
 
286 915 markom
  GEN ("reg           lwb_cycstb_o, swb_cycstb_o;\n");
287
  GEN ("reg    [31:0] lwb_adr_o, swb_adr_o;\n");
288
  GEN ("reg     [3:0] lwb_sel_o, swb_sel_o;\n");
289
  GEN ("reg    [31:0] swb_dat_o;\n");
290
  GEN ("reg           lwb_linbrst_o, swb_linbrst_o;\n");
291 879 markom
 
292 915 markom
  if (ci || co) GEN ("\n/* module ports */\n");
293 879 markom
  if (ci) {
294
    int first = 1;
295 915 markom
    GEN ("input  [31:0]");
296 879 markom
    for (i = 0; i < MAX_REGS; i++)
297 883 markom
      if (f->used_regs[i]) {
298 915 markom
        GEN ("%sr%i_i", first ? " " : ", ", i);
299 879 markom
        first = 0;
300
      }
301 915 markom
    GEN (";\n");
302 879 markom
  }
303
 
304
  if (co) {
305
    int first = 1;
306 915 markom
    GEN ("output [31:0]");
307 879 markom
    for (i = 0; i < MAX_REGS; i++)
308 883 markom
      if (f->lur[i] >= 0 && !f->saved_regs[i]) {
309 915 markom
        GEN ("%sr%i_o", first ? " " : ", ", i);
310 879 markom
        first = 0;
311
      }
312 915 markom
    GEN (";\n");
313 879 markom
  }
314
 
315 907 markom
  if (f->nfdeps) {
316 915 markom
    GEN ("\n/* Function calls */\n");
317
    GEN ("output [31:0] fr3_o");
318
    for (i = 1; i < 6; i++) GEN (", fr%i_o", i + 3);
319
    GEN (";\n");
320 924 markom
    GEN ("input  [31:0] fr11_i;\n");
321 915 markom
    if (log2(f->nfdeps) > 0) GEN ("output [%i:0] fid_o;\n", log2(f->nfdeps));
322
    GEN ("output        fstart_o;\n");
323
    GEN ("input         fend_i;\n");
324 907 markom
  }
325
 
326 879 markom
  /* Count loads & stores */
327
  for (i = 0; i < f->nmsched; i++)
328 907 markom
    if (f->mtype[i] & MT_STORE) nstores++;
329
    else if (f->mtype[i] & MT_LOAD) nloads++;
330
    else if (f->mtype[i] & MT_CALL) ncalls++;
331 879 markom
 
332
  /* Output internal registers for loads */
333
  if (nloads) {
334
    int first = 1;
335 883 markom
    int num = 0;
336 915 markom
    GEN ("\n/* internal registers for loads */\n");
337 879 markom
    for (i = 0; i < f->nmsched; i++)
338 907 markom
      if (f->mtype[i] & MT_LOAD) {
339 915 markom
        GEN ("%st%x_%x", first ? "reg    [31:0] " : ", ",
340 879 markom
                REF_BB(f->msched[i]), REF_I(f->msched[i]));
341 883 markom
 
342
        if (num >= 8) {
343 915 markom
          GEN (";\n");
344 883 markom
          first = 1;
345
          num = 0;
346
        } else {
347
          first = 0;
348
          num++;
349
        }
350 879 markom
      }
351 915 markom
    if (!first) GEN (";\n");
352 879 markom
  }
353
 
354 907 markom
  /* Internal register for function return value */
355
  if (f->nfdeps) {
356 915 markom
    GEN ("\n/* Internal register for function return value */\n");
357
    GEN ("reg     [31:0] fr11_r;\n");
358 907 markom
  }
359
 
360 915 markom
  GEN ("\n/* 'zero or one' hot state machines */\n");
361
  if (nloads) GEN ("reg     [%i:0] l_stb; /* loads */\n", nloads - 1);
362
  if (nstores) GEN ("reg     [%i:0] s_stb; /* stores */\n", nstores - 1);
363
  GEN ("reg     [%i:0] bb_stb; /* basic blocks */\n", f->num_bb - 1);
364 879 markom
 
365
  {
366 883 markom
    int first = 2;
367 879 markom
    int num = 0;
368
    for (b = 0; b < f->num_bb; b++)
369
      for (i = 0; i < f->bb[b].ninsn; i++)
370
        if (f->bb[b].insn[i].type & IT_COND
371
         && f->bb[b].insn[i].index != II_REG
372
         && f->bb[b].insn[i].index != II_LRBB) {
373 915 markom
          if (first == 2) GEN ("\n/* basic block condition wires */\n");
374
          GEN ("%st%x_%x", first ? "wire          " : ", ", b, i);
375 883 markom
          if (num >= 8) {
376 915 markom
            GEN (";\n");
377 879 markom
            first = 1;
378
            num = 0;
379
          } else {
380
            first = 0;
381
            num++;
382
          }
383
        }
384 915 markom
    if (!first) GEN (";\n");
385 879 markom
 
386 915 markom
    GEN ("\n/* forward declaration of normal wires */\n");
387 879 markom
    num = 0;
388
    first = 1;
389
    for (b = 0; b < f->num_bb; b++)
390
      for (i = 0; i < f->bb[b].ninsn; i++)
391
        if (!(f->bb[b].insn[i].type & (IT_COND | IT_BRANCH))
392
         && f->bb[b].insn[i].index != II_REG
393
         && f->bb[b].insn[i].index != II_LRBB) {
394
          /* Exclude loads */
395
          if (f->bb[b].insn[i].type & IT_MEMORY && II_IS_LOAD (f->bb[b].insn[i].index)) continue;
396 915 markom
          GEN ("%st%x_%x", first ? "wire   [31:0] " : ", ", b, i);
397 883 markom
          if (num >= 8) {
398 915 markom
            GEN (";\n");
399 879 markom
            first = 1;
400
            num = 0;
401
          } else {
402
            first = 0;
403
            num++;
404
          }
405
        }
406 915 markom
    if (!first) GEN (";\n");
407 879 markom
 
408 915 markom
    GEN ("\n/* forward declaration registers */\n");
409 879 markom
    num = 0;
410
    first = 1;
411
    for (b = 0; b < f->num_bb; b++)
412
      for (i = 0; i < f->bb[b].ninsn; i++)
413
        if (f->bb[b].insn[i].index == II_REG
414
         && f->bb[b].insn[i].index != II_LRBB) {
415 915 markom
          GEN ("%st%x_%x", first ? "reg    [31:0] " : ", ", b, i);
416 883 markom
          if (num >= 8) {
417 915 markom
            GEN (";\n");
418 879 markom
            first = 1;
419
            num = 0;
420
          } else {
421
            first = 0;
422
            num++;
423
          }
424
        }
425 915 markom
    if (!first) GEN (";\n");
426 879 markom
 
427
    num = 0;
428
    first = 1;
429
    for (b = 0; b < f->num_bb; b++)
430
      for (i = 0; i < f->bb[b].ninsn; i++)
431
        if (f->bb[b].insn[i].index != II_REG
432
         && f->bb[b].insn[i].index == II_LRBB) {
433 915 markom
          GEN ("%st%x_%x", first ? "reg           " : ", ", b, i);
434 883 markom
          if (num >= 8) {
435 915 markom
            GEN (";\n");
436 879 markom
            first = 1;
437
            num = 0;
438
          } else {
439
            first = 0;
440
            num++;
441
          }
442
        }
443 915 markom
    if (!first) GEN (";\n");
444 879 markom
  }
445
 
446 915 markom
  if (nloads || nstores) GEN ("\n/* dependencies */\n");
447
  if (nloads) GEN ("wire    [%i:0] l_end = l_stb & {%i{lwb_ack_i}};\n",
448 879 markom
                  nloads - 1, nloads);
449 915 markom
  if (nstores) GEN ("wire    [%i:0] s_end = s_stb & {%i{swb_ack_i}};\n",
450 879 markom
                  nstores - 1, nstores);
451 915 markom
  if (ncalls) GEN ("wire    [%i:0] f_end = f_stb & {%i{fend_i}};\n",
452 907 markom
                  ncalls - 1, ncalls);
453 879 markom
 
454 915 markom
  GEN ("\n/* last dependency */\n");
455
  GEN ("wire   end_o = bb_stb[%i]", end_bb_no);
456 879 markom
  if (end_bb->mdep) {
457 915 markom
    GEN (" && ");
458 879 markom
    print_deps (fo, f, end_bb_no, end_bb->mdep, 0);
459
  }
460 907 markom
 
461 879 markom
  /* Is there a loop right at end? */
462
  if (end_bb->next[0] >= 0) {
463
    int bidx = branch_index (end_bb);
464
    char t[30];
465
    print_op_v (f, t, REF (end_bb_no, bidx), 1);
466 915 markom
    GEN (" && !%s", t);
467 879 markom
  }
468 915 markom
  GEN (";\n");
469 924 markom
  GEN ("wire   busy_o = |bb_stb;\n");
470
 
471 879 markom
 
472 915 markom
  GEN ("\n/* Basic block triggers */\n");
473
  GEN ("wire   [%2i:0] bb_start = {\n", f->num_bb - 1);
474 879 markom
  for (b = f->num_bb - 1; b >= 0; b--) {
475 915 markom
    GEN ("    /* bb_start[%2i] */ ", b);
476
    if (f->bb[b].prev[0] < 0) GEN ("start_i");
477 879 markom
    else {
478
      cuc_bb *prev = &f->bb[f->bb[b].prev[0]];
479
      int t;
480
      if (prev->mdep) {
481
        print_deps (fo, f, f->bb[b].prev[0], prev->mdep, 0);
482 915 markom
        GEN (" && ");
483 879 markom
      }
484 915 markom
      GEN ("bb_stb[%i]", f->bb[b].prev[0]);
485 879 markom
      if (prev->next[0] >= 0 && prev->next[1] >= 0) {
486 924 markom
        int bi = REF (f->bb[b].prev[0], branch_index (&f->bb[f->bb[b].prev[0]]));
487
        int ci;
488
        assert (bi >= 0);
489
        ci = f->INSN(bi).op[1];
490
        t = prev->next[0] == b;
491 915 markom
        GEN (" && ");
492 924 markom
        if (f->INSN(bi).opt[1] & OPT_REF) {
493
          GEN ("%st%x_%x", t ? "" : "!", REF_BB(ci), REF_I(ci));
494
        } else {
495
          fprintf (stderr, "%x!%x!%x\n", bi, ci, f->INSN(bi).opt[1]);
496
          assert (f->INSN(bi).opt[1] & OPT_CONST);
497
          GEN ("%s%i", t ? "" : "!", ci);
498
        }
499 879 markom
      }
500
      if (f->bb[b].prev[1] >= 0) {
501
        prev = &f->bb[f->bb[b].prev[1]];
502 915 markom
        GEN ("\n                    || ");
503 879 markom
        if (prev->mdep) {
504
          print_deps (fo, f, f->bb[b].prev[1], prev->mdep, 0);
505 915 markom
          GEN (" && ");
506 879 markom
        }
507 915 markom
        GEN ("bb_stb[%i]", f->bb[b].prev[1]);
508 879 markom
        if (prev->next[0] >= 0 && prev->next[1] >= 0) {
509
          int bidx = branch_index (&f->bb[f->bb[b].prev[1]]);
510
          assert (bidx >= 0);
511 915 markom
          GEN (" && ");
512 879 markom
          t = prev->next[0] == b;
513 915 markom
          GEN ("%st%x_%x", t ? "" : "!", f->bb[b].prev[1], bidx);
514 879 markom
        }
515
      }
516
    }
517 915 markom
    if (b == 0) GEN ("};\n");
518
    else GEN (",\n");
519 879 markom
  }
520
 
521 915 markom
  GEN ("\n/* Register the bb_start */\n");
522
  GEN ("reg   [%2i:0] bb_start_r;\n\n", f->num_bb - 1);
523
  GEN ("always @(posedge rst or posedge clk)\n");
524
  GEN ("begin\n");
525
  GEN ("  if (rst) bb_start_r <= #Tp %i'b0;\n", f->num_bb);
526
  GEN ("  else if (end_o) bb_start_r <= #Tp %i'b0;\n", f->num_bb);
527
  GEN ("  else bb_start_r <= #Tp bb_start;\n");
528
  GEN ("end\n");
529 879 markom
 
530 915 markom
  GEN ("\n/* Logic */\n");
531 879 markom
  /* output body */
532
  for (b = 0; b < f->num_bb; b++) {
533 915 markom
    GEN ("\t\t/* BB%i */\n", b);
534 879 markom
    for (i = 0; i < f->bb[b].ninsn; i++)
535
      print_insn_v (fo, f, b, i);
536 915 markom
    GEN ("\n");
537 879 markom
  }
538
 
539
  if (co) {
540 915 markom
    GEN ("\n/* Outputs */\n");
541 879 markom
    for (i = 0; i < MAX_REGS; i++)
542 883 markom
      if (f->lur[i] >= 0 && !f->saved_regs[i])
543 915 markom
        GEN ("assign r%i_o = t%x_%x;\n", i, REF_BB(f->lur[i]),
544 883 markom
                        REF_I(f->lur[i]));
545 879 markom
  }
546
 
547
  if (nstores) {
548
    int cur_store = 0;
549 915 markom
    GEN ("\n/* Memory stores */\n");
550
    GEN ("always @(posedge clk or posedge rst)\nbegin\n");
551
    GEN ("  if (rst) swb_dat_o <= #Tp 32'h0;\n");
552 879 markom
    for (i = 0; i < f->nmsched; i++)
553 907 markom
      if (f->mtype[i] & MT_STORE) {
554 879 markom
        char t[30];
555 915 markom
        GEN ("  else if (s_stb[%i]) swb_dat_o <= #Tp %s;\n", cur_store++,
556 879 markom
                        print_op_v (f, t, f->msched[i], 0));
557
        //printf ("msched[%i] = %x (mtype %x) %x\n", i, f->msched[i], f->mtype[i], f->INSN(f->msched[i]).op[0]);
558
      }
559 915 markom
    GEN ("end\n");
560 879 markom
  }
561
 
562
  if (nloads) {
563
    int cur_load = 0;
564 915 markom
    GEN ("\n/* Load state machine */\n");
565
    GEN ("always @(posedge clk or posedge rst)\n");
566
    GEN ("begin\n");
567
    GEN ("  if (rst) begin\n");
568
    GEN ("    l_stb <= #Tp %i'h0;\n", nloads);
569
    GEN ("    lwb_cycstb_o <= #Tp 1'b0;\n");
570
    GEN ("    lwb_sel_o[3:0] <= #Tp 4'b0000;\n");
571
    GEN ("    lwb_linbrst_o <= #Tp 1'b0;\n");
572
    GEN ("    lwb_adr_o <= #Tp 32'h0;\n");
573
    GEN ("  end else begin\n");
574 883 markom
    cucdebug (1, "loads \n");
575 907 markom
    for (i = 0; i < f->nmsched; i++) if (f->mtype[i] & MT_LOAD) {
576 879 markom
      char t[30];
577
      dep_list *dep = f->INSN(f->msched[i]).dep;
578 883 markom
      cucdebug (1, "msched[%i] = %x (mtype %x)\n", i, f->msched[i], f->mtype[i]);
579 879 markom
      assert (f->INSN(f->msched[i]).opt[1] & (OPT_REF | OPT_REGISTER));
580 915 markom
      GEN ("    if (");
581 879 markom
      print_deps (fo, f, REF_BB(f->msched[i]), f->INSN(f->msched[i]).dep, 1);
582 915 markom
      GEN (") begin\n");
583 907 markom
      print_turn_off_dep (fo, f, dep);
584 915 markom
      GEN ("      l_stb[%i] <= #Tp 1'b1;\n", cur_load++);
585
      GEN ("      lwb_cycstb_o <= #Tp 1'b1;\n");
586
      GEN ("      lwb_sel_o[3:0] <= #Tp 4'b");
587 879 markom
      switch (f->mtype[i] & MT_WIDTH) {
588 915 markom
        case 1: GEN ("0001 << (%s & 32'h3);\n",
589 879 markom
                                print_op_v (f, t, f->msched[i], 1)); break;
590 915 markom
        case 2: GEN ("0011 << ((%s & 32'h1) << 1);\n",
591 879 markom
                                print_op_v (f, t, f->msched[i], 1)); break;
592 915 markom
        case 4: GEN ("1111;\n"); break;
593 879 markom
        default: assert (0);
594
      }
595 915 markom
      GEN ("      lwb_linbrst_o <= #Tp 1'b%i;\n",
596 879 markom
                      (f->mtype[i] & MT_BURST) && !(f->mtype[i] & MT_BURSTE) ? 1 : 0);
597 915 markom
      GEN ("      lwb_adr_o <= #Tp t%x_%x & ~32'h3;\n",
598 879 markom
                      REF_BB(f->INSN(f->msched[i]).op[1]), REF_I(f->INSN(f->msched[i]).op[1]));
599 915 markom
      GEN ("    end\n");
600 879 markom
    }
601 915 markom
    GEN ("    if (l_end[%i]) begin\n", nloads - 1);
602
    GEN ("      l_stb <= #Tp %i'h0;\n", nloads);
603
    GEN ("      lwb_cycstb_o <= #Tp 1'b0;\n");
604
    GEN ("      lwb_sel_o[3:0] <= #Tp 4'b0000;\n");
605
    GEN ("      lwb_linbrst_o <= #Tp 1'b0;\n");
606
    GEN ("      lwb_adr_o <= #Tp 32'h0;\n");
607
    GEN ("    end\n");
608
    GEN ("  end\n");
609
    GEN ("end\n");
610 879 markom
  }
611
 
612
  if (nstores) {
613
    int cur_store = 0;
614 915 markom
    GEN ("\n/* Store state machine */\n");
615
    GEN ("always @(posedge clk or posedge rst)\n");
616
    GEN ("begin\n");
617
    GEN ("  if (rst) begin\n");
618
    GEN ("    s_stb <= #Tp %i'h0;\n", nstores);
619
    GEN ("    swb_cycstb_o <= #Tp 1'b0;\n");
620
    GEN ("    swb_sel_o[3:0] <= #Tp 4'b0000;\n");
621
    GEN ("    swb_linbrst_o <= #Tp 1'b0;\n");
622
    GEN ("    swb_adr_o <= #Tp 32'h0;\n");
623
    GEN ("  end else begin\n");
624 883 markom
    cucdebug (1, "stores \n");
625 907 markom
    for (i = 0; i < f->nmsched; i++) if (f->mtype[i] & MT_STORE) {
626 879 markom
      char t[30];
627
      dep_list *dep = f->INSN(f->msched[i]).dep;
628 883 markom
      cucdebug (1, "msched[%i] = %x (mtype %x)\n", i, f->msched[i], f->mtype[i]);
629 879 markom
      assert (f->INSN(f->msched[i]).opt[1] & (OPT_REF | OPT_REGISTER));
630 915 markom
      GEN ("    if (");
631 879 markom
      print_deps (fo, f, REF_BB(f->msched[i]), f->INSN(f->msched[i]).dep, 1);
632 915 markom
      GEN (") begin\n");
633 907 markom
      print_turn_off_dep (fo, f, dep);
634 915 markom
      GEN ("      s_stb[%i] <= #Tp 1'b1;\n", cur_store++);
635
      GEN ("      swb_cycstb_o <= #Tp 1'b1;\n");
636
      GEN ("      swb_sel_o[3:0] <= #Tp 4'b");
637 879 markom
      switch (f->mtype[i] & MT_WIDTH) {
638 915 markom
        case 1: GEN ("0001 << (%s & 32'h3);\n",
639 879 markom
                                print_op_v (f, t, f->msched[i], 1)); break;
640 915 markom
        case 2: GEN ("0011 << ((%s & 32'h1) << 1);\n",
641 879 markom
                                print_op_v (f, t, f->msched[i], 1)); break;
642 915 markom
        case 4: GEN ("1111;\n"); break;
643 879 markom
        default: assert (0);
644
      }
645 915 markom
      GEN ("      swb_linbrst_o <= #Tp 1'b%i;\n",
646 879 markom
                      (f->mtype[i] & MT_BURST) && !(f->mtype[i] & MT_BURSTE) ? 1 : 0);
647 915 markom
      GEN ("      swb_adr_o <= #Tp t%x_%x & ~32'h3;\n",
648 879 markom
                      REF_BB(f->INSN(f->msched[i]).op[1]), REF_I(f->INSN(f->msched[i]).op[1]));
649 915 markom
      GEN ("    end\n");
650 879 markom
    }
651 915 markom
    GEN ("    if (s_end[%i]) begin\n", nstores - 1);
652
    GEN ("      s_stb <= #Tp %i'h0;\n", nstores);
653
    GEN ("      swb_cycstb_o <= #Tp 1'b0;\n");
654
    GEN ("      swb_sel_o[3:0] <= #Tp 4'b0000;\n");
655
    GEN ("      swb_linbrst_o <= #Tp 1'b0;\n");
656
    GEN ("      swb_adr_o <= #Tp 32'h0;\n");
657
    GEN ("    end\n");
658
    GEN ("  end\n");
659
    GEN ("end\n");
660 879 markom
  }
661
 
662 907 markom
  if (ncalls) {
663
    int cur_call = 0;
664 915 markom
    GEN ("\n/* Function calls state machine */\n");
665
    GEN ("always @(posedge clk or posedge rst)\n");
666
    GEN ("begin\n");
667
    GEN ("  if (rst) begin\n");
668
    GEN ("    f_stb <= #Tp %i'h0;\n", nstores);
669
    for (i = 0; i < 6; i++) GEN ("    fr%i_o <= #Tp 32'h0;\n", i + 3);
670
    if (log2(ncalls)) GEN ("    fid_o <= #Tp %i'h0;\n", log2 (f->nfdeps));
671
    GEN ("    fstart_o <= #Tp 1'b0;\n");
672
    //GEN ("    f11_r <= #Tp 32'h0;\n");
673
    GEN ("  end else begin\n");
674 907 markom
    cucdebug (1, "calls \n");
675
    for (i = 0; i < f->nmsched; i++) if (f->mtype[i] & MT_CALL) {
676
      char t[30];
677
      dep_list *dep = f->INSN(f->msched[i]).dep;
678
      cucdebug (1, "msched[%i] = %x (mtype %x)\n", i, f->msched[i], f->mtype[i]);
679
      assert (f->INSN(f->msched[i]).opt[1] & (OPT_REF | OPT_REGISTER));
680 915 markom
      GEN ("    if (");
681 907 markom
      print_deps (fo, f, REF_BB(f->msched[i]), f->INSN(f->msched[i]).dep, 1);
682 915 markom
      GEN (") begin\n");
683 907 markom
      print_turn_off_dep (fo, f, dep);
684 915 markom
      GEN ("      f_stb[%i] <= #Tp 1'b1;\n", cur_call++);
685
      GEN ("      fstart_o <= #Tp 1'b1;\n");
686 907 markom
      if (log2 (f->nfdeps))
687 915 markom
        GEN ("      fid_o <= #Tp %i'h%x;\n", log2 (f->nfdeps), func_index (f, f->msched[i]));
688 907 markom
 
689
      for (j = 0; j < 6; j++)
690 915 markom
        GEN ("      fr%i_o <= #Tp t%x_%x;\n", j + 3,
691 907 markom
                       REF_BB (f->msched[i]), REF_I (f->msched[i]) - 6 + i);
692 915 markom
      GEN ("    end\n");
693 907 markom
    }
694 915 markom
    GEN ("    if (f_end[%i]) begin\n", ncalls - 1);
695
    GEN ("      f_stb <= #Tp %i'h0;\n", ncalls);
696
    GEN ("      f_start_o <= #Tp 1'b0;\n");
697
    GEN ("    end\n");
698
    GEN ("  end\n");
699
    GEN ("end\n");
700 907 markom
  }
701
 
702 915 markom
  GEN ("\n/* Basic blocks state machine */\n");
703
  GEN ("always @(posedge clk or posedge rst)\n");
704
  GEN ("begin\n");
705
  GEN ("  if (rst) bb_stb <= #Tp %i'h%x;\n", f->num_bb, 0);
706
  GEN ("  else if (end_o) bb_stb <= #Tp %i'h%x;\n", f->num_bb, 0);
707 879 markom
  for (i = 0; i < f->num_bb; i++) {
708 924 markom
    GEN ("  end else if (bb_start[%i]) begin\n", i);
709 915 markom
    GEN ("    bb_stb <= #Tp %i'h%x;\n", f->num_bb, 1 << i);
710 879 markom
  }
711 915 markom
  GEN ("  end else if (end_o) begin\n");
712
  GEN ("    bb_stb <= #Tp %i'h%x;\n", f->num_bb, 0);
713
  GEN ("  end\n");
714
  GEN ("end\n");
715 879 markom
 
716
  /* output footer */
717 915 markom
  GEN ("\nendmodule\n");
718 879 markom
 
719
  fclose (fo);
720
}
721
 
722 915 markom
void generate_main (int nfuncs, cuc_func **f, char *filename)
723
{
724
  FILE *fo;
725
  int i, j, nrf, first;
726
  char tmp[256];
727
  int ncallees[MAX_FUNCS];
728
  int maxncallees = 0;
729
  sprintf (tmp, "%s.v", filename);
730
 
731
  for (i = 0, nrf = 0; i < nfuncs; i++) {
732
    if (f[i]) f[i]->tmp = nrf++;
733
    ncallees[i] = 0;
734
  }
735
  if (!nrf) return;
736
 
737
  for (i = 0; i < nfuncs; i++) if (f[i])
738
    for (j = 0; j < f[i]->nfdeps; j++)
739
      ncallees[f[i]->fdeps[j]->tmp]++;
740
 
741
  for (i = 0; i < nrf; i++)
742
    if (maxncallees < ncallees[i]) maxncallees = ncallees[i];
743
 
744
  log ("Generating verilog file \"%s\"\n", tmp);
745
  printf ("Generating verilog file \"%s\"\n", tmp);
746
  if ((fo = fopen (tmp, "wt+")) == NULL) {
747
    fprintf (stderr, "Cannot open '%s'\n", tmp);
748
    exit (1);
749
  }
750
 
751
  /* output header */
752
  GEN ("/* %s -- generated by OpenRISC Custom Unit Compiler\n", tmp);
753
  GEN ("   (C) 2002 OpenCores http://www.opencores.org/ */\n\n");
754
  GEN ("/* Includes %i functions:", nrf);
755
  for (i = 0; i < nfuncs; i++) if (f[i])
756
    GEN ("\n%s", prof_func[i].name);
757
  GEN (" */\n\n");
758
 
759
  GEN ("`include \"timescale.v\"\n\n");
760
  GEN ("module %s (clk, rst,\n", filename);
761
  GEN ("              /* Load and store master Wishbone ports */\n");
762
  GEN ("              lwb_adr_o, lwb_dat_i, lwb_cycstb_o,\n");
763
  GEN ("              lwb_sel_o, lwb_linbrst_o, lwb_ack_i,\n");
764
  GEN ("              swb_adr_o, swb_dat_o, swb_cycstb_o,\n");
765
  GEN ("              swb_sel_o, swb_linbrst_o, swb_ack_i,\n\n");
766
  GEN ("              /* cuc interface */\n");
767
  GEN ("              cuc_stb_i, cuc_adr_i, cuc_dat_i, cuc_dat_o, cuc_we_i, cuc_ack_o);\n\n");
768
 
769
  GEN ("parameter Tp = 1;\n");
770
  GEN ("\n/* module ports */\n");
771
  GEN ("input         clk, rst, cuc_stb_i, cuc_we_i;\n");
772
  GEN ("input         lwb_ack_i, swb_ack_i, lwb_linbrst_o, swb_linbrst_o;\n");
773
  GEN ("output        lwb_cycstb_o, lwb_linbrst_o;\n");
774
  GEN ("output        swb_cycstb_o swb_linbrst_o;\n");
775
  GEN ("output        cuc_ack_o;\n");
776
  GEN ("output  [3:0] lwb_sel_o, swb_sel_o;\n");
777
  GEN ("output [31:0] lwb_adr_o, swb_adr_o, swb_dat_o, cuc_dat_o;\n");
778
  GEN ("input  [15:0] cuc_adr_i;\n");
779
  GEN ("input  [31:0] lwb_dat_i, cuc_dat_i;\n\n");
780 924 markom
 
781
  GEN ("wire   [%2i:0] i_we, i_re, i_start, i_finish, i_selected, i_first_reg;\n", nrf - 1);
782
  GEN ("wire   [%2i:0] i_bidok, main_start, main_end;\n", nrf - 1);
783
  GEN ("reg    [%2i:0] i_go_bsy, main_start_r;\n", nrf - 1);
784 915 markom
 
785 924 markom
  GEN ("assign i_selected = {\n");
786
  for (i = 0; i < nrf; i++)
787
    GEN ("    cuc_adr_i[15:6] == %i%s\n", i, i < nrf - 1 ? "," : "};");
788
 
789
  GEN ("assign i_first_reg = {\n");
790
  for (i = 0; i < nrf; i++) {
791
    for (j = 0; j <= MAX_REGS; j++) if (f[i]->used_regs[j]) break;
792
    GEN ("    cuc_adr_i[5:0] == %i%s\n", j, i < nrf - 1 ? "," : "};");
793
  }
794
 
795
  GEN ("assign i_we = {%i{cuc_stb_i && cuc_we_i}} & i_selected;\n", nrf);
796
  GEN ("assign i_re = {%i{cuc_stb_i && !cuc_we_i}} & i_selected;\n", nrf);
797
 
798
  GEN ("assign i_start = i_go_bsy & {%i{cuc_ack_o}};\n", nrf);
799
  GEN ("assign i_start_bidok = {\n");
800
  for (i = 0; i < nrf; i++)
801
    GEN ("    i_start_bid[%i] < %i%s\n", i, i, i < nrf - 1 ? "," : "};");
802
  GEN ("assign main_start = start_i & i_selected & i_first_reg & i_we;\n");
803
  GEN ("assign main_end = {%i{end_i}} & i_selected;\n");
804
 
805
  GEN ("\nalways @(posedge clk or posedge rst)\n");
806
  GEN ("begin\n");
807
  GEN ("  if (rst) i_go_bsy <= #Tp %i'b0;\n", nrf);
808
  GEN ("  else i_go_bsy <= #Tp i_we | ~i_finish & i_go_bsy;\n");
809
  GEN ("end\n");
810
 
811 915 markom
  /* Function specific data */
812
  for (i = 0; i < nfuncs; i++) if (f[i]) {
813
    int ci = 0, co = 0;
814
    int fn = f[i]->tmp;
815
    GEN ("\n/* Registers for function %s */\n", prof_func[i].name);
816
    for (j = 0, first = 1; j < MAX_REGS; j++) if (f[i]->used_regs[j]) {
817 924 markom
      GEN ("%s i%i_r%ii", first ? "/* inputs */\nreg    [31:0]" : ",", fn, j);
818 915 markom
      first = 0;
819
      ci++;
820
    }
821
    if (ci) GEN (";\n");
822
 
823
    for (j = 0, first = 1; j < MAX_REGS; j++)
824
      if (f[i]->lur[j] >= 0 && !f[i]->saved_regs[j]) {
825 924 markom
        GEN ("%s i%i_r%io", first ? "/* outputs */\nreg    [31:0]" : ",", fn, j);
826 915 markom
        first = 0;
827
        co++;
828
      }
829
    if (co) GEN (";\n");
830 924 markom
 
831
    GEN ("always @(posedge clk or posedge rst)\n");
832
    GEN ("  if (rst) main_start_r <= #Tp %i'b0;\n", nrf);
833
    GEN ("  else main_start_r <= #Tp main_start & i_start_bidok | i_busy | ~i_end & main_start_r;\n");
834 915 markom
 
835
    if (ci) {
836
      GEN ("\n/* write register access */\n");
837
      GEN ("always @(posedge clk or posedge rst)\n");
838
      GEN ("begin\n");
839
      GEN ("  if (rst) begin\n");
840
      for (j = 0; j < MAX_REGS; j++) if (f[i]->used_regs[j])
841
        GEN ("    i%i_r%-2i <= #Tp 32'h0;\n", fn, j);
842 924 markom
      GEN ("  end else if (!i_go_bsy[%i] && i_we[%i])\n", fn, fn);
843 915 markom
      GEN ("    case (cuc_adr_i[5:0])\n");
844
      for (j = 0; j < MAX_REGS; j++) if (f[i]->used_regs[j])
845
        GEN ("      %-2i: r%i <= #Tp cuc_dat_i;\n", j, j);
846
      GEN ("    endcase\n");
847
      GEN ("end\n");
848
    }
849
 
850 924 markom
    GEN ("\n");
851 915 markom
  }
852
 
853 924 markom
  /* Generate machine for reading all function registers. Register read can be
854
     delayed till function completion */
855 915 markom
  {
856
    int co;
857
    GEN ("/* read register access - data */\n");
858
    GEN ("always @(posedge clk or posedge rst)\n");
859
    GEN ("  if (rst) cuc_dat_o <= #Tp 32'h0;\n");
860
    GEN ("  else if (cuc_stb_i && cuc_we_i) begin\n");
861
    GEN ("    ");
862
 
863
    for (i = 0; i < nfuncs; i++) if (f[i]) {
864
      co = 0;
865
      for (j = 0; j < MAX_REGS; j++)
866
        if (f[i]->lur[j] >= 0 && !f[i]->saved_regs[j]) co++;
867
 
868 924 markom
      GEN ("if (cuc_addr_i[15:6] == %i)", f[i]->tmp);
869 915 markom
      if (co) {
870
        first = 1;
871 924 markom
        GEN ("\n      case (cuc_adr_i[5:0])\n");
872 915 markom
        for (j = 0; j < MAX_REGS; j++)
873
          if (f[i]->lur[j] >= 0 && !f[i]->saved_regs[j])
874
            GEN ("      %-2i: cuc_dat_o <= #Tp i%i_r%i;\n", j, f[i]->tmp, j);
875
        GEN ("      endcase\n");
876
      } else {
877
        GEN ("      cuc_dat_o <= #Tp 32'hx;\n");
878
      }
879 924 markom
      GEN ("    else ");
880 915 markom
    }
881
    GEN ("cuc_dat_o <= #Tp 32'hx;\n");
882
    GEN ("  else cuc_dat_o <= #Tp 32'hx;\n");
883
    GEN ("end\n");
884
 
885
    GEN ("\n/* read register access - acknowledge */\n");
886
    GEN ("always @(cuc_stb_i or cuc_we_i or cuc_adr_i");
887
    for (i = 0; i < nrf; i++) GEN (" or main_end%i", i);
888
    GEN (")\n");
889 924 markom
    GEN ("  if (cuc_stb_i && cuc_we_i) cuc_ack_o <= #Tp |(i_selected & main_end)\n");
890 915 markom
    GEN ("  else cuc_ack_o <= #Tp 1'b0;\n");
891
    GEN ("end\n");
892
  }
893
 
894
  for (j = 0; j < 2; j++) {
895
    char t = j ? 's' : 'l';
896
    GEN ("\n/* %s Wishbone bridge */\n", j ? "store" : "load");
897 924 markom
    GEN ("reg [%i:0] %cm_sel;\n", log2 (nrf), t);
898
    GEN ("reg [%i:0] %cm_bid;\n", log2 (nrf), t);
899 915 markom
 
900
    GEN ("\n/* highest bid */\n");
901
    GEN ("always @(");
902
    for (i = 0; i < nrf; i++) GEN ("%si%i_%cwb_cycstb", i > 0 ? " or " : "", i, t);
903
    GEN (")\n");
904
    for (i = 0; i < nrf; i++) GEN ("  %sif (i%i_%cwb_cycstb) %cm_bid <= %i'h%x;\n",
905
                    i ? "else " : "", i, t, t, log2 (nrf) + 1, i);
906
 
907
    GEN ("\n/* selected transfer */\n");
908
    GEN ("always @(posedge clk or posedge rst)\n");
909
    GEN ("  if (rst) %cm_sel <= #Tp %cm_sel <= #Tp %i'h0;\n", t, t, log2 (nrf) + 1);
910
    GEN ("  else if (%cwb_ack_i) %cm_sel <= #Tp %i'h0;\n", t, t, log2 (nrf) + 1);
911
    GEN ("  else if (!%ccyc_ip) %cm_sel <= #Tp %cm_bid;\n", t, t, t);
912
 
913
    GEN ("\n/* Cycle */\n");
914
    GEN ("assign %cwb_cyc_o = (lwb_cycstb | swb_cycstb);\n", t);
915
    GEN ("assign %cwb_stb_o = %cwb_stb_o;\n", t, t);
916
    GEN ("\nalways @(posedge clk or posedge rst)\n");
917
    GEN ("  if (rst) %ccyc_ip <= #Tp 1'b0;\n", t);
918
    GEN ("  else if (%cwb_ack_i) %ccyc_ip <= #Tp 1'b0;\n", t, t);
919
    GEN ("  else %ccyc_ip <= #Tp %cwb_cyc_o;\n", t, t);
920
  }
921
 
922
  GEN ("\n/* Acknowledge */\n");
923
  for (i = 0; i < nrf; i++)
924
    GEN ("assign i%i_swb_ack = ((sm_bid == %i & !scyc_ip) | sm_sel == %i) & swb_ack_i;\n", i, i, i);
925
 
926
  GEN ("\n/* Data */\n");
927
  for (i = 0; i < nrf; i++) GEN ("wire [31:0] i%i_swb_dat;\n", i);
928
  GEN ("\nassign swb_dat_o = ");
929
  for (i = 0; i < nrf - 1; i++)
930
    GEN ("\n  sm_bid == %i ? i%i_swb_dat : ", i, i);
931
  GEN ("i%i_swb_dat;\n\n", nrf - 1);
932
 
933
  for (i = 0; i < nrf; i++) GEN ("wire [31:0] i%i_lwb_dat = lwb_dat_i;\n", i);
934
 
935
  GEN ("\n/* selects */\n");
936
  for (i = 0; i < nrf; i++) GEN ("wire [3:0]  i%i_swb_sel, i%i_lwb_sel;\n", i, i);
937
  GEN ("\nassign swb_sel_o = ");
938
  for (i = 0; i < nrf - 1; i++)
939
    GEN ("\n  sm_bid == %i ? i%i_swb_sel : ", i, i);
940
  GEN ("i%i_swb_sel;\n", nrf - 1);
941
  GEN ("\nassign lwb_sel_o = ");
942
  for (i = 0; i < nrf - 1; i++)
943
    GEN ("\n  lm_bid == %i ? i%i_lwb_sel : ", i, i);
944
  GEN ("i%i_lwb_sel;\n", nrf - 1);
945
 
946
  GEN ("\n/* write enable */\n");
947
  for (i = 0; i < nrf; i++) GEN ("wire i%i_swb_we, i%i_lwb_we;\n", i, i);
948
  GEN ("\nassign swb_we_o = ");
949
  for (i = 0; i < nrf - 1; i++) GEN ("\n  sm_bid == %i ? i%i_swb_we : ", i, i);
950
  GEN ("i%i_swb_we;\n", nrf - 1);
951
 
952
  GEN ("\nassign lwb_we_o = ");
953
  for (i = 0; i < nrf - 1; i++) GEN ("\n  lm_bid == %i ? i%i_lwb_we : ", i, i);
954
  GEN ("i%i_lwb_we;\n", nrf - 1);
955
 
956
  GEN ("\n/* burst enable */\n");
957
  for (i = 0; i < nrf; i++) GEN ("wire i%i_swb_linbrst, i%i_lwb_linbrst;\n", i, i);
958
  GEN ("\nassign swb_linbrst_o = ");
959
  for (i = 0; i < nrf - 1; i++) GEN ("\n  sm_bid == %i ? i%i_swb_linbrst : ", i, i);
960
  GEN ("i%i_swb_linbrst;\n", nrf - 1);
961
  GEN ("\n\nassign lwb_linbrst_o = ");
962
  for (i = 0; i < nrf - 1; i++) GEN ("\n  lm_bid == %i ? i%i_lwb_linbrst : ", i, i);
963
  GEN ("i%i_lwb_linbrst;\n", nrf - 1);
964
 
965
  /* start/end signals */
966
  GEN ("\n\n/* start/end signals */\n");
967
 
968 924 markom
  for (i = 0; i < nrf; i++) {
969
    if (log2 (maxncallees + 1))
970
      GEN ("wire [%i:0] i%i_current = i%i_busy ? i%i_current_r : i%i_start_bid;\n",
971
        log2 (maxncallees + 1), i, i, i, i, i);
972
    else GEN ("wire i%i_current = 0;\n", i);
973
  }
974
  GEN ("\n");
975
 
976 915 markom
  for (i = 0, first = 1; i < nrf; i++) {
977 924 markom
    GEN ("%si%i_current == %i && i_end[%i]", first ? "assign end_o = " : "\n  || ", i, ncallees[i], i);
978 915 markom
    first = 0;
979
  }
980
  GEN (";\n\n");
981
 
982
  for (i = 0, j = 0; i < nfuncs; i++) if (f[i]) {
983
    if (log2 (ncallees[i])) {
984
      GEN ("reg [%i:0] i%i_start_bid;\n", log2 (ncallees[i]), j);
985
      GEN ("always @(start%i", f[i]->tmp);
986
      for (j = 0, first = 1; j < f[i]->nfdeps; j++)
987
        if (f[i]->fdeps[j]) GEN (", ");
988
      GEN (")\n");
989
      GEN ("begin !!!\n"); //TODO
990
      GEN ("  \n");
991
      GEN ("end\n");
992
    }
993 924 markom
    GEN ("wire i%i_start = main_start[%i];\n", j, j);
994 915 markom
    j++;
995
  }
996
  GEN ("\n");
997
 
998
  for (i = 0; i < nfuncs; i++) if (f[i]) {
999
    int nf = f[i]->tmp;
1000
    GEN ("\n%s i%i(.clk(clk), .rst(rst),\n", prof_func[i].name, nf);
1001
    GEN ("");
1002
    GEN ("  .lwb_adr_o(i%i_lwb_adr), .lwb_dat_i(i%i_lwb_dat), .lwb_cycstb_o(i%i_lwb_cycstb),\n",
1003
                    nf, nf, nf);
1004
    GEN ("  .lwb_sel_o(i%i_lwb_sel), .lwb_linbrst_o(i%i_lwb_linbrst), .lwb_ack_i(i%i_lwb_ack),\n",
1005
                    nf, nf, nf);
1006
    GEN ("  .swb_adr_o(i%i_swb_adr), .swb_dat_o(i%i_swb_dat), .swb_cycstb_o(i%i_swb_cycstb),\n",
1007
                    nf, nf, nf);
1008
    GEN ("  .swb_sel_o(i%i_swb_sel), .swb_linbrst_o(i%i_swb_linbrst), .swb_ack_i(i%i_swb_ack),\n",
1009
                    nf, nf, nf);
1010
    GEN ("  ");
1011 924 markom
    for (j = 0, first = 1; j < MAX_REGS; j++) if (f[i]->used_regs[j])
1012
      GEN (".r%i_i(i_r%ii[%i]), ", j, j, nf), first = 0;
1013 915 markom
 
1014 924 markom
    if (first) GEN ("\n  ");
1015 915 markom
    for (j = 0, first = 1; j < MAX_REGS; j++)
1016
      if (f[i]->lur[j] >= 0 && !f[i]->saved_regs[j])
1017 924 markom
        GEN (".r%i_o(i_r%io[%i]), ", j, j, nf), first = 0;
1018
    if (first) GEN ("\n  ");
1019
    if (f[i]->nfdeps) {
1020
      GEN (".fstart_o(i_fstart[%i]), .fend_i(i_fend[%i]), .fid_o(i%i_fid),\n", i, i, i),
1021
      GEN ("  .fr3_o(i%i_fr3), .fr4_o(i%i_fr4), .fr5_o(i%i_fr5), .fr6_o(i%i_fr6),\n");
1022
      GEN ("  .fr7_o(i%i_fr7), .fr8_o(i%i_fr8), .fr11_i(i%i_fr11i),\n  ");
1023
    }
1024
    GEN (".start_i(i_start[%i]), .end_o(i_end[%i]), .busy_o(i_busy[%i]));\n", nf, nf, nf);
1025 915 markom
  }
1026
 
1027
  /* output footer */
1028
  GEN ("\nendmodule\n");
1029
 
1030
  fclose (fo);
1031
}
1032
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.