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

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [sw/] [zasm/] [asmdata.cpp] - Blame information for rev 44

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

Line No. Rev Author Line
1 13 dgisselq
////////////////////////////////////////////////////////////////////////////////
2
//
3
// Filename:    asmdata.cpp
4
//
5
// Project:     Zip CPU -- a small, lightweight, RISC CPU core
6
//
7
// Purpose:     Like asmdata.h, this contains necessary data structures for the
8
//              assembler.  Specifically, in C/C++ fashion, this contains most
9
//              of the code for actually building such structures.
10
//
11
// Creator:     Dan Gisselquist, Ph.D.
12
//              Gisselquist Tecnology, LLC
13
//
14
////////////////////////////////////////////////////////////////////////////////
15
//
16
// Copyright (C) 2015, Gisselquist Technology, LLC
17
//
18
// This program is free software (firmware): you can redistribute it and/or
19
// modify it under the terms of  the GNU General Public License as published
20
// by the Free Software Foundation, either version 3 of the License, or (at
21
// your option) any later version.
22
//
23
// This program is distributed in the hope that it will be useful, but WITHOUT
24
// ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or
25
// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
26
// for more details.
27
//
28
// You should have received a copy of the GNU General Public License along
29
// with this program.  (It's in the $(ROOT)/doc directory, run make with no
30
// target there if the PDF file isn't present.)  If not, see
31
// <http://www.gnu.org/licenses/> for a copy.
32
//
33
// License:     GPL, v3, as defined and found on www.gnu.org,
34
//              http://www.gnu.org/licenses/gpl.html
35
//
36
//
37
////////////////////////////////////////////////////////////////////////////////
38
 
39
#include <stdlib.h>
40
#include <assert.h>
41
#include <string.h>
42
#include "asmdata.h"
43
 
44
extern  void    yyerror(const char *str);
45
 
46
unsigned int    ILINE::eval(const int lno) {
47
        return (lno==0)?m_in:DEFAULT_LINE;
48
}
49
 
50
unsigned int    VLINE::eval(const int lno) {
51
        return DEFAULT_LINE;
52
}
53
 
54
unsigned int    DLINE::eval(const int lno) {
55
        return (lno==0)?m_data:DEFAULT_LINE;
56
}
57
 
58
void LLINE::addline(ASMLINE *line) {
59
        if (m_lines != NULL) {
60
                ASMLINE **nwlines = new ASMLINE *[m_nlines+1];
61
                for(int i=0; i<m_nlines; i++)
62
                        nwlines[i] = m_lines[i];
63
                delete[] m_lines;
64
                nwlines[m_nlines++] = line;
65
 
66
                m_lines = nwlines;
67
        } else {
68
                m_lines = new ASMLINE *[1];
69
                m_lines[m_nlines++] = line;
70
        }
71 26 dgisselq
 
72
        if (m_lineno > line->m_lineno)
73
                m_lineno = line->m_lineno;
74 13 dgisselq
};
75
 
76
bool    LLINE::isdefined(void) {
77
        for(int i=0; i<m_nlines; i++)
78
                if (!m_lines[i]->isdefined())
79
                return false;
80
        return true;
81
};
82
 
83
LLINE::~LLINE(void) {
84
        for(int i=0; i<m_nlines; i++)
85
                delete m_lines[i];
86
        delete m_lines;
87
}
88
 
89
unsigned int    LLINE::eval(const int lno) {
90
        return (lno < m_nlines)?m_lines[lno]->eval(0) : DEFAULT_LINE;
91
}
92
 
93
// int  m_op; // An operator
94
// AST  *m_left, *m_right;
95
 
