bit_test.py revision 7690
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 787690Sgblack@eecs.umich.edu ld t1, seg, [dsz, t3, t7], disp 795240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 805240Sgblack@eecs.umich.edu}; 815240Sgblack@eecs.umich.edu 825240Sgblack@eecs.umich.edudef macroop BTC_R_I { 835240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 845240Sgblack@eecs.umich.edu limm t1, 1 855240Sgblack@eecs.umich.edu roli t1, t1, imm 865240Sgblack@eecs.umich.edu xor reg, reg, t1 875240Sgblack@eecs.umich.edu}; 885240Sgblack@eecs.umich.edu 895240Sgblack@eecs.umich.edudef macroop BTC_M_I { 905306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 915240Sgblack@eecs.umich.edu # This fudges just a tiny bit, but it's reasonable to expect the 925240Sgblack@eecs.umich.edu # microcode generation logic to have the log of the various sizes 935240Sgblack@eecs.umich.edu # floating around as well. 945326Sgblack@eecs.umich.edu limm t4, 1 955326Sgblack@eecs.umich.edu roli t4, t4, imm 965326Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 975240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 985326Sgblack@eecs.umich.edu xor t1, t1, t4 995326Sgblack@eecs.umich.edu st t1, seg, sib, disp 1005240Sgblack@eecs.umich.edu}; 1015240Sgblack@eecs.umich.edu 1025240Sgblack@eecs.umich.edudef macroop BTC_P_I { 1035306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1045306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1055326Sgblack@eecs.umich.edu limm t4, 1 1065326Sgblack@eecs.umich.edu roli t4, t4, imm 1075326Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 1085240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1095326Sgblack@eecs.umich.edu xor t1, t1, t4 1105326Sgblack@eecs.umich.edu st t1, seg, riprel, disp 1115240Sgblack@eecs.umich.edu}; 1125240Sgblack@eecs.umich.edu 1136096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_M_I { 1146096Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1156096Sgblack@eecs.umich.edu limm t4, 1 1166096Sgblack@eecs.umich.edu roli t4, t4, imm 1176096Sgblack@eecs.umich.edu ldstl t1, seg, sib, disp 1186096Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1196096Sgblack@eecs.umich.edu xor t1, t1, t4 1206096Sgblack@eecs.umich.edu stul t1, seg, sib, disp 1216096Sgblack@eecs.umich.edu}; 1226096Sgblack@eecs.umich.edu 1236096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_P_I { 1246096Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1256096Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1266096Sgblack@eecs.umich.edu limm t4, 1 1276096Sgblack@eecs.umich.edu roli t4, t4, imm 1286096Sgblack@eecs.umich.edu ldstl t1, seg, riprel, disp 1296096Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 1306096Sgblack@eecs.umich.edu xor t1, t1, t4 1316096Sgblack@eecs.umich.edu stul t1, seg, riprel, disp 1326096Sgblack@eecs.umich.edu}; 1336096Sgblack@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 { 1425326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1435326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1445326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 1455326Sgblack@eecs.umich.edu limm t4, 1 1465326Sgblack@eecs.umich.edu rol t4, t4, reg 1475326Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t3], disp 1485240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1495326Sgblack@eecs.umich.edu xor t1, t1, t4 1505326Sgblack@eecs.umich.edu st t1, seg, [scale, index, t3], disp 1515240Sgblack@eecs.umich.edu}; 1525240Sgblack@eecs.umich.edu 1535240Sgblack@eecs.umich.edudef macroop BTC_P_R { 1545306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1555326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1565326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1575326Sgblack@eecs.umich.edu limm t4, 1 1585326Sgblack@eecs.umich.edu rol t4, t4, reg 1597690Sgblack@eecs.umich.edu ldst t1, seg, [dsz, t3, t7], disp 1605240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1615326Sgblack@eecs.umich.edu xor t1, t1, t4 1627690Sgblack@eecs.umich.edu st t1, seg, [dsz, t3, t7], disp 1635240Sgblack@eecs.umich.edu}; 1645240Sgblack@eecs.umich.edu 1656096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_M_R { 1666096Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1676096Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1686096Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 1696096Sgblack@eecs.umich.edu limm t4, 1 1706096Sgblack@eecs.umich.edu rol t4, t4, reg 1716096Sgblack@eecs.umich.edu ldstl t1, seg, [scale, index, t3], disp 1726096Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1736096Sgblack@eecs.umich.edu xor t1, t1, t4 1746096Sgblack@eecs.umich.edu stul t1, seg, [scale, index, t3], disp 1756096Sgblack@eecs.umich.edu}; 1766096Sgblack@eecs.umich.edu 1776096Sgblack@eecs.umich.edudef macroop BTC_LOCKED_P_R { 1786096Sgblack@eecs.umich.edu rdip t7, dataSize=asz 1796096Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 1806096Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 1816096Sgblack@eecs.umich.edu limm t4, 1 1826096Sgblack@eecs.umich.edu rol t4, t4, reg 1837690Sgblack@eecs.umich.edu ldstl t1, seg, [dsz, t3, t7], disp 1846096Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 1856096Sgblack@eecs.umich.edu xor t1, t1, t4 1867690Sgblack@eecs.umich.edu stul t1, seg, [dsz, t3, t7], disp 1876096Sgblack@eecs.umich.edu}; 1886096Sgblack@eecs.umich.edu 1895240Sgblack@eecs.umich.edudef macroop BTR_R_I { 1905240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 1915240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 1925240Sgblack@eecs.umich.edu roli t1, t1, imm 1935240Sgblack@eecs.umich.edu and reg, reg, t1 1945240Sgblack@eecs.umich.edu}; 1955240Sgblack@eecs.umich.edu 1965240Sgblack@eecs.umich.edudef macroop BTR_M_I { 1975306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 1985326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 1995326Sgblack@eecs.umich.edu roli t4, t4, imm 2005326Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 2015240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2025326Sgblack@eecs.umich.edu and t1, t1, t4 2035326Sgblack@eecs.umich.edu st t1, seg, sib, disp 2045240Sgblack@eecs.umich.edu}; 2055240Sgblack@eecs.umich.edu 2065240Sgblack@eecs.umich.edudef macroop BTR_P_I { 2075306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2085306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2095326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2105326Sgblack@eecs.umich.edu roli t4, t4, imm 2115326Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 2125240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2135326Sgblack@eecs.umich.edu and t1, t1, t4 2145326Sgblack@eecs.umich.edu st t1, seg, riprel, disp 2155240Sgblack@eecs.umich.edu}; 2165240Sgblack@eecs.umich.edu 2176095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_M_I { 2186095Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2196095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2206095Sgblack@eecs.umich.edu roli t4, t4, imm 2216095Sgblack@eecs.umich.edu ldstl t1, seg, sib, disp 2226095Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2236095Sgblack@eecs.umich.edu and t1, t1, t4 2246095Sgblack@eecs.umich.edu stul t1, seg, sib, disp 2256095Sgblack@eecs.umich.edu}; 2266095Sgblack@eecs.umich.edu 2276095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_P_I { 2286095Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2296095Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 2306095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2316095Sgblack@eecs.umich.edu roli t4, t4, imm 2326095Sgblack@eecs.umich.edu ldstl t1, seg, riprel, disp 2336095Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 2346095Sgblack@eecs.umich.edu and t1, t1, t4 2356095Sgblack@eecs.umich.edu stul t1, seg, riprel, disp 2366095Sgblack@eecs.umich.edu}; 2376095Sgblack@eecs.umich.edu 2385240Sgblack@eecs.umich.edudef macroop BTR_R_R { 2395240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 2405240Sgblack@eecs.umich.edu limm t1, "(uint64_t(-(2ULL)))" 2415240Sgblack@eecs.umich.edu rol t1, t1, regm 2425240Sgblack@eecs.umich.edu and reg, reg, t1 2435240Sgblack@eecs.umich.edu}; 2445240Sgblack@eecs.umich.edu 2455240Sgblack@eecs.umich.edudef macroop BTR_M_R { 2465326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2475326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2485326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 2495326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2505326Sgblack@eecs.umich.edu rol t4, t4, reg 2515326Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t3], disp 2525240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2535326Sgblack@eecs.umich.edu and t1, t1, t4 2545326Sgblack@eecs.umich.edu st t1, seg, [scale, index, t3], disp 2555240Sgblack@eecs.umich.edu}; 2565240Sgblack@eecs.umich.edu 2575240Sgblack@eecs.umich.edudef macroop BTR_P_R { 2585306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2595326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2605326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2615326Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2625326Sgblack@eecs.umich.edu rol t4, t4, reg 2637690Sgblack@eecs.umich.edu ldst t1, seg, [dsz, t3, t7], disp 2645240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2655326Sgblack@eecs.umich.edu and t1, t1, t4 2667690Sgblack@eecs.umich.edu st t1, seg, [dsz, t3, t7], disp 2675240Sgblack@eecs.umich.edu}; 2685240Sgblack@eecs.umich.edu 2696095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_M_R { 2706095Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2716095Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2726095Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 2736095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2746095Sgblack@eecs.umich.edu rol t4, t4, reg 2756095Sgblack@eecs.umich.edu ldstl t1, seg, [scale, index, t3], disp 2766095Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2776095Sgblack@eecs.umich.edu and t1, t1, t4 2786095Sgblack@eecs.umich.edu stul t1, seg, [scale, index, t3], disp 2796095Sgblack@eecs.umich.edu}; 2806095Sgblack@eecs.umich.edu 2816095Sgblack@eecs.umich.edudef macroop BTR_LOCKED_P_R { 2826095Sgblack@eecs.umich.edu rdip t7, dataSize=asz 2836095Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 2846095Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 2856095Sgblack@eecs.umich.edu limm t4, "(uint64_t(-(2ULL)))" 2866095Sgblack@eecs.umich.edu rol t4, t4, reg 2877690Sgblack@eecs.umich.edu ldstl t1, seg, [dsz, t3, t7], disp 2886095Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 2896095Sgblack@eecs.umich.edu and t1, t1, t4 2907690Sgblack@eecs.umich.edu stul t1, seg, [dsz, t3, t7], disp 2916095Sgblack@eecs.umich.edu}; 2926095Sgblack@eecs.umich.edu 2935240Sgblack@eecs.umich.edudef macroop BTS_R_I { 2945240Sgblack@eecs.umich.edu sexti t0, reg, imm, flags=(CF,) 2955240Sgblack@eecs.umich.edu limm t1, 1 2965240Sgblack@eecs.umich.edu roli t1, t1, imm 2975240Sgblack@eecs.umich.edu or reg, reg, t1 2985240Sgblack@eecs.umich.edu}; 2995240Sgblack@eecs.umich.edu 3005240Sgblack@eecs.umich.edudef macroop BTS_M_I { 3015306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3025326Sgblack@eecs.umich.edu limm t4, 1 3035326Sgblack@eecs.umich.edu roli t4, t4, imm 3045326Sgblack@eecs.umich.edu ldst t1, seg, sib, disp 3055240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3065326Sgblack@eecs.umich.edu or t1, t1, t4 3075326Sgblack@eecs.umich.edu st t1, seg, sib, disp 3085240Sgblack@eecs.umich.edu}; 3095240Sgblack@eecs.umich.edu 3105240Sgblack@eecs.umich.edudef macroop BTS_P_I { 3115306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3125306Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3135326Sgblack@eecs.umich.edu limm t4, 1 3145326Sgblack@eecs.umich.edu roli t4, t4, imm 3155326Sgblack@eecs.umich.edu ldst t1, seg, riprel, disp 3165240Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3175326Sgblack@eecs.umich.edu or t1, t1, t4 3185326Sgblack@eecs.umich.edu st t1, seg, riprel, disp 3195240Sgblack@eecs.umich.edu}; 3205240Sgblack@eecs.umich.edu 3216093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_M_I { 3226093Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3236093Sgblack@eecs.umich.edu limm t4, 1 3246093Sgblack@eecs.umich.edu roli t4, t4, imm 3256093Sgblack@eecs.umich.edu ldstl t1, seg, sib, disp 3266093Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3276093Sgblack@eecs.umich.edu or t1, t1, t4 3286093Sgblack@eecs.umich.edu stul t1, seg, sib, disp 3296093Sgblack@eecs.umich.edu}; 3306093Sgblack@eecs.umich.edu 3316093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_P_I { 3326093Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3336093Sgblack@eecs.umich.edu limm t1, imm, dataSize=asz 3346093Sgblack@eecs.umich.edu limm t4, 1 3356093Sgblack@eecs.umich.edu roli t4, t4, imm 3366093Sgblack@eecs.umich.edu ldstl t1, seg, riprel, disp 3376093Sgblack@eecs.umich.edu sexti t0, t1, imm, flags=(CF,) 3386093Sgblack@eecs.umich.edu or t1, t1, t4 3396093Sgblack@eecs.umich.edu stul t1, seg, riprel, disp 3406093Sgblack@eecs.umich.edu}; 3416093Sgblack@eecs.umich.edu 3425240Sgblack@eecs.umich.edudef macroop BTS_R_R { 3435240Sgblack@eecs.umich.edu sext t0, reg, regm, flags=(CF,) 3445240Sgblack@eecs.umich.edu limm t1, 1 3455240Sgblack@eecs.umich.edu rol t1, t1, regm 3465240Sgblack@eecs.umich.edu or reg, reg, t1 3475240Sgblack@eecs.umich.edu}; 3485240Sgblack@eecs.umich.edu 3495240Sgblack@eecs.umich.edudef macroop BTS_M_R { 3505326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3515326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3525326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3535326Sgblack@eecs.umich.edu limm t4, 1 3545326Sgblack@eecs.umich.edu rol t4, t4, reg 3555326Sgblack@eecs.umich.edu ldst t1, seg, [scale, index, t3], disp 3565240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3575326Sgblack@eecs.umich.edu or t1, t1, t4 3585326Sgblack@eecs.umich.edu st t1, seg, [scale, index, t3], disp 3595240Sgblack@eecs.umich.edu}; 3605240Sgblack@eecs.umich.edu 3615240Sgblack@eecs.umich.edudef macroop BTS_P_R { 3625306Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3635326Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3645326Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3655326Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3665326Sgblack@eecs.umich.edu limm t4, 1 3675326Sgblack@eecs.umich.edu rol t4, t4, reg 3685326Sgblack@eecs.umich.edu ldst t1, seg, [1, t3, t7], disp 3695240Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3705326Sgblack@eecs.umich.edu or t1, t1, t4 3715326Sgblack@eecs.umich.edu st t1, seg, [1, t3, t7], disp 3725240Sgblack@eecs.umich.edu}; 3736093Sgblack@eecs.umich.edu 3746093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_M_R { 3756093Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3766093Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3776093Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3786093Sgblack@eecs.umich.edu limm t4, 1 3796093Sgblack@eecs.umich.edu rol t4, t4, reg 3806093Sgblack@eecs.umich.edu ldstl t1, seg, [scale, index, t3], disp 3816093Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3826093Sgblack@eecs.umich.edu or t1, t1, t4 3836093Sgblack@eecs.umich.edu stul t1, seg, [scale, index, t3], disp 3846093Sgblack@eecs.umich.edu}; 3856093Sgblack@eecs.umich.edu 3866093Sgblack@eecs.umich.edudef macroop BTS_LOCKED_P_R { 3876093Sgblack@eecs.umich.edu rdip t7, dataSize=asz 3886093Sgblack@eecs.umich.edu srai t2, reg, 3, dataSize=asz 3896093Sgblack@eecs.umich.edu srai t3, t2, ldsz, dataSize=asz 3906093Sgblack@eecs.umich.edu lea t3, flatseg, [dsz, t3, base], dataSize=asz 3916093Sgblack@eecs.umich.edu limm t4, 1 3926093Sgblack@eecs.umich.edu rol t4, t4, reg 3936093Sgblack@eecs.umich.edu ldstl t1, seg, [1, t3, t7], disp 3946093Sgblack@eecs.umich.edu sext t0, t1, reg, flags=(CF,) 3956093Sgblack@eecs.umich.edu or t1, t1, t4 3966093Sgblack@eecs.umich.edu stul t1, seg, [1, t3, t7], disp 3976093Sgblack@eecs.umich.edu}; 3985240Sgblack@eecs.umich.edu''' 399