logical.py revision 5119
15081Sgblack@eecs.umich.edu# Copyright (c) 2007 The Hewlett-Packard Development Company
25081Sgblack@eecs.umich.edu# All rights reserved.
35081Sgblack@eecs.umich.edu#
45081Sgblack@eecs.umich.edu# Redistribution and use of this software in source and binary forms,
55081Sgblack@eecs.umich.edu# with or without modification, are permitted provided that the
65081Sgblack@eecs.umich.edu# following conditions are met:
75081Sgblack@eecs.umich.edu#
85081Sgblack@eecs.umich.edu# The software must be used only for Non-Commercial Use which means any
95081Sgblack@eecs.umich.edu# use which is NOT directed to receiving any direct monetary
105081Sgblack@eecs.umich.edu# compensation for, or commercial advantage from such use.  Illustrative
115081Sgblack@eecs.umich.edu# examples of non-commercial use are academic research, personal study,
125081Sgblack@eecs.umich.edu# teaching, education and corporate research & development.
135081Sgblack@eecs.umich.edu# Illustrative examples of commercial use are distributing products for
145081Sgblack@eecs.umich.edu# commercial advantage and providing services using the software for
155081Sgblack@eecs.umich.edu# commercial advantage.
165081Sgblack@eecs.umich.edu#
175081Sgblack@eecs.umich.edu# If you wish to use this software or functionality therein that may be
185081Sgblack@eecs.umich.edu# covered by patents for commercial use, please contact:
195081Sgblack@eecs.umich.edu#     Director of Intellectual Property Licensing
205081Sgblack@eecs.umich.edu#     Office of Strategy and Technology
215081Sgblack@eecs.umich.edu#     Hewlett-Packard Company
225081Sgblack@eecs.umich.edu#     1501 Page Mill Road
235081Sgblack@eecs.umich.edu#     Palo Alto, California  94304
245081Sgblack@eecs.umich.edu#
255081Sgblack@eecs.umich.edu# Redistributions of source code must retain the above copyright notice,
265081Sgblack@eecs.umich.edu# this list of conditions and the following disclaimer.  Redistributions
275081Sgblack@eecs.umich.edu# in binary form must reproduce the above copyright notice, this list of
285081Sgblack@eecs.umich.edu# conditions and the following disclaimer in the documentation and/or
295081Sgblack@eecs.umich.edu# other materials provided with the distribution.  Neither the name of
305081Sgblack@eecs.umich.edu# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
315081Sgblack@eecs.umich.edu# contributors may be used to endorse or promote products derived from
325081Sgblack@eecs.umich.edu# this software without specific prior written permission.  No right of
335081Sgblack@eecs.umich.edu# sublicense is granted herewith.  Derivatives of the software and
345081Sgblack@eecs.umich.edu# output created using the software may be prepared, but only for
355081Sgblack@eecs.umich.edu# Non-Commercial Uses.  Derivatives of the software may be shared with
365081Sgblack@eecs.umich.edu# others provided: (i) the others agree to abide by the list of
375081Sgblack@eecs.umich.edu# conditions herein which includes the Non-Commercial Use restrictions;
385081Sgblack@eecs.umich.edu# and (ii) such Derivatives of the software include the above copyright
395081Sgblack@eecs.umich.edu# notice to acknowledge the contribution from this software where
405081Sgblack@eecs.umich.edu# applicable, this list of conditions and the disclaimer below.
415081Sgblack@eecs.umich.edu#
425081Sgblack@eecs.umich.edu# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
435081Sgblack@eecs.umich.edu# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
445081Sgblack@eecs.umich.edu# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
455081Sgblack@eecs.umich.edu# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
465081Sgblack@eecs.umich.edu# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
475081Sgblack@eecs.umich.edu# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
485081Sgblack@eecs.umich.edu# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
495081Sgblack@eecs.umich.edu# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
505081Sgblack@eecs.umich.edu# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
515081Sgblack@eecs.umich.edu# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
525081Sgblack@eecs.umich.edu# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
535081Sgblack@eecs.umich.edu#
545081Sgblack@eecs.umich.edu# Authors: Gabe Black
555081Sgblack@eecs.umich.edu
565081Sgblack@eecs.umich.edumicrocode = '''
575081Sgblack@eecs.umich.edudef macroop OR_R_R
585081Sgblack@eecs.umich.edu{
595081Sgblack@eecs.umich.edu    or reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
605081Sgblack@eecs.umich.edu};
615081Sgblack@eecs.umich.edu
625081Sgblack@eecs.umich.edudef macroop OR_M_I
635081Sgblack@eecs.umich.edu{
645081Sgblack@eecs.umich.edu    limm t2, imm
655119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
665081Sgblack@eecs.umich.edu    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
675081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
685081Sgblack@eecs.umich.edu};
695081Sgblack@eecs.umich.edu
705081Sgblack@eecs.umich.edudef macroop OR_P_I
715081Sgblack@eecs.umich.edu{
725081Sgblack@eecs.umich.edu    limm t2, imm
735081Sgblack@eecs.umich.edu    rdip t7
745119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
755081Sgblack@eecs.umich.edu    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
765081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
775081Sgblack@eecs.umich.edu};
785081Sgblack@eecs.umich.edu
795081Sgblack@eecs.umich.edudef macroop OR_M_R
805081Sgblack@eecs.umich.edu{
815119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
825081Sgblack@eecs.umich.edu    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
835081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
845081Sgblack@eecs.umich.edu};
855081Sgblack@eecs.umich.edu
865081Sgblack@eecs.umich.edudef macroop OR_P_R
875081Sgblack@eecs.umich.edu{
885081Sgblack@eecs.umich.edu    rdip t7
895119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
905081Sgblack@eecs.umich.edu    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
915081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
925081Sgblack@eecs.umich.edu};
935081Sgblack@eecs.umich.edu
945081Sgblack@eecs.umich.edudef macroop OR_R_M
955081Sgblack@eecs.umich.edu{
965081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
975081Sgblack@eecs.umich.edu    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
985081Sgblack@eecs.umich.edu};
995081Sgblack@eecs.umich.edu
1005081Sgblack@eecs.umich.edudef macroop OR_R_P
1015081Sgblack@eecs.umich.edu{
1025081Sgblack@eecs.umich.edu    rdip t7
1035081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1045081Sgblack@eecs.umich.edu    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1055081Sgblack@eecs.umich.edu};
1065081Sgblack@eecs.umich.edu
1075081Sgblack@eecs.umich.edudef macroop OR_R_I
1085081Sgblack@eecs.umich.edu{
1095081Sgblack@eecs.umich.edu    limm t1, imm
1105081Sgblack@eecs.umich.edu    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1115081Sgblack@eecs.umich.edu};
1125081Sgblack@eecs.umich.edu
1135081Sgblack@eecs.umich.edudef macroop XOR_R_R
1145081Sgblack@eecs.umich.edu{
1155081Sgblack@eecs.umich.edu    xor reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
1165081Sgblack@eecs.umich.edu};
1175081Sgblack@eecs.umich.edu
1185081Sgblack@eecs.umich.edudef macroop XOR_R_I
1195081Sgblack@eecs.umich.edu{
1205081Sgblack@eecs.umich.edu    limm t1, imm
1215081Sgblack@eecs.umich.edu    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1225081Sgblack@eecs.umich.edu};
1235081Sgblack@eecs.umich.edu
1245081Sgblack@eecs.umich.edudef macroop XOR_M_I
1255081Sgblack@eecs.umich.edu{
1265081Sgblack@eecs.umich.edu    limm t2, imm
1275119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1285081Sgblack@eecs.umich.edu    xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
1295081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1305081Sgblack@eecs.umich.edu};
1315081Sgblack@eecs.umich.edu
1325081Sgblack@eecs.umich.edudef macroop XOR_P_I
1335081Sgblack@eecs.umich.edu{
1345081Sgblack@eecs.umich.edu    limm t2, imm
1355081Sgblack@eecs.umich.edu    rdip t7
1365119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1375081Sgblack@eecs.umich.edu    xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
1385081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1395081Sgblack@eecs.umich.edu};
1405081Sgblack@eecs.umich.edu
1415081Sgblack@eecs.umich.edudef macroop XOR_M_R
1425081Sgblack@eecs.umich.edu{
1435119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1445081Sgblack@eecs.umich.edu    xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1455081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1465081Sgblack@eecs.umich.edu};
1475081Sgblack@eecs.umich.edu
1485081Sgblack@eecs.umich.edudef macroop XOR_P_R
1495081Sgblack@eecs.umich.edu{
1505081Sgblack@eecs.umich.edu    rdip t7
1515119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1525081Sgblack@eecs.umich.edu    xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1535081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1545081Sgblack@eecs.umich.edu};
1555081Sgblack@eecs.umich.edu
1565081Sgblack@eecs.umich.edudef macroop XOR_R_M
1575081Sgblack@eecs.umich.edu{
1585081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
1595081Sgblack@eecs.umich.edu    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1605081Sgblack@eecs.umich.edu};
1615081Sgblack@eecs.umich.edu
1625081Sgblack@eecs.umich.edudef macroop XOR_R_P
1635081Sgblack@eecs.umich.edu{
1645081Sgblack@eecs.umich.edu    rdip t7
1655081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1665081Sgblack@eecs.umich.edu    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1675081Sgblack@eecs.umich.edu};
1685081Sgblack@eecs.umich.edu
1695081Sgblack@eecs.umich.edudef macroop AND_R_R
1705081Sgblack@eecs.umich.edu{
1715081Sgblack@eecs.umich.edu    and reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
1725081Sgblack@eecs.umich.edu};
1735081Sgblack@eecs.umich.edu
1745081Sgblack@eecs.umich.edudef macroop AND_R_M
1755081Sgblack@eecs.umich.edu{
1765081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
1775081Sgblack@eecs.umich.edu    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1785081Sgblack@eecs.umich.edu};
1795081Sgblack@eecs.umich.edu
1805081Sgblack@eecs.umich.edudef macroop AND_R_P
1815081Sgblack@eecs.umich.edu{
1825081Sgblack@eecs.umich.edu    rdip t7
1835081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1845081Sgblack@eecs.umich.edu    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1855081Sgblack@eecs.umich.edu};
1865081Sgblack@eecs.umich.edu
1875081Sgblack@eecs.umich.edudef macroop AND_R_I
1885081Sgblack@eecs.umich.edu{
1895081Sgblack@eecs.umich.edu    limm t1, imm
1905081Sgblack@eecs.umich.edu    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1915081Sgblack@eecs.umich.edu};
1925081Sgblack@eecs.umich.edu
1935081Sgblack@eecs.umich.edudef macroop AND_M_I
1945081Sgblack@eecs.umich.edu{
1955119Sgblack@eecs.umich.edu    ldst t2, seg, sib, disp
1965081Sgblack@eecs.umich.edu    limm t1, imm
1975081Sgblack@eecs.umich.edu    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
1985081Sgblack@eecs.umich.edu    st t2, seg, sib, disp
1995081Sgblack@eecs.umich.edu};
2005081Sgblack@eecs.umich.edu
2015081Sgblack@eecs.umich.edudef macroop AND_P_I
2025081Sgblack@eecs.umich.edu{
2035081Sgblack@eecs.umich.edu    rdip t7
2045119Sgblack@eecs.umich.edu    ldst t2, seg, riprel, disp
2055081Sgblack@eecs.umich.edu    limm t1, imm
2065081Sgblack@eecs.umich.edu    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
2075081Sgblack@eecs.umich.edu    st t2, seg, riprel, disp
2085081Sgblack@eecs.umich.edu};
2095081Sgblack@eecs.umich.edu
2105081Sgblack@eecs.umich.edudef macroop AND_M_R
2115081Sgblack@eecs.umich.edu{
2125119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2135081Sgblack@eecs.umich.edu    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
2145081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2155081Sgblack@eecs.umich.edu};
2165081Sgblack@eecs.umich.edu
2175081Sgblack@eecs.umich.edudef macroop AND_P_R
2185081Sgblack@eecs.umich.edu{
2195081Sgblack@eecs.umich.edu    rdip t7
2205119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2215081Sgblack@eecs.umich.edu    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
2225081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2235081Sgblack@eecs.umich.edu};
2245081Sgblack@eecs.umich.edu
2255081Sgblack@eecs.umich.edudef macroop NOT_R
2265081Sgblack@eecs.umich.edu{
2275081Sgblack@eecs.umich.edu    limm t1, -1
2285081Sgblack@eecs.umich.edu    xor reg, reg, t1
2295081Sgblack@eecs.umich.edu};
2305081Sgblack@eecs.umich.edu
2315081Sgblack@eecs.umich.edudef macroop NOT_M
2325081Sgblack@eecs.umich.edu{
2335081Sgblack@eecs.umich.edu    limm t1, -1
2345119Sgblack@eecs.umich.edu    ldst t2, seg, sib, disp
2355081Sgblack@eecs.umich.edu    xor t2, t2, t1
2365081Sgblack@eecs.umich.edu    st t2, seg, sib, disp
2375081Sgblack@eecs.umich.edu};
2385081Sgblack@eecs.umich.edu
2395081Sgblack@eecs.umich.edudef macroop NOT_P
2405081Sgblack@eecs.umich.edu{
2415081Sgblack@eecs.umich.edu    limm t1, -1
2425081Sgblack@eecs.umich.edu    rdip t7
2435119Sgblack@eecs.umich.edu    ldst t2, seg, riprel, disp
2445081Sgblack@eecs.umich.edu    xor t2, t2, t1
2455081Sgblack@eecs.umich.edu    st t2, seg, riprel, disp
2465081Sgblack@eecs.umich.edu};
2475081Sgblack@eecs.umich.edu'''
248