96
int     AST_BRANCH::eval(void) {
97
        int     lft = m_left->eval(), rht = m_right->eval();
98
 
99
        switch(m_op) {
100
                case '+':       return lft + rht;
101
                case '-':       return lft - rht;
102
                case '*':       return lft * rht;
103
                case '/':       return lft / rht;
104
                case '%':       return lft % rht;
105
                case '^':       return lft ^ rht;
106
                case '|':       return lft | rht;
107
                case '&':       return lft & rht;
108
                case '~':       return ~lft;
109
                default:        yyerror("Unknown operation"); return lft;
110
        }
111
} void  AST_BRANCH::reduce(void) {
112
        if ((m_left)&&(m_left->m_node_type != 'N')&&(m_left->isdefined())) {
113
                int     val = m_left->eval();
114
                delete  m_left;
115
                m_left = new AST_NUMBER(val);
116
        } else
117
                m_left->reduce();
118
        if ((m_right)&&(m_right->m_node_type != 'N')&&(m_right->isdefined())) {
119
                int     val = m_right->eval();
120
                delete  m_right;
121
                m_right = new AST_NUMBER(val);
122
        } else
123
                m_right->reduce();
124
}
125
 
126
AST_IDENTIFIER::AST_IDENTIFIER(AST *ida, const char *idb) {
127
        m_node_type = 'I';
128
        m_id = ((AST_IDENTIFIER*)ida)->m_id + "." + std::string(idb);
129
        delete ida;
130
}
131
 
132
bool    AST_IDENTIFIER::isdefined(void) {
133
        bool    answer = stb_isdefined(m_id);
134
        return answer;
135
} int   AST_IDENTIFIER::eval(void) {
136
        return stb_value(m_id);
137
} void  AST_IDENTIFIER::reduce(void) {}
138
 
139
bool    AST_LABEL::isdefined(void) {
140
        bool    answer = stb_isdefined(m_label);
141
        return answer;
142
} int   AST_LABEL::eval(void) {
143
        return stb_value(m_label);
144
} void  AST_LABEL::reduce(void) {}
145
 
146
 
147
int     AST_NUMBER::eval(void) {
148
        return m_val;
149
} void  AST_NUMBER::reduce(void) {}
150
 
151
void    OBJFILE::open(const char *fname) {
152
        if ((m_fp != NULL)||(m_pc != 0l)) {
153
                fprintf(stderr, "Error: Can only change file names at startup\n");
154
                exit(-2);
155
        }
156
        m_fp = fopen(fname, "w");
157
        if (m_fp == NULL) {
158
                fprintf(stderr, "Cannot open %s for writing\n", fname);
159
                perror("O/S Err:");
160
                m_fp = fopen("/dev/null","w");
161
        }
162
}
163
 
164
void    OBJFILE::operator+=(ASMLINE *ln) {
165
        unsigned int    buf[1];
166
        int             nlines = ln->nlines();
167
 
168
        if (!ln->isdefined()) {
169
                // fprintf(stderr, "%08x: Adding undefined line:\n", m_pc);
170
                // ((TLINE *)ln)->dump(stderr);
171
                m_tbl.insert(m_tbl.end(), SAVED_ASMLINE(m_pc,ln));
172
        /*
173
        } else {
174
                fprintf(stderr, "%08x: Adding to file:\n", m_pc);
175
                ((TLINE *)ln)->dump(stderr);
176
        */
177
        }
178
        for(int i=0; i<nlines; i++) {
179
                buf[0] = ln->eval(i);
180
                if (m_fp) fwrite(buf, sizeof(ZIPI), 1, m_fp);
181
                m_pc++;
182
        }
183
}
184
 
185
bool    OBJFILE::reduce(void) {
186
        SVDTBL::iterator        i;
187
        bool    all_reduced = true;
188
 
189
        // printf("Checking for reductions\n");
190
        unsigned int tmp = m_pc;
191
        for(i=m_tbl.begin(); i != m_tbl.end(); i++) {
192
                // printf("LINE %08x\n", i->m_pc);
193
                ASMLINE *ln = i->m_ln;
194
                m_pc = i->m_pc;
195
                if (ln->isdefined()) {
196
                        // printf("PC = 0x%08x reduces\n", i->m_pc);
197
                        fseek(m_fp, sizeof(ZIPI)*i->m_pc, SEEK_SET);
198
                        for(int k=0; k< ln->nlines(); k++) {
199
                                ZIPI    buf[1];
200
                                m_pc = i->m_pc+k;
201
                                buf[0] = ln->eval(k);
202
                                // printf("\t0x%08x -> %08x\n", i->m_pc+k,
203
                                        // buf[0]);
204
                                fwrite(buf, sizeof(ZIPI), 1, m_fp);
205
                        }
206
                } else {
207 26 dgisselq
                        fprintf(stderr, "Line %d contains an undefined symbol: ", ln->m_lineno);
208 13 dgisselq
                        fprintf(stderr, "PC = 0x%08x isn\'t ready yet\n", i->m_pc);
209
                        i->m_ln->dump(stderr);
210
                        all_reduced = false;
211
                }
212
        } m_pc = tmp;
213
        return all_reduced;
214
}
215
 
