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

Subversion Repositories or1k

[/] [or1k/] [tags/] [rel-0-3-0-rc2/] [or1ksim/] [cuc/] [verilog.c] - Blame information for rev 1103

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

powered by: WebSVN 2.1.0

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