bit_test.py revision 5297
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 { 625240Sgblack@eecs.umich.edu limm t1, imm 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. 665240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 675240Sgblack@eecs.umich.edu add t2, t2, base 685240Sgblack@eecs.umich.edu ld t1, seg, [scale, index, t2], disp 695240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 705240Sgblack@eecs.umich.edu}; 715240Sgblack@eecs.umich.edu 725240Sgblack@eecs.umich.edudef macroop BT_P_I { 735240Sgblack@eecs.umich.edu rdip t7 745240Sgblack@eecs.umich.edu limm t1, imm 755240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 765240Sgblack@eecs.umich.edu ld t1, seg, [1, t2, t7] 775240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 785240Sgblack@eecs.umich.edu}; 795240Sgblack@eecs.umich.edu 805240Sgblack@eecs.umich.edudef macroop BT_R_R { 815240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 825240Sgblack@eecs.umich.edu}; 835240Sgblack@eecs.umich.edu 845240Sgblack@eecs.umich.edudef macroop BT_M_R { 855240Sgblack@eecs.umich.edu limm t1, imm 865240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 875240Sgblack@eecs.umich.edu add t2, t2, base 885240Sgblack@eecs.umich.edu ld t1, seg, [scale, index, t2], disp 895240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 905240Sgblack@eecs.umich.edu}; 915240Sgblack@eecs.umich.edu 925240Sgblack@eecs.umich.edudef macroop BT_P_R { 935240Sgblack@eecs.umich.edu rdip t7 945240Sgblack@eecs.umich.edu limm t1, imm 955240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 965240Sgblack@eecs.umich.edu ld t1, seg, [1, t2, t7] 975240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 985240Sgblack@eecs.umich.edu}; 995240Sgblack@eecs.umich.edu 1005240Sgblack@eecs.umich.edudef macroop BTC_R_I { 1015240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 1025240Sgblack@eecs.umich.edu limm t1, 1 1035240Sgblack@eecs.umich.edu roli t1, t1, imm 1045240Sgblack@eecs.umich.edu xor reg, reg, t1 1055240Sgblack@eecs.umich.edu}; 1065240Sgblack@eecs.umich.edu 1075240Sgblack@eecs.umich.edudef macroop BTC_M_I { 1085240Sgblack@eecs.umich.edu limm t1, imm 1095240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 1105240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 1115240Sgblack@eecs.umich.edu # floating around as well. 1125240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 1135240Sgblack@eecs.umich.edu add t2, t2, base 1145240Sgblack@eecs.umich.edu limm t3, 1 1155240Sgblack@eecs.umich.edu roli t3, t3, imm 1165240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 1175240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1185240Sgblack@eecs.umich.edu xor t1, t1, t3 1195240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 1205240Sgblack@eecs.umich.edu}; 1215240Sgblack@eecs.umich.edu 1225240Sgblack@eecs.umich.edudef macroop BTC_P_I { 1235240Sgblack@eecs.umich.edu rdip t7 1245240Sgblack@eecs.umich.edu limm t1, imm 1255240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 1265240Sgblack@eecs.umich.edu limm t3, 1 1275240Sgblack@eecs.umich.edu roli t3, t3, imm 1285240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 1295240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1305240Sgblack@eecs.umich.edu xor t1, t1, t3 1315297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 1325240Sgblack@eecs.umich.edu}; 1335240Sgblack@eecs.umich.edu 1345240Sgblack@eecs.umich.edudef macroop BTC_R_R { 1355240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 1365240Sgblack@eecs.umich.edu limm t1, 1 1375240Sgblack@eecs.umich.edu rol t1, t1, regm 1385240Sgblack@eecs.umich.edu xor reg, reg, t1 1395240Sgblack@eecs.umich.edu}; 1405240Sgblack@eecs.umich.edu 1415240Sgblack@eecs.umich.edudef macroop BTC_M_R { 1425240Sgblack@eecs.umich.edu limm t1, imm 1435240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 1445240Sgblack@eecs.umich.edu add t2, t2, base 1455240Sgblack@eecs.umich.edu limm t3, 1 1465240Sgblack@eecs.umich.edu rol t3, t3, reg 1475240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 1485240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1495240Sgblack@eecs.umich.edu xor t1, t1, t3 1505240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 1515240Sgblack@eecs.umich.edu}; 1525240Sgblack@eecs.umich.edu 1535240Sgblack@eecs.umich.edudef macroop BTC_P_R { 1545240Sgblack@eecs.umich.edu rdip t7 1555240Sgblack@eecs.umich.edu limm t1, imm 1565240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 1575240Sgblack@eecs.umich.edu limm t3, 1 1585240Sgblack@eecs.umich.edu rol t3, t3, reg 1595240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 1605240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1615240Sgblack@eecs.umich.edu xor t1, t1, t3 1625297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 1635240Sgblack@eecs.umich.edu}; 1645240Sgblack@eecs.umich.edu 1655240Sgblack@eecs.umich.edudef macroop BTR_R_I { 1665240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 1675240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 1685240Sgblack@eecs.umich.edu roli t1, t1, imm 1695240Sgblack@eecs.umich.edu and reg, reg, t1 1705240Sgblack@eecs.umich.edu}; 1715240Sgblack@eecs.umich.edu 1725240Sgblack@eecs.umich.edudef macroop BTR_M_I { 1735240Sgblack@eecs.umich.edu limm t1, imm 1745240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 1755240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 1765240Sgblack@eecs.umich.edu # floating around as well. 1775240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 1785240Sgblack@eecs.umich.edu add t2, t2, base 1795240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 1805240Sgblack@eecs.umich.edu roli t3, t3, imm 1815240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 1825240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1835240Sgblack@eecs.umich.edu and t1, t1, t3 1845240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 1855240Sgblack@eecs.umich.edu}; 1865240Sgblack@eecs.umich.edu 1875240Sgblack@eecs.umich.edudef macroop BTR_P_I { 1885240Sgblack@eecs.umich.edu rdip t7 1895240Sgblack@eecs.umich.edu limm t1, imm 1905240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 1915240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 1925240Sgblack@eecs.umich.edu roli t3, t3, imm 1935240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 1945240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1955240Sgblack@eecs.umich.edu and t1, t1, t3 1965297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 1975240Sgblack@eecs.umich.edu}; 1985240Sgblack@eecs.umich.edu 1995240Sgblack@eecs.umich.edudef macroop BTR_R_R { 2005240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 2015240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 2025240Sgblack@eecs.umich.edu rol t1, t1, regm 2035240Sgblack@eecs.umich.edu and reg, reg, t1 2045240Sgblack@eecs.umich.edu}; 2055240Sgblack@eecs.umich.edu 2065240Sgblack@eecs.umich.edudef macroop BTR_M_R { 2075240Sgblack@eecs.umich.edu limm t1, imm 2085240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 2095240Sgblack@eecs.umich.edu add t2, t2, base 2105240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 2115240Sgblack@eecs.umich.edu rol t3, t3, reg 2125240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 2135240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2145240Sgblack@eecs.umich.edu and t1, t1, t3 2155240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 2165240Sgblack@eecs.umich.edu}; 2175240Sgblack@eecs.umich.edu 2185240Sgblack@eecs.umich.edudef macroop BTR_P_R { 2195240Sgblack@eecs.umich.edu rdip t7 2205240Sgblack@eecs.umich.edu limm t1, imm 2215240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 2225240Sgblack@eecs.umich.edu limm t3, "(uint64_t(-(2ULL)))" 2235240Sgblack@eecs.umich.edu rol t3, t3, reg 2245240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2255240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2265240Sgblack@eecs.umich.edu and t1, t1, t3 2275297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 2285240Sgblack@eecs.umich.edu}; 2295240Sgblack@eecs.umich.edu 2305240Sgblack@eecs.umich.edudef macroop BTS_R_I { 2315240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 2325240Sgblack@eecs.umich.edu limm t1, 1 2335240Sgblack@eecs.umich.edu roli t1, t1, imm 2345240Sgblack@eecs.umich.edu or reg, reg, t1 2355240Sgblack@eecs.umich.edu}; 2365240Sgblack@eecs.umich.edu 2375240Sgblack@eecs.umich.edudef macroop BTS_M_I { 2385240Sgblack@eecs.umich.edu limm t1, imm 2395240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 2405240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 2415240Sgblack@eecs.umich.edu # floating around as well. 2425240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 2435240Sgblack@eecs.umich.edu add t2, t2, base 2445240Sgblack@eecs.umich.edu limm t3, 1 2455240Sgblack@eecs.umich.edu roli t3, t3, imm 2465240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 2475240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2485240Sgblack@eecs.umich.edu or t1, t1, t3 2495240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 2505240Sgblack@eecs.umich.edu}; 2515240Sgblack@eecs.umich.edu 2525240Sgblack@eecs.umich.edudef macroop BTS_P_I { 2535240Sgblack@eecs.umich.edu rdip t7 2545240Sgblack@eecs.umich.edu limm t1, imm 2555240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 2565240Sgblack@eecs.umich.edu limm t3, 1 2575240Sgblack@eecs.umich.edu roli t3, t3, imm 2585240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2595240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2605240Sgblack@eecs.umich.edu or t1, t1, t3 2615297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 2625240Sgblack@eecs.umich.edu}; 2635240Sgblack@eecs.umich.edu 2645240Sgblack@eecs.umich.edudef macroop BTS_R_R { 2655240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 2665240Sgblack@eecs.umich.edu limm t1, 1 2675240Sgblack@eecs.umich.edu rol t1, t1, regm 2685240Sgblack@eecs.umich.edu or reg, reg, t1 2695240Sgblack@eecs.umich.edu}; 2705240Sgblack@eecs.umich.edu 2715240Sgblack@eecs.umich.edudef macroop BTS_M_R { 2725240Sgblack@eecs.umich.edu limm t1, imm 2735240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 2745240Sgblack@eecs.umich.edu add t2, t2, base 2755240Sgblack@eecs.umich.edu limm t3, 1 2765240Sgblack@eecs.umich.edu rol t3, t3, reg 2775240Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t2], disp 2785240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2795240Sgblack@eecs.umich.edu or t1, t1, t3 2805240Sgblack@eecs.umich.edu st t1, seg, [scale, index, t2], disp 2815240Sgblack@eecs.umich.edu}; 2825240Sgblack@eecs.umich.edu 2835240Sgblack@eecs.umich.edudef macroop BTS_P_R { 2845240Sgblack@eecs.umich.edu rdip t7 2855240Sgblack@eecs.umich.edu limm t1, imm 2865240Sgblack@eecs.umich.edu srai t2, t1, "(env.dataSize == 8) ? 3 : ((env.dataSize == 4) ? 2 : 1)" 2875240Sgblack@eecs.umich.edu limm t3, 1 2885240Sgblack@eecs.umich.edu rol t3, t3, reg 2895240Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7] 2905240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2915240Sgblack@eecs.umich.edu or t1, t1, t3 2925297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 2935240Sgblack@eecs.umich.edu}; 2945240Sgblack@eecs.umich.edu''' 295