216
bool    fitsin(const int v, const int b) {
217
        if (v>0)
218
                return (v < (1<<(b-1)));
219
        else
220
                return (-v <= (1<<b));
221
}
222
 
223
#define BLD_DUALOP(OP)                                                  \
224
        if (m_opa == zp.ZIP_Rnone)                                      \
225
                yyerror("Err: Dual Ops need a result register");        \
226
        if (m_opb != zp.ZIP_Rnone) {                                    \
227
                if(!fitsin(imm, 16))                                    \
228
                        yyerror("16-bit: Immediate out of range");      \
229
                in = zp.OP(m_cond,imm,m_opb,m_opa);                     \
230
        } else {                                                        \
231
                if(!fitsin(imm, 20))                                    \
232
                        yyerror("20-bit: Immediate out of range");      \
233
                in = zp.OP(m_cond,imm,m_opa);                           \
234
        }
235
 
236
#define BLD_BRANCH(OP,CND)                                              \
237
        if (fitsin(offset, 16))                                         \
238
                in = zp.OP(offset);                                     \
239
        else if (fitsin(offset, 20))                                    \
240
                in = zp.op_add(zp.CND, offset, zp.ZIP_PC);              \
241
        else { in = zp.OP(offset); yyerror("LONG JUMP NOT SUPPORTED"); }
242
 
