shift.py (6480:ed9d773de88f) shift.py (6481:fa6d324aa2f9)
1# Copyright (c) 2007 The Hewlett-Packard Development Company
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 = '''
57def macroop SAL_R_I
58{
59 slli reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
60};
61
62def macroop SAL_M_I
63{
64 ldst t1, seg, sib, disp
65 slli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
66 st t1, seg, sib, disp
67};
68
69def macroop SAL_P_I
70{
71 rdip t7
72 ldst t1, seg, riprel, disp
73 slli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
74 st t1, seg, riprel, disp
75};
76
77def macroop SAL_1_R
78{
79 slli reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
80};
81
82def macroop SAL_1_M
83{
84 ldst t1, seg, sib, disp
85 slli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
86 st t1, seg, sib, disp
87};
88
89def macroop SAL_1_P
90{
91 rdip t7
92 ldst t1, seg, riprel, disp
93 slli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
94 st t1, seg, riprel, disp
95};
96
97def macroop SAL_R_R
98{
99 sll reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
100};
101
102def macroop SAL_M_R
103{
104 ldst t1, seg, sib, disp
105 sll t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
106 st t1, seg, sib, disp
107};
108
109def macroop SAL_P_R
110{
111 rdip t7
112 ldst t1, seg, riprel, disp
113 sll t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
114 st t1, seg, riprel, disp
115};
116
117def macroop SHLD_R_R
118{
119 mdbi regm, 0
120 sld reg, reg, rcx, flags=(CF,OF,SF,ZF,PF)
121};
122
123def macroop SHLD_M_R
124{
125 ldst t1, seg, sib, disp
126 mdbi reg, 0
127 sld t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
128 st t1, seg, sib, disp
129};
130
131def macroop SHLD_P_R
132{
133 rdip t7
134 ldst t1, seg, riprel, disp
135 mdbi reg, 0
136 sld t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
137 st t1, seg, riprel, disp
138};
139
140def macroop SHLD_R_R_I
141{
142 mdbi regm, 0
143 sldi reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
144};
145
146def macroop SHLD_M_R_I
147{
148 ldst t1, seg, sib, disp
149 mdbi reg, 0
150 sldi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
151 st t1, seg, sib, disp
152};
153
154def macroop SHLD_P_R_I
155{
156 rdip t7
157 ldst t1, seg, riprel, disp
158 mdbi reg, 0
159 sldi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
160 st t1, seg, riprel, disp
161};
162
163def macroop SHR_R_I
164{
165 srli reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
166};
167
168def macroop SHR_M_I
169{
170 ldst t1, seg, sib, disp
171 srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
172 st t1, seg, sib, disp
173};
174
175def macroop SHR_P_I
176{
177 rdip t7
178 ldst t1, seg, riprel, disp
179 srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
180 st t1, seg, riprel, disp
181};
182
183def macroop SHR_1_R
184{
185 srli reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
186};
187
188def macroop SHR_1_M
189{
190 ldst t1, seg, sib, disp
191 srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
192 st t1, seg, sib, disp
193};
194
195def macroop SHR_1_P
196{
197 rdip t7
198 ldst t1, seg, riprel, disp
199 srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
200 st t1, seg, riprel, disp
201};
202
203def macroop SHR_R_R
204{
205 srl reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
206};
207
208def macroop SHR_M_R
209{
210 ldst t1, seg, sib, disp
211 srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
212 st t1, seg, sib, disp
213};
214
215def macroop SHR_P_R
216{
217 rdip t7
218 ldst t1, seg, riprel, disp
219 srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
220 st t1, seg, riprel, disp
221};
222
1# Copyright (c) 2007 The Hewlett-Packard Development Company
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 = '''
57def macroop SAL_R_I
58{
59 slli reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
60};
61
62def macroop SAL_M_I
63{
64 ldst t1, seg, sib, disp
65 slli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
66 st t1, seg, sib, disp
67};
68
69def macroop SAL_P_I
70{
71 rdip t7
72 ldst t1, seg, riprel, disp
73 slli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
74 st t1, seg, riprel, disp
75};
76
77def macroop SAL_1_R
78{
79 slli reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
80};
81
82def macroop SAL_1_M
83{
84 ldst t1, seg, sib, disp
85 slli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
86 st t1, seg, sib, disp
87};
88
89def macroop SAL_1_P
90{
91 rdip t7
92 ldst t1, seg, riprel, disp
93 slli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
94 st t1, seg, riprel, disp
95};
96
97def macroop SAL_R_R
98{
99 sll reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
100};
101
102def macroop SAL_M_R
103{
104 ldst t1, seg, sib, disp
105 sll t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
106 st t1, seg, sib, disp
107};
108
109def macroop SAL_P_R
110{
111 rdip t7
112 ldst t1, seg, riprel, disp
113 sll t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
114 st t1, seg, riprel, disp
115};
116
117def macroop SHLD_R_R
118{
119 mdbi regm, 0
120 sld reg, reg, rcx, flags=(CF,OF,SF,ZF,PF)
121};
122
123def macroop SHLD_M_R
124{
125 ldst t1, seg, sib, disp
126 mdbi reg, 0
127 sld t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
128 st t1, seg, sib, disp
129};
130
131def macroop SHLD_P_R
132{
133 rdip t7
134 ldst t1, seg, riprel, disp
135 mdbi reg, 0
136 sld t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
137 st t1, seg, riprel, disp
138};
139
140def macroop SHLD_R_R_I
141{
142 mdbi regm, 0
143 sldi reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
144};
145
146def macroop SHLD_M_R_I
147{
148 ldst t1, seg, sib, disp
149 mdbi reg, 0
150 sldi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
151 st t1, seg, sib, disp
152};
153
154def macroop SHLD_P_R_I
155{
156 rdip t7
157 ldst t1, seg, riprel, disp
158 mdbi reg, 0
159 sldi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
160 st t1, seg, riprel, disp
161};
162
163def macroop SHR_R_I
164{
165 srli reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
166};
167
168def macroop SHR_M_I
169{
170 ldst t1, seg, sib, disp
171 srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
172 st t1, seg, sib, disp
173};
174
175def macroop SHR_P_I
176{
177 rdip t7
178 ldst t1, seg, riprel, disp
179 srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
180 st t1, seg, riprel, disp
181};
182
183def macroop SHR_1_R
184{
185 srli reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
186};
187
188def macroop SHR_1_M
189{
190 ldst t1, seg, sib, disp
191 srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
192 st t1, seg, sib, disp
193};
194
195def macroop SHR_1_P
196{
197 rdip t7
198 ldst t1, seg, riprel, disp
199 srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
200 st t1, seg, riprel, disp
201};
202
203def macroop SHR_R_R
204{
205 srl reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
206};
207
208def macroop SHR_M_R
209{
210 ldst t1, seg, sib, disp
211 srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
212 st t1, seg, sib, disp
213};
214
215def macroop SHR_P_R
216{
217 rdip t7
218 ldst t1, seg, riprel, disp
219 srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
220 st t1, seg, riprel, disp
221};
222
223# SHRD will not set OF correctly when the shift count is 1.
223def macroop SHRD_R_R
224{
225 mdbi regm, 0
226 srd reg, reg, rcx, flags=(CF,OF,SF,ZF,PF)
227};
228
229def macroop SHRD_M_R
230{
231 ldst t1, seg, sib, disp
232 mdbi reg, 0
233 srd t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
234 st t1, seg, sib, disp
235};
236
237def macroop SHRD_P_R
238{
239 rdip t7
240 ldst t1, seg, riprel, disp
241 mdbi reg, 0
242 srd t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
243 st t1, seg, riprel, disp
244};
245
224def macroop SHRD_R_R_I
225{
246def macroop SHRD_R_R_I
247{
226 srli t1, reg, imm, flags=(CF,)
227 rori t2, regm, imm
228 srli t3, regm, imm
229 xor t2, t2, t3
230 or reg, t1, t2
248 mdbi regm, 0
249 srdi reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
231};
232
250};
251
233# SHRD will not set OF correctly when the shift count is 1.
234def macroop SHRD_M_R_I
235{
236 ldst t1, seg, sib, disp
252def macroop SHRD_M_R_I
253{
254 ldst t1, seg, sib, disp
237 srli t1, t1, imm, flags=(CF,)
238 rori t2, reg, imm
239 srli t3, reg, imm
240 xor t2, t2, t3
241 or t1, t1, t2
255 mdbi reg, 0
256 srdi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
242 st t1, seg, sib, disp
243};
244
257 st t1, seg, sib, disp
258};
259
245# SHRD will not set OF correctly when the shift count is 1.
246def macroop SHRD_P_R_I
247{
248 rdip t7
249 ldst t1, seg, riprel, disp
260def macroop SHRD_P_R_I
261{
262 rdip t7
263 ldst t1, seg, riprel, disp
250 srli t1, t1, imm, flags=(CF,)
251 rori t2, reg, imm
252 srli t3, reg, imm
253 xor t2, t2, t3
254 or t1, t1, t2
264 mdbi reg, 0
265 srdi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
255 st t1, seg, riprel, disp
256};
257
258def macroop SAR_R_I
259{
260 srai reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
261};
262
263def macroop SAR_M_I
264{
265 ldst t1, seg, sib, disp
266 srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
267 st t1, seg, sib, disp
268};
269
270def macroop SAR_P_I
271{
272 rdip t7
273 ldst t1, seg, riprel, disp
274 srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
275 st t1, seg, riprel, disp
276};
277
278def macroop SAR_1_R
279{
280 srai reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
281};
282
283def macroop SAR_1_M
284{
285 ldst t1, seg, sib, disp
286 srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
287 st t1, seg, sib, disp
288};
289
290def macroop SAR_1_P
291{
292 rdip t7
293 ldst t1, seg, riprel, disp
294 srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
295 st t1, seg, riprel, disp
296};
297
298def macroop SAR_R_R
299{
300 sra reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
301};
302
303def macroop SAR_M_R
304{
305 ldst t1, seg, sib, disp
306 sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
307 st t1, seg, sib, disp
308};
309
310def macroop SAR_P_R
311{
312 rdip t7
313 ldst t1, seg, riprel, disp
314 sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
315 st t1, seg, riprel, disp
316};
317'''
266 st t1, seg, riprel, disp
267};
268
269def macroop SAR_R_I
270{
271 srai reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
272};
273
274def macroop SAR_M_I
275{
276 ldst t1, seg, sib, disp
277 srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
278 st t1, seg, sib, disp
279};
280
281def macroop SAR_P_I
282{
283 rdip t7
284 ldst t1, seg, riprel, disp
285 srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
286 st t1, seg, riprel, disp
287};
288
289def macroop SAR_1_R
290{
291 srai reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
292};
293
294def macroop SAR_1_M
295{
296 ldst t1, seg, sib, disp
297 srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
298 st t1, seg, sib, disp
299};
300
301def macroop SAR_1_P
302{
303 rdip t7
304 ldst t1, seg, riprel, disp
305 srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
306 st t1, seg, riprel, disp
307};
308
309def macroop SAR_R_R
310{
311 sra reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
312};
313
314def macroop SAR_M_R
315{
316 ldst t1, seg, sib, disp
317 sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
318 st t1, seg, sib, disp
319};
320
321def macroop SAR_P_R
322{
323 rdip t7
324 ldst t1, seg, riprel, disp
325 sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
326 st t1, seg, riprel, disp
327};
328'''