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