2# All rights reserved.
3#
4# Redistribution and use of this software in source and binary forms,
5# with or without modification, are permitted provided that the
6# following conditions are met:
7#
8# The software must be used only for Non-Commercial Use which means any
9# use which is NOT directed to receiving any direct monetary
10# compensation for, or commercial advantage from such use. Illustrative
11# examples of non-commercial use are academic research, personal study,
12# teaching, education and corporate research & development.
13# Illustrative examples of commercial use are distributing products for
14# commercial advantage and providing services using the software for
15# commercial advantage.
16#
17# If you wish to use this software or functionality therein that may be
18# covered by patents for commercial use, please contact:
19# Director of Intellectual Property Licensing
20# Office of Strategy and Technology
21# Hewlett-Packard Company
22# 1501 Page Mill Road
23# Palo Alto, California 94304
24#
25# Redistributions of source code must retain the above copyright notice,
26# this list of conditions and the following disclaimer. Redistributions
27# in binary form must reproduce the above copyright notice, this list of
28# conditions and the following disclaimer in the documentation and/or
29# other materials provided with the distribution. Neither the name of
30# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
31# contributors may be used to endorse or promote products derived from
32# this software without specific prior written permission. No right of
33# sublicense is granted herewith. Derivatives of the software and
34# output created using the software may be prepared, but only for
35# Non-Commercial Uses. Derivatives of the software may be shared with
36# others provided: (i) the others agree to abide by the list of
37# conditions herein which includes the Non-Commercial Use restrictions;
38# and (ii) such Derivatives of the software include the above copyright
39# notice to acknowledge the contribution from this software where
40# applicable, this list of conditions and the disclaimer below.
41#
42# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
43# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
44# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
45# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
46# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
47# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
48# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
49# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
50# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
51# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
52# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
53#
54# Authors: Gabe Black
55
56microcode = '''
57
58#
59# Regular moves
60#
61
62def macroop MOV_R_MI {
63 limm t1, imm, dataSize=asz
64 ld reg, seg, [1, t0, t1]
65};
66
67def macroop MOV_MI_R {
68 limm t1, imm, dataSize=asz
69 st reg, seg, [1, t0, t1]
70};
71
72def macroop MOV_R_R {
73 mov reg, reg, regm
74};
75
76def macroop MOV_M_R {
77 st reg, seg, sib, disp
78};
79
80def macroop MOV_P_R {
81 rdip t7
82 st reg, seg, riprel, disp
83};
84
85def macroop MOV_R_M {
86 ld reg, seg, sib, disp
87};
88
89def macroop MOV_R_P {
90 rdip t7
91 ld reg, seg, riprel, disp
92};
93
94def macroop MOV_R_I {
95 limm reg, imm
96};
97
98def macroop MOV_M_I {
99 limm t1, imm
100 st t1, seg, sib, disp
101};
102
103def macroop MOV_P_I {
104 rdip t7
105 limm t1, imm
106 st t1, seg, riprel, disp
107};
108
109#
110# Sign extending moves
111#
112
113def macroop MOVSXD_R_R {
114 sexti reg, regm, 31
115};
116
117def macroop MOVSXD_R_M {
118 ld t1, seg, sib, disp, dataSize=4
119 sexti reg, t1, 31
120};
121
122def macroop MOVSXD_R_P {
123 rdip t7
124 ld t1, seg, riprel, disp, dataSize=4
125 sexti reg, t1, 31
126};
127
128def macroop MOVSX_B_R_R {
129 sexti reg, regm, 7
130};
131
132def macroop MOVSX_B_R_M {
| 2# All rights reserved.
3#
4# Redistribution and use of this software in source and binary forms,
5# with or without modification, are permitted provided that the
6# following conditions are met:
7#
8# The software must be used only for Non-Commercial Use which means any
9# use which is NOT directed to receiving any direct monetary
10# compensation for, or commercial advantage from such use. Illustrative
11# examples of non-commercial use are academic research, personal study,
12# teaching, education and corporate research & development.
13# Illustrative examples of commercial use are distributing products for
14# commercial advantage and providing services using the software for
15# commercial advantage.
16#
17# If you wish to use this software or functionality therein that may be
18# covered by patents for commercial use, please contact:
19# Director of Intellectual Property Licensing
20# Office of Strategy and Technology
21# Hewlett-Packard Company
22# 1501 Page Mill Road
23# Palo Alto, California 94304
24#
25# Redistributions of source code must retain the above copyright notice,
26# this list of conditions and the following disclaimer. Redistributions
27# in binary form must reproduce the above copyright notice, this list of
28# conditions and the following disclaimer in the documentation and/or
29# other materials provided with the distribution. Neither the name of
30# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
31# contributors may be used to endorse or promote products derived from
32# this software without specific prior written permission. No right of
33# sublicense is granted herewith. Derivatives of the software and
34# output created using the software may be prepared, but only for
35# Non-Commercial Uses. Derivatives of the software may be shared with
36# others provided: (i) the others agree to abide by the list of
37# conditions herein which includes the Non-Commercial Use restrictions;
38# and (ii) such Derivatives of the software include the above copyright
39# notice to acknowledge the contribution from this software where
40# applicable, this list of conditions and the disclaimer below.
41#
42# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
43# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
44# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
45# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
46# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
47# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
48# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
49# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
50# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
51# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
52# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
53#
54# Authors: Gabe Black
55
56microcode = '''
57
58#
59# Regular moves
60#
61
62def macroop MOV_R_MI {
63 limm t1, imm, dataSize=asz
64 ld reg, seg, [1, t0, t1]
65};
66
67def macroop MOV_MI_R {
68 limm t1, imm, dataSize=asz
69 st reg, seg, [1, t0, t1]
70};
71
72def macroop MOV_R_R {
73 mov reg, reg, regm
74};
75
76def macroop MOV_M_R {
77 st reg, seg, sib, disp
78};
79
80def macroop MOV_P_R {
81 rdip t7
82 st reg, seg, riprel, disp
83};
84
85def macroop MOV_R_M {
86 ld reg, seg, sib, disp
87};
88
89def macroop MOV_R_P {
90 rdip t7
91 ld reg, seg, riprel, disp
92};
93
94def macroop MOV_R_I {
95 limm reg, imm
96};
97
98def macroop MOV_M_I {
99 limm t1, imm
100 st t1, seg, sib, disp
101};
102
103def macroop MOV_P_I {
104 rdip t7
105 limm t1, imm
106 st t1, seg, riprel, disp
107};
108
109#
110# Sign extending moves
111#
112
113def macroop MOVSXD_R_R {
114 sexti reg, regm, 31
115};
116
117def macroop MOVSXD_R_M {
118 ld t1, seg, sib, disp, dataSize=4
119 sexti reg, t1, 31
120};
121
122def macroop MOVSXD_R_P {
123 rdip t7
124 ld t1, seg, riprel, disp, dataSize=4
125 sexti reg, t1, 31
126};
127
128def macroop MOVSX_B_R_R {
129 sexti reg, regm, 7
130};
131
132def macroop MOVSX_B_R_M {
|
141};
142
143def macroop MOVSX_W_R_R {
144 sexti reg, regm, 15
145};
146
147def macroop MOVSX_W_R_M {
148 ld reg, seg, sib, disp, dataSize=2
149 sexti reg, reg, 15
150};
151
152def macroop MOVSX_W_R_P {
153 rdip t7
154 ld reg, seg, riprel, disp, dataSize=2
155 sexti reg, reg, 15
156};
157
158#
159# Zero extending moves
160#
161
162def macroop MOVZX_B_R_R {
163 zexti reg, regm, 7
164};
165
166def macroop MOVZX_B_R_M {
167 ld t1, seg, sib, disp, dataSize=1
168 zexti reg, t1, 7
169};
170
171def macroop MOVZX_B_R_P {
172 rdip t7
173 ld t1, seg, riprel, disp, dataSize=1
174 zexti reg, t1, 7
175};
176
177def macroop MOVZX_W_R_R {
178 zexti reg, regm, 15
179};
180
181def macroop MOVZX_W_R_M {
182 ld t1, seg, sib, disp, dataSize=2
183 zexti reg, t1, 15
184};
185
186def macroop MOVZX_W_R_P {
187 rdip t7
188 ld t1, seg, riprel, disp, dataSize=2
189 zexti reg, t1, 15
190};
191
192def macroop MOV_C_R {
193 wrcr reg, regm
194};
195
196def macroop MOV_R_C {
197 rdcr reg, regm
198};
199
200def macroop MOV_R_S {
201 rdsel reg, regm
202};
203
204def macroop MOV_M_S {
205 rdsel t1, reg
206 st t1, seg, sib, disp, dataSize=2
207};
208
209def macroop MOV_P_S {
210 rdip t7
211 rdsel t1, reg
212 st t1, seg, riprel, disp, dataSize=2
213};
214
215def macroop MOV_REAL_S_R {
216 zext t2, regm, 15
217 slli t3, t2, 2, dataSize=8
218 wrsel reg, regm
219 wrbase reg, t3
220};
221
222def macroop MOV_REAL_S_M {
223 ld t1, seg, sib, disp, dataSize=2
224 zext t2, t1, 15
225 slli t3, t2, 2, dataSize=8
226 wrsel reg, t1
227 wrbase reg, t3
228};
229
230def macroop MOV_REAL_S_P {
231 rdip t7
232 ld t1, seg, riprel, disp, dataSize=2
233 zext t2, t1, 15
234 slli t3, t2, 2, dataSize=8
235 wrsel reg, t1
236 wrbase reg, t3
237};
238
239def macroop MOV_S_R {
240 chks t1, regm, flags=(EZF,), dataSize=8
241 bri t0, label("end"), flags=(CEZF,)
242 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
243 wrdl reg, t2, regm
244end:
245 wrsel reg, regm
246};
247
248def macroop MOV_S_M {
249 ld t1, seg, sib, disp, dataSize=2
250 chks t2, t1, flags=(EZF,), dataSize=8
251 bri t0, label("end"), flags=(CEZF,)
252 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
253 wrdl reg, t2, t1
254end:
255 wrsel reg, t1
256};
257
258def macroop MOV_S_P {
259 rdip t7
260 ld t1, seg, riprel, disp, dataSize=2
261 chks t2, t1, flags=(EZF,), dataSize=8
262 bri t0, label("end"), flags=(CEZF,)
263 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
264 wrdl reg, t2, t1
265end:
266 wrsel reg, t1
267};
268
269def macroop MOVSS_S_R {
270 chks t1, regm, flags=(EZF,), dataSize=8
271 # This actually needs to use the selector as the error code, but it would
272 # be hard to get that information into the instruction at the moment.
273 fault "new GeneralProtection(0)", flags=(CEZF,)
274 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
275 wrdl reg, t2, regm
276 wrsel reg, regm
277};
278
279def macroop MOVSS_S_M {
280 ld t1, seg, sib, disp, dataSize=2
281 chks t2, t1, flags=(EZF,), dataSize=8
282 # This actually needs to use the selector as the error code, but it would
283 # be hard to get that information into the instruction at the moment.
284 fault "new GeneralProtection(0)", flags=(CEZF,)
285 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
286 wrdl reg, t2, t1
287 wrsel reg, t1
288};
289
290def macroop MOVSS_S_P {
291 rdip t7
292 ld t1, seg, riprel, disp, dataSize=2
293 chks t2, t1, flags=(EZF,), dataSize=8
294 # This actually needs to use the selector as the error code, but it would
295 # be hard to get that information into the instruction at the moment.
296 fault "new GeneralProtection(0)", flags=(CEZF,)
297 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
298 wrdl reg, t2, t1
299 wrsel reg, t1
300};
301'''
302#let {{
303# class MOVD(Inst):
304# "GenFault ${new UnimpInstFault}"
305# class MOVNTI(Inst):
306# "GenFault ${new UnimpInstFault}"
307#}};
| 141};
142
143def macroop MOVSX_W_R_R {
144 sexti reg, regm, 15
145};
146
147def macroop MOVSX_W_R_M {
148 ld reg, seg, sib, disp, dataSize=2
149 sexti reg, reg, 15
150};
151
152def macroop MOVSX_W_R_P {
153 rdip t7
154 ld reg, seg, riprel, disp, dataSize=2
155 sexti reg, reg, 15
156};
157
158#
159# Zero extending moves
160#
161
162def macroop MOVZX_B_R_R {
163 zexti reg, regm, 7
164};
165
166def macroop MOVZX_B_R_M {
167 ld t1, seg, sib, disp, dataSize=1
168 zexti reg, t1, 7
169};
170
171def macroop MOVZX_B_R_P {
172 rdip t7
173 ld t1, seg, riprel, disp, dataSize=1
174 zexti reg, t1, 7
175};
176
177def macroop MOVZX_W_R_R {
178 zexti reg, regm, 15
179};
180
181def macroop MOVZX_W_R_M {
182 ld t1, seg, sib, disp, dataSize=2
183 zexti reg, t1, 15
184};
185
186def macroop MOVZX_W_R_P {
187 rdip t7
188 ld t1, seg, riprel, disp, dataSize=2
189 zexti reg, t1, 15
190};
191
192def macroop MOV_C_R {
193 wrcr reg, regm
194};
195
196def macroop MOV_R_C {
197 rdcr reg, regm
198};
199
200def macroop MOV_R_S {
201 rdsel reg, regm
202};
203
204def macroop MOV_M_S {
205 rdsel t1, reg
206 st t1, seg, sib, disp, dataSize=2
207};
208
209def macroop MOV_P_S {
210 rdip t7
211 rdsel t1, reg
212 st t1, seg, riprel, disp, dataSize=2
213};
214
215def macroop MOV_REAL_S_R {
216 zext t2, regm, 15
217 slli t3, t2, 2, dataSize=8
218 wrsel reg, regm
219 wrbase reg, t3
220};
221
222def macroop MOV_REAL_S_M {
223 ld t1, seg, sib, disp, dataSize=2
224 zext t2, t1, 15
225 slli t3, t2, 2, dataSize=8
226 wrsel reg, t1
227 wrbase reg, t3
228};
229
230def macroop MOV_REAL_S_P {
231 rdip t7
232 ld t1, seg, riprel, disp, dataSize=2
233 zext t2, t1, 15
234 slli t3, t2, 2, dataSize=8
235 wrsel reg, t1
236 wrbase reg, t3
237};
238
239def macroop MOV_S_R {
240 chks t1, regm, flags=(EZF,), dataSize=8
241 bri t0, label("end"), flags=(CEZF,)
242 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
243 wrdl reg, t2, regm
244end:
245 wrsel reg, regm
246};
247
248def macroop MOV_S_M {
249 ld t1, seg, sib, disp, dataSize=2
250 chks t2, t1, flags=(EZF,), dataSize=8
251 bri t0, label("end"), flags=(CEZF,)
252 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
253 wrdl reg, t2, t1
254end:
255 wrsel reg, t1
256};
257
258def macroop MOV_S_P {
259 rdip t7
260 ld t1, seg, riprel, disp, dataSize=2
261 chks t2, t1, flags=(EZF,), dataSize=8
262 bri t0, label("end"), flags=(CEZF,)
263 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
264 wrdl reg, t2, t1
265end:
266 wrsel reg, t1
267};
268
269def macroop MOVSS_S_R {
270 chks t1, regm, flags=(EZF,), dataSize=8
271 # This actually needs to use the selector as the error code, but it would
272 # be hard to get that information into the instruction at the moment.
273 fault "new GeneralProtection(0)", flags=(CEZF,)
274 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
275 wrdl reg, t2, regm
276 wrsel reg, regm
277};
278
279def macroop MOVSS_S_M {
280 ld t1, seg, sib, disp, dataSize=2
281 chks t2, t1, flags=(EZF,), dataSize=8
282 # This actually needs to use the selector as the error code, but it would
283 # be hard to get that information into the instruction at the moment.
284 fault "new GeneralProtection(0)", flags=(CEZF,)
285 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
286 wrdl reg, t2, t1
287 wrsel reg, t1
288};
289
290def macroop MOVSS_S_P {
291 rdip t7
292 ld t1, seg, riprel, disp, dataSize=2
293 chks t2, t1, flags=(EZF,), dataSize=8
294 # This actually needs to use the selector as the error code, but it would
295 # be hard to get that information into the instruction at the moment.
296 fault "new GeneralProtection(0)", flags=(CEZF,)
297 ld t2, flatseg, [1, t0, t1], addressSize=8, dataSize=8
298 wrdl reg, t2, t1
299 wrsel reg, t1
300};
301'''
302#let {{
303# class MOVD(Inst):
304# "GenFault ${new UnimpInstFault}"
305# class MOVNTI(Inst):
306# "GenFault ${new UnimpInstFault}"
307#}};
|