1 : /* Copyright (c) 2010 The Native Client Authors. All rights reserved.
2 : * Use of this source code is governed by a BSD-style license that can be
3 : * found in the LICENSE file.
4 : */
5 :
6 : /*
7 : * ncdecodex87.c - Handles x87 instructions.
8 : *
9 : * Note: These instructions are derived from tabler A-10 in Appendx
10 : * section A.2.7 - x87 Encodings in AMD document 24594-Rev.3.14-September
11 : * 2007, "AMD64 Architecture Programmer's manual Volume 3: General-Purpose
12 : * and System Instructions".
13 : *
14 : * Note: This modeling code doesn't handle several aspects of floating point
15 : * operations. This includes:
16 : *
17 : * 1) Doesn't model condition flags.
18 : * 2) Doesn't model floating point stack adjustments.
19 : * 3) Doesn't model all differences in size of pointed to memory ($Mf is used
20 : * in such cases).
21 : *
22 : * Note: %st0 and %st1 have been inserted and made explicit, when necessary
23 : * to match the disassembler xed.
24 : */
25 :
26 : #ifndef NACL_TRUSTED_BUT_NOT_TCB
27 : #error("This file is not meant for use in the TCB")
28 : #endif
29 :
30 : #include "native_client/src/trusted/validator/x86/decoder/generator/ncdecode_forms.h"
31 : #include "native_client/src/trusted/validator/x86/decoder/generator/ncdecode_tablegen.h"
32 :
33 8 : void NaClDefX87Insts(struct NaClSymbolTable* st) {
34 : /* See Table A-10 in AMD manual for source of definitions.
35 : * Note: Added register ST0 when used in instructions, but
36 : * not explicitly listed in table A-10. This information
37 : * was derived from xed tests.
38 : */
39 :
40 : /* Define D8 x87 instructions. */
41 :
42 8 : NaClDefine("d8/0: Fadd %st0, $Md", NACLi_X87, st, Binary);
43 8 : NaClDefine("d8/1: Fmul %st0, $Md", NACLi_X87, st, Binary);
44 8 : NaClDefine("d8/2: Fcom %st0, $Md", NACLi_X87, st, Compare);
45 8 : NaClDefine("d8/3: Fcomp %st0, $Md", NACLi_X87, st, Compare);
46 8 : NaClDefine("d8/4: Fsub %st0, $Md", NACLi_X87, st, Binary);
47 8 : NaClDefine("d8/5: Fsubr %st0, $Md", NACLi_X87, st, Binary);
48 8 : NaClDefine("d8/6: Fdiv %st0, $Md", NACLi_X87, st, Binary);
49 8 : NaClDefine("d8/7: Fdivr %st0, $Md", NACLi_X87, st, Binary);
50 8 : NaClDefIter("d8C0+@i: Fadd %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
51 8 : NaClDefIter("d8C8+@i: Fmul %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
52 8 : NaClDefIter("d8d0+@i: Fcom %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
53 8 : NaClDefIter("d8d8+@i: Fcomp %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
54 8 : NaClDefIter("d8e0+@i: Fsub %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
55 8 : NaClDefIter("d8e8+@i: Fsubr %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
56 8 : NaClDefIter("d8f0+@i: Fdiv %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
57 8 : NaClDefIter("d8f8+@i: Fdivr %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
58 :
59 : /* Define D9 x87 instructions. */
60 :
61 8 : NaClDefine("d9/0: Fld %st0, $Md", NACLi_X87, st, Move);
62 8 : NaClDefine("d9/1: Invalid", NACLi_INVALID, st, Other);
63 8 : NaClDefine("d9/2: Fst $Md, %st0", NACLi_X87, st, Move);
64 8 : NaClDefine("d9/3: Fstp $Md, %st0", NACLi_X87, st, Move);
65 8 : NaClDefine("d9/4: Fldenv $Mf", NACLi_X87, st, Uses);
66 8 : NaClDefine("d9/5: Fldcw $Mw", NACLi_X87, st, Uses);
67 8 : NaClDefine("d9/6: Fnstenv $Mf", NACLi_X87, st, UnarySet);
68 8 : NaClDefine("d9/7: Fnstcw $Mw", NACLi_X87, st, UnarySet);
69 8 : NaClDefIter("d9c0+@i: Fld %st0, %st@i", 0, 7, NACLi_X87, st, Move);
70 8 : NaClDefIter("d9c8+@i: Fxch %st0, %st@i", 0, 7, NACLi_X87, st, Exchange);
71 8 : NaClDefine("d9d0: Fnop", NACLi_X87, st, Other);
72 8 : NaClDefIter("d9d0+@i: Invalid", 1, 7, NACLi_INVALID, st, Other);
73 8 : NaClDefIter("d9d8+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
74 8 : NaClDefine("d9e0: Fchs %st0", NACLi_X87, st, UnaryUpdate);
75 8 : NaClDefine("d9e1: Fabs %st0", NACLi_X87, st, UnaryUpdate);
76 8 : NaClDefIter("d9e0+@i: Invalid", 2, 3, NACLi_INVALID, st, Other);
77 8 : NaClDefine("d9e4: Ftst %st0", NACLi_X87, st, Uses);
78 8 : NaClDefine("d9e5: Fxam %st0", NACLi_X87, st, Uses);
79 8 : NaClDefIter("d9e0+@i: Invalid", 6, 7, NACLi_INVALID, st, Other);
80 8 : NaClDefine("d9e8: Fld1 %st0", NACLi_X87, st, UnaryUpdate);
81 8 : NaClDefine("d9e9: Fldl2t %st0", NACLi_X87, st, UnaryUpdate);
82 8 : NaClDefine("d9ea: Fldl2e %st0", NACLi_X87, st, UnaryUpdate);
83 8 : NaClDefine("d9eb: Fldpi %st0", NACLi_X87, st, UnaryUpdate);
84 8 : NaClDefine("d9ec: Fldlg2 %st0", NACLi_X87, st, UnaryUpdate);
85 8 : NaClDefine("d9ed: Fldln2 %st0", NACLi_X87, st, UnaryUpdate);
86 8 : NaClDefine("d9ee: Fldz %st0", NACLi_X87, st, UnaryUpdate);
87 8 : NaClDefine("d9ef: Invalid", NACLi_INVALID, st, Other);
88 8 : NaClDefine("d9f0: F2xm1 %st0", NACLi_X87, st, UnaryUpdate);
89 8 : NaClDefine("d9f1: Fyl2x %st0 %st1", NACLi_X87, st, Binary);
90 8 : NaClDefine("d9f2: Fptan %st0 %st1", NACLi_X87, st, Move);
91 8 : NaClDefine("d9f3: Fpatan %st0, %st1", NACLi_X87, st, Binary);
92 8 : NaClDefine("d9f4: Fxtract %st0, %st1", NACLi_X87, st, Move);
93 8 : NaClDefine("d9f5: Fprem1 %st0, %st1", NACLi_X87, st, Binary);
94 8 : NaClDefine("d9f6: Fdecstp", NACLi_X87, st, Other);
95 8 : NaClDefine("d9f7: Fincstp", NACLi_X87, st, Other);
96 8 : NaClDefine("d9f8: Fprem %st0, %st1", NACLi_X87, st, Binary);
97 8 : NaClDefine("d9f9: Fyl2xp1 %st0, %st1", NACLi_X87, st, Binary);
98 8 : NaClDefine("d9fa: Fsqrt %st0", NACLi_X87, st, UnaryUpdate);
99 : /* NaClDefine("d9fb: Fsincos %st0, %st1", NACLi_X87, st, Move); */
100 8 : NaClDefine("d9fb: Fsincos %st0, %st1", NACLi_X87_FSINCOS, st, Move);
101 8 : NaClDefine("d9fc: Frndint %st0", NACLi_X87, st, UnaryUpdate);
102 8 : NaClDefine("d9fd: Fscale %st0, %st1", NACLi_X87, st, Binary);
103 8 : NaClDefine("d9fe: Fsin %st0", NACLi_X87, st, UnaryUpdate);
104 8 : NaClDefine("d9ff: Fcos %st0", NACLi_X87, st, UnaryUpdate);
105 :
106 : /* Define DA x87 instructions. */
107 :
108 8 : NaClDefine("da/0: Fiadd %st0, $Md", NACLi_X87, st, Binary);
109 8 : NaClDefine("da/1: Fimul %st0, $Md", NACLi_X87, st, Binary);
110 8 : NaClDefine("da/2: Ficom %st0, $Md", NACLi_X87, st, Binary);
111 8 : NaClDefine("da/3: Ficomp %st0, $Md", NACLi_X87, st, Binary);
112 8 : NaClDefine("da/4: Fisub %st0, $Md", NACLi_X87, st, Binary);
113 8 : NaClDefine("da/5: Fisubr %st0, $Md", NACLi_X87, st, Binary);
114 8 : NaClDefine("da/6: Fidiv %st0, $Md", NACLi_X87, st, Binary);
115 8 : NaClDefine("da/7: Fidivr %st0, $Md", NACLi_X87, st, Binary);
116 8 : NaClDefIter("dac0+@i: Fcmovb %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
117 8 : NaClDefIter("dac8+@i: Fcmove %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
118 8 : NaClDefIter("dad0+@i: Fcmovbe %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
119 8 : NaClDefIter("dad8+@i: Fcmovu %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
120 8 : NaClDefIter("dae0+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
121 8 : NaClDefine("dae8: Invalid", NACLi_INVALID, st, Other);
122 8 : NaClDefine("dae9: Fucompp %st0, %st1", NACLi_X87, st, Compare);
123 8 : NaClDefIter("dae8+@i: Invalid", 2, 7, NACLi_INVALID, st, Other);
124 8 : NaClDefIter("daf0+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
125 8 : NaClDefIter("daf8+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
126 :
127 : /* Define DB x87 instructions. */
128 :
129 8 : NaClDefine("db/0: Fild %st0, $Md", NACLi_X87, st, Move);
130 8 : NaClDefine("db/1: Fisttp $Md, %st0", NACLi_X87, st, Move);
131 8 : NaClDefine("db/2: Fist $Md, %st0", NACLi_X87, st, Move);
132 8 : NaClDefine("db/3: Fistp $Md, %st0", NACLi_X87, st, Move);
133 8 : NaClDefine("db/4: Invalid", NACLi_INVALID, st, Other);
134 8 : NaClDefine("db/5: Fld %st0, $Mf", NACLi_X87, st, Move);
135 8 : NaClDefine("db/6: Invalid", NACLi_INVALID, st, Other);
136 8 : NaClDefine("db/7: Fstp $Mf, %st0", NACLi_X87, st, Move);
137 8 : NaClDefIter("dbc0+@i: Fcmovnb %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
138 8 : NaClDefIter("dbc8+@i: Fcmovne %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
139 8 : NaClDefIter("dbd0+@i: Fcmovnbe %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
140 8 : NaClDefIter("dbd8+@i: Fcmovnu %st0, %st@i", 0, 7, NACLi_X87, st, Binary);
141 8 : NaClDefIter("dbe0+@i: Invalid", 0, 1, NACLi_INVALID, st, Other);
142 8 : NaClDefine("dbe2: Fnclex", NACLi_X87, st, Other);
143 8 : NaClDefine("dbe3: Fninit", NACLi_X87, st, Other);
144 8 : NaClDefIter("dbe0+@i: Invalid", 4, 7, NACLi_INVALID, st, Other);
145 8 : NaClDefIter("dbe8+@i: Fucomi %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
146 8 : NaClDefIter("dbf0+@i: Fcomi %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
147 8 : NaClDefIter("dbf8+@i: Invalid", NACLi_INVALID, 0, 7, st, Other);
148 :
149 : /* Define DC x87 instructions. */
150 :
151 8 : NaClDefine("dc/0: Fadd %st0, $Mq", NACLi_X87, st, Binary);
152 8 : NaClDefine("dc/1: Fmul %st0, $Mq", NACLi_X87, st , Binary);
153 8 : NaClDefine("dc/2: Fcom %st0, $Mq", NACLi_X87, st, Compare);
154 8 : NaClDefine("dc/3: Fcomp %st0, $Mq", NACLi_X87, st, Compare);
155 8 : NaClDefine("dc/4: Fsub %st0, $Mq", NACLi_X87, st, Binary);
156 8 : NaClDefine("dc/5: Fsubr %st0, $Mq", NACLi_X87, st, Binary);
157 8 : NaClDefine("dc/6: Fdiv %st0, $Mq", NACLi_X87, st, Binary);
158 8 : NaClDefine("dc/7: Fdivr %st0, $Mq", NACLi_X87, st, Binary);
159 8 : NaClDefIter("dcc0+@i: Fadd %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
160 8 : NaClDefIter("dcc8+@i: Fmul %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
161 8 : NaClDefIter("dcd0+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
162 8 : NaClDefIter("dcd8+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
163 8 : NaClDefIter("dce0+@i: Fsubr %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
164 8 : NaClDefIter("dce8+@i: Fsub %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
165 8 : NaClDefIter("dcf0+@i: Fdivr %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
166 8 : NaClDefIter("dcf8+@i: Fdiv %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
167 :
168 : /* Define DD x87 instructions. */
169 :
170 8 : NaClDefine("dd/0: Fld %st0, $Mq", NACLi_X87, st, Move);
171 8 : NaClDefine("dd/1: Fisttp $Mq, %st0", NACLi_X87, st, Move);
172 8 : NaClDefine("dd/2: Fst $Mq, %st0", NACLi_X87, st, Move);
173 8 : NaClDefine("dd/3: Fstp $Mq, %st0", NACLi_X87, st, Move);
174 8 : NaClDefine("dd/4: Frstor $Mf", NACLi_X87, st, Uses);
175 8 : NaClDefine("dd/5: Invalid", NACLi_INVALID, st, Other);
176 8 : NaClDefine("dd/6: Fnsave $Mf", NACLi_X87, st, UnarySet);
177 8 : NaClDefine("dd/7: Fnstsw $Mw", NACLi_X87, st, UnarySet);
178 8 : NaClDefIter("ddc0+@i: Ffree %st@i", 0, 7, NACLi_X87, st, Other);
179 8 : NaClDefIter("ddc8+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
180 8 : NaClDefIter("ddd0+@i: Fst %st@i, %st0", 0, 7, NACLi_X87, st, Move);
181 8 : NaClDefIter("ddd8+@i: Fstp %st@i %st0", 0, 7, NACLi_X87, st, Move);
182 8 : NaClDefIter("dde0+@i: Fucom %st0, %st@i", 0, 7, NACLi_X87, st , Compare);
183 8 : NaClDefIter("dde8+@i: Fucomp %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
184 8 : NaClDefIter("ddf0+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
185 8 : NaClDefIter("ddf8+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
186 :
187 :
188 : /* Define DE x87 instructions. */
189 :
190 8 : NaClDefine("de/0: Fiadd %st0, $Mw", NACLi_X87, st, Binary);
191 8 : NaClDefine("de/1: Fimul %st0, $Mw", NACLi_X87, st, Binary);
192 8 : NaClDefine("de/2: Ficom %st0, $Mw", NACLi_X87, st, Compare);
193 8 : NaClDefine("de/3: Ficomp %st0, $Mw", NACLi_X87, st, Compare);
194 8 : NaClDefine("de/4: Fisub %st0, $Mw", NACLi_X87, st, Binary);
195 8 : NaClDefine("de/5: Fisubr %st0, $Mw", NACLi_X87, st, Binary);
196 8 : NaClDefine("de/6: Fidiv %st0, $Mw", NACLi_X87, st, Binary);
197 8 : NaClDefine("de/7: Fidivr %st0, $Mw", NACLi_X87, st, Binary);
198 8 : NaClDefIter("dec0+@i: Faddp %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
199 8 : NaClDefIter("dec8+@i: Fmulp %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
200 8 : NaClDefIter("ded0+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
201 8 : NaClDefine("ded8: Invalid", NACLi_INVALID, st, Other);
202 8 : NaClDefine("ded9: Fcompp %st0, %st1", NACLi_X87, st, Compare);
203 8 : NaClDefIter("ded8+@i: Invalid", 2, 7, NACLi_INVALID, st, Other);
204 8 : NaClDefIter("dee0+@i: Fsubrp %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
205 8 : NaClDefIter("dee8+@i: Fsubp %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
206 8 : NaClDefIter("def0+@i: Fdivrp %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
207 8 : NaClDefIter("def8+@i: Fdivp %st@i, %st0", 0, 7, NACLi_X87, st, Binary);
208 :
209 : /* Define DF x87 instructions. */
210 8 : NaClDefine("df/0: Fild %st0, $Mw", NACLi_X87, st , Move);
211 8 : NaClDefine("df/1: Fisttp $Mw, %st0", NACLi_X87, st, Move);
212 8 : NaClDefine("df/2: Fist $Mw, %st0", NACLi_X87, st, Move);
213 8 : NaClDefine("df/3: Fistp $Mw, %st0", NACLi_X87, st, Move);
214 8 : NaClDefine("df/4: Fbld %st0, $Mf", NACLi_X87, st, Move);
215 8 : NaClDefine("df/5: Fild %st0, $Mf", NACLi_X87, st, Move);
216 8 : NaClDefine("df/6: Fbstp $Mf, %st0", NACLi_X87, st , Move);
217 8 : NaClDefine("df/7: Fistp $Mf, %st0", NACLi_X87, st, Move);
218 8 : NaClDefIter("dfc0+@i: Invalid", 0, 7, NACLi_X87, st, Other);
219 8 : NaClDefIter("dfc8+@i: Invalid", 0, 7, NACLi_X87, st, Other);
220 8 : NaClDefIter("dfd0+@i: Invalid", 0, 7, NACLi_X87, st, Other);
221 8 : NaClDefIter("dfd8+@i: Invalid", 0, 7, NACLi_X87, st, Other);
222 8 : NaClDefine("dfe0: Fnstsw %ax", NACLi_X87, st, UnarySet);
223 8 : NaClDefIter("dfe0+@i: Invalid", 1, 7, NACLi_INVALID, st, Other);
224 8 : NaClDefIter("dfe8+@i: Fucomip %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
225 8 : NaClDefIter("dff0+@i: Fcomip %st0, %st@i", 0, 7, NACLi_X87, st, Compare);
226 8 : NaClDefIter("dff8+@i: Invalid", 0, 7, NACLi_INVALID, st, Other);
227 :
228 : /* todo(karl) What about "9b db e2 Fclex" ? */
229 : /* todo(karl) What about "9b db e3 finit" ? */
230 : /* todo(karl) What about "9b d9 /6 Fstenv" ? */
231 : /* todo(karl) What about "9b d9 /7 Fstcw" ? */
232 : /* todo(karl) What about "9b dd /6 Fsave" ? */
233 : /* todo(karl) What about "9b dd /7 Fstsw" ? */
234 : /* todo(karl) What about "9b df e0 Fstsw" ? */
235 8 : }
|
