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

Subversion Repositories or1k

[/] [or1k/] [tags/] [nog_patch_47/] [or1ksim/] [cuc/] [verilog.c] - Blame information for rev 1048

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

powered by: WebSVN 2.1.0

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