243
ASMLINE *TLINE::eval(void) {
244
        ZIPI    in;
245
        ZPARSER zp;
246
        int     offset = 0, imm = 0;
247
 
248
        if (m_opcode != OP_MOV) {
249
                if ( ((m_opa!=zp.ZIP_Rnone)&&(m_opa > zp.ZIP_PC))
250
                        || ((m_opb!=zp.ZIP_Rnone)&&(m_opb > zp.ZIP_PC))  )
251
                        yyerror("Only move instructions can reference user regs");
252
        }
253
 
254
        // Offset used in jumps
255
        if (m_imm) {
256
                imm = m_imm->eval();
257
                offset = imm-objcode.pc()-1;
258
 
259
                if (m_opb == zp.ZIP_PC)
260
                        imm = offset;
261
        }
262
 
263
        switch(m_opcode) {
264
                case OP_CMP:
265
                        BLD_DUALOP(op_cmp)
266
                        break;
267
                case OP_TST:
268
                        BLD_DUALOP(op_tst)
269
                        break;
270
                case OP_MOV:
271
                        if ((m_opa == zp.ZIP_Rnone)||(m_opb == zp.ZIP_Rnone)) {
272
                                yyerror("Moves can only occurr between registers");
273
                                fprintf(stderr, "m_opa = %d, m_opb = %d\n", m_opa, m_opb);
274
                                fprintf(stderr, "m_imm = %d\n", imm);
275
                        } else if (!fitsin(imm, 16))
276
                                yyerror("Immediate overflow on move");
277
                        in = zp.op_mov(m_cond, imm, m_opb, m_opa);
278
                        break;
279
                case OP_LDIHI:
280
                        if ((imm & (-1<<16))!=0)
281
                                yyerror("16-bit Immediate out of range");
282
                        if (m_opb != zp.ZIP_Rnone)
283
                                yyerror("LDIHI cannot accept OP-B registers");
284
                        if (m_opa == zp.ZIP_Rnone)
285
                                yyerror("LDIHI needs a register result");
286
                        in = zp.op_ldihi(m_cond, imm, m_opa);
287
                        break;
288
                case OP_LDILO:
289
                        if ((imm & (-1<<16))!=0)
290
                                yyerror("16-bit Immediate out of range");
291
                        if (m_opb != zp.ZIP_Rnone)
292
                                yyerror("LDIHI cannot accept OP-B registers");
293
                        if (m_opa == zp.ZIP_Rnone)
294
                                yyerror("LDIHI needs a register result");
295
                        if ((imm & (-1<<16))!=0)
296
                                yyerror("16-bit Immediate out of range");
297
                        in = zp.op_ldilo(m_cond, imm, m_opa);
298
                        break;
299 26 dgisselq
                case OP_MPYU:
300
                        if ((m_opb == zp.ZIP_PC)||(m_opb == zp.ZIP_CC)
301
                                ||(m_opa == zp.ZIP_PC)||(m_opa == zp.ZIP_CC))
302
                                yyerror("MPYU does not support PC or CC register operands or results");
303
                        else if (m_opb == zp.ZIP_Rnone)
304
                                in = zp.op_mpyu(m_cond, imm, m_opa);
305
                        else
306
                                in = zp.op_mpyu(m_cond, imm, m_opb, m_opa);
307 13 dgisselq
                        break;
308 26 dgisselq
                case OP_MPYS:
309
                        if ((m_opb == zp.ZIP_PC)||(m_opb == zp.ZIP_CC)
310
                                ||(m_opa == zp.ZIP_PC)||(m_opa == zp.ZIP_CC))
311
                                yyerror("MPYS does not support PC or CC register operands or results");
312
                        else if (m_opb == zp.ZIP_Rnone)
313
                                in = zp.op_mpys(m_cond, imm, m_opa);
314
                        else
315
                                in = zp.op_mpys(m_cond, imm, m_opb, m_opa);
316
                        break;
317 13 dgisselq
                case OP_ROL:
318
                        if (m_opa == zp.ZIP_Rnone)
319
                                yyerror("ROL needs a register result");
320
                        if (m_opb != zp.ZIP_Rnone)
321
                                in = zp.op_rol(m_cond, imm, m_opb, m_opa);
322
                        else
323
                                in = zp.op_rol(m_cond, imm, m_opa);
324
                        break;
325
                case OP_SUB:
326
                        BLD_DUALOP(op_sub)
327
                        break;
328
                case OP_AND:
329
                        BLD_DUALOP(op_and)
330
                        break;
331
                case OP_ADD:
332
                        BLD_DUALOP(op_add)
333
                        break;
334
                case OP_OR:
335
                        BLD_DUALOP(op_or)
336
                        break;
337
                case OP_XOR:
338
                        BLD_DUALOP(op_xor)
339
                        break;
340
                case OP_LSL:
341
                        BLD_DUALOP(op_lsl)
342
                        break;
343
                case OP_ASR:
344
                        BLD_DUALOP(op_asr)
345
                        break;
346
                case OP_LSR:
347
                        BLD_DUALOP(op_lsr)
348
                        break;
349
                case OP_LOD:
350
                        if (m_opb != zp.ZIP_Rnone)
351
                                in = zp.op_lod(m_cond, imm, m_opb, m_opa);
352
                        else
353
                                in = zp.op_lod(m_cond, imm, m_opa);
354
                        break;
355
                case OP_STO:
356
                        if (m_opb != zp.ZIP_Rnone)
357
                                in = zp.op_sto(m_cond, m_opa, imm, m_opb);
358
                        else
359
                                in = zp.op_sto(m_cond, m_opa, imm);
360
                        break;
361
                case OP_LDI:
362
                        if ((!fitsin(imm, 24))||(m_cond != zp.ZIPC_ALWAYS)) {
363
                                if (m_opa == zp.ZIP_PC)
364
                                        yyerror("Cannot LDI 32-bit addresses into PC register!");
365
                                LLINE *lln = new LLINE;
366
                                lln->addline(new ILINE(zp.op_ldihi(m_cond, (imm>>16)&0x0ffff, m_opa)));
367
                                lln->addline(new ILINE(zp.op_ldilo(m_cond, imm&0x0ffff, m_opa)));
368 26 dgisselq
                                lln->m_lineno = m_lineno;
369 13 dgisselq
                                return lln;
370
                        } else
371
                                in = zp.op_ldi(imm, m_opa);
372
                        break;
373
                case OP_CLRF:
374
                        in = zp.op_clrf(m_cond, m_opb);
375
                        break;
376
                case OP_NOT:
377
                        in = zp.op_not(m_cond, m_opb);
378
                        break;
379 26 dgisselq
                case OP_NEG:
380
                        if (m_cond != zp.ZIPC_ALWAYS) {
381 36 dgisselq
                                LLINE *lln = new LLINE;
382
                                lln->addline(new ILINE(zp.op_mov(m_cond,-1,m_opb,m_opb)));
383
                                lln->addline(new ILINE(zp.op_not(m_cond,m_opb)));
384
                                return lln;
385 26 dgisselq
                        } else {
386
                                LLINE *lln = new LLINE;
387
                                lln->addline(new ILINE(zp.op_not(m_opb)));
388
                                lln->addline(new ILINE(zp.op_add(1,m_opb)));
389
                                return lln;
390
                        }break;
391 13 dgisselq
                case OP_JMP:
392
                        if (!fitsin(imm, 16))
393
                                yyerror("JMP: Immediate out of range");
394
                        else if (m_opb == zp.ZIP_Rnone) {
395
                                if (m_cond != zp.ZIPC_ALWAYS)
396
                                        yyerror("JMP: Conditions are not allowed for absolute jumps.");
397
                                imm &= (1<<24)-1;
398
                                if (!fitsin(imm, 24))
399
                                        yyerror("JMP: Absolute jump address out of range");
400
                                zp.op_ldi(imm, zp.ZIP_PC);
401
                        }
402
                        in = zp.op_mov(m_cond, imm, m_opb, zp.ZIP_PC);
403
                case OP_BRA:
404
                        BLD_BRANCH(op_bra,ZIPC_ALWAYS)
405
                        break;
406
                case OP_BZ:
407
                        BLD_BRANCH(op_brz,ZIPC_Z)
408
                        break;
409
                case OP_BNZ:
410
                        BLD_BRANCH(op_bnz,ZIPC_NZ)
411
                        break;
412
                case OP_BGE:
413
                        BLD_BRANCH(op_bge,ZIPC_GE)
414
                        break;
415
                case OP_BGT:
416
                        BLD_BRANCH(op_bgt,ZIPC_GT)
417
                        break;
418
                case OP_BLT:
419
                        BLD_BRANCH(op_blt,ZIPC_LT)
420
                        break;
421
                case OP_BRC:
422
                        BLD_BRANCH(op_brc,ZIPC_C)
423
                        break;
424
                case OP_BRV:
425
                        BLD_BRANCH(op_brv,ZIPC_V)
426
                        break;
427
                case OP_CLR:
428
                        in = zp.op_clr(m_opb);
429
                        break;
430
                case OP_TRAP:
431
                        if((m_opb == zp.ZIP_Rnone)&&(m_cond == zp.ZIPC_ALWAYS))
432
                                in = zp.op_ldi(imm, zp.ZIP_CC);
433
                        else if((m_opb == zp.ZIP_Rnone)&&((imm&0x0ffff)==imm))
434
                                in = zp.op_ldilo(imm, zp.ZIP_CC);
435
                        else if((m_opb != zp.ZIP_Rnone)&&(fitsin(imm, 16)))
436
                                in = zp.op_mov(m_cond, imm, m_opb, zp.ZIP_CC);
437
                        else {
438
                                yyerror("Illegal trap!");
439
                                in = zp.op_trap(m_cond, 0);
440
                        }
441
                        break;
442
                case OP_HALT:   in = zp.op_halt(m_cond); break;
443
                case OP_RTU:    in = zp.op_rtu(m_cond); break;
444
                case OP_BUSY:   in = zp.op_busy(m_cond); break;
445
                case OP_BREAK:  in = zp.op_break(); break;
446
                case OP_NOOP:   in = zp.op_noop(); break;
447
                // OP_LJMP:
448
                case OP_NONE:
449
                default:        { char ebuf[256]; sprintf(ebuf, "Unrecognized OP-Code, %d, NONE = %d, CLR=%d", m_opcode, OP_NONE, OP_CLR);
450
                                yyerror(ebuf);
451
                                in = zp.op_noop(); break;
452
                                }
453 26 dgisselq
        }
454
        ILINE   *rs = new ILINE(in);
455
        rs->m_lineno = m_lineno;
456 13 dgisselq
}
457
 
