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