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

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [sw/] [zasm/] [zparser.cpp] - Blame information for rev 130

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


////////////////////////////////////////////////////////////////////////////////
//
// Filename:    zparser.cpp
//
// Project:     Zip CPU -- a small, lightweight, RISC CPU core
//
// Purpose:     This file is really mis-named.  At one time it was going to
//              be the parser for the Zip Assembler, zasm.  Since then, I
//              discovered Flex and Bison and have written a parser using
//              those tools.  The true parser may therefore be found in zasm.y.
//              This file, however, still contains some very valuable tools.
//              In particular, all of the routines used to build instructions
//              from the appropriate fields are kept in this file.  For example,
//              op_noop() returns the instruction code for a NOOP  instruction.
//
// Creator:     Dan Gisselquist, Ph.D.
//              Gisselquist Technology, LLC
//
////////////////////////////////////////////////////////////////////////////////
//
// Copyright (C) 2015, Gisselquist Technology, LLC
//
// This program is free software (firmware): you can redistribute it and/or
// modify it under the terms of  the GNU General Public License as published
// by the Free Software Foundation, either version 3 of the License, or (at
// your option) any later version.
//
// This program is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or
// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
// for more details.
//
// You should have received a copy of the GNU General Public License along
// with this program.  (It's in the $(ROOT)/doc directory, run make with no
// target there if the PDF file isn't present.)  If not, see
// <http://www.gnu.org/licenses/> for a copy.
//
// License:     GPL, v3, as defined and found on www.gnu.org,
//              http://www.gnu.org/licenses/gpl.html
//
//
////////////////////////////////////////////////////////////////////////////////
 
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include <strings.h>
#include <assert.h>
 
#include "zparser.h"
#include "zopcodes.h"
 
typedef ZPARSER::ZIPI ZIPI;     // A Zip Instruction (i.e. uint32)
 
#define IMMOP(OP,CND,IMM,A) (((OP&0x01f)<<22)|((A&0x0f)<<27)|((CND&0x07)<<19) \
                        | (IMM & 0x03ffff))
 
#define DBLREGOP(OP,CND,IMM,B,A) (((OP&0x01f)<<22)|((A&0x0f)<<27)       \
                        |((CND&0x07)<<19)|(1<<18)|((B&0x0f)<<14)         \
                        | (IMM & 0x03fff))
 
#define LONG_MPY
 
ZPARSER::ZIPIMM ZPARSER::brev(ZIPIMM v) const {
        unsigned r=0, b;
 
        for(b=0; b<32; b++, v>>=1)
                r = (r<<1)|(v&1);
 
        return r;
}
 
ZIPI    ZPARSER::op_cmp(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_CMP, cnd, imm, b, a);
}
 
ZIPI    ZPARSER::op_cmp(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_CMP, cnd, imm, a);
}
 
 
ZIPI    ZPARSER::op_tst(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_TST, cnd, imm, b, a);
} ZIPI  ZPARSER::op_tst(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_TST, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_mov(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        ZIPI    in;
 
        in = (ZIPO_MOV)<<22;
        in |= ((a  &0x0f)<<27);
        in |= ((cnd&0x07)<<19);
        in |= ((b  &0x0f)<<14);
        in |= ( imm&0x01fff);
 
 
        if (b & 0x10)
                in |= (1<<13);
        if (a & 0x10)
                in |= (1<<18);
        return in;
}
 
 
ZIPI    ZPARSER::op_ldi(ZIPIMM imm, ZIPREG a) const {
        ZIPI    in;
        in = ((a&0x0f)<<27) | (ZIPO_LDI << 22) | (imm & ((1<<23)-1));
        return in;
}
 
ZIPI    ZPARSER::op_trap(ZIPCOND cnd, ZIPIMM imm) const {
        ZIPI    in;
        if (cnd != ZIPC_ALWAYS)
                return op_ldilo(cnd, imm, ZIP_CC);
        else
                return op_ldi(imm, ZIP_CC);
        // in  = ((0x4f)<<24)|((cnd&0x07)<<21)|(1<<20)|((0x0e)<<16);
        // in |= (imm & 0x0ffff);
        return in;
}
 
ZIPI    ZPARSER::op_noop(void) const {
        return 0x76000000;
} ZIPI  ZPARSER::op_break(void) const {
        return 0x76400000;
} ZIPI  ZPARSER::op_lock(void) const {
        return 0x76800000;
}
 
#ifdef  LONG_MPY
ZIPI    ZPARSER::op_mpy(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_MPY, cnd, imm, b, a);
} ZIPI  ZPARSER::op_mpy(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_MPY, cnd, imm, a);
} ZIPI  ZPARSER::op_ldihi(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        ZIPI    in = IMMOP(ZIPO_BREV, cnd, brev(imm)&0x0ffff, a);
        return in;
}
#else
ZIPI    ZPARSER::op_ldihi(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        ZIPI    in = IMMOP(ZIPO_LDIHI, cnd, (imm & 0x0ffff), a);
        return in;
}
#endif
ZIPI    ZPARSER::op_ldilo(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        ZIPI    in = IMMOP(ZIPO_LDILO, cnd, (imm & 0x0ffff), a);
        return in;
}
 
