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

Subversion Repositories or1k

[/] [or1k/] [tags/] [nog_patch_68/] [or1ksim/] [cuc/] [verilog.c] - Blame information for rev 933

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

powered by: WebSVN 2.1.0

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