add_and_subtract.py revision 6090
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 ADD_R_R
585081Sgblack@eecs.umich.edu{
595081Sgblack@eecs.umich.edu    add reg, reg, regm, flags=(OF,SF,ZF,AF,PF,CF)
605081Sgblack@eecs.umich.edu};
615081Sgblack@eecs.umich.edu
625081Sgblack@eecs.umich.edudef macroop ADD_R_I
635081Sgblack@eecs.umich.edu{
645081Sgblack@eecs.umich.edu    limm t1, imm
655081Sgblack@eecs.umich.edu    add reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
665081Sgblack@eecs.umich.edu};
675081Sgblack@eecs.umich.edu
685081Sgblack@eecs.umich.edudef macroop ADD_M_I
695081Sgblack@eecs.umich.edu{
705081Sgblack@eecs.umich.edu    limm t2, imm
715119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
725081Sgblack@eecs.umich.edu    add t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
735081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
745081Sgblack@eecs.umich.edu};
755081Sgblack@eecs.umich.edu
765081Sgblack@eecs.umich.edudef macroop ADD_P_I
775081Sgblack@eecs.umich.edu{
785081Sgblack@eecs.umich.edu    rdip t7
795081Sgblack@eecs.umich.edu    limm t2, imm
805119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
815081Sgblack@eecs.umich.edu    add t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
825081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
835081Sgblack@eecs.umich.edu};
845081Sgblack@eecs.umich.edu
856081Sgblack@eecs.umich.edudef macroop ADD_LOCKED_M_I
866081Sgblack@eecs.umich.edu{
876081Sgblack@eecs.umich.edu    limm t2, imm
886081Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
896081Sgblack@eecs.umich.edu    add t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
906081Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
916081Sgblack@eecs.umich.edu};
926081Sgblack@eecs.umich.edu
936081Sgblack@eecs.umich.edudef macroop ADD_LOCKED_P_I
946081Sgblack@eecs.umich.edu{
956081Sgblack@eecs.umich.edu    rdip t7
966081Sgblack@eecs.umich.edu    limm t2, imm
976081Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
986081Sgblack@eecs.umich.edu    add t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
996081Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
1006081Sgblack@eecs.umich.edu};
1016081Sgblack@eecs.umich.edu
1025081Sgblack@eecs.umich.edudef macroop ADD_M_R
1035081Sgblack@eecs.umich.edu{
1045119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1055081Sgblack@eecs.umich.edu    add t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
1065081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1075081Sgblack@eecs.umich.edu};
1085081Sgblack@eecs.umich.edu
1095081Sgblack@eecs.umich.edudef macroop ADD_P_R
1105081Sgblack@eecs.umich.edu{
1115081Sgblack@eecs.umich.edu    rdip t7
1125119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1135081Sgblack@eecs.umich.edu    add t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
1145081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1155081Sgblack@eecs.umich.edu};
1165081Sgblack@eecs.umich.edu
1176081Sgblack@eecs.umich.edudef macroop ADD_LOCKED_M_R
1186081Sgblack@eecs.umich.edu{
1196081Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
1206081Sgblack@eecs.umich.edu    add t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
1216081Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
1226081Sgblack@eecs.umich.edu};
1236081Sgblack@eecs.umich.edu
1246081Sgblack@eecs.umich.edudef macroop ADD_LOCKED_P_R
1256081Sgblack@eecs.umich.edu{
1266081Sgblack@eecs.umich.edu    rdip t7
1276081Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
1286081Sgblack@eecs.umich.edu    add t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
1296081Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
1306081Sgblack@eecs.umich.edu};
1316081Sgblack@eecs.umich.edu
1325081Sgblack@eecs.umich.edudef macroop ADD_R_M
1335081Sgblack@eecs.umich.edu{
1345081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
1355081Sgblack@eecs.umich.edu    add reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
1365081Sgblack@eecs.umich.edu};
1375081Sgblack@eecs.umich.edu
1385081Sgblack@eecs.umich.edudef macroop ADD_R_P
1395081Sgblack@eecs.umich.edu{
1405081Sgblack@eecs.umich.edu    rdip t7
1415081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1425081Sgblack@eecs.umich.edu    add reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
1435081Sgblack@eecs.umich.edu};
1445081Sgblack@eecs.umich.edu
1455081Sgblack@eecs.umich.edudef macroop SUB_R_R
1465081Sgblack@eecs.umich.edu{
1475081Sgblack@eecs.umich.edu    sub reg, reg, regm, flags=(OF,SF,ZF,AF,PF,CF)
1485081Sgblack@eecs.umich.edu};
1495081Sgblack@eecs.umich.edu
1505081Sgblack@eecs.umich.edudef macroop SUB_R_I
1515081Sgblack@eecs.umich.edu{
1525081Sgblack@eecs.umich.edu    limm t1, imm
1535081Sgblack@eecs.umich.edu    sub reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
1545081Sgblack@eecs.umich.edu};
1555081Sgblack@eecs.umich.edu
1565081Sgblack@eecs.umich.edudef macroop SUB_R_M
1575081Sgblack@eecs.umich.edu{
1585081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
1595081Sgblack@eecs.umich.edu    sub reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
1605081Sgblack@eecs.umich.edu};
1615081Sgblack@eecs.umich.edu
1625081Sgblack@eecs.umich.edudef macroop SUB_R_P
1635081Sgblack@eecs.umich.edu{
1645081Sgblack@eecs.umich.edu    rdip t7
1655081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
1665081Sgblack@eecs.umich.edu    sub reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
1675081Sgblack@eecs.umich.edu};
1685081Sgblack@eecs.umich.edu
1695081Sgblack@eecs.umich.edudef macroop SUB_M_I
1705081Sgblack@eecs.umich.edu{
1715081Sgblack@eecs.umich.edu    limm t2, imm
1725119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1735081Sgblack@eecs.umich.edu    sub t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
1745081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1755081Sgblack@eecs.umich.edu};
1765081Sgblack@eecs.umich.edu
1775081Sgblack@eecs.umich.edudef macroop SUB_P_I
1785081Sgblack@eecs.umich.edu{
1795081Sgblack@eecs.umich.edu    rdip t7
1805081Sgblack@eecs.umich.edu    limm t2, imm
1815119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1825081Sgblack@eecs.umich.edu    sub t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
1835081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1845081Sgblack@eecs.umich.edu};
1855081Sgblack@eecs.umich.edu
1866086Sgblack@eecs.umich.edudef macroop SUB_LOCKED_M_I
1876086Sgblack@eecs.umich.edu{
1886086Sgblack@eecs.umich.edu    limm t2, imm
1896086Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
1906086Sgblack@eecs.umich.edu    sub t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
1916086Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
1926086Sgblack@eecs.umich.edu};
1936086Sgblack@eecs.umich.edu
1946086Sgblack@eecs.umich.edudef macroop SUB_LOCKED_P_I
1956086Sgblack@eecs.umich.edu{
1966086Sgblack@eecs.umich.edu    rdip t7
1976086Sgblack@eecs.umich.edu    limm t2, imm
1986086Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
1996086Sgblack@eecs.umich.edu    sub t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2006086Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
2016086Sgblack@eecs.umich.edu};
2026086Sgblack@eecs.umich.edu
2035081Sgblack@eecs.umich.edudef macroop SUB_M_R
2045081Sgblack@eecs.umich.edu{
2055119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2065081Sgblack@eecs.umich.edu    sub t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2075081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2085081Sgblack@eecs.umich.edu};
2095081Sgblack@eecs.umich.edu
2105081Sgblack@eecs.umich.edudef macroop SUB_P_R
2115081Sgblack@eecs.umich.edu{
2125081Sgblack@eecs.umich.edu    rdip t7
2135119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2145081Sgblack@eecs.umich.edu    sub t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2155081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2165081Sgblack@eecs.umich.edu};
2175081Sgblack@eecs.umich.edu
2186086Sgblack@eecs.umich.edudef macroop SUB_LOCKED_M_R
2196086Sgblack@eecs.umich.edu{
2206086Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
2216086Sgblack@eecs.umich.edu    sub t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2226086Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
2236086Sgblack@eecs.umich.edu};
2246086Sgblack@eecs.umich.edu
2256086Sgblack@eecs.umich.edudef macroop SUB_LOCKED_P_R
2266086Sgblack@eecs.umich.edu{
2276086Sgblack@eecs.umich.edu    rdip t7
2286086Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
2296086Sgblack@eecs.umich.edu    sub t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2306086Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
2316086Sgblack@eecs.umich.edu};
2326086Sgblack@eecs.umich.edu
2335081Sgblack@eecs.umich.edudef macroop ADC_R_R
2345081Sgblack@eecs.umich.edu{
2355081Sgblack@eecs.umich.edu    adc reg, reg, regm, flags=(OF,SF,ZF,AF,PF,CF)
2365081Sgblack@eecs.umich.edu};
2375081Sgblack@eecs.umich.edu
2385081Sgblack@eecs.umich.edudef macroop ADC_R_I
2395081Sgblack@eecs.umich.edu{
2405081Sgblack@eecs.umich.edu    limm t1, imm
2415081Sgblack@eecs.umich.edu    adc reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2425081Sgblack@eecs.umich.edu};
2435081Sgblack@eecs.umich.edu
2445081Sgblack@eecs.umich.edudef macroop ADC_M_I
2455081Sgblack@eecs.umich.edu{
2465081Sgblack@eecs.umich.edu    limm t2, imm
2475119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2485081Sgblack@eecs.umich.edu    adc t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2495081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2505081Sgblack@eecs.umich.edu};
2515081Sgblack@eecs.umich.edu
2525081Sgblack@eecs.umich.edudef macroop ADC_P_I
2535081Sgblack@eecs.umich.edu{
2545081Sgblack@eecs.umich.edu    rdip t7
2555081Sgblack@eecs.umich.edu    limm t2, imm
2565119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2575081Sgblack@eecs.umich.edu    adc t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2585081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2595081Sgblack@eecs.umich.edu};
2605081Sgblack@eecs.umich.edu
2616083Sgblack@eecs.umich.edudef macroop ADC_LOCKED_M_I
2626083Sgblack@eecs.umich.edu{
2636083Sgblack@eecs.umich.edu    limm t2, imm
2646083Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
2656083Sgblack@eecs.umich.edu    adc t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2666083Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
2676083Sgblack@eecs.umich.edu};
2686083Sgblack@eecs.umich.edu
2696083Sgblack@eecs.umich.edudef macroop ADC_LOCKED_P_I
2706083Sgblack@eecs.umich.edu{
2716083Sgblack@eecs.umich.edu    rdip t7
2726083Sgblack@eecs.umich.edu    limm t2, imm
2736083Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
2746083Sgblack@eecs.umich.edu    adc t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2756083Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
2766083Sgblack@eecs.umich.edu};
2776083Sgblack@eecs.umich.edu
2785081Sgblack@eecs.umich.edudef macroop ADC_M_R
2795081Sgblack@eecs.umich.edu{
2805119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2815081Sgblack@eecs.umich.edu    adc t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2825081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2835081Sgblack@eecs.umich.edu};
2845081Sgblack@eecs.umich.edu
2855081Sgblack@eecs.umich.edudef macroop ADC_P_R
2865081Sgblack@eecs.umich.edu{
2875081Sgblack@eecs.umich.edu    rdip t7
2885119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2895081Sgblack@eecs.umich.edu    adc t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2905081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2915081Sgblack@eecs.umich.edu};
2925081Sgblack@eecs.umich.edu
2936083Sgblack@eecs.umich.edudef macroop ADC_LOCKED_M_R
2946083Sgblack@eecs.umich.edu{
2956083Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
2966083Sgblack@eecs.umich.edu    adc t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2976083Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
2986083Sgblack@eecs.umich.edu};
2996083Sgblack@eecs.umich.edu
3006083Sgblack@eecs.umich.edudef macroop ADC_LOCKED_P_R
3016083Sgblack@eecs.umich.edu{
3026083Sgblack@eecs.umich.edu    rdip t7
3036083Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
3046083Sgblack@eecs.umich.edu    adc t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
3056083Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
3066083Sgblack@eecs.umich.edu};
3076083Sgblack@eecs.umich.edu
3085081Sgblack@eecs.umich.edudef macroop ADC_R_M
3095081Sgblack@eecs.umich.edu{
3105081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
3115081Sgblack@eecs.umich.edu    adc reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
3125081Sgblack@eecs.umich.edu};
3135081Sgblack@eecs.umich.edu
3145081Sgblack@eecs.umich.edudef macroop ADC_R_P
3155081Sgblack@eecs.umich.edu{
3165081Sgblack@eecs.umich.edu    rdip t7
3175081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
3185081Sgblack@eecs.umich.edu    adc reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
3195081Sgblack@eecs.umich.edu};
3205081Sgblack@eecs.umich.edu
3215081Sgblack@eecs.umich.edudef macroop SBB_R_R
3225081Sgblack@eecs.umich.edu{
3235081Sgblack@eecs.umich.edu    sbb reg, reg, regm, flags=(OF,SF,ZF,AF,PF,CF)
3245081Sgblack@eecs.umich.edu};
3255081Sgblack@eecs.umich.edu
3265081Sgblack@eecs.umich.edudef macroop SBB_R_I
3275081Sgblack@eecs.umich.edu{
3285081Sgblack@eecs.umich.edu    limm t1, imm
3295081Sgblack@eecs.umich.edu    sbb reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
3305081Sgblack@eecs.umich.edu};
3315081Sgblack@eecs.umich.edu
3325081Sgblack@eecs.umich.edudef macroop SBB_R_M
3335081Sgblack@eecs.umich.edu{
3345081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
3355081Sgblack@eecs.umich.edu    sbb reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
3365081Sgblack@eecs.umich.edu};
3375081Sgblack@eecs.umich.edu
3385081Sgblack@eecs.umich.edudef macroop SBB_R_P
3395081Sgblack@eecs.umich.edu{
3405081Sgblack@eecs.umich.edu    rdip t7
3415081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
3425081Sgblack@eecs.umich.edu    sbb reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
3435081Sgblack@eecs.umich.edu};
3445081Sgblack@eecs.umich.edu
3455081Sgblack@eecs.umich.edudef macroop SBB_M_I
3465081Sgblack@eecs.umich.edu{
3475081Sgblack@eecs.umich.edu    limm t2, imm
3485119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
3495081Sgblack@eecs.umich.edu    sbb t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
3505081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
3515081Sgblack@eecs.umich.edu};
3525081Sgblack@eecs.umich.edu
3535081Sgblack@eecs.umich.edudef macroop SBB_P_I
3545081Sgblack@eecs.umich.edu{
3555081Sgblack@eecs.umich.edu    rdip t7
3565081Sgblack@eecs.umich.edu    limm t2, imm
3575119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
3585081Sgblack@eecs.umich.edu    sbb t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
3595081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
3605081Sgblack@eecs.umich.edu};
3615081Sgblack@eecs.umich.edu
3626084Sgblack@eecs.umich.edudef macroop SBB_LOCKED_M_I
3636084Sgblack@eecs.umich.edu{
3646084Sgblack@eecs.umich.edu    limm t2, imm
3656084Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
3666084Sgblack@eecs.umich.edu    sbb t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
3676084Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
3686084Sgblack@eecs.umich.edu};
3696084Sgblack@eecs.umich.edu
3706084Sgblack@eecs.umich.edudef macroop SBB_LOCKED_P_I
3716084Sgblack@eecs.umich.edu{
3726084Sgblack@eecs.umich.edu    rdip t7
3736084Sgblack@eecs.umich.edu    limm t2, imm
3746084Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
3756084Sgblack@eecs.umich.edu    sbb t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
3766084Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
3776084Sgblack@eecs.umich.edu};
3786084Sgblack@eecs.umich.edu
3795081Sgblack@eecs.umich.edudef macroop SBB_M_R
3805081Sgblack@eecs.umich.edu{
3815119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
3825081Sgblack@eecs.umich.edu    sbb t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
3835081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
3845081Sgblack@eecs.umich.edu};
3855081Sgblack@eecs.umich.edu
3865081Sgblack@eecs.umich.edudef macroop SBB_P_R
3875081Sgblack@eecs.umich.edu{
3885081Sgblack@eecs.umich.edu    rdip t7
3895119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
3905081Sgblack@eecs.umich.edu    sbb t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
3915081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
3925081Sgblack@eecs.umich.edu};
3935081Sgblack@eecs.umich.edu
3946084Sgblack@eecs.umich.edudef macroop SBB_LOCKED_M_R
3956084Sgblack@eecs.umich.edu{
3966084Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
3976084Sgblack@eecs.umich.edu    sbb t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
3986084Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
3996084Sgblack@eecs.umich.edu};
4006084Sgblack@eecs.umich.edu
4016084Sgblack@eecs.umich.edudef macroop SBB_LOCKED_P_R
4026084Sgblack@eecs.umich.edu{
4036084Sgblack@eecs.umich.edu    rdip t7
4046084Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
4056084Sgblack@eecs.umich.edu    sbb t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
4066084Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
4076084Sgblack@eecs.umich.edu};
4086084Sgblack@eecs.umich.edu
4095081Sgblack@eecs.umich.edudef macroop NEG_R
4105081Sgblack@eecs.umich.edu{
4115081Sgblack@eecs.umich.edu    sub reg, t0, reg, flags=(CF,OF,SF,ZF,AF,PF)
4125081Sgblack@eecs.umich.edu};
4135081Sgblack@eecs.umich.edu
4145081Sgblack@eecs.umich.edudef macroop NEG_M
4155081Sgblack@eecs.umich.edu{
4165119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
4175081Sgblack@eecs.umich.edu    sub t1, t0, t1, flags=(CF,OF,SF,ZF,AF,PF)
4185081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
4195081Sgblack@eecs.umich.edu};
4205081Sgblack@eecs.umich.edu
4215081Sgblack@eecs.umich.edudef macroop NEG_P
4225081Sgblack@eecs.umich.edu{
4235081Sgblack@eecs.umich.edu    rdip t7
4245119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
4255081Sgblack@eecs.umich.edu    sub t1, t0, t1, flags=(CF,OF,SF,ZF,AF,PF)
4265081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
4275081Sgblack@eecs.umich.edu};
4286090Sgblack@eecs.umich.edu
4296090Sgblack@eecs.umich.edudef macroop NEG_LOCKED_M
4306090Sgblack@eecs.umich.edu{
4316090Sgblack@eecs.umich.edu    ldstl t1, seg, sib, disp
4326090Sgblack@eecs.umich.edu    sub t1, t0, t1, flags=(CF,OF,SF,ZF,AF,PF)
4336090Sgblack@eecs.umich.edu    stul t1, seg, sib, disp
4346090Sgblack@eecs.umich.edu};
4356090Sgblack@eecs.umich.edu
4366090Sgblack@eecs.umich.edudef macroop NEG_LOCKED_P
4376090Sgblack@eecs.umich.edu{
4386090Sgblack@eecs.umich.edu    rdip t7
4396090Sgblack@eecs.umich.edu    ldstl t1, seg, riprel, disp
4406090Sgblack@eecs.umich.edu    sub t1, t0, t1, flags=(CF,OF,SF,ZF,AF,PF)
4416090Sgblack@eecs.umich.edu    stul t1, seg, riprel, disp
4426090Sgblack@eecs.umich.edu};
4435081Sgblack@eecs.umich.edu'''
444