shift.py revision 5977
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 SAL_R_I 585081Sgblack@eecs.umich.edu{ 595961Sgblack@eecs.umich.edu slli reg, reg, imm, flags=(CF,OF,SF,ZF,PF) 605081Sgblack@eecs.umich.edu}; 615081Sgblack@eecs.umich.edu 625081Sgblack@eecs.umich.edudef macroop SAL_M_I 635081Sgblack@eecs.umich.edu{ 645119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 655961Sgblack@eecs.umich.edu slli t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 665081Sgblack@eecs.umich.edu st t1, seg, sib, disp 675081Sgblack@eecs.umich.edu}; 685081Sgblack@eecs.umich.edu 695081Sgblack@eecs.umich.edudef macroop SAL_P_I 705081Sgblack@eecs.umich.edu{ 715081Sgblack@eecs.umich.edu rdip t7 725119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 735961Sgblack@eecs.umich.edu slli t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 745081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 755081Sgblack@eecs.umich.edu}; 765081Sgblack@eecs.umich.edu 775081Sgblack@eecs.umich.edudef macroop SAL_1_R 785081Sgblack@eecs.umich.edu{ 795961Sgblack@eecs.umich.edu slli reg, reg, 1, flags=(CF,OF,SF,ZF,PF) 805081Sgblack@eecs.umich.edu}; 815081Sgblack@eecs.umich.edu 825081Sgblack@eecs.umich.edudef macroop SAL_1_M 835081Sgblack@eecs.umich.edu{ 845119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 855961Sgblack@eecs.umich.edu slli t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 865081Sgblack@eecs.umich.edu st t1, seg, sib, disp 875081Sgblack@eecs.umich.edu}; 885081Sgblack@eecs.umich.edu 895081Sgblack@eecs.umich.edudef macroop SAL_1_P 905081Sgblack@eecs.umich.edu{ 915081Sgblack@eecs.umich.edu rdip t7 925119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 935961Sgblack@eecs.umich.edu slli t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 945081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 955081Sgblack@eecs.umich.edu}; 965081Sgblack@eecs.umich.edu 975081Sgblack@eecs.umich.edudef macroop SAL_R_R 985081Sgblack@eecs.umich.edu{ 995961Sgblack@eecs.umich.edu sll reg, reg, regm, flags=(CF,OF,SF,ZF,PF) 1005081Sgblack@eecs.umich.edu}; 1015081Sgblack@eecs.umich.edu 1025081Sgblack@eecs.umich.edudef macroop SAL_M_R 1035081Sgblack@eecs.umich.edu{ 1045119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1055961Sgblack@eecs.umich.edu sll t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 1065081Sgblack@eecs.umich.edu st t1, seg, sib, disp 1075081Sgblack@eecs.umich.edu}; 1085081Sgblack@eecs.umich.edu 1095081Sgblack@eecs.umich.edudef macroop SAL_P_R 1105081Sgblack@eecs.umich.edu{ 1115081Sgblack@eecs.umich.edu rdip t7 1125119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1135961Sgblack@eecs.umich.edu sll t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 1145081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1155081Sgblack@eecs.umich.edu}; 1165081Sgblack@eecs.umich.edu 1175081Sgblack@eecs.umich.edudef macroop SHR_R_I 1185081Sgblack@eecs.umich.edu{ 1195961Sgblack@eecs.umich.edu srli reg, reg, imm, flags=(CF,OF,SF,ZF,PF) 1205081Sgblack@eecs.umich.edu}; 1215081Sgblack@eecs.umich.edu 1225081Sgblack@eecs.umich.edudef macroop SHR_M_I 1235081Sgblack@eecs.umich.edu{ 1245119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1255961Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 1265081Sgblack@eecs.umich.edu st t1, seg, sib, disp 1275081Sgblack@eecs.umich.edu}; 1285081Sgblack@eecs.umich.edu 1295081Sgblack@eecs.umich.edudef macroop SHR_P_I 1305081Sgblack@eecs.umich.edu{ 1315081Sgblack@eecs.umich.edu rdip t7 1325119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1335961Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 1345081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1355081Sgblack@eecs.umich.edu}; 1365081Sgblack@eecs.umich.edu 1375081Sgblack@eecs.umich.edudef macroop SHR_1_R 1385081Sgblack@eecs.umich.edu{ 1395961Sgblack@eecs.umich.edu srli reg, reg, 1, flags=(CF,OF,SF,ZF,PF) 1405081Sgblack@eecs.umich.edu}; 1415081Sgblack@eecs.umich.edu 1425081Sgblack@eecs.umich.edudef macroop SHR_1_M 1435081Sgblack@eecs.umich.edu{ 1445119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1455961Sgblack@eecs.umich.edu srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 1465081Sgblack@eecs.umich.edu st t1, seg, sib, disp 1475081Sgblack@eecs.umich.edu}; 1485081Sgblack@eecs.umich.edu 1495081Sgblack@eecs.umich.edudef macroop SHR_1_P 1505081Sgblack@eecs.umich.edu{ 1515081Sgblack@eecs.umich.edu rdip t7 1525119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1535961Sgblack@eecs.umich.edu srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 1545081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1555081Sgblack@eecs.umich.edu}; 1565081Sgblack@eecs.umich.edu 1575081Sgblack@eecs.umich.edudef macroop SHR_R_R 1585081Sgblack@eecs.umich.edu{ 1595961Sgblack@eecs.umich.edu srl reg, reg, regm, flags=(CF,OF,SF,ZF,PF) 1605081Sgblack@eecs.umich.edu}; 1615081Sgblack@eecs.umich.edu 1625081Sgblack@eecs.umich.edudef macroop SHR_M_R 1635081Sgblack@eecs.umich.edu{ 1645119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1655961Sgblack@eecs.umich.edu srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 1665081Sgblack@eecs.umich.edu st t1, seg, sib, disp 1675081Sgblack@eecs.umich.edu}; 1685081Sgblack@eecs.umich.edu 1695081Sgblack@eecs.umich.edudef macroop SHR_P_R 1705081Sgblack@eecs.umich.edu{ 1715081Sgblack@eecs.umich.edu rdip t7 1725119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1735961Sgblack@eecs.umich.edu srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 1745081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1755081Sgblack@eecs.umich.edu}; 1765081Sgblack@eecs.umich.edu 1775977Sgblack@eecs.umich.edu# SHRD will not set OF correctly when the shift count is 1. 1785977Sgblack@eecs.umich.edudef macroop SHRD_R_R_I 1795977Sgblack@eecs.umich.edu{ 1805977Sgblack@eecs.umich.edu srli t1, reg, imm, flags=(CF,) 1815977Sgblack@eecs.umich.edu rori t2, regm, imm 1825977Sgblack@eecs.umich.edu srli t3, regm, imm 1835977Sgblack@eecs.umich.edu xor t2, t2, t3 1845977Sgblack@eecs.umich.edu or reg, t1, t2 1855977Sgblack@eecs.umich.edu}; 1865977Sgblack@eecs.umich.edu 1875977Sgblack@eecs.umich.edu# SHRD will not set OF correctly when the shift count is 1. 1885977Sgblack@eecs.umich.edudef macroop SHRD_M_R_I 1895977Sgblack@eecs.umich.edu{ 1905977Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1915977Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,) 1925977Sgblack@eecs.umich.edu rori t2, reg, imm 1935977Sgblack@eecs.umich.edu srli t3, reg, imm 1945977Sgblack@eecs.umich.edu xor t2, t2, t3 1955977Sgblack@eecs.umich.edu or t1, t1, t2 1965977Sgblack@eecs.umich.edu st t1, seg, sib, disp 1975977Sgblack@eecs.umich.edu}; 1985977Sgblack@eecs.umich.edu 1995977Sgblack@eecs.umich.edu# SHRD will not set OF correctly when the shift count is 1. 2005977Sgblack@eecs.umich.edudef macroop SHRD_P_R_I 2015977Sgblack@eecs.umich.edu{ 2025977Sgblack@eecs.umich.edu rdip t7 2035977Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2045977Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,) 2055977Sgblack@eecs.umich.edu rori t2, reg, imm 2065977Sgblack@eecs.umich.edu srli t3, reg, imm 2075977Sgblack@eecs.umich.edu xor t2, t2, t3 2085977Sgblack@eecs.umich.edu or t1, t1, t2 2095977Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2105977Sgblack@eecs.umich.edu}; 2115977Sgblack@eecs.umich.edu 2125081Sgblack@eecs.umich.edudef macroop SAR_R_I 2135081Sgblack@eecs.umich.edu{ 2145961Sgblack@eecs.umich.edu srai reg, reg, imm, flags=(CF,OF,SF,ZF,PF) 2155081Sgblack@eecs.umich.edu}; 2165081Sgblack@eecs.umich.edu 2175081Sgblack@eecs.umich.edudef macroop SAR_M_I 2185081Sgblack@eecs.umich.edu{ 2195119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2205961Sgblack@eecs.umich.edu srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 2215081Sgblack@eecs.umich.edu st t1, seg, sib, disp 2225081Sgblack@eecs.umich.edu}; 2235081Sgblack@eecs.umich.edu 2245081Sgblack@eecs.umich.edudef macroop SAR_P_I 2255081Sgblack@eecs.umich.edu{ 2265081Sgblack@eecs.umich.edu rdip t7 2275119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2285961Sgblack@eecs.umich.edu srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 2295081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2305081Sgblack@eecs.umich.edu}; 2315081Sgblack@eecs.umich.edu 2325081Sgblack@eecs.umich.edudef macroop SAR_1_R 2335081Sgblack@eecs.umich.edu{ 2345961Sgblack@eecs.umich.edu srai reg, reg, 1, flags=(CF,OF,SF,ZF,PF) 2355081Sgblack@eecs.umich.edu}; 2365081Sgblack@eecs.umich.edu 2375081Sgblack@eecs.umich.edudef macroop SAR_1_M 2385081Sgblack@eecs.umich.edu{ 2395119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2405961Sgblack@eecs.umich.edu srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 2415081Sgblack@eecs.umich.edu st t1, seg, sib, disp 2425081Sgblack@eecs.umich.edu}; 2435081Sgblack@eecs.umich.edu 2445081Sgblack@eecs.umich.edudef macroop SAR_1_P 2455081Sgblack@eecs.umich.edu{ 2465081Sgblack@eecs.umich.edu rdip t7 2475119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2485961Sgblack@eecs.umich.edu srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 2495081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2505081Sgblack@eecs.umich.edu}; 2515081Sgblack@eecs.umich.edu 2525081Sgblack@eecs.umich.edudef macroop SAR_R_R 2535081Sgblack@eecs.umich.edu{ 2545961Sgblack@eecs.umich.edu sra reg, reg, regm, flags=(CF,OF,SF,ZF,PF) 2555081Sgblack@eecs.umich.edu}; 2565081Sgblack@eecs.umich.edu 2575081Sgblack@eecs.umich.edudef macroop SAR_M_R 2585081Sgblack@eecs.umich.edu{ 2595119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2605961Sgblack@eecs.umich.edu sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 2615081Sgblack@eecs.umich.edu st t1, seg, sib, disp 2625081Sgblack@eecs.umich.edu}; 2635081Sgblack@eecs.umich.edu 2645081Sgblack@eecs.umich.edudef macroop SAR_P_R 2655081Sgblack@eecs.umich.edu{ 2665081Sgblack@eecs.umich.edu rdip t7 2675119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2685961Sgblack@eecs.umich.edu sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 2695081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2705081Sgblack@eecs.umich.edu}; 2715081Sgblack@eecs.umich.edu''' 272