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

Subversion Repositories or1k

[/] [or1k/] [tags/] [stable_0_2_0_rc2/] [or1ksim/] [cuc/] [verilog.c] - Blame information for rev 996

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

powered by: WebSVN 2.1.0

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