shift.py revision 6481
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
2236481Sgblack@eecs.umich.edudef macroop SHRD_R_R
2246481Sgblack@eecs.umich.edu{
2256481Sgblack@eecs.umich.edu    mdbi regm, 0
2266481Sgblack@eecs.umich.edu    srd reg, reg, rcx, flags=(CF,OF,SF,ZF,PF)
2276481Sgblack@eecs.umich.edu};
2286481Sgblack@eecs.umich.edu
2296481Sgblack@eecs.umich.edudef macroop SHRD_M_R
2306481Sgblack@eecs.umich.edu{
2316481Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2326481Sgblack@eecs.umich.edu    mdbi reg, 0
2336481Sgblack@eecs.umich.edu    srd t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
2346481Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2356481Sgblack@eecs.umich.edu};
2366481Sgblack@eecs.umich.edu
2376481Sgblack@eecs.umich.edudef macroop SHRD_P_R
2386481Sgblack@eecs.umich.edu{
2396481Sgblack@eecs.umich.edu    rdip t7
2406481Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2416481Sgblack@eecs.umich.edu    mdbi reg, 0
2426481Sgblack@eecs.umich.edu    srd t1, t1, rcx, flags=(CF,OF,SF,ZF,PF)
2436481Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2446481Sgblack@eecs.umich.edu};
2456481Sgblack@eecs.umich.edu
2465977Sgblack@eecs.umich.edudef macroop SHRD_R_R_I
2475977Sgblack@eecs.umich.edu{
2486481Sgblack@eecs.umich.edu    mdbi regm, 0
2496481Sgblack@eecs.umich.edu    srdi reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
2505977Sgblack@eecs.umich.edu};
2515977Sgblack@eecs.umich.edu
2525977Sgblack@eecs.umich.edudef macroop SHRD_M_R_I
2535977Sgblack@eecs.umich.edu{
2545977Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2556481Sgblack@eecs.umich.edu    mdbi reg, 0
2566481Sgblack@eecs.umich.edu    srdi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
2575977Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2585977Sgblack@eecs.umich.edu};
2595977Sgblack@eecs.umich.edu
2605977Sgblack@eecs.umich.edudef macroop SHRD_P_R_I
2615977Sgblack@eecs.umich.edu{
2625977Sgblack@eecs.umich.edu    rdip t7
2635977Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2646481Sgblack@eecs.umich.edu    mdbi reg, 0
2656481Sgblack@eecs.umich.edu    srdi t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
2665977Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2675977Sgblack@eecs.umich.edu};
2685977Sgblack@eecs.umich.edu
2695081Sgblack@eecs.umich.edudef macroop SAR_R_I
2705081Sgblack@eecs.umich.edu{
2715961Sgblack@eecs.umich.edu    srai reg, reg, imm, flags=(CF,OF,SF,ZF,PF)
2725081Sgblack@eecs.umich.edu};
2735081Sgblack@eecs.umich.edu
2745081Sgblack@eecs.umich.edudef macroop SAR_M_I
2755081Sgblack@eecs.umich.edu{
2765119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2775961Sgblack@eecs.umich.edu    srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
2785081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2795081Sgblack@eecs.umich.edu};
2805081Sgblack@eecs.umich.edu
2815081Sgblack@eecs.umich.edudef macroop SAR_P_I
2825081Sgblack@eecs.umich.edu{
2835081Sgblack@eecs.umich.edu    rdip t7
2845119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2855961Sgblack@eecs.umich.edu    srai t1, t1, imm, flags=(CF,OF,SF,ZF,PF)
2865081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2875081Sgblack@eecs.umich.edu};
2885081Sgblack@eecs.umich.edu
2895081Sgblack@eecs.umich.edudef macroop SAR_1_R
2905081Sgblack@eecs.umich.edu{
2915961Sgblack@eecs.umich.edu    srai reg, reg, 1, flags=(CF,OF,SF,ZF,PF)
2925081Sgblack@eecs.umich.edu};
2935081Sgblack@eecs.umich.edu
2945081Sgblack@eecs.umich.edudef macroop SAR_1_M
2955081Sgblack@eecs.umich.edu{
2965119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2975961Sgblack@eecs.umich.edu    srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
2985081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2995081Sgblack@eecs.umich.edu};
3005081Sgblack@eecs.umich.edu
3015081Sgblack@eecs.umich.edudef macroop SAR_1_P
3025081Sgblack@eecs.umich.edu{
3035081Sgblack@eecs.umich.edu    rdip t7
3045119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
3055961Sgblack@eecs.umich.edu    srai t1, t1, 1, flags=(CF,OF,SF,ZF,PF)
3065081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
3075081Sgblack@eecs.umich.edu};
3085081Sgblack@eecs.umich.edu
3095081Sgblack@eecs.umich.edudef macroop SAR_R_R
3105081Sgblack@eecs.umich.edu{
3115961Sgblack@eecs.umich.edu    sra reg, reg, regm, flags=(CF,OF,SF,ZF,PF)
3125081Sgblack@eecs.umich.edu};
3135081Sgblack@eecs.umich.edu
3145081Sgblack@eecs.umich.edudef macroop SAR_M_R
3155081Sgblack@eecs.umich.edu{
3165119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
3175961Sgblack@eecs.umich.edu    sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
3185081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
3195081Sgblack@eecs.umich.edu};
3205081Sgblack@eecs.umich.edu
3215081Sgblack@eecs.umich.edudef macroop SAR_P_R
3225081Sgblack@eecs.umich.edu{
3235081Sgblack@eecs.umich.edu    rdip t7
3245119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
3255961Sgblack@eecs.umich.edu    sra t1, t1, reg, flags=(CF,OF,SF,ZF,PF)
3265081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
3275081Sgblack@eecs.umich.edu};
3285081Sgblack@eecs.umich.edu'''
329