1 |
133 |
markom |
/* Table of opcodes for the OpenRISC 1000 ISA.
|
2 |
|
|
Copyright 1990, 1991, 1992, 1993 Free Software Foundation, Inc.
|
3 |
|
|
Contributed by Damjan Lampret (lampret@opencores.org).
|
4 |
|
|
|
5 |
|
|
This file is part of gen_or1k_isa, or1k, GDB and GAS.
|
6 |
|
|
|
7 |
|
|
This program is free software; you can redistribute it and/or modify
|
8 |
|
|
it under the terms of the GNU General Public License as published by
|
9 |
|
|
the Free Software Foundation; either version 2 of the License, or
|
10 |
|
|
(at your option) any later version.
|
11 |
|
|
|
12 |
|
|
This program is distributed in the hope that it will be useful,
|
13 |
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
14 |
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
15 |
|
|
GNU General Public License for more details.
|
16 |
|
|
|
17 |
|
|
You should have received a copy of the GNU General Public License
|
18 |
|
|
along with this program; if not, write to the Free Software
|
19 |
|
|
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
|
20 |
|
|
|
21 |
|
|
/* We treat all letters the same in encode/decode routines so
|
22 |
|
|
we need to assign some characteristics to them like signess etc.*/
|
23 |
|
|
#include <string.h>
|
24 |
|
|
#include <stdio.h>
|
25 |
|
|
#include <stdlib.h>
|
26 |
|
|
|
27 |
138 |
markom |
#ifdef HAVE_CONFIG_H
|
28 |
|
|
# include "config.h"
|
29 |
|
|
#endif
|
30 |
|
|
#include "parse.h"
|
31 |
133 |
markom |
#include "opcode/or32.h"
|
32 |
|
|
|
33 |
|
|
/* **INDENT-OFF** */
|
34 |
|
|
|
35 |
|
|
CONST struct or32_letter or32_letters[] =
|
36 |
|
|
{
|
37 |
|
|
{ 'A', NUM_UNSIGNED },
|
38 |
|
|
{ 'B', NUM_UNSIGNED },
|
39 |
|
|
{ 'D', NUM_UNSIGNED },
|
40 |
|
|
{ 'I', NUM_SIGNED },
|
41 |
|
|
{ 'K', NUM_UNSIGNED },
|
42 |
|
|
{ 'L', NUM_UNSIGNED },
|
43 |
|
|
{ 'N', NUM_SIGNED },
|
44 |
|
|
{ '0', NUM_UNSIGNED },
|
45 |
|
|
{ '\0', 0 } /* dummy entry */
|
46 |
|
|
};
|
47 |
|
|
|
48 |
|
|
/* Opcode encoding:
|
49 |
|
|
machine[31:30]: first two bits of opcode
|
50 |
|
|
00 - neither of source operands is GPR
|
51 |
|
|
01 - second source operand is GPR (rB)
|
52 |
|
|
10 - first source operand is GPR (rA)
|
53 |
|
|
11 - both source operands are GPRs (rA and rB)
|
54 |
|
|
machine[29:26]: next four bits of opcode
|
55 |
|
|
machine[25:00]: instruction operands (specific to individual instruction)
|
56 |
|
|
|
57 |
|
|
Recommendation: irrelevant instruction bits should be set with a value of
|
58 |
|
|
bits in same positions of instruction preceding current instruction in the
|
59 |
|
|
code (when assembling).
|
60 |
|
|
*/
|
61 |
|
|
|
62 |
|
|
#define EFN &l_none
|
63 |
|
|
|
64 |
|
|
#ifdef HAS_EXECUTION
|
65 |
|
|
#define EF(func) &(func)
|
66 |
|
|
#define EFI &l_invalid
|
67 |
|
|
#else /* HAS_EXECUTION */
|
68 |
|
|
#define EF(func) EFN
|
69 |
|
|
#define EFI EFN
|
70 |
|
|
#endif /* HAS_EXECUTION */
|
71 |
|
|
|
72 |
|
|
CONST struct or32_opcode or32_opcodes[] =
|
73 |
|
|
{
|
74 |
|
|
|
75 |
|
|
{ "l.j", "N", "00 0x0 NNNNN NNNNN NNNN NNNN NNNN NNNN", EF(l_j), OR32_IF_DELAY },
|
76 |
|
|
{ "l.jal", "N", "00 0x1 NNNNN NNNNN NNNN NNNN NNNN NNNN", EF(l_jal), OR32_IF_DELAY },
|
77 |
138 |
markom |
{ "l.bnf", "N", "00 0x3 NNNNN NNNNN NNNN NNNN NNNN NNNN", EF(l_bnf), OR32_IF_DELAY | OR32_R_FLAG},
|
78 |
|
|
{ "l.bf", "N", "00 0x4 NNNNN NNNNN NNNN NNNN NNNN NNNN", EF(l_bf), OR32_IF_DELAY | OR32_R_FLAG },
|
79 |
133 |
markom |
{ "l.nop", "", "00 0x5 01--- ----- ---- ---- ---- ----", EF(l_nop), 0 },
|
80 |
|
|
{ "l.movhi", "rD,K", "00 0x6 DDDDD ----0 KKKK KKKK KKKK KKKK", EF(l_movhi), 0 }, /*MM*/
|
81 |
|
|
{ "l.macrc", "rD", "00 0x6 DDDDD ----1 0000 0000 0000 0000", EF(l_macrc), 0 }, /*MM*/
|
82 |
|
|
{ "l.mfspr", "rD,rA,K", "00 0x7 DDDDD AAAAA KKKK KKKK KKKK KKKK", EF(l_mfspr), 0 },
|
83 |
|
|
{ "l.sys", "K", "00 0x8 00000 00000 KKKK KKKK KKKK KKKK", EF(l_sys), 0 },
|
84 |
|
|
{ "l.trap", "K", "00 0x8 01000 00000 KKKK KKKK KKKK KKKK", EFI, 0 },
|
85 |
|
|
{ "l.msync", "", "00 0x8 10000 00000 0000 0000 0000 0000", EFN, 0 },
|
86 |
|
|
{ "l.psync", "", "00 0x8 10100 00000 0000 0000 0000 0000", EFN, 0 },
|
87 |
|
|
{ "l.csync", "", "00 0x8 11000 00000 0000 0000 0000 0000", EFN, 0 },
|
88 |
|
|
{ "l.rfe", "", "00 0x9 ----- ----- ---- ---- ---- ----", EF(l_rfe), OR32_IF_DELAY },
|
89 |
|
|
|
90 |
|
|
{ "lv.all_eq.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x0", EFI, 0 },
|
91 |
|
|
{ "lv.all_eq.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x1", EFI, 0 },
|
92 |
|
|
{ "lv.all_ge.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x2", EFI, 0 },
|
93 |
|
|
{ "lv.all_ge.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x3", EFI, 0 },
|
94 |
|
|
{ "lv.all_gt.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x4", EFI, 0 },
|
95 |
|
|
{ "lv.all_gt.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x5", EFI, 0 },
|
96 |
|
|
{ "lv.all_le.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x6", EFI, 0 },
|
97 |
|
|
{ "lv.all_le.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x7", EFI, 0 },
|
98 |
|
|
{ "lv.all_lt.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x8", EFI, 0 },
|
99 |
|
|
{ "lv.all_lt.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0x9", EFI, 0 },
|
100 |
|
|
{ "lv.all_ne.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0xA", EFI, 0 },
|
101 |
|
|
{ "lv.all_ne.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x1 0xB", EFI, 0 },
|
102 |
|
|
{ "lv.any_eq.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x0", EFI, 0 },
|
103 |
|
|
{ "lv.any_eq.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x1", EFI, 0 },
|
104 |
|
|
{ "lv.any_ge.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x2", EFI, 0 },
|
105 |
|
|
{ "lv.any_ge.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x3", EFI, 0 },
|
106 |
|
|
{ "lv.any_gt.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x4", EFI, 0 },
|
107 |
|
|
{ "lv.any_gt.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x5", EFI, 0 },
|
108 |
|
|
{ "lv.any_le.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x6", EFI, 0 },
|
109 |
|
|
{ "lv.any_le.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x7", EFI, 0 },
|
110 |
|
|
{ "lv.any_lt.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x8", EFI, 0 },
|
111 |
|
|
{ "lv.any_lt.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0x9", EFI, 0 },
|
112 |
|
|
{ "lv.any_ne.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0xA", EFI, 0 },
|
113 |
|
|
{ "lv.any_ne.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x2 0xB", EFI, 0 },
|
114 |
|
|
{ "lv.add.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x0", EFI, 0 },
|
115 |
|
|
{ "lv.add.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x1", EFI, 0 },
|
116 |
|
|
{ "lv.adds.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x2", EFI, 0 },
|
117 |
|
|
{ "lv.adds.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x3", EFI, 0 },
|
118 |
|
|
{ "lv.addu.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x4", EFI, 0 },
|
119 |
|
|
{ "lv.addu.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x5", EFI, 0 },
|
120 |
|
|
{ "lv.addus.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x6", EFI, 0 },
|
121 |
|
|
{ "lv.addus.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x7", EFI, 0 },
|
122 |
|
|
{ "lv.and", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x8", EFI, 0 },
|
123 |
|
|
{ "lv.avg.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0x9", EFI, 0 },
|
124 |
|
|
{ "lv.avg.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x3 0xA", EFI, 0 },
|
125 |
|
|
{ "lv.cmp_eq.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x0", EFI, 0 },
|
126 |
|
|
{ "lv.cmp_eq.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x1", EFI, 0 },
|
127 |
|
|
{ "lv.cmp_ge.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x2", EFI, 0 },
|
128 |
|
|
{ "lv.cmp_ge.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x3", EFI, 0 },
|
129 |
|
|
{ "lv.cmp_gt.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x4", EFI, 0 },
|
130 |
|
|
{ "lv.cmp_gt.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x5", EFI, 0 },
|
131 |
|
|
{ "lv.cmp_le.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x6", EFI, 0 },
|
132 |
|
|
{ "lv.cmp_le.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x7", EFI, 0 },
|
133 |
|
|
{ "lv.cmp_lt.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x8", EFI, 0 },
|
134 |
|
|
{ "lv.cmp_lt.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0x9", EFI, 0 },
|
135 |
|
|
{ "lv.cmp_ne.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0xA", EFI, 0 },
|
136 |
|
|
{ "lv.cmp_ne.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x4 0xB", EFI, 0 },
|
137 |
|
|
{ "lv.madds.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0x4", EFI, 0 },
|
138 |
|
|
{ "lv.max.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0x5", EFI, 0 },
|
139 |
|
|
{ "lv.max.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0x6", EFI, 0 },
|
140 |
|
|
{ "lv.merge.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0x7", EFI, 0 },
|
141 |
|
|
{ "lv.merge.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0x8", EFI, 0 },
|
142 |
|
|
{ "lv.min.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0x9", EFI, 0 },
|
143 |
|
|
{ "lv.min.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0xA", EFI, 0 },
|
144 |
|
|
{ "lv.msubs.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0xB", EFI, 0 },
|
145 |
|
|
{ "lv.muls.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0xC", EFI, 0 },
|
146 |
|
|
{ "lv.nand", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0xD", EFI, 0 },
|
147 |
|
|
{ "lv.nor", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0xE", EFI, 0 },
|
148 |
|
|
{ "lv.or", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x5 0xF", EFI, 0 },
|
149 |
|
|
{ "lv.pack.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x0", EFI, 0 },
|
150 |
|
|
{ "lv.pack.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x1", EFI, 0 },
|
151 |
|
|
{ "lv.packs.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x2", EFI, 0 },
|
152 |
|
|
{ "lv.packs.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x3", EFI, 0 },
|
153 |
|
|
{ "lv.packus.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x4", EFI, 0 },
|
154 |
|
|
{ "lv.packus.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x5", EFI, 0 },
|
155 |
|
|
{ "lv.perm.n", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x6", EFI, 0 },
|
156 |
|
|
{ "lv.rl.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x7", EFI, 0 },
|
157 |
|
|
{ "lv.rl.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x8", EFI, 0 },
|
158 |
|
|
{ "lv.sll.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0x9", EFI, 0 },
|
159 |
|
|
{ "lv.sll.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0xA", EFI, 0 },
|
160 |
|
|
{ "lv.sll", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0xB", EFI, 0 },
|
161 |
|
|
{ "lv.srl.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0xC", EFI, 0 },
|
162 |
|
|
{ "lv.srl.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0xD", EFI, 0 },
|
163 |
|
|
{ "lv.sra.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0xE", EFI, 0 },
|
164 |
|
|
{ "lv.sra.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x6 0xF", EFI, 0 },
|
165 |
|
|
{ "lv.srl", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x0", EFI, 0 },
|
166 |
|
|
{ "lv.sub.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x1", EFI, 0 },
|
167 |
|
|
{ "lv.sub.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x2", EFI, 0 },
|
168 |
|
|
{ "lv.subs.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x3", EFI, 0 },
|
169 |
|
|
{ "lv.subs.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x4", EFI, 0 },
|
170 |
|
|
{ "lv.subu.b", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x5", EFI, 0 },
|
171 |
|
|
{ "lv.subu.h", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x6", EFI, 0 },
|
172 |
|
|
{ "lv.subus.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x7", EFI, 0 },
|
173 |
|
|
{ "lv.subus.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x8", EFI, 0 },
|
174 |
|
|
{ "lv.unpack.b","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0x9", EFI, 0 },
|
175 |
|
|
{ "lv.unpack.h","rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0xA", EFI, 0 },
|
176 |
|
|
{ "lv.xor", "rD,rA,rB", "00 0xA DDDDD AAAAA BBBB B--- 0x7 0xB", EFI, 0 },
|
177 |
|
|
{ "lv.cust1", "", "00 0xA ----- ----- ---- ---- 0xC ----", EFI, 0 },
|
178 |
|
|
{ "lv.cust2", "", "00 0xA ----- ----- ---- ---- 0xD ----", EFI, 0 },
|
179 |
|
|
{ "lv.cust3", "", "00 0xA ----- ----- ---- ---- 0xE ----", EFI, 0 },
|
180 |
|
|
{ "lv.cust4", "", "00 0xA ----- ----- ---- ---- 0xF ----", EFI, 0 },
|
181 |
|
|
|
182 |
|
|
{ "lf.add.s", "rD,rA,rB", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x0", EFI, 0 },
|
183 |
|
|
{ "lf.sub.s", "rD,rA,rB", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x1", EFI, 0 },
|
184 |
|
|
{ "lf.mul.s", "rD,rA,rB", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x2", EFI, 0 },
|
185 |
|
|
{ "lf.div.s", "rD,rA,rB", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x3", EFI, 0 },
|
186 |
|
|
{ "lf.itof.s", "rD,rA", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x4", EFI, 0 },
|
187 |
|
|
{ "lf.ftoi.s", "rD,rA", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x5", EFI, 0 },
|
188 |
|
|
{ "lf.rem.s", "rD,rA,rB", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x6", EFI, 0 },
|
189 |
|
|
{ "lf.madd.s", "rD,rA,rB", "00 0xB DDDDD AAAAA BBBB B--- 0x1 0x7", EFI, 0 },
|
190 |
|
|
{ "lf.sfeq.s", "rA,rB", "00 0xB ----- AAAAA BBBB B--- 0x1 0x8", EFI, 0 },
|
191 |
|
|
{ "lf.sfne.s", "rA,rB", "00 0xB ----- AAAAA BBBB B--- 0x1 0x9", EFI, 0 },
|
192 |
|
|
{ "lf.sfgt.s", "rA,rB", "00 0xB ----- AAAAA BBBB B--- 0x1 0xA", EFI, 0 },
|
193 |
|
|
{ "lf.sfge.s", "rA,rB", "00 0xB ----- AAAAA BBBB B--- 0x1 0xB", EFI, 0 },
|
194 |
|
|
{ "lf.sflt.s", "rA,rB", "00 0xB ----- AAAAA BBBB B--- 0x1 0xC", EFI, 0 },
|
195 |
|
|
{ "lf.sfle.s", "rA,rB", "00 0xB ----- AAAAA BBBB B--- 0x1 0xD", EFI, 0 },
|
196 |
|
|
{ "lf.cust1.s", "", "00 0xB ----- ----- ---- ---- 0xE ----", EFI, 0 },
|
197 |
|
|
|
198 |
|
|
{ "lf.add.d", "rD,rA,rB", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x0", EFI, 0 },
|
199 |
|
|
{ "lf.sub.d", "rD,rA,rB", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x1", EFI, 0 },
|
200 |
|
|
{ "lf.mul.d", "rD,rA,rB", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x2", EFI, 0 },
|
201 |
|
|
{ "lf.div.d", "rD,rA,rB", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x3", EFI, 0 },
|
202 |
|
|
{ "lf.itof.d", "rD,rA", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x4", EFI, 0 },
|
203 |
|
|
{ "lf.ftoi.d", "rD,rA", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x5", EFI, 0 },
|
204 |
|
|
{ "lf.rem.d", "rD,rA,rB", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x6", EFI, 0 },
|
205 |
|
|
{ "lf.madd.d", "rD,rA,rB", "00 0xC DDDDD AAAAA BBBB B--- 0x1 0x7", EFI, 0 },
|
206 |
|
|
{ "lf.sfeq.d", "rA,rB", "00 0xC ----- AAAAA BBBB B--- 0x1 0x8", EFI, 0 },
|
207 |
|
|
{ "lf.sfne.d", "rA,rB", "00 0xC ----- AAAAA BBBB B--- 0x1 0x9", EFI, 0 },
|
208 |
|
|
{ "lf.sfgt.d", "rA,rB", "00 0xC ----- AAAAA BBBB B--- 0x1 0xA", EFI, 0 },
|
209 |
|
|
{ "lf.sfge.d", "rA,rB", "00 0xC ----- AAAAA BBBB B--- 0x1 0xB", EFI, 0 },
|
210 |
|
|
{ "lf.sflt.d", "rA,rB", "00 0xC ----- AAAAA BBBB B--- 0x1 0xC", EFI, 0 },
|
211 |
|
|
{ "lf.sfle.d", "rA,rB", "00 0xC ----- AAAAA BBBB B--- 0x1 0xD", EFI, 0 },
|
212 |
|
|
{ "lf.cust1.d", "", "00 0xC ----- ----- ---- ---- 0xE ----", EFI, 0 },
|
213 |
|
|
|
214 |
|
|
{ "lvf.ld", "rD,0(rA)", "00 0xD DDDDD AAAAA ---- ---- 0x0 0x0", EFI, 0 },
|
215 |
|
|
{ "lvf.lw", "rD,0(rA)", "00 0xD DDDDD AAAAA ---- ---- 0x0 0x1", EFI, 0 },
|
216 |
|
|
{ "lvf.sd", "0(rA),rB", "00 0xD ----- AAAAA BBBB B--- 0x1 0x0", EFI, 0 },
|
217 |
|
|
{ "lvf.sw", "0(rA),rB", "00 0xD ----- AAAAA BBBB B--- 0x1 0x1", EFI, 0 },
|
218 |
|
|
|
219 |
|
|
{ "l.mtspr", "rA,rB,K", "01 0x0 KKKKK AAAAA BBBB BKKK KKKK KKKK", EF(l_mtspr), 0 },
|
220 |
|
|
{ "l.jr", "rB", "01 0x1 ----- ----- BBBB B--- ---- ----", EF(l_jr), OR32_IF_DELAY },
|
221 |
|
|
{ "l.jalr", "rB", "01 0x2 ----- ----- BBBB B--- ---- ----", EF(l_jalr), OR32_IF_DELAY },
|
222 |
|
|
{ "l.cust1", "", "01 0xC ----- ----- ---- ---- ---- ----", EFI, 0 },
|
223 |
|
|
{ "l.cust2", "", "01 0xD ----- ----- ---- ---- ---- ----", EFI, 0 },
|
224 |
|
|
{ "l.cust3", "", "01 0xE ----- ----- ---- ---- ---- ----", EFI, 0 },
|
225 |
|
|
{ "l.cust4", "", "01 0xF ----- ----- ---- ---- ---- ----", EFI, 0 },
|
226 |
|
|
|
227 |
|
|
{ "l.ld", "rD,I(rA)", "10 0x0 DDDDD AAAAA IIII IIII IIII IIII", EFI, 0 },
|
228 |
|
|
{ "l.lwz", "rD,I(rA)", "10 0x1 DDDDD AAAAA IIII IIII IIII IIII", EF(l_lwz), 0 },
|
229 |
|
|
{ "l.lws", "rD,I(rA)", "10 0x2 DDDDD AAAAA IIII IIII IIII IIII", EFI, 0 },
|
230 |
|
|
{ "l.lbz", "rD,I(rA)", "10 0x3 DDDDD AAAAA IIII IIII IIII IIII", EF(l_lbz), 0 },
|
231 |
|
|
{ "l.lbs", "rD,I(rA)", "10 0x4 DDDDD AAAAA IIII IIII IIII IIII", EF(l_lbs), 0 },
|
232 |
|
|
{ "l.lhz", "rD,I(rA)", "10 0x5 DDDDD AAAAA IIII IIII IIII IIII", EF(l_lhz), 0 },
|
233 |
|
|
{ "l.lhs", "rD,I(rA)", "10 0x6 DDDDD AAAAA IIII IIII IIII IIII", EF(l_lhs), 0 },
|
234 |
|
|
|
235 |
|
|
{ "l.addi", "rD,rA,I", "10 0x7 DDDDD AAAAA IIII IIII IIII IIII", EF(l_add), 0 },
|
236 |
|
|
{ "l.addic", "rD,rA,I", "10 0x8 DDDDD AAAAA IIII IIII IIII IIII", EFI, 0 },
|
237 |
|
|
{ "l.andi", "rD,rA,K", "10 0x9 DDDDD AAAAA KKKK KKKK KKKK KKKK", EF(l_and), 0 },
|
238 |
|
|
{ "l.ori", "rD,rA,K", "10 0xA DDDDD AAAAA KKKK KKKK KKKK KKKK", EF(l_or), 0 },
|
239 |
|
|
{ "l.xori", "rD,rA,I", "10 0xB DDDDD AAAAA IIII IIII IIII IIII", EF(l_xor), 0 },
|
240 |
|
|
{ "l.muli", "rD,rA,I", "10 0xC DDDDD AAAAA IIII IIII IIII IIII", EFI, 0 },
|
241 |
|
|
{ "l.maci", "rA,I", "10 0xD ----- AAAAA IIII IIII IIII IIII", EF(l_mac), 0 },
|
242 |
|
|
{ "l.slli", "rD,rA,L", "10 0xE DDDDD AAAAA ---- ---- 00LL LLLL", EF(l_sll), 0 },
|
243 |
|
|
{ "l.srli", "rD,rA,L", "10 0xE DDDDD AAAAA ---- ---- 01LL LLLL", EF(l_srl), 0 },
|
244 |
|
|
{ "l.srai", "rD,rA,L", "10 0xE DDDDD AAAAA ---- ---- 10LL LLLL", EF(l_sra), 0 },
|
245 |
|
|
{ "l.rori", "rD,rA,L", "10 0xE DDDDD AAAAA ---- ---- 11LL LLLL", EFI, 0 },
|
246 |
|
|
|
247 |
138 |
markom |
{ "l.sfeqi", "rA,I", "10 0xF 00000 AAAAA IIII IIII IIII IIII", EF(l_sfeq), OR32_W_FLAG },
|
248 |
|
|
{ "l.sfnei", "rA,I", "10 0xF 00001 AAAAA IIII IIII IIII IIII", EF(l_sfne), OR32_W_FLAG },
|
249 |
|
|
{ "l.sfgtui", "rA,I", "10 0xF 00010 AAAAA IIII IIII IIII IIII", EF(l_sfgtu), OR32_W_FLAG },
|
250 |
|
|
{ "l.sfgeui", "rA,I", "10 0xF 00011 AAAAA IIII IIII IIII IIII", EF(l_sfgeu), OR32_W_FLAG },
|
251 |
|
|
{ "l.sfltui", "rA,I", "10 0xF 00100 AAAAA IIII IIII IIII IIII", EF(l_sfltu), OR32_W_FLAG },
|
252 |
|
|
{ "l.sfleui", "rA,I", "10 0xF 00101 AAAAA IIII IIII IIII IIII", EF(l_sfleu), OR32_W_FLAG },
|
253 |
|
|
{ "l.sfgtsi", "rA,I", "10 0xF 01010 AAAAA IIII IIII IIII IIII", EF(l_sfgts), OR32_W_FLAG },
|
254 |
|
|
{ "l.sfgesi", "rA,I", "10 0xF 01011 AAAAA IIII IIII IIII IIII", EF(l_sfges), OR32_W_FLAG },
|
255 |
|
|
{ "l.sfltsi", "rA,I", "10 0xF 01100 AAAAA IIII IIII IIII IIII", EF(l_sflts), OR32_W_FLAG },
|
256 |
|
|
{ "l.sflesi", "rA,I", "10 0xF 01101 AAAAA IIII IIII IIII IIII", EF(l_sfles), OR32_W_FLAG },
|
257 |
133 |
markom |
|
258 |
|
|
{ "l.sd", "I(rA),rB", "11 0x4 IIIII AAAAA BBBB BIII IIII IIII", EFI, 0 },
|
259 |
|
|
{ "l.sw", "I(rA),rB", "11 0x5 IIIII AAAAA BBBB BIII IIII IIII", EF(l_sw), 0 },
|
260 |
|
|
{ "l.sb", "I(rA),rB", "11 0x6 IIIII AAAAA BBBB BIII IIII IIII", EF(l_sb), 0 },
|
261 |
|
|
{ "l.sh", "I(rA),rB", "11 0x7 IIIII AAAAA BBBB BIII IIII IIII", EF(l_sh), 0 },
|
262 |
|
|
|
263 |
|
|
{ "l.add", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x0", EF(l_add), 0 },
|
264 |
|
|
{ "l.addc", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x1", EFI, 0 },
|
265 |
|
|
{ "l.sub", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x2", EF(l_sub), 0 },
|
266 |
|
|
{ "l.and", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x3", EF(l_and), 0 },
|
267 |
|
|
{ "l.or", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x4", EF(l_or), 0 },
|
268 |
|
|
{ "l.xor", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x5", EF(l_xor), 0 },
|
269 |
|
|
{ "l.mul", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-11 ---- 0x6", EF(l_mul), 0 },
|
270 |
|
|
{ "l.mac", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 0--- 0x7", EF(l_mac), 0 }, /*MM*/
|
271 |
|
|
{ "l.msb", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 1--- 0x7", EF(l_msb), 0 }, /*MM*/
|
272 |
|
|
{ "l.sll", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 00-- 0x8", EF(l_sll), 0 },
|
273 |
|
|
{ "l.srl", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 01-- 0x8", EF(l_srl), 0 },
|
274 |
|
|
{ "l.sra", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 10-- 0x8", EF(l_sra), 0 },
|
275 |
|
|
{ "l.ror", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 11-- 0x8", EFI, 0 },
|
276 |
|
|
{ "l.div", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0x9", EF(l_div), 0 },
|
277 |
|
|
{ "l.divu", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0xA", EF(l_divu), 0 },
|
278 |
|
|
{ "l.mulu", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-11 ---- 0xB", EFI, 0 },
|
279 |
138 |
markom |
{ "l.exths", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 00-- 0xC", EFI, 0 },
|
280 |
|
|
{ "l.extbs", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 01-- 0xC", EFI, 0 },
|
281 |
|
|
{ "l.exthz", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 10-- 0xC", EFI, 0 },
|
282 |
|
|
{ "l.extbz", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 11-- 0xC", EFI, 0 },
|
283 |
|
|
{ "l.extws", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 00-- 0xD", EFI, 0 },
|
284 |
|
|
{ "l.extwz", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 01-- 0xD", EFI, 0 },
|
285 |
133 |
markom |
{ "l.cmov", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0xE", EFI, 0 },
|
286 |
|
|
{ "l.ff1", "rD,rA,rB", "11 0x8 DDDDD AAAAA BBBB B-00 ---- 0xF", EFI, 0 },
|
287 |
|
|
|
288 |
138 |
markom |
{ "l.sfeq", "rA,rB", "11 0x9 00000 AAAAA BBBB B--- ---- ----", EF(l_sfeq), OR32_W_FLAG },
|
289 |
|
|
{ "l.sfne", "rA,rB", "11 0x9 00001 AAAAA BBBB B--- ---- ----", EF(l_sfne), OR32_W_FLAG },
|
290 |
|
|
{ "l.sfgtu", "rA,rB", "11 0x9 00010 AAAAA BBBB B--- ---- ----", EF(l_sfgtu), OR32_W_FLAG },
|
291 |
|
|
{ "l.sfgeu", "rA,rB", "11 0x9 00011 AAAAA BBBB B--- ---- ----", EF(l_sfgeu), OR32_W_FLAG },
|
292 |
|
|
{ "l.sfltu", "rA,rB", "11 0x9 00100 AAAAA BBBB B--- ---- ----", EF(l_sfltu), OR32_W_FLAG },
|
293 |
|
|
{ "l.sfleu", "rA,rB", "11 0x9 00101 AAAAA BBBB B--- ---- ----", EF(l_sfleu), OR32_W_FLAG },
|
294 |
|
|
{ "l.sfgts", "rA,rB", "11 0x9 01010 AAAAA BBBB B--- ---- ----", EF(l_sfgts), OR32_W_FLAG },
|
295 |
|
|
{ "l.sfges", "rA,rB", "11 0x9 01011 AAAAA BBBB B--- ---- ----", EF(l_sfges), OR32_W_FLAG },
|
296 |
|
|
{ "l.sflts", "rA,rB", "11 0x9 01100 AAAAA BBBB B--- ---- ----", EF(l_sflts), OR32_W_FLAG },
|
297 |
|
|
{ "l.sfles", "rA,rB", "11 0x9 01101 AAAAA BBBB B--- ---- ----", EF(l_sfles), OR32_W_FLAG },
|
298 |
133 |
markom |
|
299 |
|
|
{ "l.cust5", "", "11 0xC ----- ----- ---- ---- ---- ----", EFI, 0 },
|
300 |
|
|
{ "l.cust6", "", "11 0xD ----- ----- ---- ---- ---- ----", EFI, 0 },
|
301 |
|
|
{ "l.cust7", "", "11 0xE ----- ----- ---- ---- ---- ----", EFI, 0 },
|
302 |
|
|
{ "l.cust8", "", "11 0xF ----- ----- ---- ---- ---- ----", EFI, 0 },
|
303 |
|
|
|
304 |
|
|
{ "", "", "", EFI, 0 } /* Dummy entry, not included in num_opcodes. This
|
305 |
|
|
lets code examine entry i+1 without checking
|
306 |
|
|
if we've run off the end of the table. */
|
307 |
|
|
};
|
308 |
|
|
|
309 |
|
|
#undef EFI
|
310 |
|
|
#undef EFN
|
311 |
|
|
#undef EF
|
312 |
|
|
|
313 |
|
|
/* **INDENT-ON** */
|
314 |
|
|
|
315 |
|
|
CONST unsigned int num_opcodes = ((sizeof(or32_opcodes)) / (sizeof(struct or32_opcode))) - 1;
|
316 |
|
|
|
317 |
138 |
markom |
/* Calculates instruction length in bytes. Always 4 for OR32. */
|
318 |
|
|
int
|
319 |
|
|
insn_len(int insn_index)
|
320 |
133 |
markom |
{
|
321 |
|
|
insn_index = 0; /* Just to get rid that warning. */
|
322 |
|
|
return 4;
|
323 |
|
|
}
|
324 |
|
|
|
325 |
|
|
/* Is individual insn's operand signed or unsigned? */
|
326 |
138 |
markom |
int
|
327 |
|
|
letter_signed(char l)
|
328 |
133 |
markom |
{
|
329 |
|
|
CONST struct or32_letter *pletter;
|
330 |
|
|
|
331 |
|
|
for(pletter = or32_letters; pletter->letter != '\0'; pletter++)
|
332 |
|
|
if (pletter->letter == l)
|
333 |
|
|
return pletter->sign;
|
334 |
|
|
|
335 |
|
|
printf("letter_signed(%c): Unknown letter.\n", l);
|
336 |
|
|
return 0;
|
337 |
|
|
}
|
338 |
|
|
|
339 |
|
|
/* Number of letters in the individual lettered operand. */
|
340 |
138 |
markom |
int
|
341 |
|
|
letter_range(char l)
|
342 |
133 |
markom |
{
|
343 |
|
|
CONST struct or32_opcode *pinsn;
|
344 |
|
|
char *enc;
|
345 |
|
|
int range = 0;
|
346 |
|
|
|
347 |
138 |
markom |
for(pinsn = or32_opcodes; strlen(pinsn->name); pinsn++)
|
348 |
|
|
{
|
349 |
|
|
if (strchr(pinsn->encoding,l))
|
350 |
|
|
{
|
351 |
|
|
for (enc = pinsn->encoding; *enc != '\0'; enc++)
|
352 |
|
|
if ((*enc == '0') && (*(enc+1) == 'x'))
|
353 |
|
|
enc += 2;
|
354 |
|
|
else if (*enc == l)
|
355 |
|
|
range++;
|
356 |
|
|
return range;
|
357 |
133 |
markom |
}
|
358 |
|
|
}
|
359 |
|
|
printf("\nABORT: letter_range(%c): Never used letter.\n", l);
|
360 |
|
|
exit(1);
|
361 |
|
|
}
|
362 |
|
|
|
363 |
|
|
/* MM: Returns index of given instruction name. */
|
364 |
138 |
markom |
int
|
365 |
|
|
insn_index (char *insn)
|
366 |
|
|
{
|
367 |
133 |
markom |
int i, found = -1;
|
368 |
|
|
for (i = 0; (unsigned int)i < num_opcodes; i++)
|
369 |
138 |
markom |
if (!strcmp (or32_opcodes[i].name, insn))
|
370 |
|
|
{
|
371 |
|
|
found = i;
|
372 |
|
|
break;
|
373 |
|
|
}
|
374 |
133 |
markom |
return found;
|
375 |
|
|
}
|
376 |
|
|
|
377 |
138 |
markom |
CONST char *insn_name(int index)
|
378 |
|
|
{
|
379 |
133 |
markom |
if (index >= 0 && (unsigned int)index < num_opcodes)
|
380 |
|
|
return or32_opcodes[index].name;
|
381 |
|
|
else
|
382 |
|
|
return "???";
|
383 |
|
|
}
|
384 |
|
|
|
385 |
138 |
markom |
void l_none()
|
386 |
|
|
{
|
387 |
133 |
markom |
}
|
388 |
|
|
|
389 |
|
|
|
390 |
|
|
/*** Finite automata for instruction decoding building code ***/
|
391 |
|
|
|
392 |
|
|
/* Find simbols in encoding. */
|
393 |
|
|
static unsigned long
|
394 |
|
|
insn_extract(param_ch, enc_initial)
|
395 |
|
|
char param_ch;
|
396 |
|
|
char *enc_initial;
|
397 |
|
|
{
|
398 |
|
|
char *enc;
|
399 |
|
|
unsigned long ret = 0;
|
400 |
|
|
unsigned opc_pos = 32;
|
401 |
|
|
for (enc = enc_initial; *enc != '\0'; )
|
402 |
|
|
if ((*enc == '0') && (*(enc+1) == 'x'))
|
403 |
|
|
{
|
404 |
|
|
unsigned long tmp = strtol(enc+2, NULL, 16);
|
405 |
|
|
opc_pos -= 4;
|
406 |
138 |
markom |
if (param_ch == '0' || param_ch == '1')
|
407 |
|
|
{
|
408 |
|
|
if (param_ch == '0')
|
409 |
|
|
tmp = 15 - tmp;
|
410 |
|
|
ret |= tmp << opc_pos;
|
411 |
|
|
}
|
412 |
133 |
markom |
enc += 3;
|
413 |
|
|
}
|
414 |
138 |
markom |
else
|
415 |
|
|
{
|
416 |
|
|
if (*enc == '0' || *enc == '1' || *enc == '-' || isalpha(*enc) )
|
417 |
|
|
{
|
418 |
|
|
opc_pos--;
|
419 |
|
|
if (param_ch == *enc)
|
420 |
|
|
ret |= 1 << opc_pos;
|
421 |
|
|
}
|
422 |
|
|
enc++;
|
423 |
133 |
markom |
}
|
424 |
|
|
return ret;
|
425 |
|
|
}
|
426 |
|
|
|
427 |
138 |
markom |
#define MAX_AUTOMATA_SIZE (1200)
|
428 |
|
|
#define MAX_OP_TABLE_SIZE (1200)
|
429 |
133 |
markom |
#define LEAF_FLAG (0x80000000)
|
430 |
|
|
#define MAX_LEN (8)
|
431 |
|
|
|
432 |
|
|
#ifndef MIN
|
433 |
|
|
# define MIN(x,y) ((x) < (y) ? (x) : (y))
|
434 |
|
|
#endif
|
435 |
|
|
|
436 |
|
|
unsigned long *automata;
|
437 |
|
|
int nuncovered;
|
438 |
|
|
int curpass = 0;
|
439 |
|
|
|
440 |
138 |
markom |
/* MM: Struct that hold runtime build information about instructions. */
|
441 |
|
|
struct temp_insn_struct
|
442 |
|
|
{
|
443 |
|
|
unsigned long insn;
|
444 |
|
|
unsigned long insn_mask;
|
445 |
|
|
int in_pass;
|
446 |
|
|
} *ti;
|
447 |
|
|
|
448 |
|
|
struct insn_op_struct *op_data, **op_start;
|
449 |
|
|
|
450 |
|
|
/* Recursive utility function used to find best match and to build automata. */
|
451 |
|
|
|
452 |
|
|
static unsigned long *
|
453 |
|
|
cover_insn (unsigned long *cur, int pass, unsigned int mask)
|
454 |
|
|
{
|
455 |
133 |
markom |
int best_first = 0, best_len = 0, i, last_match = -1, ninstr = 0;
|
456 |
|
|
unsigned long cur_mask = mask;
|
457 |
|
|
unsigned long *next;
|
458 |
|
|
|
459 |
|
|
for (i = 0; i < num_opcodes; i++)
|
460 |
138 |
markom |
if (ti[i].in_pass == pass)
|
461 |
|
|
{
|
462 |
|
|
cur_mask &= ti[i].insn_mask;
|
463 |
|
|
ninstr++;
|
464 |
|
|
last_match = i;
|
465 |
|
|
}
|
466 |
|
|
|
467 |
|
|
debug("%08X %08X\n", mask, cur_mask);
|
468 |
|
|
if (ninstr == 0)
|
469 |
|
|
return 0;
|
470 |
|
|
if (ninstr == 1)
|
471 |
|
|
{
|
472 |
|
|
/* Leaf holds instruction index. */
|
473 |
|
|
debug("%i>I%i %s\n", cur - automata, last_match, or32_opcodes[last_match].name);
|
474 |
|
|
*cur = LEAF_FLAG | last_match;
|
475 |
|
|
cur++;
|
476 |
|
|
nuncovered--;
|
477 |
|
|
} else {
|
478 |
|
|
/* Find longest match. */
|
479 |
|
|
for (i = 0; i < 32; i++)
|
480 |
|
|
{
|
481 |
|
|
int len;
|
482 |
|
|
for (len = best_len + 1; len < MIN(MAX_LEN, 33 - i); len++)
|
483 |
|
|
{
|
484 |
|
|
unsigned long m = (1UL << ((unsigned long)len)) - 1;
|
485 |
|
|
/*debug(" (%i(%08X & %08X>>%i = %08X, %08X)",len,m, cur_mask, i, (cur_mask >> (unsigned)i), (cur_mask >> (unsigned)i) & m);*/
|
486 |
|
|
if ((m & (cur_mask >> (unsigned)i)) == m)
|
487 |
|
|
{
|
488 |
|
|
best_len = len;
|
489 |
|
|
best_first = i;
|
490 |
|
|
/*debug("!");*/
|
491 |
|
|
}
|
492 |
|
|
else
|
493 |
|
|
break;
|
494 |
|
|
}
|
495 |
|
|
}
|
496 |
|
|
/*debug("\n");*/
|
497 |
|
|
if (!best_len)
|
498 |
|
|
{
|
499 |
|
|
fprintf (stderr, "%i instructions match mask 0x%08X:\n", ninstr, mask);
|
500 |
|
|
for (i = 0; i < num_opcodes; i++)
|
501 |
|
|
if (ti[i].in_pass == pass)
|
502 |
|
|
fprintf (stderr, "%s ", or32_opcodes[i].name);
|
503 |
|
|
|
504 |
|
|
fprintf (stderr, "\n");
|
505 |
|
|
exit (1);
|
506 |
|
|
}
|
507 |
|
|
debug("%i> #### %i << %i (%i) ####\n", cur - automata, best_len, best_first, ninstr);
|
508 |
|
|
*cur = best_first;
|
509 |
|
|
cur++;
|
510 |
|
|
*cur = (1 << best_len) - 1;
|
511 |
|
|
cur++;
|
512 |
|
|
next = cur;
|
513 |
|
|
/* Allocate space for pointers. */
|
514 |
|
|
cur += 1 << best_len;
|
515 |
|
|
cur_mask = (1 << (unsigned long)best_len) - 1;
|
516 |
|
|
|
517 |
|
|
for (i = 0; i < (1 << (unsigned long)best_len); i++)
|
518 |
|
|
{
|
519 |
|
|
int j;
|
520 |
|
|
unsigned long *c;
|
521 |
|
|
curpass++;
|
522 |
|
|
for (j = 0; j < num_opcodes; j++)
|
523 |
|
|
if (ti[j].in_pass == pass
|
524 |
|
|
&& ((ti[j].insn >> best_first) & cur_mask) == i
|
525 |
|
|
&& ((ti[j].insn_mask >> best_first) & cur_mask) == cur_mask)
|
526 |
|
|
ti[j].in_pass = curpass;
|
527 |
|
|
|
528 |
|
|
/*debug("%08X %08X %i\n", mask, cur_mask, best_first);*/
|
529 |
|
|
c = cover_insn (cur, curpass, mask & (~(cur_mask << best_first)));
|
530 |
|
|
if (c)
|
531 |
|
|
{
|
532 |
|
|
debug("%i> #%X -> %u\n", next - automata, i, cur - automata);
|
533 |
|
|
*next = cur - automata;
|
534 |
|
|
cur = c;
|
535 |
|
|
}
|
536 |
|
|
else
|
537 |
|
|
{
|
538 |
|
|
debug("%i> N/A\n", next - automata);
|
539 |
|
|
*next = 0;
|
540 |
|
|
}
|
541 |
|
|
next++;
|
542 |
|
|
}
|
543 |
133 |
markom |
}
|
544 |
138 |
markom |
return cur;
|
545 |
|
|
}
|
546 |
133 |
markom |
|
547 |
138 |
markom |
/* Returns number of nonzero bits. */
|
548 |
|
|
static int
|
549 |
|
|
num_ones (unsigned long value)
|
550 |
|
|
{
|
551 |
|
|
int c = 0;
|
552 |
|
|
while (value)
|
553 |
|
|
{
|
554 |
|
|
if (value & 1)
|
555 |
|
|
c++;
|
556 |
|
|
value >>= 1;
|
557 |
133 |
markom |
}
|
558 |
138 |
markom |
return c;
|
559 |
|
|
}
|
560 |
133 |
markom |
|
561 |
138 |
markom |
/* Utility function, which converts parameters from or32_opcode format to more binary form.
|
562 |
|
|
Parameters are stored in ti struct. */
|
563 |
|
|
|
564 |
|
|
static struct insn_op_struct *
|
565 |
|
|
parse_params (CONST struct or32_opcode *opcode, struct insn_op_struct *cur)
|
566 |
|
|
{
|
567 |
|
|
char *args = opcode->args;
|
568 |
|
|
int i, type;
|
569 |
|
|
|
570 |
|
|
i = 0;
|
571 |
|
|
type = 0;
|
572 |
|
|
while (*args != '\0')
|
573 |
|
|
{
|
574 |
|
|
if (*args == 'r')
|
575 |
|
|
{
|
576 |
|
|
args++;
|
577 |
|
|
type |= OPTYPE_REG;
|
578 |
133 |
markom |
}
|
579 |
138 |
markom |
else if (isalpha (*args))
|
580 |
|
|
{
|
581 |
|
|
unsigned long arg;
|
582 |
|
|
arg = insn_extract(*args, opcode->encoding);
|
583 |
|
|
debug("%s : %08X ------\n", opcode->name, arg);
|
584 |
|
|
if (letter_signed (*args))
|
585 |
|
|
{
|
586 |
|
|
type |= OPTYPE_SIG;
|
587 |
|
|
type |= ((num_ones (arg) - 1) << OPTYPE_SBIT_SHR) & OPTYPE_SBIT;
|
588 |
|
|
}
|
589 |
|
|
|
590 |
|
|
/* Split argument to sequences of consecutive ones. */
|
591 |
|
|
while (arg)
|
592 |
|
|
{
|
593 |
|
|
int shr = 0;
|
594 |
|
|
unsigned long tmp = arg, mask = 0;
|
595 |
|
|
while ((tmp & 1) == 0)
|
596 |
|
|
{
|
597 |
|
|
shr++;
|
598 |
|
|
tmp >>= 1;
|
599 |
|
|
}
|
600 |
|
|
while (tmp & 1)
|
601 |
|
|
{
|
602 |
|
|
mask++;
|
603 |
|
|
tmp >>= 1;
|
604 |
|
|
}
|
605 |
|
|
cur->type = type | shr;
|
606 |
|
|
cur->data = mask;
|
607 |
|
|
arg &= ~(((1 << mask) - 1) << shr);
|
608 |
|
|
debug("|%08X %08X\n", cur->type, cur->data);
|
609 |
|
|
cur++;
|
610 |
|
|
}
|
611 |
|
|
args++;
|
612 |
|
|
}
|
613 |
|
|
else if (*args == '(')
|
614 |
|
|
{
|
615 |
|
|
/* Next param is displacement. Later we will treat them as one operand. */
|
616 |
|
|
cur--;
|
617 |
|
|
cur->type = type | cur->type | OPTYPE_DIS | OPTYPE_OP;
|
618 |
|
|
debug(">%08X %08X\n", cur->type, cur->data);
|
619 |
|
|
cur++;
|
620 |
|
|
type = 0;
|
621 |
|
|
i++;
|
622 |
|
|
args++;
|
623 |
|
|
}
|
624 |
|
|
else if (*args == OPERAND_DELIM)
|
625 |
|
|
{
|
626 |
|
|
cur--;
|
627 |
|
|
cur->type = type | cur->type | OPTYPE_OP;
|
628 |
|
|
debug(">%08X %08X\n", cur->type, cur->data);
|
629 |
|
|
cur++;
|
630 |
|
|
type = 0;
|
631 |
|
|
i++;
|
632 |
|
|
args++;
|
633 |
|
|
}
|
634 |
|
|
else if (*args == '0')
|
635 |
|
|
{
|
636 |
|
|
cur->type = type;
|
637 |
|
|
cur->data = 0;
|
638 |
|
|
debug(">%08X %08X\n", cur->type, cur->data);
|
639 |
|
|
cur++;
|
640 |
|
|
type = 0;
|
641 |
|
|
i++;
|
642 |
|
|
args++;
|
643 |
|
|
}
|
644 |
|
|
else if (*args == ')')
|
645 |
|
|
args++;
|
646 |
|
|
else
|
647 |
|
|
{
|
648 |
|
|
fprintf (stderr, "%s : parse error in args.\n", opcode->name);
|
649 |
|
|
exit (1);
|
650 |
|
|
}
|
651 |
133 |
markom |
}
|
652 |
138 |
markom |
cur--;
|
653 |
|
|
cur->type = type | cur->type | OPTYPE_OP | OPTYPE_LAST;
|
654 |
|
|
debug("#%08X %08X\n", cur->type, cur->data);
|
655 |
|
|
cur++;
|
656 |
133 |
markom |
return cur;
|
657 |
|
|
}
|
658 |
|
|
|
659 |
138 |
markom |
/* Constructs new automata based on or32_opcodes array. */
|
660 |
|
|
|
661 |
|
|
void
|
662 |
|
|
build_automata()
|
663 |
|
|
{
|
664 |
133 |
markom |
int i, j;
|
665 |
|
|
unsigned long *end;
|
666 |
138 |
markom |
struct insn_op_struct *cur;
|
667 |
|
|
|
668 |
133 |
markom |
automata = (unsigned long *) malloc (MAX_AUTOMATA_SIZE * sizeof (unsigned long));
|
669 |
138 |
markom |
ti = (struct temp_insn_struct *) malloc (sizeof (struct temp_insn_struct) * num_opcodes);
|
670 |
133 |
markom |
|
671 |
|
|
nuncovered = num_opcodes;
|
672 |
138 |
markom |
printf("Building automata... ");
|
673 |
133 |
markom |
/* Build temporary information about instructions. */
|
674 |
138 |
markom |
for (i = 0; i < num_opcodes; i++)
|
675 |
|
|
{
|
676 |
|
|
unsigned long ones, zeros;
|
677 |
|
|
char *encoding = or32_opcodes[i].encoding;
|
678 |
|
|
ones = insn_extract('1', encoding);
|
679 |
|
|
zeros = insn_extract('0', encoding);
|
680 |
|
|
ti[i].insn_mask = ones | zeros;
|
681 |
|
|
ti[i].insn = ones;
|
682 |
|
|
ti[i].in_pass = curpass = 0;
|
683 |
|
|
/*debug("%s: %s %08X %08X\n", or32_opcodes[i].name,
|
684 |
|
|
or32_opcodes[i].encoding, ti[i].insn_mask, ti[i].insn);*/
|
685 |
|
|
}
|
686 |
133 |
markom |
|
687 |
|
|
/* Until all are covered search for best criteria to separate them. */
|
688 |
138 |
markom |
end = cover_insn (automata, curpass, 0xFFFFFFFF);
|
689 |
|
|
if (end - automata > MAX_AUTOMATA_SIZE)
|
690 |
|
|
{
|
691 |
|
|
fprintf (stderr, "Automata too large. Increase MAX_AUTOMATA_SIZE.");
|
692 |
|
|
exit (1);
|
693 |
|
|
}
|
694 |
|
|
printf("done, num uncovered: %i/%i.\n", nuncovered, num_opcodes);
|
695 |
|
|
|
696 |
|
|
printf("Parsing operands data... ");
|
697 |
|
|
op_data = (struct insn_op_struct *) malloc (MAX_OP_TABLE_SIZE * sizeof (struct insn_op_struct));
|
698 |
|
|
op_start = (struct insn_op_struct **) malloc (num_opcodes * sizeof (struct insn_op_struct *));
|
699 |
|
|
cur = op_data;
|
700 |
|
|
for (i = 0; i < num_opcodes; i++)
|
701 |
|
|
{
|
702 |
|
|
op_start[i] = cur;
|
703 |
|
|
cur = parse_params (&or32_opcodes[i], cur);
|
704 |
|
|
if (cur - op_data > MAX_OP_TABLE_SIZE)
|
705 |
|
|
{
|
706 |
|
|
fprintf (stderr, "Operands table too small, increase MAX_OP_TABLE_SIZE.\n");
|
707 |
|
|
exit (1);
|
708 |
|
|
}
|
709 |
|
|
}
|
710 |
|
|
printf("done.\n");
|
711 |
133 |
markom |
}
|
712 |
|
|
|
713 |
138 |
markom |
void destruct_automata ()
|
714 |
|
|
{
|
715 |
|
|
free (ti);
|
716 |
133 |
markom |
free (automata);
|
717 |
138 |
markom |
free (op_data);
|
718 |
|
|
free (op_start);
|
719 |
133 |
markom |
}
|
720 |
|
|
|
721 |
|
|
/* Decodes instruction and returns instruction index. */
|
722 |
138 |
markom |
int insn_decode (unsigned int insn)
|
723 |
|
|
{
|
724 |
133 |
markom |
unsigned long *a = automata;
|
725 |
138 |
markom |
int i;
|
726 |
|
|
while (!(*a & LEAF_FLAG))
|
727 |
|
|
{
|
728 |
|
|
unsigned int first = *a;
|
729 |
|
|
debug("%i ", a - automata);
|
730 |
|
|
a++;
|
731 |
|
|
i = (insn >> first) & *a;
|
732 |
|
|
a++;
|
733 |
|
|
if (!*(a + i))
|
734 |
|
|
{ /* Invalid instruction found? */
|
735 |
|
|
debug("XXX\n", i);
|
736 |
|
|
return -1;
|
737 |
|
|
}
|
738 |
|
|
a = automata + *(a + i);
|
739 |
|
|
}
|
740 |
|
|
i = *a & ~LEAF_FLAG;
|
741 |
|
|
debug("%i\n", i);
|
742 |
|
|
/* Final check - do we have direct match?
|
743 |
|
|
(based on or32_opcodes this should be the only possibility,
|
744 |
|
|
but in case of invalid/missing instruction we must perform a check) */
|
745 |
|
|
if ((ti[i].insn_mask & insn) == ti[i].insn)
|
746 |
|
|
return i;
|
747 |
|
|
else
|
748 |
|
|
return -1;
|
749 |
133 |
markom |
}
|