458
int     TLINE::nlines(void)  {
459
        if ((m_opcode == OP_LDI)&&( (!(m_imm->isdefined()))
460
                        || (m_cond != ZPARSER::ZIPC_ALWAYS)
461
                        || (!fitsin(m_imm->eval(), 24)) )) {
462
                return 2;
463
        }
464
        return 1;
465
}
466
 
467
unsigned int    TLINE::eval(const int lno) {
468
        if (!isdefined())
469
                return DEFAULT_LINE;
470
        else {
471
                ASMLINE *ln = this->eval();
472
                unsigned int val = ln->eval(lno);
473
                delete ln;
474
                return val;
475
        }
476
}
477
 
478
void    TLINE::dump(FILE *fp) {
479
        if (m_state == 'V')
480 26 dgisselq
                fprintf(fp, "Void @%d\n", m_lineno);
481 13 dgisselq
        else if (m_state != 'T')
482
                fprintf(fp, "TLINE state != T (== %c)\n", m_state);
483
        else {
484 26 dgisselq
                fprintf(fp, "TLINE @%d\n", m_lineno);
485 13 dgisselq
                switch(m_opcode) {
486
                case OP_CMP: fprintf(fp, "\tTLINE OP   = CMP\n");
487
                        break;
488
                case OP_TST: fprintf(fp, "\tTLINE OP   = TST\n");
489
                        break;
490
                case OP_MOV: fprintf(fp, "\tTLINE OP   = MOV\n");
491
                        break;
492 26 dgisselq
                case OP_LDIHI:fprintf(fp,"\tTLINE OP   = LDIHI\n");
493 13 dgisselq
                        break;
494 26 dgisselq
                case OP_LDILO:fprintf(fp,"\tTLINE OP   = LDILO\n");
495 13 dgisselq
                        break;
496 26 dgisselq
                case OP_MPYU: fprintf(fp,"\tTLINE OP   = MPYU\n");
497 13 dgisselq
                        break;
498 26 dgisselq
                case OP_MPYS: fprintf(fp,"\tTLINE OP   = MPYS\n");
499
                        break;
500 13 dgisselq
                case OP_ROL: fprintf(fp, "\tTLINE OP   = ROL\n");
501
                        break;
502
                case OP_SUB: fprintf(fp, "\tTLINE OP   = SUB\n");
503
                        break;
504
                case OP_AND: fprintf(fp, "\tTLINE OP   = AND\n");
505
                        break;
506
                case OP_ADD: fprintf(fp, "\tTLINE OP   = ADD\n");
507
                        break;
508
                case OP_OR: fprintf(fp, "\tTLINE OP   = OR\n");
509
                        break;
510
                case OP_XOR: fprintf(fp, "\tTLINE OP   = XOR\n");
511
                        break;
512
                case OP_LSL: fprintf(fp, "\tTLINE OP   = LSL\n");
513
                        break;
514
                case OP_ASR: fprintf(fp, "\tTLINE OP   = ASR\n");
515
                        break;
516
                case OP_LSR: fprintf(fp, "\tTLINE OP   = LSR\n");
517
                        break;
518
                case OP_LOD: fprintf(fp, "\tTLINE OP   = LOD\n");
519
                        break;
520
                case OP_STO: fprintf(fp, "\tTLINE OP   = STO\n");
521
                        break;
522
                case OP_LDI: fprintf(fp, "\tTLINE OP   = LDI\n");
523
                        break;
524
                case OP_CLRF: fprintf(fp, "\tTLINE OP   = CLRF\n");
525
                        break;
526
                case OP_NOT: fprintf(fp, "\tTLINE OP   = NOT\n");
527
                        break;
528
                case OP_JMP: fprintf(fp, "\tTLINE OP   = JMP\n");
529
                        break;
530
                case OP_BRA: fprintf(fp, "\tTLINE OP   = BRA\n");
531
                        break;
532
                case OP_BZ:
533
                case OP_BNZ:
534
                case OP_BGE:
535
                case OP_BGT:
536
                case OP_BLT:
537
                case OP_BRC:
538
                case OP_BRV:
539
                        fprintf(fp, "\tTLINE OP   = BRA.C\n");
540
                        break;
541
                case OP_CLR: fprintf(fp, "\tTLINE OP   = CLR\n");
542
                        break;
543 26 dgisselq
                case OP_NEG: fprintf(fp, "\tTLINE OP   = NEG\n");
544
                        break;
545 13 dgisselq
                case OP_TRAP: fprintf(fp, "\tTLINE OP   = TRAP\n");
546
                        break;
547
                case OP_HALT: fprintf(fp, "\tTLINE OP   = HALT\n");
548
                        break;
549
                case OP_RTU: fprintf(fp, "\tTLINE OP   = RTU\n");
550
                        break;
551
                case OP_BUSY: fprintf(fp, "\tTLINE OP   = BUSY\n");
552
                        break;
553
                case OP_BREAK: fprintf(fp, "\tTLINE OP   = BREAK\n");
554
                        break;
555
                case OP_NOOP: fprintf(fp, "\tTLINE OP   = NOOP\n");
556
                        break;
557
                // OP_LJMP:
558
                case OP_NONE:
559
                default:
560
                        fprintf(fp, "\tTLINE OP   = (Unrecognized, %d)\n", m_opcode);
561
                                break;
562
                }
563 34 dgisselq
                if (m_cond == 0)
564
                        fprintf(fp, "\tTLINE COND = (Always)\n");
565
                else
566
                        fprintf(fp, "\tTLINE COND = %s\n", zop_ccstr[m_cond&0x07]);
567 13 dgisselq
                if (m_imm == NULL)
568
                        fprintf(fp, "\tTLINE imm  = (NULL)\n");
569
                else if (!m_imm->isdefined()) {
570
                        m_imm->reduce();
571
                        fprintf(fp, "\tTLINE imm  = ");
572
                        m_imm->dump(fp);
573
                        fprintf(fp, "\n");
574
                } else
575
                        fprintf(fp, "\tTLINE imm  = %d\n", m_imm->eval());
576 34 dgisselq
                if (m_opb != ZPARSER::ZIP_Rnone)
577
                        fprintf(fp, "\tTLINE opb  = %d\n", m_opb);
578
                if (m_opa != ZPARSER::ZIP_Rnone)
579
                        fprintf(fp, "\tTLINE opa  = %d\n", m_opa);
580 13 dgisselq
        }
581
}
582
 