ZIPI    ZPARSER::op_mpyu(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_MPYU, cnd, imm, b, a);
} ZIPI  ZPARSER::op_mpyu(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_MPYU, cnd, imm & 0x0ffff, a);
}
 
ZIPI    ZPARSER::op_mpys(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_MPYS, cnd, imm, b, a);
} ZIPI  ZPARSER::op_mpys(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_MPYS, cnd, imm & 0x0ffff, a);
}
 
ZIPI    ZPARSER::op_rol(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_ROL, cnd, imm, b, a);
} ZIPI  ZPARSER::op_rol(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_ROL, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_popc(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_POPC, cnd, imm, b, a);
} ZIPI  ZPARSER::op_popc(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_POPC, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_brev(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_BREV, cnd, imm, b, a);
} ZIPI  ZPARSER::op_brev(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_BREV, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_lod(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_LOD, cnd, imm, b, a);
} ZIPI  ZPARSER::op_lod(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_LOD, cnd, imm, a);
}
 
 
ZIPI    ZPARSER::op_sto(ZIPCOND cnd, ZIPREG v, ZIPIMM imm, ZIPREG b) const {
        return DBLREGOP(ZIPO_STO, cnd, imm, b, v);
} ZIPI  ZPARSER::op_sto(ZIPCOND cnd, ZIPREG v, ZIPIMM imm) const {
        return IMMOP(ZIPO_STO, cnd, imm, v);
}
 
 
ZIPI    ZPARSER::op_sub(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_SUB, cnd, imm, b, a);
} ZIPI  ZPARSER::op_sub(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        // While it seems like we might do well replacing a subtract immediate
        // with an add of the negative same, the conditions aren't the same
        // when doing so.  Hence this is an invalid substitution.
        // return IMMOP(0xa, cnd, -imm, a); // Do an add of the negative of imm
        return IMMOP(ZIPO_SUB, cnd, imm, a);
}
 
 
ZIPI    ZPARSER::op_and(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_AND, cnd, imm, b, a);
} ZIPI  ZPARSER::op_and(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_AND, cnd, imm, a);
}
 
 
ZIPI    ZPARSER::op_add(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_ADD, cnd, imm, b, a);
} ZIPI  ZPARSER::op_add(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_ADD, cnd, imm, a);
}
 
 
ZIPI    ZPARSER::op_or(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_OR, cnd, imm, b, a);
} ZIPI  ZPARSER::op_or(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_OR, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_xor(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_XOR, cnd, imm, b, a);
} ZIPI  ZPARSER::op_xor(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_XOR, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_lsl(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_LSL, cnd, imm, b, a);
} ZIPI  ZPARSER::op_lsl(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_LSL, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_asr(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_ASR, cnd, imm, b, a);
} ZIPI  ZPARSER::op_asr(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_ASR, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_lsr(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_LSR, cnd, imm, b, a);
} ZIPI  ZPARSER::op_lsr(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_LSR, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_divu(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_DIVU, cnd, imm, b, a);
} ZIPI  ZPARSER::op_divu(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_DIVU, cnd, imm, a);
}
 
