shift.py revision 6480
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 1176480Sgblack@eecs.umich.edudef macroop SHLD_R_R 1186480Sgblack@eecs.umich.edu{ 1196480Sgblack@eecs.umich.edu mdbi regm, 0 1206480Sgblack@eecs.umich.edu sld reg, reg, rcx, flags=(CF,OF,SF,ZF,PF) 1216480Sgblack@eecs.umich.edu}; 1226480Sgblack@eecs.umich.edu 1236480Sgblack@eecs.umich.edudef macroop SHLD_M_R 1246480Sgblack@eecs.umich.edu{ 1256480Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1266480Sgblack@eecs.umich.edu mdbi reg, 0 1276480Sgblack@eecs.umich.edu sld t1, t1, rcx, flags=(CF,OF,SF,ZF,PF) 1286480Sgblack@eecs.umich.edu st t1, seg, sib, disp 1296480Sgblack@eecs.umich.edu}; 1306480Sgblack@eecs.umich.edu 1316480Sgblack@eecs.umich.edudef macroop SHLD_P_R 1326480Sgblack@eecs.umich.edu{ 1336480Sgblack@eecs.umich.edu rdip t7 1346480Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1356480Sgblack@eecs.umich.edu mdbi reg, 0 1366480Sgblack@eecs.umich.edu sld t1, t1, rcx, flags=(CF,OF,SF,ZF,PF) 1376480Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1386480Sgblack@eecs.umich.edu}; 1396480Sgblack@eecs.umich.edu 1406480Sgblack@eecs.umich.edudef macroop SHLD_R_R_I 1416480Sgblack@eecs.umich.edu{ 1426480Sgblack@eecs.umich.edu mdbi regm, 0 1436480Sgblack@eecs.umich.edu sldi reg, reg, imm, flags=(CF,OF,SF,ZF,PF) 1446480Sgblack@eecs.umich.edu}; 1456480Sgblack@eecs.umich.edu 1466480Sgblack@eecs.umich.edudef macroop SHLD_M_R_I 1476480Sgblack@eecs.umich.edu{ 1486480Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1496480Sgblack@eecs.umich.edu mdbi reg, 0 1506480Sgblack@eecs.umich.edu sldi t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 1516480Sgblack@eecs.umich.edu st t1, seg, sib, disp 1526480Sgblack@eecs.umich.edu}; 1536480Sgblack@eecs.umich.edu 1546480Sgblack@eecs.umich.edudef macroop SHLD_P_R_I 1556480Sgblack@eecs.umich.edu{ 1566480Sgblack@eecs.umich.edu rdip t7 1576480Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1586480Sgblack@eecs.umich.edu mdbi reg, 0 1596480Sgblack@eecs.umich.edu sldi t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 1606480Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1616480Sgblack@eecs.umich.edu}; 1626480Sgblack@eecs.umich.edu 1635081Sgblack@eecs.umich.edudef macroop SHR_R_I 1645081Sgblack@eecs.umich.edu{ 1655961Sgblack@eecs.umich.edu srli reg, reg, imm, flags=(CF,OF,SF,ZF,PF) 1665081Sgblack@eecs.umich.edu}; 1675081Sgblack@eecs.umich.edu 1685081Sgblack@eecs.umich.edudef macroop SHR_M_I 1695081Sgblack@eecs.umich.edu{ 1705119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1715961Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 1725081Sgblack@eecs.umich.edu st t1, seg, sib, disp 1735081Sgblack@eecs.umich.edu}; 1745081Sgblack@eecs.umich.edu 1755081Sgblack@eecs.umich.edudef macroop SHR_P_I 1765081Sgblack@eecs.umich.edu{ 1775081Sgblack@eecs.umich.edu rdip t7 1785119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1795961Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 1805081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1815081Sgblack@eecs.umich.edu}; 1825081Sgblack@eecs.umich.edu 1835081Sgblack@eecs.umich.edudef macroop SHR_1_R 1845081Sgblack@eecs.umich.edu{ 1855961Sgblack@eecs.umich.edu srli reg, reg, 1, flags=(CF,OF,SF,ZF,PF) 1865081Sgblack@eecs.umich.edu}; 1875081Sgblack@eecs.umich.edu 1885081Sgblack@eecs.umich.edudef macroop SHR_1_M 1895081Sgblack@eecs.umich.edu{ 1905119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 1915961Sgblack@eecs.umich.edu srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 1925081Sgblack@eecs.umich.edu st t1, seg, sib, disp 1935081Sgblack@eecs.umich.edu}; 1945081Sgblack@eecs.umich.edu 1955081Sgblack@eecs.umich.edudef macroop SHR_1_P 1965081Sgblack@eecs.umich.edu{ 1975081Sgblack@eecs.umich.edu rdip t7 1985119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1995961Sgblack@eecs.umich.edu srli t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 2005081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2015081Sgblack@eecs.umich.edu}; 2025081Sgblack@eecs.umich.edu 2035081Sgblack@eecs.umich.edudef macroop SHR_R_R 2045081Sgblack@eecs.umich.edu{ 2055961Sgblack@eecs.umich.edu srl reg, reg, regm, flags=(CF,OF,SF,ZF,PF) 2065081Sgblack@eecs.umich.edu}; 2075081Sgblack@eecs.umich.edu 2085081Sgblack@eecs.umich.edudef macroop SHR_M_R 2095081Sgblack@eecs.umich.edu{ 2105119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2115961Sgblack@eecs.umich.edu srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 2125081Sgblack@eecs.umich.edu st t1, seg, sib, disp 2135081Sgblack@eecs.umich.edu}; 2145081Sgblack@eecs.umich.edu 2155081Sgblack@eecs.umich.edudef macroop SHR_P_R 2165081Sgblack@eecs.umich.edu{ 2175081Sgblack@eecs.umich.edu rdip t7 2185119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2195961Sgblack@eecs.umich.edu srl t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 2205081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2215081Sgblack@eecs.umich.edu}; 2225081Sgblack@eecs.umich.edu 2235977Sgblack@eecs.umich.edu# SHRD will not set OF correctly when the shift count is 1. 2245977Sgblack@eecs.umich.edudef macroop SHRD_R_R_I 2255977Sgblack@eecs.umich.edu{ 2265977Sgblack@eecs.umich.edu srli t1, reg, imm, flags=(CF,) 2275977Sgblack@eecs.umich.edu rori t2, regm, imm 2285977Sgblack@eecs.umich.edu srli t3, regm, imm 2295977Sgblack@eecs.umich.edu xor t2, t2, t3 2305977Sgblack@eecs.umich.edu or reg, t1, t2 2315977Sgblack@eecs.umich.edu}; 2325977Sgblack@eecs.umich.edu 2335977Sgblack@eecs.umich.edu# SHRD will not set OF correctly when the shift count is 1. 2345977Sgblack@eecs.umich.edudef macroop SHRD_M_R_I 2355977Sgblack@eecs.umich.edu{ 2365977Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2375977Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,) 2385977Sgblack@eecs.umich.edu rori t2, reg, imm 2395977Sgblack@eecs.umich.edu srli t3, reg, imm 2405977Sgblack@eecs.umich.edu xor t2, t2, t3 2415977Sgblack@eecs.umich.edu or t1, t1, t2 2425977Sgblack@eecs.umich.edu st t1, seg, sib, disp 2435977Sgblack@eecs.umich.edu}; 2445977Sgblack@eecs.umich.edu 2455977Sgblack@eecs.umich.edu# SHRD will not set OF correctly when the shift count is 1. 2465977Sgblack@eecs.umich.edudef macroop SHRD_P_R_I 2475977Sgblack@eecs.umich.edu{ 2485977Sgblack@eecs.umich.edu rdip t7 2495977Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2505977Sgblack@eecs.umich.edu srli t1, t1, imm, flags=(CF,) 2515977Sgblack@eecs.umich.edu rori t2, reg, imm 2525977Sgblack@eecs.umich.edu srli t3, reg, imm 2535977Sgblack@eecs.umich.edu xor t2, t2, t3 2545977Sgblack@eecs.umich.edu or t1, t1, t2 2555977Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2565977Sgblack@eecs.umich.edu}; 2575977Sgblack@eecs.umich.edu 2585081Sgblack@eecs.umich.edudef macroop SAR_R_I 2595081Sgblack@eecs.umich.edu{ 2605961Sgblack@eecs.umich.edu srai reg, reg, imm, flags=(CF,OF,SF,ZF,PF) 2615081Sgblack@eecs.umich.edu}; 2625081Sgblack@eecs.umich.edu 2635081Sgblack@eecs.umich.edudef macroop SAR_M_I 2645081Sgblack@eecs.umich.edu{ 2655119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2665961Sgblack@eecs.umich.edu srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 2675081Sgblack@eecs.umich.edu st t1, seg, sib, disp 2685081Sgblack@eecs.umich.edu}; 2695081Sgblack@eecs.umich.edu 2705081Sgblack@eecs.umich.edudef macroop SAR_P_I 2715081Sgblack@eecs.umich.edu{ 2725081Sgblack@eecs.umich.edu rdip t7 2735119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2745961Sgblack@eecs.umich.edu srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF) 2755081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2765081Sgblack@eecs.umich.edu}; 2775081Sgblack@eecs.umich.edu 2785081Sgblack@eecs.umich.edudef macroop SAR_1_R 2795081Sgblack@eecs.umich.edu{ 2805961Sgblack@eecs.umich.edu srai reg, reg, 1, flags=(CF,OF,SF,ZF,PF) 2815081Sgblack@eecs.umich.edu}; 2825081Sgblack@eecs.umich.edu 2835081Sgblack@eecs.umich.edudef macroop SAR_1_M 2845081Sgblack@eecs.umich.edu{ 2855119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2865961Sgblack@eecs.umich.edu srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 2875081Sgblack@eecs.umich.edu st t1, seg, sib, disp 2885081Sgblack@eecs.umich.edu}; 2895081Sgblack@eecs.umich.edu 2905081Sgblack@eecs.umich.edudef macroop SAR_1_P 2915081Sgblack@eecs.umich.edu{ 2925081Sgblack@eecs.umich.edu rdip t7 2935119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2945961Sgblack@eecs.umich.edu srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF) 2955081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2965081Sgblack@eecs.umich.edu}; 2975081Sgblack@eecs.umich.edu 2985081Sgblack@eecs.umich.edudef macroop SAR_R_R 2995081Sgblack@eecs.umich.edu{ 3005961Sgblack@eecs.umich.edu sra reg, reg, regm, flags=(CF,OF,SF,ZF,PF) 3015081Sgblack@eecs.umich.edu}; 3025081Sgblack@eecs.umich.edu 3035081Sgblack@eecs.umich.edudef macroop SAR_M_R 3045081Sgblack@eecs.umich.edu{ 3055119Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 3065961Sgblack@eecs.umich.edu sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 3075081Sgblack@eecs.umich.edu st t1, seg, sib, disp 3085081Sgblack@eecs.umich.edu}; 3095081Sgblack@eecs.umich.edu 3105081Sgblack@eecs.umich.edudef macroop SAR_P_R 3115081Sgblack@eecs.umich.edu{ 3125081Sgblack@eecs.umich.edu rdip t7 3135119Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 3145961Sgblack@eecs.umich.edu sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF) 3155081Sgblack@eecs.umich.edu st t1, seg, riprel, disp 3165081Sgblack@eecs.umich.edu}; 3175081Sgblack@eecs.umich.edu''' 318