583
 
584
// Now, for our symbol table
585
class   SYMTABLE_ENTRY {
586
private:
587
        int     m_recursion_check;
588
 
589
        std::string     &trim(std::string &s) {
590
                std::string::iterator   ptr = s.end()-1;
591
 
592
                while((ptr >= s.begin())&&(isspace(*ptr)))
593
                        *ptr-- = '\0';
594
                if (*ptr == ':')
595
                        *ptr-- = '\0';
596
 
597
                // printf("STORING: %s\n", s.c_str());
598
 
599
                return s;
600
        }
601
 
602
public:
603
        std::string     m_name;
604
        AST             *m_value;
605
        SYMTABLE_ENTRY(const char *str) : m_recursion_check(0), m_name(str), m_value(NULL) {
606
                trim(m_name);
607
        } SYMTABLE_ENTRY(const char *str, AST *v) : m_recursion_check(0), m_name(str), m_value(v) {
608
                trim(m_name);
609
        } ~SYMTABLE_ENTRY(void) {
610
                delete m_value;
611
        }
612
 
613
        SYMTABLE_ENTRY &operator=(AST *new_value) {
614
                if (m_value)
615
                        delete  m_value;
616
                m_value = new_value;
617
        }
618
 
619
        bool    isdefined(void) {
620
                if (m_recursion_check > 0) {
621
                        fprintf(stderr, "RECURSION DETECTED! Symbol: %s\n",
622
                                m_name.c_str());
623
                        return false;
624
                }
625
                m_recursion_check = 1;
626
                if (m_value->m_node_type != 'N')
627
                        m_value->reduce();
628
                bool    answer = m_value->isdefined();
629
                m_recursion_check = 0;
630
                return answer;
631
        }
632
        int     val(void) {
633
                if ((m_value->isdefined())&&(m_value->m_node_type != 'N')) {
634
                        int     v = m_value->eval();
635
                        AST     *tmp;
636
                        tmp = m_value;
637
                        m_value = new AST_NUMBER(v);
638
                        delete tmp;
639
                } return (m_value->eval());
640
        }
641
        void    dump(FILE *fp) { m_value->dump(fp); }
642
};
643
 