ZIPI    ZPARSER::op_divs(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {
        return DBLREGOP(ZIPO_DIVS, cnd, imm, b, a);
} ZIPI  ZPARSER::op_divs(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {
        return IMMOP(ZIPO_DIVS, cnd, imm, a);
}
 
ZPARSER::ZIPIMM ZPARSER::immediate(const ZIPI a) {
        ZIPOP   op((ZIPOP)((a>>22)&0x01f));
        ZIPIMM  imm;
 
        switch(op) {
                case ZIPO_MOV:
                        imm = (a & 0x0fff); if (a&0x1fff) imm |= -0x1000; break;
                case ZIPO_LDI:
                        imm = (a & 0x03fffff); break;
                case ZIPO_LDIn:
                        imm = (a & 0x03fffff); imm |= -0x200000; break;
                case ZIPO_LDILO: case ZIPO_LDIHI:
                        imm = (a & 0x0ffff);   break;
                default:
                        if (a & 0x040000) {
                                imm = (a&0x3fff);
                                if (a&0x2000) imm |= -0x02000;
                        } else {
                                imm = (a&0x3ffff);
                                if (a&0x20000)
                                        imm |= -0x20000;
                        }
        }
 
        return imm;
}
 
bool    ZPARSER::can_merge(const ZIPI a, const ZIPI b) {
        // 1. Can't merge anything that's already merged
        if ((a|b) & 0x80000000)
                return false;
 
        ZIPOP   opa((ZIPOP)((a>>22)&0x01f)), opb((ZIPOP)((b>>22)&0x01f));
        // 2. Conditions
        {
                ZIPCOND ca((ZIPCOND)((a>>19)&0x07)),cb((ZIPCOND)((b>>19)&0x07));
 
                if ((opa == ZIPO_LDI)||(opa == ZIPO_LDIn))
                        ca = ZIPC_ALWAYS;
                if ((opb == ZIPO_LDI)||(opb == ZIPO_LDIn))
                        cb = ZIPC_ALWAYS;
 
                if ((ca == ZIPC_ALWAYS)&&(cb != ZIPC_ALWAYS))
                        return false;
                if ((ca|cb) &0x04)
                        return false;
                if ((ca != ZIPC_ALWAYS)&&((cb != ca)&&(cb != ZIPC_ALWAYS)))
                        return false;
                // if ((ca != ZIPC_ALWAYS)||(cb != ZIPC_ALWAYS))
                        // return false;
        }
 
        // 3. Moves ... only move if the move doesn't address user registers
 
        if ((opa == ZIPO_MOV)&&(a & ((1<<18)|(1<<13))))
                return false;
        if ((opb == ZIPO_MOV)&&(b & ((1<<18)|(1<<13))))
                return false;
 
        // 4. Immediates.  If Register + Immediate, the answer is No.
        ZIPIMM imma, immb;
        switch(opa) {
                case ZIPO_MOV:
                        imma = (a & 0x03fff); if (a) return false; break;
                case ZIPO_LDI: case ZIPO_LDIn:
                case ZIPO_LDILO: case ZIPO_LDIHI:
                        imma = immediate(a);   break;
                default:
                        if (a & 0x040000) {
                                imma = (a&0x3ffff);
                                // if (a&0x20000) a |= -0x20000;
                                if (imma != 0)
                                        return false;
                        } else {
                                imma = (a&0x3fff);
                                if (a&0x2000) // Sign extension?
                                        imma |= -0x02000;
                        }
        } switch(opb) {
                case ZIPO_MOV:
                        immb = (b & 0x0fff); if (b) return false; break;
                case ZIPO_LDI: case ZIPO_LDIn:
                case ZIPO_LDILO: case ZIPO_LDIHI:
                        immb = immediate(b);   break;
                default:
                        if (b & 0x040000) {
                                immb = (b&0x3fff);
                                // if (b&0x2000) b |= -0x02000;
                                if (immb != 0)
                                        return false;
                        } else {
                                immb = (b&0x3ffff);
                                if (b&0x20000)
                                        immb |= -0x20000;
                        }
        }
 
        if ((opa == ZIPO_LDI)||(opa == ZIPO_LDIn)||(opa == ZIPO_LDILO)||(opa == ZIPO_LDIHI)) {
                if ((imma > 15)||(imma < -16))
                        return false;
        } else if ((imma > 7)||(imma < -8))
                        return false;
        if ((opb == ZIPO_LDI)||(opb == ZIPO_LDIn)||(opb == ZIPO_LDILO)||(opb == ZIPO_LDIHI)) {
                if ((immb > 15)||(immb < -16))
                        return false;
        } else if ((immb > 7)||(immb < -8))
                        return false;
 
        return true;
}
 
ZIPI    ZPARSER::merge(const ZIPI a, const ZIPI b) {
        assert(can_merge(a, b));
        ZIPI    ni;
 
        ZIPCOND ca( (ZIPCOND)((a>>19)&0x007)), cb( (ZIPCOND)((b>>19)&0x007));
        ZIPOP   opa((ZIPOP)((a>>25)&0x012)), opb((ZIPOP)((b>>22)&0x01f));
 
        if ((opa == ZIPO_LDI)||(opa == ZIPO_LDIn))
                ca = ZIPC_ALWAYS;
        if ((opb == ZIPO_LDI)||(opb == ZIPO_LDIn))
                cb = ZIPC_ALWAYS;
 
        ZIPIMM imma, immb;
        imma = immediate(a);
        immb = immediate(b);
 
        ni = (opa << 26)|(opb<<9)|0x80000000;
        if (ca != ZIPC_ALWAYS) {
                ni |= (ca << 19);
                if (cb == ca)
                        ni |= (1<<21);
        }
 
        // The result register(s)
        ni |= (a & 0x78000000);
        ni |= ((b>>27)&0x0f)<<5;
 
        // Are we using the register form of opB?
        switch(opa) {
                case ZIPO_MOV: ni |= (a&0x078000); break; // Always a register
                case ZIPO_LDI: case ZIPO_LDIn:
                case ZIPO_LDILO: case ZIPO_LDIHI:
                        ni |= (imma & 0x01f)<<14;
                        break;
                default:
                        if (a & 0x040000) {
                                ni |= (a&0x078000);
                        } else
                                ni |= (imma & 0x0f)<<14;
        }
 
        switch(opb) {
                case ZIPO_MOV:
                        ni |= ((b>>14)&0x0f)|0x10; break;
                case ZIPO_LDI: case ZIPO_LDIn:
                case ZIPO_LDILO: case ZIPO_LDIHI:
                        ni |= (immb & 0x01f);
                        break;
                default:
                        if (b & 0x040000) {
                                ni |= ((b>>14)&0x0f)|0x10;
                        } else
                                ni |= (immb & 0x0f);
        }
 
        return ni;
}

Line No.	Rev	Author	Line
1	2	dgisselq	`////////////////////////////////////////////////////////////////////////////////`
2			`//`
3			`// Filename: zparser.cpp`
4			`//`
5			`// Project: Zip CPU -- a small, lightweight, RISC CPU core`
6			`//`
7	13	dgisselq	`// Purpose: This file is really mis-named. At one time it was going to`
8			`// be the parser for the Zip Assembler, zasm. Since then, I`
9			`// discovered Flex and Bison and have written a parser using`
10			`// those tools. The true parser may therefore be found in zasm.y.`
11			`// This file, however, still contains some very valuable tools.`
12			`// In particular, all of the routines used to build instructions`
13			`// from the appropriate fields are kept in this file. For example,`
14			`// op_noop() returns the instruction code for a NOOP instruction.`
15	2	dgisselq	`//`
16			`// Creator: Dan Gisselquist, Ph.D.`
17	69	dgisselq	`// Gisselquist Technology, LLC`
18	2	dgisselq	`//`
19			`////////////////////////////////////////////////////////////////////////////////`
20			`//`
21			`// Copyright (C) 2015, Gisselquist Technology, LLC`
22			`//`
23			`// This program is free software (firmware): you can redistribute it and/or`
24			`// modify it under the terms of the GNU General Public License as published`
25			`// by the Free Software Foundation, either version 3 of the License, or (at`
26			`// your option) any later version.`
27			`//`
28			`// This program is distributed in the hope that it will be useful, but WITHOUT`
29			`// ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or`
30			`// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License`
31			`// for more details.`
32			`//`
33			`// You should have received a copy of the GNU General Public License along`
34			`// with this program. (It's in the $(ROOT)/doc directory, run make with no`
35			`// target there if the PDF file isn't present.) If not, see`
36			`// <http://www.gnu.org/licenses/> for a copy.`
37			`//`
38			`// License: GPL, v3, as defined and found on www.gnu.org,`
39			`// http://www.gnu.org/licenses/gpl.html`
40			`//`
41			`//`
42			`////////////////////////////////////////////////////////////////////////////////`
43
44			`#include <stdio.h>`
45			`#include <stdlib.h>`
46			`#include <string.h>`
47			`#include <ctype.h>`
48			`#include <strings.h>`
49	69	dgisselq	`#include <assert.h>`
50	2	dgisselq
51			`#include "zparser.h"`
52			`#include "zopcodes.h"`
53
54			`typedef ZPARSER::ZIPI ZIPI; // A Zip Instruction (i.e. uint32)`
55
56	69	dgisselq	`#define IMMOP(OP,CND,IMM,A) (((OP&0x01f)<<22)\|((A&0x0f)<<27)\|((CND&0x07)<<19) \`
57			`\| (IMM & 0x03ffff))`
58	2	dgisselq
59	69	dgisselq	`#define DBLREGOP(OP,CND,IMM,B,A) (((OP&0x01f)<<22)\|((A&0x0f)<<27) \`
60			`\|((CND&0x07)<<19)\|(1<<18)\|((B&0x0f)<<14) \`
61			`\| (IMM & 0x03fff))`
62	2	dgisselq
63	126	dgisselq	`#define LONG_MPY`
64
65			`ZPARSER::ZIPIMM ZPARSER::brev(ZIPIMM v) const {`
66			`unsigned r=0, b;`
67
68			`for(b=0; b<32; b++, v>>=1)`
69			`r = (r<<1)\|(v&1);`
70
71			`return r;`
72			`}`
73
74	2	dgisselq	`ZIPI ZPARSER::op_cmp(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
75	69	dgisselq	`return DBLREGOP(ZIPO_CMP, cnd, imm, b, a);`
76	2	dgisselq	`}`
77
78			`ZIPI ZPARSER::op_cmp(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
79	69	dgisselq	`return IMMOP(ZIPO_CMP, cnd, imm, a);`
80	2	dgisselq	`}`
81
82
83			`ZIPI ZPARSER::op_tst(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
84	69	dgisselq	`return DBLREGOP(ZIPO_TST, cnd, imm, b, a);`
85	2	dgisselq	`} ZIPI ZPARSER::op_tst(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
86	69	dgisselq	`return IMMOP(ZIPO_TST, cnd, imm, a);`
87	2	dgisselq	`}`
88
89			`ZIPI ZPARSER::op_mov(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
90			`ZIPI in;`
91	69	dgisselq
92			`in = (ZIPO_MOV)<<22;`
93			`in \|= ((a &0x0f)<<27);`
94			`in \|= ((cnd&0x07)<<19);`
95			`in \|= ((b &0x0f)<<14);`
96			`in \|= ( imm&0x01fff);`
97
98
99			`if (b & 0x10)`
100			`in \|= (1<<13);`
101			`if (a & 0x10)`
102			`in \|= (1<<18);`
103	2	dgisselq	`return in;`
104			`}`
105
106
107			`ZIPI ZPARSER::op_ldi(ZIPIMM imm, ZIPREG a) const {`
108			`ZIPI in;`
109	69	dgisselq	`in = ((a&0x0f)<<27) \| (ZIPO_LDI << 22) \| (imm & ((1<<23)-1));`
110	2	dgisselq	`return in;`
111			`}`
112
113			`ZIPI ZPARSER::op_trap(ZIPCOND cnd, ZIPIMM imm) const {`
114			`ZIPI in;`
115	13	dgisselq	`if (cnd != ZIPC_ALWAYS)`
116			`return op_ldilo(cnd, imm, ZIP_CC);`
117			`else`
118			`return op_ldi(imm, ZIP_CC);`
119			`// in = ((0x4f)<<24)\|((cnd&0x07)<<21)\|(1<<20)\|((0x0e)<<16);`
120			`// in \|= (imm & 0x0ffff);`
121	2	dgisselq	`return in;`
122			`}`
123
124			`ZIPI ZPARSER::op_noop(void) const {`
125	69	dgisselq	`return 0x76000000;`
126			`} ZIPI ZPARSER::op_break(void) const {`
127			`return 0x76400000;`
128			`} ZIPI ZPARSER::op_lock(void) const {`
129			`return 0x76800000;`
130	2	dgisselq	`}`
131
132	126	dgisselq	`#ifdef LONG_MPY`
133			`ZIPI ZPARSER::op_mpy(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
134			`return DBLREGOP(ZIPO_MPY, cnd, imm, b, a);`
135			`} ZIPI ZPARSER::op_mpy(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
136			`return IMMOP(ZIPO_MPY, cnd, imm, a);`
137			`} ZIPI ZPARSER::op_ldihi(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
138			`ZIPI in = IMMOP(ZIPO_BREV, cnd, brev(imm)&0x0ffff, a);`
139			`return in;`
140			`}`
141			`#else`
142	2	dgisselq	`ZIPI ZPARSER::op_ldihi(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
143	69	dgisselq	`ZIPI in = IMMOP(ZIPO_LDIHI, cnd, (imm & 0x0ffff), a);`
144	2	dgisselq	`return in;`
145	126	dgisselq	`}`
146			`#endif`
147			`ZIPI ZPARSER::op_ldilo(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
148	69	dgisselq	`ZIPI in = IMMOP(ZIPO_LDILO, cnd, (imm & 0x0ffff), a);`
149	2	dgisselq	`return in;`
150			`}`
151
152	26	dgisselq	`ZIPI ZPARSER::op_mpyu(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
153	69	dgisselq	`return DBLREGOP(ZIPO_MPYU, cnd, imm, b, a);`
154	26	dgisselq	`} ZIPI ZPARSER::op_mpyu(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
155	69	dgisselq	`return IMMOP(ZIPO_MPYU, cnd, imm & 0x0ffff, a);`
156	8	dgisselq	`}`
157
158	26	dgisselq	`ZIPI ZPARSER::op_mpys(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
159	69	dgisselq	`return DBLREGOP(ZIPO_MPYS, cnd, imm, b, a);`
160	26	dgisselq	`} ZIPI ZPARSER::op_mpys(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
161	69	dgisselq	`return IMMOP(ZIPO_MPYS, cnd, imm & 0x0ffff, a);`
162	26	dgisselq	`}`
163
164	8	dgisselq	`ZIPI ZPARSER::op_rol(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
165	69	dgisselq	`return DBLREGOP(ZIPO_ROL, cnd, imm, b, a);`
166	8	dgisselq	`} ZIPI ZPARSER::op_rol(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
167	69	dgisselq	`return IMMOP(ZIPO_ROL, cnd, imm, a);`
168	8	dgisselq	`}`
169
170	69	dgisselq	`ZIPI ZPARSER::op_popc(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
171			`return DBLREGOP(ZIPO_POPC, cnd, imm, b, a);`
172			`} ZIPI ZPARSER::op_popc(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
173			`return IMMOP(ZIPO_POPC, cnd, imm, a);`
174			`}`
175
176			`ZIPI ZPARSER::op_brev(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
177			`return DBLREGOP(ZIPO_BREV, cnd, imm, b, a);`
178			`} ZIPI ZPARSER::op_brev(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
179			`return IMMOP(ZIPO_BREV, cnd, imm, a);`
180			`}`
181
182	2	dgisselq	`ZIPI ZPARSER::op_lod(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
183	69	dgisselq	`return DBLREGOP(ZIPO_LOD, cnd, imm, b, a);`
184	8	dgisselq	`} ZIPI ZPARSER::op_lod(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
185	69	dgisselq	`return IMMOP(ZIPO_LOD, cnd, imm, a);`
186	2	dgisselq	`}`
187
188
189			`ZIPI ZPARSER::op_sto(ZIPCOND cnd, ZIPREG v, ZIPIMM imm, ZIPREG b) const {`
190	69	dgisselq	`return DBLREGOP(ZIPO_STO, cnd, imm, b, v);`
191	2	dgisselq	`} ZIPI ZPARSER::op_sto(ZIPCOND cnd, ZIPREG v, ZIPIMM imm) const {`
192	69	dgisselq	`return IMMOP(ZIPO_STO, cnd, imm, v);`
193	2	dgisselq	`}`
194
195
196			`ZIPI ZPARSER::op_sub(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
197	69	dgisselq	`return DBLREGOP(ZIPO_SUB, cnd, imm, b, a);`
198	2	dgisselq	`} ZIPI ZPARSER::op_sub(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
199	26	dgisselq	`// While it seems like we might do well replacing a subtract immediate`
200			`// with an add of the negative same, the conditions aren't the same`
201			`// when doing so. Hence this is an invalid substitution.`
202			`// return IMMOP(0xa, cnd, -imm, a); // Do an add of the negative of imm`
203	69	dgisselq	`return IMMOP(ZIPO_SUB, cnd, imm, a);`
204	2	dgisselq	`}`
205
206
207			`ZIPI ZPARSER::op_and(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
208	69	dgisselq	`return DBLREGOP(ZIPO_AND, cnd, imm, b, a);`
209	2	dgisselq	`} ZIPI ZPARSER::op_and(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
210	69	dgisselq	`return IMMOP(ZIPO_AND, cnd, imm, a);`
211	2	dgisselq	`}`
212
213
214			`ZIPI ZPARSER::op_add(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
215	69	dgisselq	`return DBLREGOP(ZIPO_ADD, cnd, imm, b, a);`
216	2	dgisselq	`} ZIPI ZPARSER::op_add(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
217	69	dgisselq	`return IMMOP(ZIPO_ADD, cnd, imm, a);`
218	2	dgisselq	`}`
219
220
221			`ZIPI ZPARSER::op_or(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
222	69	dgisselq	`return DBLREGOP(ZIPO_OR, cnd, imm, b, a);`
223	2	dgisselq	`} ZIPI ZPARSER::op_or(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
224	69	dgisselq	`return IMMOP(ZIPO_OR, cnd, imm, a);`
225	2	dgisselq	`}`
226
227			`ZIPI ZPARSER::op_xor(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
228	69	dgisselq	`return DBLREGOP(ZIPO_XOR, cnd, imm, b, a);`
229	2	dgisselq	`} ZIPI ZPARSER::op_xor(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
230	69	dgisselq	`return IMMOP(ZIPO_XOR, cnd, imm, a);`
231	2	dgisselq	`}`
232
233			`ZIPI ZPARSER::op_lsl(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
234	69	dgisselq	`return DBLREGOP(ZIPO_LSL, cnd, imm, b, a);`
235	2	dgisselq	`} ZIPI ZPARSER::op_lsl(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
236	69	dgisselq	`return IMMOP(ZIPO_LSL, cnd, imm, a);`
237	2	dgisselq	`}`
238
239			`ZIPI ZPARSER::op_asr(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
240	69	dgisselq	`return DBLREGOP(ZIPO_ASR, cnd, imm, b, a);`
241	2	dgisselq	`} ZIPI ZPARSER::op_asr(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
242	69	dgisselq	`return IMMOP(ZIPO_ASR, cnd, imm, a);`
243	2	dgisselq	`}`
244
245			`ZIPI ZPARSER::op_lsr(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
246	69	dgisselq	`return DBLREGOP(ZIPO_LSR, cnd, imm, b, a);`
247	2	dgisselq	`} ZIPI ZPARSER::op_lsr(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
248	69	dgisselq	`return IMMOP(ZIPO_LSR, cnd, imm, a);`
249	2	dgisselq	`}`
250
251	69	dgisselq	`ZIPI ZPARSER::op_divu(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
252			`return DBLREGOP(ZIPO_DIVU, cnd, imm, b, a);`
253			`} ZIPI ZPARSER::op_divu(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
254			`return IMMOP(ZIPO_DIVU, cnd, imm, a);`
255			`}`
256
257			`ZIPI ZPARSER::op_divs(ZIPCOND cnd, ZIPIMM imm, ZIPREG b, ZIPREG a) const {`
258			`return DBLREGOP(ZIPO_DIVS, cnd, imm, b, a);`
259			`} ZIPI ZPARSER::op_divs(ZIPCOND cnd, ZIPIMM imm, ZIPREG a) const {`
260			`return IMMOP(ZIPO_DIVS, cnd, imm, a);`
261			`}`
262
263			`ZPARSER::ZIPIMM ZPARSER::immediate(const ZIPI a) {`
264	89	dgisselq	`ZIPOP op((ZIPOP)((a>>22)&0x01f));`
265	69	dgisselq	`ZIPIMM imm;`
266
267			`switch(op) {`
268			`case ZIPO_MOV:`
269			`imm = (a & 0x0fff); if (a&0x1fff) imm \|= -0x1000; break;`
270			`case ZIPO_LDI:`
271			`imm = (a & 0x03fffff); break;`
272			`case ZIPO_LDIn:`
273			`imm = (a & 0x03fffff); imm \|= -0x200000; break;`
274			`case ZIPO_LDILO: case ZIPO_LDIHI:`
275			`imm = (a & 0x0ffff); break;`
276			`default:`
277			`if (a & 0x040000) {`
278			`imm = (a&0x3fff);`
279			`if (a&0x2000) imm \|= -0x02000;`
280			`} else {`
281			`imm = (a&0x3ffff);`
282			`if (a&0x20000)`
283			`imm \|= -0x20000;`
284			`}`
285			`}`
286
287			`return imm;`
288			`}`
289
290			`bool ZPARSER::can_merge(const ZIPI a, const ZIPI b) {`
291			`// 1. Can't merge anything that's already merged`
292			`if ((a\|b) & 0x80000000)`
293			`return false;`
294
295	89	dgisselq	`ZIPOP opa((ZIPOP)((a>>22)&0x01f)), opb((ZIPOP)((b>>22)&0x01f));`
296	69	dgisselq	`// 2. Conditions`
297			`{`
298			`ZIPCOND ca((ZIPCOND)((a>>19)&0x07)),cb((ZIPCOND)((b>>19)&0x07));`
299
300			`if ((opa == ZIPO_LDI)\|\|(opa == ZIPO_LDIn))`
301			`ca = ZIPC_ALWAYS;`
302			`if ((opb == ZIPO_LDI)\|\|(opb == ZIPO_LDIn))`
303			`cb = ZIPC_ALWAYS;`
304
305			`if ((ca == ZIPC_ALWAYS)&&(cb != ZIPC_ALWAYS))`
306			`return false;`
307			`if ((ca\|cb) &0x04)`
308			`return false;`
309			`if ((ca != ZIPC_ALWAYS)&&((cb != ca)&&(cb != ZIPC_ALWAYS)))`
310			`return false;`
311			`// if ((ca != ZIPC_ALWAYS)\|\|(cb != ZIPC_ALWAYS))`
312			`// return false;`
313			`}`
314
315			`// 3. Moves ... only move if the move doesn't address user registers`
316
317			`if ((opa == ZIPO_MOV)&&(a & ((1<<18)\|(1<<13))))`
318			`return false;`
319			`if ((opb == ZIPO_MOV)&&(b & ((1<<18)\|(1<<13))))`
320			`return false;`
321
322			`// 4. Immediates. If Register + Immediate, the answer is No.`
323			`ZIPIMM imma, immb;`
324			`switch(opa) {`
325			`case ZIPO_MOV:`
326	89	dgisselq	`imma = (a & 0x03fff); if (a) return false; break;`
327	69	dgisselq	`case ZIPO_LDI: case ZIPO_LDIn:`
328			`case ZIPO_LDILO: case ZIPO_LDIHI:`
329			`imma = immediate(a); break;`
330			`default:`
331			`if (a & 0x040000) {`
332			`imma = (a&0x3ffff);`
333			`// if (a&0x20000) a \|= -0x20000;`
334			`if (imma != 0)`
335			`return false;`
336			`} else {`
337			`imma = (a&0x3fff);`
338			`if (a&0x2000) // Sign extension?`
339			`imma \|= -0x02000;`
340			`}`
341			`} switch(opb) {`
342			`case ZIPO_MOV:`
343			`immb = (b & 0x0fff); if (b) return false; break;`
344			`case ZIPO_LDI: case ZIPO_LDIn:`
345			`case ZIPO_LDILO: case ZIPO_LDIHI:`
346			`immb = immediate(b); break;`
347			`default:`
348			`if (b & 0x040000) {`
349			`immb = (b&0x3fff);`
350			`// if (b&0x2000) b \|= -0x02000;`
351			`if (immb != 0)`
352			`return false;`
353			`} else {`
354			`immb = (b&0x3ffff);`
355			`if (b&0x20000)`
356			`immb \|= -0x20000;`
357			`}`
358			`}`
359
360			`if ((opa == ZIPO_LDI)\|\|(opa == ZIPO_LDIn)\|\|(opa == ZIPO_LDILO)\|\|(opa == ZIPO_LDIHI)) {`
361			`if ((imma > 15)\|\|(imma < -16))`
362			`return false;`
363			`} else if ((imma > 7)\|\|(imma < -8))`
364			`return false;`
365			`if ((opb == ZIPO_LDI)\|\|(opb == ZIPO_LDIn)\|\|(opb == ZIPO_LDILO)\|\|(opb == ZIPO_LDIHI)) {`
366			`if ((immb > 15)\|\|(immb < -16))`
367			`return false;`
368			`} else if ((immb > 7)\|\|(immb < -8))`
369			`return false;`
370
371			`return true;`
372			`}`
373
374			`ZIPI ZPARSER::merge(const ZIPI a, const ZIPI b) {`
375			`assert(can_merge(a, b));`
376			`ZIPI ni;`
377
378			`ZIPCOND ca( (ZIPCOND)((a>>19)&0x007)), cb( (ZIPCOND)((b>>19)&0x007));`
379			`ZIPOP opa((ZIPOP)((a>>25)&0x012)), opb((ZIPOP)((b>>22)&0x01f));`
380
381			`if ((opa == ZIPO_LDI)\|\|(opa == ZIPO_LDIn))`
382			`ca = ZIPC_ALWAYS;`
383			`if ((opb == ZIPO_LDI)\|\|(opb == ZIPO_LDIn))`
384			`cb = ZIPC_ALWAYS;`
385
386			`ZIPIMM imma, immb;`
387			`imma = immediate(a);`
388			`immb = immediate(b);`
389
390			`ni = (opa << 26)\|(opb<<9)\|0x80000000;`
391			`if (ca != ZIPC_ALWAYS) {`
392			`ni \|= (ca << 19);`
393			`if (cb == ca)`
394			`ni \|= (1<<21);`
395			`}`
396
397			`// The result register(s)`
398			`ni \|= (a & 0x78000000);`
399			`ni \|= ((b>>27)&0x0f)<<5;`
400
401			`// Are we using the register form of opB?`
402			`switch(opa) {`
403			`case ZIPO_MOV: ni \|= (a&0x078000); break; // Always a register`
404			`case ZIPO_LDI: case ZIPO_LDIn:`
405			`case ZIPO_LDILO: case ZIPO_LDIHI:`
406			`ni \|= (imma & 0x01f)<<14;`
407			`break;`
408			`default:`
409			`if (a & 0x040000) {`
410			`ni \|= (a&0x078000);`
411			`} else`
412			`ni \|= (imma & 0x0f)<<14;`
413			`}`
414
415			`switch(opb) {`
416			`case ZIPO_MOV:`
417			`ni \|= ((b>>14)&0x0f)\|0x10; break;`
418			`case ZIPO_LDI: case ZIPO_LDIn:`
419			`case ZIPO_LDILO: case ZIPO_LDIHI:`
420			`ni \|= (immb & 0x01f);`
421			`break;`
422			`default:`
423			`if (b & 0x040000) {`
424			`ni \|= ((b>>14)&0x0f)\|0x10;`
425			`} else`
426			`ni \|= (immb & 0x0f);`
427			`}`
428
429			`return ni;`
430			`}`

Browse

Tools

Subversion Repositories zipcpu

[/] [zipcpu/] [trunk/] [sw/] [zasm/] [zparser.cpp] - Blame information for rev 130