bit_test.py revision 7087
17087Snate@binkert.org# Copyright (c) 2007-2008 The Hewlett-Packard Development Company 27087Snate@binkert.org# All rights reserved. 37087Snate@binkert.org# 47087Snate@binkert.org# The license below extends only to copyright in the software and shall 57087Snate@binkert.org# not be construed as granting a license to any other intellectual 67087Snate@binkert.org# property including but not limited to intellectual property relating 77087Snate@binkert.org# to a hardware implementation of the functionality of the software 87087Snate@binkert.org# licensed hereunder. You may use the software subject to the license 97087Snate@binkert.org# terms below provided that you ensure that this notice is replicated 107087Snate@binkert.org# unmodified and in its entirety in all distributions of the software, 117087Snate@binkert.org# modified or unmodified, in source code or in binary form. 127087Snate@binkert.org# 135326Sgblack@eecs.umich.edu# Copyright (c) 2008 The Regents of The University of Michigan 145326Sgblack@eecs.umich.edu# All rights reserved. 155326Sgblack@eecs.umich.edu# 165326Sgblack@eecs.umich.edu# Redistribution and use in source and binary forms, with or without 175326Sgblack@eecs.umich.edu# modification, are permitted provided that the following conditions are 185326Sgblack@eecs.umich.edu# met: redistributions of source code must retain the above copyright 195326Sgblack@eecs.umich.edu# notice, this list of conditions and the following disclaimer; 205326Sgblack@eecs.umich.edu# redistributions in binary form must reproduce the above copyright 215326Sgblack@eecs.umich.edu# notice, this list of conditions and the following disclaimer in the 225326Sgblack@eecs.umich.edu# documentation and/or other materials provided with the distribution; 235326Sgblack@eecs.umich.edu# neither the name of the copyright holders nor the names of its 245326Sgblack@eecs.umich.edu# contributors may be used to endorse or promote products derived from 255326Sgblack@eecs.umich.edu# this software without specific prior written permission. 265326Sgblack@eecs.umich.edu# 275326Sgblack@eecs.umich.edu# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 285326Sgblack@eecs.umich.edu# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 295326Sgblack@eecs.umich.edu# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 305326Sgblack@eecs.umich.edu# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 315326Sgblack@eecs.umich.edu# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 325326Sgblack@eecs.umich.edu# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 335326Sgblack@eecs.umich.edu# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 345326Sgblack@eecs.umich.edu# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 355326Sgblack@eecs.umich.edu# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 365326Sgblack@eecs.umich.edu# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 375326Sgblack@eecs.umich.edu# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 385326Sgblack@eecs.umich.edu# 395326Sgblack@eecs.umich.edu# Authors: Gabe Black 405326Sgblack@eecs.umich.edu 415240Sgblack@eecs.umich.edumicrocode = ''' 425240Sgblack@eecs.umich.edudef macroop BT_R_I { 435240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 445240Sgblack@eecs.umich.edu}; 455240Sgblack@eecs.umich.edu 465240Sgblack@eecs.umich.edudef macroop BT_M_I { 475306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 485240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 495240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 505240Sgblack@eecs.umich.edu # floating around as well. 515326Sgblack@eecs.umich.edu ld t1, seg, sib, disp 525240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 535240Sgblack@eecs.umich.edu}; 545240Sgblack@eecs.umich.edu 555240Sgblack@eecs.umich.edudef macroop BT_P_I { 565240Sgblack@eecs.umich.edu rdip t7 575306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 585326Sgblack@eecs.umich.edu ld t1, seg, riprel, disp, dataSize=asz 595240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 605240Sgblack@eecs.umich.edu}; 615240Sgblack@eecs.umich.edu 625240Sgblack@eecs.umich.edudef macroop BT_R_R { 635240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 645240Sgblack@eecs.umich.edu}; 655240Sgblack@eecs.umich.edu 665240Sgblack@eecs.umich.edudef macroop BT_M_R { 675326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 685326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 695326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 705326Sgblack@eecs.umich.edu ld t1, seg, [scale, index, t3], disp 715240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 725240Sgblack@eecs.umich.edu}; 735240Sgblack@eecs.umich.edu 745240Sgblack@eecs.umich.edudef macroop BT_P_R { 755240Sgblack@eecs.umich.edu rdip t7 765326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 775326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 785326Sgblack@eecs.umich.edu lea t3, flatseg, [ldsz, t3, base], dataSize=asz 795326Sgblack@eecs.umich.edu ld t1, seg, [1, t3, t7], disp 805240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 815240Sgblack@eecs.umich.edu}; 825240Sgblack@eecs.umich.edu 835240Sgblack@eecs.umich.edudef macroop BTC_R_I { 845240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 855240Sgblack@eecs.umich.edu limm t1, 1 865240Sgblack@eecs.umich.edu roli t1, t1, imm 875240Sgblack@eecs.umich.edu xor reg, reg, t1 885240Sgblack@eecs.umich.edu}; 895240Sgblack@eecs.umich.edu 905240Sgblack@eecs.umich.edudef macroop BTC_M_I { 915306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 925240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 935240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 945240Sgblack@eecs.umich.edu # floating around as well. 955326Sgblack@eecs.umich.edu limm t4, 1 965326Sgblack@eecs.umich.edu roli t4, t4, imm 975326Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 985240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 995326Sgblack@eecs.umich.edu xor t1, t1, t4 1005326Sgblack@eecs.umich.edu st t1, seg, sib, disp 1015240Sgblack@eecs.umich.edu}; 1025240Sgblack@eecs.umich.edu 1035240Sgblack@eecs.umich.edudef macroop BTC_P_I { 1045306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1055306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1065326Sgblack@eecs.umich.edu limm t4, 1 1075326Sgblack@eecs.umich.edu roli t4, t4, imm 1085326Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1095240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1105326Sgblack@eecs.umich.edu xor t1, t1, t4 1115326Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1125240Sgblack@eecs.umich.edu}; 1135240Sgblack@eecs.umich.edu 1146096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_M_I { 1156096Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1166096Sgblack@eecs.umich.edu limm t4, 1 1176096Sgblack@eecs.umich.edu roli t4, t4, imm 1186096Sgblack@eecs.umich.edu ldstl t1, seg, sib, disp 1196096Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1206096Sgblack@eecs.umich.edu xor t1, t1, t4 1216096Sgblack@eecs.umich.edu stul t1, seg, sib, disp 1226096Sgblack@eecs.umich.edu}; 1236096Sgblack@eecs.umich.edu 1246096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_P_I { 1256096Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1266096Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1276096Sgblack@eecs.umich.edu limm t4, 1 1286096Sgblack@eecs.umich.edu roli t4, t4, imm 1296096Sgblack@eecs.umich.edu ldstl t1, seg, riprel, disp 1306096Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1316096Sgblack@eecs.umich.edu xor t1, t1, t4 1326096Sgblack@eecs.umich.edu stul t1, seg, riprel, disp 1336096Sgblack@eecs.umich.edu}; 1346096Sgblack@eecs.umich.edu 1355240Sgblack@eecs.umich.edudef macroop BTC_R_R { 1365240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 1375240Sgblack@eecs.umich.edu limm t1, 1 1385240Sgblack@eecs.umich.edu rol t1, t1, regm 1395240Sgblack@eecs.umich.edu xor reg, reg, t1 1405240Sgblack@eecs.umich.edu}; 1415240Sgblack@eecs.umich.edu 1425240Sgblack@eecs.umich.edudef macroop BTC_M_R { 1435326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1445326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1455326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 1465326Sgblack@eecs.umich.edu limm t4, 1 1475326Sgblack@eecs.umich.edu rol t4, t4, reg 1485326Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t3], disp 1495240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1505326Sgblack@eecs.umich.edu xor t1, t1, t4 1515326Sgblack@eecs.umich.edu st t1, seg, [scale, index, t3], disp 1525240Sgblack@eecs.umich.edu}; 1535240Sgblack@eecs.umich.edu 1545240Sgblack@eecs.umich.edudef macroop BTC_P_R { 1555306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1565326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1575326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1585326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 1595326Sgblack@eecs.umich.edu limm t4, 1 1605326Sgblack@eecs.umich.edu rol t4, t4, reg 1615326Sgblack@eecs.umich.edu ldst t1, seg, [1, t2, t7], disp 1625240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1635326Sgblack@eecs.umich.edu xor t1, t1, t4 1645297Sgblack@eecs.umich.edu st t1, seg, [1, t2, t7], disp 1655240Sgblack@eecs.umich.edu}; 1665240Sgblack@eecs.umich.edu 1676096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_M_R { 1686096Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1696096Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1706096Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 1716096Sgblack@eecs.umich.edu limm t4, 1 1726096Sgblack@eecs.umich.edu rol t4, t4, reg 1736096Sgblack@eecs.umich.edu ldstl t1, seg, [scale, index, t3], disp 1746096Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1756096Sgblack@eecs.umich.edu xor t1, t1, t4 1766096Sgblack@eecs.umich.edu stul t1, seg, [scale, index, t3], disp 1776096Sgblack@eecs.umich.edu}; 1786096Sgblack@eecs.umich.edu 1796096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_P_R { 1806096Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1816096Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1826096Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1836096Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 1846096Sgblack@eecs.umich.edu limm t4, 1 1856096Sgblack@eecs.umich.edu rol t4, t4, reg 1866096Sgblack@eecs.umich.edu ldstl t1, seg, [1, t2, t7], disp 1876096Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1886096Sgblack@eecs.umich.edu xor t1, t1, t4 1896096Sgblack@eecs.umich.edu stul t1, seg, [1, t2, t7], disp 1906096Sgblack@eecs.umich.edu}; 1916096Sgblack@eecs.umich.edu 1925240Sgblack@eecs.umich.edudef macroop BTR_R_I { 1935240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 1945240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 1955240Sgblack@eecs.umich.edu roli t1, t1, imm 1965240Sgblack@eecs.umich.edu and reg, reg, t1 1975240Sgblack@eecs.umich.edu}; 1985240Sgblack@eecs.umich.edu 1995240Sgblack@eecs.umich.edudef macroop BTR_M_I { 2005306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2015326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2025326Sgblack@eecs.umich.edu roli t4, t4, imm 2035326Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2045240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2055326Sgblack@eecs.umich.edu and t1, t1, t4 2065326Sgblack@eecs.umich.edu st t1, seg, sib, disp 2075240Sgblack@eecs.umich.edu}; 2085240Sgblack@eecs.umich.edu 2095240Sgblack@eecs.umich.edudef macroop BTR_P_I { 2105306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2115306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2125326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2135326Sgblack@eecs.umich.edu roli t4, t4, imm 2145326Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2155240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2165326Sgblack@eecs.umich.edu and t1, t1, t4 2175326Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2185240Sgblack@eecs.umich.edu}; 2195240Sgblack@eecs.umich.edu 2206095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_M_I { 2216095Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2226095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2236095Sgblack@eecs.umich.edu roli t4, t4, imm 2246095Sgblack@eecs.umich.edu ldstl t1, seg, sib, disp 2256095Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2266095Sgblack@eecs.umich.edu and t1, t1, t4 2276095Sgblack@eecs.umich.edu stul t1, seg, sib, disp 2286095Sgblack@eecs.umich.edu}; 2296095Sgblack@eecs.umich.edu 2306095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_P_I { 2316095Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2326095Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2336095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2346095Sgblack@eecs.umich.edu roli t4, t4, imm 2356095Sgblack@eecs.umich.edu ldstl t1, seg, riprel, disp 2366095Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2376095Sgblack@eecs.umich.edu and t1, t1, t4 2386095Sgblack@eecs.umich.edu stul t1, seg, riprel, disp 2396095Sgblack@eecs.umich.edu}; 2406095Sgblack@eecs.umich.edu 2415240Sgblack@eecs.umich.edudef macroop BTR_R_R { 2425240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 2435240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 2445240Sgblack@eecs.umich.edu rol t1, t1, regm 2455240Sgblack@eecs.umich.edu and reg, reg, t1 2465240Sgblack@eecs.umich.edu}; 2475240Sgblack@eecs.umich.edu 2485240Sgblack@eecs.umich.edudef macroop BTR_M_R { 2495326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2505326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2515326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 2525326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2535326Sgblack@eecs.umich.edu rol t4, t4, reg 2545326Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t3], disp 2555240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2565326Sgblack@eecs.umich.edu and t1, t1, t4 2575326Sgblack@eecs.umich.edu st t1, seg, [scale, index, t3], disp 2585240Sgblack@eecs.umich.edu}; 2595240Sgblack@eecs.umich.edu 2605240Sgblack@eecs.umich.edudef macroop BTR_P_R { 2615306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2625326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2635326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2645326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 2655326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2665326Sgblack@eecs.umich.edu rol t4, t4, reg 2675326Sgblack@eecs.umich.edu ldst t1, seg, [1, t3, t7], disp 2685240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2695326Sgblack@eecs.umich.edu and t1, t1, t4 2705326Sgblack@eecs.umich.edu st t1, seg, [1, t3, t7], disp 2715240Sgblack@eecs.umich.edu}; 2725240Sgblack@eecs.umich.edu 2736095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_M_R { 2746095Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2756095Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2766095Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 2776095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2786095Sgblack@eecs.umich.edu rol t4, t4, reg 2796095Sgblack@eecs.umich.edu ldstl t1, seg, [scale, index, t3], disp 2806095Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2816095Sgblack@eecs.umich.edu and t1, t1, t4 2826095Sgblack@eecs.umich.edu stul t1, seg, [scale, index, t3], disp 2836095Sgblack@eecs.umich.edu}; 2846095Sgblack@eecs.umich.edu 2856095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_P_R { 2866095Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2876095Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2886095Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2896095Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 2906095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2916095Sgblack@eecs.umich.edu rol t4, t4, reg 2926095Sgblack@eecs.umich.edu ldstl t1, seg, [1, t3, t7], disp 2936095Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2946095Sgblack@eecs.umich.edu and t1, t1, t4 2956095Sgblack@eecs.umich.edu stul t1, seg, [1, t3, t7], disp 2966095Sgblack@eecs.umich.edu}; 2976095Sgblack@eecs.umich.edu 2985240Sgblack@eecs.umich.edudef macroop BTS_R_I { 2995240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 3005240Sgblack@eecs.umich.edu limm t1, 1 3015240Sgblack@eecs.umich.edu roli t1, t1, imm 3025240Sgblack@eecs.umich.edu or reg, reg, t1 3035240Sgblack@eecs.umich.edu}; 3045240Sgblack@eecs.umich.edu 3055240Sgblack@eecs.umich.edudef macroop BTS_M_I { 3065306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3075326Sgblack@eecs.umich.edu limm t4, 1 3085326Sgblack@eecs.umich.edu roli t4, t4, imm 3095326Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 3105240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3115326Sgblack@eecs.umich.edu or t1, t1, t4 3125326Sgblack@eecs.umich.edu st t1, seg, sib, disp 3135240Sgblack@eecs.umich.edu}; 3145240Sgblack@eecs.umich.edu 3155240Sgblack@eecs.umich.edudef macroop BTS_P_I { 3165306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3175306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3185326Sgblack@eecs.umich.edu limm t4, 1 3195326Sgblack@eecs.umich.edu roli t4, t4, imm 3205326Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 3215240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3225326Sgblack@eecs.umich.edu or t1, t1, t4 3235326Sgblack@eecs.umich.edu st t1, seg, riprel, disp 3245240Sgblack@eecs.umich.edu}; 3255240Sgblack@eecs.umich.edu 3266093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_M_I { 3276093Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3286093Sgblack@eecs.umich.edu limm t4, 1 3296093Sgblack@eecs.umich.edu roli t4, t4, imm 3306093Sgblack@eecs.umich.edu ldstl t1, seg, sib, disp 3316093Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3326093Sgblack@eecs.umich.edu or t1, t1, t4 3336093Sgblack@eecs.umich.edu stul t1, seg, sib, disp 3346093Sgblack@eecs.umich.edu}; 3356093Sgblack@eecs.umich.edu 3366093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_P_I { 3376093Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3386093Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3396093Sgblack@eecs.umich.edu limm t4, 1 3406093Sgblack@eecs.umich.edu roli t4, t4, imm 3416093Sgblack@eecs.umich.edu ldstl t1, seg, riprel, disp 3426093Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3436093Sgblack@eecs.umich.edu or t1, t1, t4 3446093Sgblack@eecs.umich.edu stul t1, seg, riprel, disp 3456093Sgblack@eecs.umich.edu}; 3466093Sgblack@eecs.umich.edu 3475240Sgblack@eecs.umich.edudef macroop BTS_R_R { 3485240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 3495240Sgblack@eecs.umich.edu limm t1, 1 3505240Sgblack@eecs.umich.edu rol t1, t1, regm 3515240Sgblack@eecs.umich.edu or reg, reg, t1 3525240Sgblack@eecs.umich.edu}; 3535240Sgblack@eecs.umich.edu 3545240Sgblack@eecs.umich.edudef macroop BTS_M_R { 3555326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3565326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3575326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3585326Sgblack@eecs.umich.edu limm t4, 1 3595326Sgblack@eecs.umich.edu rol t4, t4, reg 3605326Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t3], disp 3615240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3625326Sgblack@eecs.umich.edu or t1, t1, t4 3635326Sgblack@eecs.umich.edu st t1, seg, [scale, index, t3], disp 3645240Sgblack@eecs.umich.edu}; 3655240Sgblack@eecs.umich.edu 3665240Sgblack@eecs.umich.edudef macroop BTS_P_R { 3675306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3685326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3695326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3705326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3715326Sgblack@eecs.umich.edu limm t4, 1 3725326Sgblack@eecs.umich.edu rol t4, t4, reg 3735326Sgblack@eecs.umich.edu ldst t1, seg, [1, t3, t7], disp 3745240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3755326Sgblack@eecs.umich.edu or t1, t1, t4 3765326Sgblack@eecs.umich.edu st t1, seg, [1, t3, t7], disp 3775240Sgblack@eecs.umich.edu}; 3786093Sgblack@eecs.umich.edu 3796093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_M_R { 3806093Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3816093Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3826093Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3836093Sgblack@eecs.umich.edu limm t4, 1 3846093Sgblack@eecs.umich.edu rol t4, t4, reg 3856093Sgblack@eecs.umich.edu ldstl t1, seg, [scale, index, t3], disp 3866093Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3876093Sgblack@eecs.umich.edu or t1, t1, t4 3886093Sgblack@eecs.umich.edu stul t1, seg, [scale, index, t3], disp 3896093Sgblack@eecs.umich.edu}; 3906093Sgblack@eecs.umich.edu 3916093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_P_R { 3926093Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3936093Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3946093Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3956093Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3966093Sgblack@eecs.umich.edu limm t4, 1 3976093Sgblack@eecs.umich.edu rol t4, t4, reg 3986093Sgblack@eecs.umich.edu ldstl t1, seg, [1, t3, t7], disp 3996093Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 4006093Sgblack@eecs.umich.edu or t1, t1, t4 4016093Sgblack@eecs.umich.edu stul t1, seg, [1, t3, t7], disp 4026093Sgblack@eecs.umich.edu}; 4035240Sgblack@eecs.umich.edu''' 404