bit_test.py revision 5306
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 565240Sgblack@eecs.umich.edumicrocode = ''' 575240Sgblack@eecs.umich.edudef macroop BT_R_I { 585240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 595240Sgblack@eecs.umich.edu}; 605240Sgblack@eecs.umich.edu 615240Sgblack@eecs.umich.edudef macroop BT_M_I { 625306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 635240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 645240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 655240Sgblack@eecs.umich.edu # floating around as well. 665306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 675306Sgblack@eecs.umich.edu dataSize=asz 685306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 695240Sgblack@eecs.umich.edu ld t1, seg, [scale, index, t2], disp 705240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 715240Sgblack@eecs.umich.edu}; 725240Sgblack@eecs.umich.edu 735240Sgblack@eecs.umich.edudef macroop BT_P_I { 745240Sgblack@eecs.umich.edu rdip t7 755306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 765306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 775306Sgblack@eecs.umich.edu dataSize=asz 785240Sgblack@eecs.umich.edu ld t1, seg, [1, t2, t7] 795240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 805240Sgblack@eecs.umich.edu}; 815240Sgblack@eecs.umich.edu 825240Sgblack@eecs.umich.edudef macroop BT_R_R { 835240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 845240Sgblack@eecs.umich.edu}; 855240Sgblack@eecs.umich.edu 865240Sgblack@eecs.umich.edudef macroop BT_M_R { 875306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 885306Sgblack@eecs.umich.edu dataSize=asz 895306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 905240Sgblack@eecs.umich.edu ld t1, seg, [scale, index, t2], disp 915240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 925240Sgblack@eecs.umich.edu}; 935240Sgblack@eecs.umich.edu 945240Sgblack@eecs.umich.edudef macroop BT_P_R { 955240Sgblack@eecs.umich.edu rdip t7 965306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 975306Sgblack@eecs.umich.edu dataSize=asz 985240Sgblack@eecs.umich.edu ld t1, seg, [1, t2, t7] 995240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1005240Sgblack@eecs.umich.edu}; 1015240Sgblack@eecs.umich.edu 1025240Sgblack@eecs.umich.edudef macroop BTC_R_I { 1035240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 1045240Sgblack@eecs.umich.edu limm t1, 1 1055240Sgblack@eecs.umich.edu roli t1, t1, imm 1065240Sgblack@eecs.umich.edu xor reg, reg, t1 1075240Sgblack@eecs.umich.edu}; 1085240Sgblack@eecs.umich.edu 1095240Sgblack@eecs.umich.edudef macroop BTC_M_I { 1105306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1115240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 1125240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 1135240Sgblack@eecs.umich.edu # floating around as well. 1145306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 1155306Sgblack@eecs.umich.edu dataSize=asz 1165306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 1175240Sgblack@eecs.umich.edu limm t3, 1 1185240Sgblack@eecs.umich.edu roli t3, t3, imm 1195240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 1205240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1215240Sgblack@eecs.umich.edu xor t1, t1, t3 1225240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 1235240Sgblack@eecs.umich.edu}; 1245240Sgblack@eecs.umich.edu 1255240Sgblack@eecs.umich.edudef macroop BTC_P_I { 1265306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1275306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1285306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 1295306Sgblack@eecs.umich.edu dataSize=asz 1305240Sgblack@eecs.umich.edu limm t3, 1 1315240Sgblack@eecs.umich.edu roli t3, t3, imm 1325240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 1335240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1345240Sgblack@eecs.umich.edu xor t1, t1, t3 1355297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 1365240Sgblack@eecs.umich.edu}; 1375240Sgblack@eecs.umich.edu 1385240Sgblack@eecs.umich.edudef macroop BTC_R_R { 1395240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 1405240Sgblack@eecs.umich.edu limm t1, 1 1415240Sgblack@eecs.umich.edu rol t1, t1, regm 1425240Sgblack@eecs.umich.edu xor reg, reg, t1 1435240Sgblack@eecs.umich.edu}; 1445240Sgblack@eecs.umich.edu 1455240Sgblack@eecs.umich.edudef macroop BTC_M_R { 1465306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 1475306Sgblack@eecs.umich.edu dataSize=asz 1485306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 1495240Sgblack@eecs.umich.edu limm t3, 1 1505240Sgblack@eecs.umich.edu rol t3, t3, reg 1515240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 1525240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1535240Sgblack@eecs.umich.edu xor t1, t1, t3 1545240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 1555240Sgblack@eecs.umich.edu}; 1565240Sgblack@eecs.umich.edu 1575240Sgblack@eecs.umich.edudef macroop BTC_P_R { 1585306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1595306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 1605306Sgblack@eecs.umich.edu dataSize=asz 1615240Sgblack@eecs.umich.edu limm t3, 1 1625240Sgblack@eecs.umich.edu rol t3, t3, reg 1635240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 1645240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1655240Sgblack@eecs.umich.edu xor t1, t1, t3 1665297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 1675240Sgblack@eecs.umich.edu}; 1685240Sgblack@eecs.umich.edu 1695240Sgblack@eecs.umich.edudef macroop BTR_R_I { 1705240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 1715240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 1725240Sgblack@eecs.umich.edu roli t1, t1, imm 1735240Sgblack@eecs.umich.edu and reg, reg, t1 1745240Sgblack@eecs.umich.edu}; 1755240Sgblack@eecs.umich.edu 1765240Sgblack@eecs.umich.edudef macroop BTR_M_I { 1775306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1785240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 1795240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 1805240Sgblack@eecs.umich.edu # floating around as well. 1815306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 1825306Sgblack@eecs.umich.edu dataSize=asz 1835306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 1845240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 1855240Sgblack@eecs.umich.edu roli t3, t3, imm 1865240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 1875240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1885240Sgblack@eecs.umich.edu and t1, t1, t3 1895240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 1905240Sgblack@eecs.umich.edu}; 1915240Sgblack@eecs.umich.edu 1925240Sgblack@eecs.umich.edudef macroop BTR_P_I { 1935306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1945306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1955306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 1965306Sgblack@eecs.umich.edu dataSize=asz 1975240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 1985240Sgblack@eecs.umich.edu roli t3, t3, imm 1995240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2005240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2015240Sgblack@eecs.umich.edu and t1, t1, t3 2025297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 2035240Sgblack@eecs.umich.edu}; 2045240Sgblack@eecs.umich.edu 2055240Sgblack@eecs.umich.edudef macroop BTR_R_R { 2065240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 2075240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 2085240Sgblack@eecs.umich.edu rol t1, t1, regm 2095240Sgblack@eecs.umich.edu and reg, reg, t1 2105240Sgblack@eecs.umich.edu}; 2115240Sgblack@eecs.umich.edu 2125240Sgblack@eecs.umich.edudef macroop BTR_M_R { 2135306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 2145306Sgblack@eecs.umich.edu dataSize=asz 2155306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 2165240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 2175240Sgblack@eecs.umich.edu rol t3, t3, reg 2185240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 2195240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2205240Sgblack@eecs.umich.edu and t1, t1, t3 2215240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 2225240Sgblack@eecs.umich.edu}; 2235240Sgblack@eecs.umich.edu 2245240Sgblack@eecs.umich.edudef macroop BTR_P_R { 2255306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2265306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 2275306Sgblack@eecs.umich.edu dataSize=asz 2285240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 2295240Sgblack@eecs.umich.edu rol t3, t3, reg 2305240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2315240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2325240Sgblack@eecs.umich.edu and t1, t1, t3 2335297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 2345240Sgblack@eecs.umich.edu}; 2355240Sgblack@eecs.umich.edu 2365240Sgblack@eecs.umich.edudef macroop BTS_R_I { 2375240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 2385240Sgblack@eecs.umich.edu limm t1, 1 2395240Sgblack@eecs.umich.edu roli t1, t1, imm 2405240Sgblack@eecs.umich.edu or reg, reg, t1 2415240Sgblack@eecs.umich.edu}; 2425240Sgblack@eecs.umich.edu 2435240Sgblack@eecs.umich.edudef macroop BTS_M_I { 2445306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2455240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 2465240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 2475240Sgblack@eecs.umich.edu # floating around as well. 2485306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 2495306Sgblack@eecs.umich.edu dataSize=asz 2505306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 2515240Sgblack@eecs.umich.edu limm t3, 1 2525240Sgblack@eecs.umich.edu roli t3, t3, imm 2535240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 2545240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2555240Sgblack@eecs.umich.edu or t1, t1, t3 2565240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 2575240Sgblack@eecs.umich.edu}; 2585240Sgblack@eecs.umich.edu 2595240Sgblack@eecs.umich.edudef macroop BTS_P_I { 2605306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2615306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2625306Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 2635306Sgblack@eecs.umich.edu dataSize=asz 2645240Sgblack@eecs.umich.edu limm t3, 1 2655240Sgblack@eecs.umich.edu roli t3, t3, imm 2665240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2675240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2685240Sgblack@eecs.umich.edu or t1, t1, t3 2695297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 2705240Sgblack@eecs.umich.edu}; 2715240Sgblack@eecs.umich.edu 2725240Sgblack@eecs.umich.edudef macroop BTS_R_R { 2735240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 2745240Sgblack@eecs.umich.edu limm t1, 1 2755240Sgblack@eecs.umich.edu rol t1, t1, regm 2765240Sgblack@eecs.umich.edu or reg, reg, t1 2775240Sgblack@eecs.umich.edu}; 2785240Sgblack@eecs.umich.edu 2795240Sgblack@eecs.umich.edudef macroop BTS_M_R { 2805306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 2815306Sgblack@eecs.umich.edu dataSize=asz 2825306Sgblack@eecs.umich.edu add t2, t2, base, dataSize=asz 2835240Sgblack@eecs.umich.edu limm t3, 1 2845240Sgblack@eecs.umich.edu rol t3, t3, reg 2855240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 2865240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2875240Sgblack@eecs.umich.edu or t1, t1, t3 2885240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 2895240Sgblack@eecs.umich.edu}; 2905240Sgblack@eecs.umich.edu 2915240Sgblack@eecs.umich.edudef macroop BTS_P_R { 2925306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2935306Sgblack@eecs.umich.edu srai t2, reg, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)", \ 2945306Sgblack@eecs.umich.edu dataSize=asz 2955240Sgblack@eecs.umich.edu limm t3, 1 2965240Sgblack@eecs.umich.edu rol t3, t3, reg 2975240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2985240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2995240Sgblack@eecs.umich.edu or t1, t1, t3 3005297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 3015240Sgblack@eecs.umich.edu}; 3025240Sgblack@eecs.umich.edu''' 303