644
class   SYMBOL_TABLE    {
645
private:
646
        typedef SYMTABLE_ENTRY  *TBLV;
647
        typedef std::list<TBLV> TBLT;
648
 
649
        TBLT    m_tbl;
650
 
651
        TBLT::iterator  lookup(const char *str) {
652
                TBLT::iterator  i = m_tbl.begin();
653
                for(; (i!=m_tbl.end())&&(strcmp(str, (*i)->m_name.c_str())>0);
654
                                i++)
655
                        ;
656
                if ((i != m_tbl.end())&&(strcmp(str,(*i)->m_name.c_str())==0))
657
                        return i;
658
                return  m_tbl.end();
659
        }
660
 
661
public:
662
        SYMBOL_TABLE(void) {}
663
        ~SYMBOL_TABLE(void) {
664
                TBLT::iterator i = m_tbl.begin();
665
                while(i != m_tbl.end()) {
666
                        delete (*i);
667
                        m_tbl.erase(i);
668
                }
669
        }
670
 
671
        void    define(const char *key, AST *value) {
672
                SYMTABLE_ENTRY  *v = new SYMTABLE_ENTRY(key, value);
673
                TBLT::iterator  i = m_tbl.begin();
674
                for(; (i!=m_tbl.end())&&(strcmp(key, (*i)->m_name.c_str())>0);
675
                                i++)
676
                        ;
677
                m_tbl.insert(i, v);
678
 
679
                /*
680
                fprintf(stderr, "Defining: %s = ", key);
681
                value->dump(stderr);
682
                fprintf(stderr, "\n");
683
                */
684
        }
685
 
686
        bool    isdefined(const char *key) {
687
                TBLT::iterator  i = lookup(key);
688
                if (i == m_tbl.end()) {
689
                        // fprintf(stderr, "%s is not in the symbol table\n", key);
690
                        return false;
691
                } else {
692
                        bool    defined = (*i)->isdefined();
693
                        /*
694
                        if (!defined) {
695
                                fprintf(stderr, "KEY: %s = ", key);
696
                                (*i)->dump(stderr);
697
                                fprintf(stderr, " is not yet defined\n");
698
                        } */
699
                        return (*i)->isdefined();
700
                }
701
        }
702
 
703
        int     value(const char *key) {
704
                TBLT::iterator  i = lookup(key);
705
                if (i == m_tbl.end())
706
                        return 0;
707
                else
708
                        return (*i)->val();
709
        }
710
};
711
 
