logical.py revision 6085:c210d3e04532 
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 OR_R_R
58{
59    or reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
60};
61
62def macroop OR_M_I
63{
64    limm t2, imm
65    ldst t1, seg, sib, disp
66    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
67    st t1, seg, sib, disp
68};
69
70def macroop OR_P_I
71{
72    limm t2, imm
73    rdip t7
74    ldst t1, seg, riprel, disp
75    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
76    st t1, seg, riprel, disp
77};
78
79def macroop OR_LOCKED_M_I
80{
81    limm t2, imm
82    ldstl t1, seg, sib, disp
83    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
84    stul t1, seg, sib, disp
85};
86
87def macroop OR_LOCKED_P_I
88{
89    limm t2, imm
90    rdip t7
91    ldstl t1, seg, riprel, disp
92    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
93    stul t1, seg, riprel, disp
94};
95
96def macroop OR_M_R
97{
98    ldst t1, seg, sib, disp
99    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
100    st t1, seg, sib, disp
101};
102
103def macroop OR_P_R
104{
105    rdip t7
106    ldst t1, seg, riprel, disp
107    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
108    st t1, seg, riprel, disp
109};
110
111def macroop OR_LOCKED_M_R
112{
113    ldstl t1, seg, sib, disp
114    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
115    stul t1, seg, sib, disp
116};
117
118def macroop OR_LOCKED_P_R
119{
120    rdip t7
121    ldstl t1, seg, riprel, disp
122    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
123    stul t1, seg, riprel, disp
124};
125
126def macroop OR_R_M
127{
128    ld t1, seg, sib, disp
129    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
130};
131
132def macroop OR_R_P
133{
134    rdip t7
135    ld t1, seg, riprel, disp
136    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
137};
138
139def macroop OR_R_I
140{
141    limm t1, imm
142    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
143};
144
145def macroop XOR_R_R
146{
147    xor reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
148};
149
150def macroop XOR_R_I
151{
152    limm t1, imm
153    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
154};
155
156def macroop XOR_M_I
157{
158    limm t2, imm
159    ldst t1, seg, sib, disp
160    xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
161    st t1, seg, sib, disp
162};
163
164def macroop XOR_P_I
165{
166    limm t2, imm
167    rdip t7
168    ldst t1, seg, riprel, disp
169    xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
170    st t1, seg, riprel, disp
171};
172
173def macroop XOR_M_R
174{
175    ldst t1, seg, sib, disp
176    xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
177    st t1, seg, sib, disp
178};
179
180def macroop XOR_P_R
181{
182    rdip t7
183    ldst t1, seg, riprel, disp
184    xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
185    st t1, seg, riprel, disp
186};
187
188def macroop XOR_R_M
189{
190    ld t1, seg, sib, disp
191    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
192};
193
194def macroop XOR_R_P
195{
196    rdip t7
197    ld t1, seg, riprel, disp
198    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
199};
200
201def macroop AND_R_R
202{
203    and reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
204};
205
206def macroop AND_R_M
207{
208    ld t1, seg, sib, disp
209    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
210};
211
212def macroop AND_R_P
213{
214    rdip t7
215    ld t1, seg, riprel, disp
216    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
217};
218
219def macroop AND_R_I
220{
221    limm t1, imm
222    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
223};
224
225def macroop AND_M_I
226{
227    ldst t2, seg, sib, disp
228    limm t1, imm
229    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
230    st t2, seg, sib, disp
231};
232
233def macroop AND_P_I
234{
235    rdip t7
236    ldst t2, seg, riprel, disp
237    limm t1, imm
238    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
239    st t2, seg, riprel, disp
240};
241
242def macroop AND_LOCKED_M_I
243{
244    ldstl t2, seg, sib, disp
245    limm t1, imm
246    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
247    stul t2, seg, sib, disp
248};
249
250def macroop AND_LOCKED_P_I
251{
252    rdip t7
253    ldstl t2, seg, riprel, disp
254    limm t1, imm
255    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
256    stul t2, seg, riprel, disp
257};
258
259def macroop AND_M_R
260{
261    ldst t1, seg, sib, disp
262    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
263    st t1, seg, sib, disp
264};
265
266def macroop AND_P_R
267{
268    rdip t7
269    ldst t1, seg, riprel, disp
270    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
271    st t1, seg, riprel, disp
272};
273
274def macroop AND_LOCKED_M_R
275{
276    ldstl t1, seg, sib, disp
277    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
278    stul t1, seg, sib, disp
279};
280
281def macroop AND_LOCKED_P_R
282{
283    rdip t7
284    ldstl t1, seg, riprel, disp
285    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
286    stul t1, seg, riprel, disp
287};
288
289def macroop NOT_R
290{
291    limm t1, -1
292    xor reg, reg, t1
293};
294
295def macroop NOT_M
296{
297    limm t1, -1
298    ldst t2, seg, sib, disp
299    xor t2, t2, t1
300    st t2, seg, sib, disp
301};
302
303def macroop NOT_P
304{
305    limm t1, -1
306    rdip t7
307    ldst t2, seg, riprel, disp
308    xor t2, t2, t1
309    st t2, seg, riprel, disp
310};
311'''
312