logical.py revision 6082
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
796082Sgblack@eecs.umich.edudef macroop OR_LOCKED_M_I
806082Sgblack@eecs.umich.edu{
816082Sgblack@eecs.umich.edu    limm t2, imm
826082Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
836082Sgblack@eecs.umich.edu    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
846082Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
856082Sgblack@eecs.umich.edu};
866082Sgblack@eecs.umich.edu
876082Sgblack@eecs.umich.edudef macroop OR_LOCKED_P_I
886082Sgblack@eecs.umich.edu{
896082Sgblack@eecs.umich.edu    limm t2, imm
906082Sgblack@eecs.umich.edu    rdip t7
916082Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
926082Sgblack@eecs.umich.edu    or t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
936082Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
946082Sgblack@eecs.umich.edu};
956082Sgblack@eecs.umich.edu
965081Sgblack@eecs.umich.edudef macroop OR_M_R
975081Sgblack@eecs.umich.edu{
985119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
995081Sgblack@eecs.umich.edu    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1005081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1015081Sgblack@eecs.umich.edu};
1025081Sgblack@eecs.umich.edu
1035081Sgblack@eecs.umich.edudef macroop OR_P_R
1045081Sgblack@eecs.umich.edu{
1055081Sgblack@eecs.umich.edu    rdip t7
1065119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1075081Sgblack@eecs.umich.edu    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1085081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1095081Sgblack@eecs.umich.edu};
1105081Sgblack@eecs.umich.edu
1116082Sgblack@eecs.umich.edudef macroop OR_LOCKED_M_R
1126082Sgblack@eecs.umich.edu{
1136082Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
1146082Sgblack@eecs.umich.edu    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1156082Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
1166082Sgblack@eecs.umich.edu};
1176082Sgblack@eecs.umich.edu
1186082Sgblack@eecs.umich.edudef macroop OR_LOCKED_P_R
1196082Sgblack@eecs.umich.edu{
1206082Sgblack@eecs.umich.edu    rdip t7
1216082Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
1226082Sgblack@eecs.umich.edu    or t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1236082Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
1246082Sgblack@eecs.umich.edu};
1256082Sgblack@eecs.umich.edu
1265081Sgblack@eecs.umich.edudef macroop OR_R_M
1275081Sgblack@eecs.umich.edu{
1285081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
1295081Sgblack@eecs.umich.edu    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1305081Sgblack@eecs.umich.edu};
1315081Sgblack@eecs.umich.edu
1325081Sgblack@eecs.umich.edudef macroop OR_R_P
1335081Sgblack@eecs.umich.edu{
1345081Sgblack@eecs.umich.edu    rdip t7
1355081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1365081Sgblack@eecs.umich.edu    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1375081Sgblack@eecs.umich.edu};
1385081Sgblack@eecs.umich.edu
1395081Sgblack@eecs.umich.edudef macroop OR_R_I
1405081Sgblack@eecs.umich.edu{
1415081Sgblack@eecs.umich.edu    limm t1, imm
1425081Sgblack@eecs.umich.edu    or reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1435081Sgblack@eecs.umich.edu};
1445081Sgblack@eecs.umich.edu
1455081Sgblack@eecs.umich.edudef macroop XOR_R_R
1465081Sgblack@eecs.umich.edu{
1475081Sgblack@eecs.umich.edu    xor reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
1485081Sgblack@eecs.umich.edu};
1495081Sgblack@eecs.umich.edu
1505081Sgblack@eecs.umich.edudef macroop XOR_R_I
1515081Sgblack@eecs.umich.edu{
1525081Sgblack@eecs.umich.edu    limm t1, imm
1535081Sgblack@eecs.umich.edu    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1545081Sgblack@eecs.umich.edu};
1555081Sgblack@eecs.umich.edu
1565081Sgblack@eecs.umich.edudef macroop XOR_M_I
1575081Sgblack@eecs.umich.edu{
1585081Sgblack@eecs.umich.edu    limm t2, imm
1595119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1605081Sgblack@eecs.umich.edu    xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
1615081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1625081Sgblack@eecs.umich.edu};
1635081Sgblack@eecs.umich.edu
1645081Sgblack@eecs.umich.edudef macroop XOR_P_I
1655081Sgblack@eecs.umich.edu{
1665081Sgblack@eecs.umich.edu    limm t2, imm
1675081Sgblack@eecs.umich.edu    rdip t7
1685119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1695081Sgblack@eecs.umich.edu    xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF)
1705081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1715081Sgblack@eecs.umich.edu};
1725081Sgblack@eecs.umich.edu
1735081Sgblack@eecs.umich.edudef macroop XOR_M_R
1745081Sgblack@eecs.umich.edu{
1755119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1765081Sgblack@eecs.umich.edu    xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1775081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1785081Sgblack@eecs.umich.edu};
1795081Sgblack@eecs.umich.edu
1805081Sgblack@eecs.umich.edudef macroop XOR_P_R
1815081Sgblack@eecs.umich.edu{
1825081Sgblack@eecs.umich.edu    rdip t7
1835119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1845081Sgblack@eecs.umich.edu    xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
1855081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1865081Sgblack@eecs.umich.edu};
1875081Sgblack@eecs.umich.edu
1885081Sgblack@eecs.umich.edudef macroop XOR_R_M
1895081Sgblack@eecs.umich.edu{
1905081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
1915081Sgblack@eecs.umich.edu    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1925081Sgblack@eecs.umich.edu};
1935081Sgblack@eecs.umich.edu
1945081Sgblack@eecs.umich.edudef macroop XOR_R_P
1955081Sgblack@eecs.umich.edu{
1965081Sgblack@eecs.umich.edu    rdip t7
1975081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1985081Sgblack@eecs.umich.edu    xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
1995081Sgblack@eecs.umich.edu};
2005081Sgblack@eecs.umich.edu
2015081Sgblack@eecs.umich.edudef macroop AND_R_R
2025081Sgblack@eecs.umich.edu{
2035081Sgblack@eecs.umich.edu    and reg, reg, regm, flags=(OF,SF,ZF,PF,CF)
2045081Sgblack@eecs.umich.edu};
2055081Sgblack@eecs.umich.edu
2065081Sgblack@eecs.umich.edudef macroop AND_R_M
2075081Sgblack@eecs.umich.edu{
2085081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
2095081Sgblack@eecs.umich.edu    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
2105081Sgblack@eecs.umich.edu};
2115081Sgblack@eecs.umich.edu
2125081Sgblack@eecs.umich.edudef macroop AND_R_P
2135081Sgblack@eecs.umich.edu{
2145081Sgblack@eecs.umich.edu    rdip t7
2155081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
2165081Sgblack@eecs.umich.edu    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
2175081Sgblack@eecs.umich.edu};
2185081Sgblack@eecs.umich.edu
2195081Sgblack@eecs.umich.edudef macroop AND_R_I
2205081Sgblack@eecs.umich.edu{
2215081Sgblack@eecs.umich.edu    limm t1, imm
2225081Sgblack@eecs.umich.edu    and reg, reg, t1, flags=(OF,SF,ZF,PF,CF)
2235081Sgblack@eecs.umich.edu};
2245081Sgblack@eecs.umich.edu
2255081Sgblack@eecs.umich.edudef macroop AND_M_I
2265081Sgblack@eecs.umich.edu{
2275119Sgblack@eecs.umich.edu    ldst t2, seg, sib, disp
2285081Sgblack@eecs.umich.edu    limm t1, imm
2295081Sgblack@eecs.umich.edu    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
2305081Sgblack@eecs.umich.edu    st t2, seg, sib, disp
2315081Sgblack@eecs.umich.edu};
2325081Sgblack@eecs.umich.edu
2335081Sgblack@eecs.umich.edudef macroop AND_P_I
2345081Sgblack@eecs.umich.edu{
2355081Sgblack@eecs.umich.edu    rdip t7
2365119Sgblack@eecs.umich.edu    ldst t2, seg, riprel, disp
2375081Sgblack@eecs.umich.edu    limm t1, imm
2385081Sgblack@eecs.umich.edu    and t2, t2, t1, flags=(OF,SF,ZF,PF,CF)
2395081Sgblack@eecs.umich.edu    st t2, seg, riprel, disp
2405081Sgblack@eecs.umich.edu};
2415081Sgblack@eecs.umich.edu
2425081Sgblack@eecs.umich.edudef macroop AND_M_R
2435081Sgblack@eecs.umich.edu{
2445119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2455081Sgblack@eecs.umich.edu    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
2465081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2475081Sgblack@eecs.umich.edu};
2485081Sgblack@eecs.umich.edu
2495081Sgblack@eecs.umich.edudef macroop AND_P_R
2505081Sgblack@eecs.umich.edu{
2515081Sgblack@eecs.umich.edu    rdip t7
2525119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2535081Sgblack@eecs.umich.edu    and t1, t1, reg, flags=(OF,SF,ZF,PF,CF)
2545081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2555081Sgblack@eecs.umich.edu};
2565081Sgblack@eecs.umich.edu
2575081Sgblack@eecs.umich.edudef macroop NOT_R
2585081Sgblack@eecs.umich.edu{
2595081Sgblack@eecs.umich.edu    limm t1, -1
2605081Sgblack@eecs.umich.edu    xor reg, reg, t1
2615081Sgblack@eecs.umich.edu};
2625081Sgblack@eecs.umich.edu
2635081Sgblack@eecs.umich.edudef macroop NOT_M
2645081Sgblack@eecs.umich.edu{
2655081Sgblack@eecs.umich.edu    limm t1, -1
2665119Sgblack@eecs.umich.edu    ldst t2, seg, sib, disp
2675081Sgblack@eecs.umich.edu    xor t2, t2, t1
2685081Sgblack@eecs.umich.edu    st t2, seg, sib, disp
2695081Sgblack@eecs.umich.edu};
2705081Sgblack@eecs.umich.edu
2715081Sgblack@eecs.umich.edudef macroop NOT_P
2725081Sgblack@eecs.umich.edu{
2735081Sgblack@eecs.umich.edu    limm t1, -1
2745081Sgblack@eecs.umich.edu    rdip t7
2755119Sgblack@eecs.umich.edu    ldst t2, seg, riprel, disp
2765081Sgblack@eecs.umich.edu    xor t2, t2, t1
2775081Sgblack@eecs.umich.edu    st t2, seg, riprel, disp
2785081Sgblack@eecs.umich.edu};
2795081Sgblack@eecs.umich.edu'''
280