712
SYMBOL_TABLE    *global_context = NULL, *file_context = NULL;
713
 
714
bool    stb_isdefined(const char *key) {
715
        if ((file_context)&&(file_context->isdefined(key)))
716
                return true;
717
        else
718
                return global_context->isdefined(key);
719
} int   stb_value(const char *key) {
720
        if (file_context->isdefined(key))
721
                return file_context->value(key);
722
        else
723
                return global_context->value(key);
724
} void  stb_define(const char *key, AST *value) {
725
        file_context->define(key, value);
726
} void  gbl_define(const char *key, AST *value) {
727
        global_context->define(key, value);
728
}
729
 
730
void    create_new_context(void) {
731
        if (global_context == NULL)
732
                global_context = new SYMBOL_TABLE;
733
        if (file_context != NULL)
734
                delete file_context;
735
        file_context = new SYMBOL_TABLE;
736
}
737
 
738
 
739
// Convenience functions for accessing the symbol table
740
bool    stb_isdefined(const std::string &key) {
741
        bool answer = stb_isdefined(key.c_str());
742
        return answer;
743
} int   stb_value(const std::string &key) {
744
        return stb_value(key.c_str());
745
} void  stb_define(const std::string &key, AST *value) {
746
        stb_define(key.c_str(), value);
747
} void  gbl_define(const std::string &key, AST *value) {
748
        gbl_define(key.c_str(), value);
749
}
750
 
751
 

powered by: WebSVN 2.1.0

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