add_and_subtract.py revision 6081
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
1865081Sgblack@eecs.umich.edudef macroop SUB_M_R
1875081Sgblack@eecs.umich.edu{
1885119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
1895081Sgblack@eecs.umich.edu    sub t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
1905081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
1915081Sgblack@eecs.umich.edu};
1925081Sgblack@eecs.umich.edu
1935081Sgblack@eecs.umich.edudef macroop SUB_P_R
1945081Sgblack@eecs.umich.edu{
1955081Sgblack@eecs.umich.edu    rdip t7
1965119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
1975081Sgblack@eecs.umich.edu    sub t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
1985081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
1995081Sgblack@eecs.umich.edu};
2005081Sgblack@eecs.umich.edu
2015081Sgblack@eecs.umich.edudef macroop ADC_R_R
2025081Sgblack@eecs.umich.edu{
2035081Sgblack@eecs.umich.edu    adc reg, reg, regm, flags=(OF,SF,ZF,AF,PF,CF)
2045081Sgblack@eecs.umich.edu};
2055081Sgblack@eecs.umich.edu
2065081Sgblack@eecs.umich.edudef macroop ADC_R_I
2075081Sgblack@eecs.umich.edu{
2085081Sgblack@eecs.umich.edu    limm t1, imm
2095081Sgblack@eecs.umich.edu    adc reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2105081Sgblack@eecs.umich.edu};
2115081Sgblack@eecs.umich.edu
2125081Sgblack@eecs.umich.edudef macroop ADC_M_I
2135081Sgblack@eecs.umich.edu{
2145081Sgblack@eecs.umich.edu    limm t2, imm
2155119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2165081Sgblack@eecs.umich.edu    adc t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2175081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2185081Sgblack@eecs.umich.edu};
2195081Sgblack@eecs.umich.edu
2205081Sgblack@eecs.umich.edudef macroop ADC_P_I
2215081Sgblack@eecs.umich.edu{
2225081Sgblack@eecs.umich.edu    rdip t7
2235081Sgblack@eecs.umich.edu    limm t2, imm
2245119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2255081Sgblack@eecs.umich.edu    adc t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2265081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2275081Sgblack@eecs.umich.edu};
2285081Sgblack@eecs.umich.edu
2295081Sgblack@eecs.umich.edudef macroop ADC_M_R
2305081Sgblack@eecs.umich.edu{
2315119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2325081Sgblack@eecs.umich.edu    adc t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2335081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2345081Sgblack@eecs.umich.edu};
2355081Sgblack@eecs.umich.edu
2365081Sgblack@eecs.umich.edudef macroop ADC_P_R
2375081Sgblack@eecs.umich.edu{
2385081Sgblack@eecs.umich.edu    rdip t7
2395119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2405081Sgblack@eecs.umich.edu    adc t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
2415081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2425081Sgblack@eecs.umich.edu};
2435081Sgblack@eecs.umich.edu
2445081Sgblack@eecs.umich.edudef macroop ADC_R_M
2455081Sgblack@eecs.umich.edu{
2465081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
2475081Sgblack@eecs.umich.edu    adc reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2485081Sgblack@eecs.umich.edu};
2495081Sgblack@eecs.umich.edu
2505081Sgblack@eecs.umich.edudef macroop ADC_R_P
2515081Sgblack@eecs.umich.edu{
2525081Sgblack@eecs.umich.edu    rdip t7
2535081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
2545081Sgblack@eecs.umich.edu    adc reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2555081Sgblack@eecs.umich.edu};
2565081Sgblack@eecs.umich.edu
2575081Sgblack@eecs.umich.edudef macroop SBB_R_R
2585081Sgblack@eecs.umich.edu{
2595081Sgblack@eecs.umich.edu    sbb reg, reg, regm, flags=(OF,SF,ZF,AF,PF,CF)
2605081Sgblack@eecs.umich.edu};
2615081Sgblack@eecs.umich.edu
2625081Sgblack@eecs.umich.edudef macroop SBB_R_I
2635081Sgblack@eecs.umich.edu{
2645081Sgblack@eecs.umich.edu    limm t1, imm
2655081Sgblack@eecs.umich.edu    sbb reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2665081Sgblack@eecs.umich.edu};
2675081Sgblack@eecs.umich.edu
2685081Sgblack@eecs.umich.edudef macroop SBB_R_M
2695081Sgblack@eecs.umich.edu{
2705081Sgblack@eecs.umich.edu    ld t1, seg, sib, disp
2715081Sgblack@eecs.umich.edu    sbb reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2725081Sgblack@eecs.umich.edu};
2735081Sgblack@eecs.umich.edu
2745081Sgblack@eecs.umich.edudef macroop SBB_R_P
2755081Sgblack@eecs.umich.edu{
2765081Sgblack@eecs.umich.edu    rdip t7
2775081Sgblack@eecs.umich.edu    ld t1, seg, riprel, disp
2785081Sgblack@eecs.umich.edu    sbb reg, reg, t1, flags=(OF,SF,ZF,AF,PF,CF)
2795081Sgblack@eecs.umich.edu};
2805081Sgblack@eecs.umich.edu
2815081Sgblack@eecs.umich.edudef macroop SBB_M_I
2825081Sgblack@eecs.umich.edu{
2835081Sgblack@eecs.umich.edu    limm t2, imm
2845119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
2855081Sgblack@eecs.umich.edu    sbb t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2865081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
2875081Sgblack@eecs.umich.edu};
2885081Sgblack@eecs.umich.edu
2895081Sgblack@eecs.umich.edudef macroop SBB_P_I
2905081Sgblack@eecs.umich.edu{
2915081Sgblack@eecs.umich.edu    rdip t7
2925081Sgblack@eecs.umich.edu    limm t2, imm
2935119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
2945081Sgblack@eecs.umich.edu    sbb t1, t1, t2, flags=(OF,SF,ZF,AF,PF,CF)
2955081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
2965081Sgblack@eecs.umich.edu};
2975081Sgblack@eecs.umich.edu
2985081Sgblack@eecs.umich.edudef macroop SBB_M_R
2995081Sgblack@eecs.umich.edu{
3005119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
3015081Sgblack@eecs.umich.edu    sbb t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
3025081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
3035081Sgblack@eecs.umich.edu};
3045081Sgblack@eecs.umich.edu
3055081Sgblack@eecs.umich.edudef macroop SBB_P_R
3065081Sgblack@eecs.umich.edu{
3075081Sgblack@eecs.umich.edu    rdip t7
3085119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
3095081Sgblack@eecs.umich.edu    sbb t1, t1, reg, flags=(OF,SF,ZF,AF,PF,CF)
3105081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
3115081Sgblack@eecs.umich.edu};
3125081Sgblack@eecs.umich.edu
3135081Sgblack@eecs.umich.edudef macroop NEG_R
3145081Sgblack@eecs.umich.edu{
3155081Sgblack@eecs.umich.edu    sub reg, t0, reg, flags=(CF,OF,SF,ZF,AF,PF)
3165081Sgblack@eecs.umich.edu};
3175081Sgblack@eecs.umich.edu
3185081Sgblack@eecs.umich.edudef macroop NEG_M
3195081Sgblack@eecs.umich.edu{
3205119Sgblack@eecs.umich.edu    ldst t1, seg, sib, disp
3215081Sgblack@eecs.umich.edu    sub t1, t0, t1, flags=(CF,OF,SF,ZF,AF,PF)
3225081Sgblack@eecs.umich.edu    st t1, seg, sib, disp
3235081Sgblack@eecs.umich.edu};
3245081Sgblack@eecs.umich.edu
3255081Sgblack@eecs.umich.edudef macroop NEG_P
3265081Sgblack@eecs.umich.edu{
3275081Sgblack@eecs.umich.edu    rdip t7
3285119Sgblack@eecs.umich.edu    ldst t1, seg, riprel, disp
3295081Sgblack@eecs.umich.edu    sub t1, t0, t1, flags=(CF,OF,SF,ZF,AF,PF)
3305081Sgblack@eecs.umich.edu    st t1, seg, riprel, disp
3315081Sgblack@eecs.umich.edu};
3325081Sgblack@eecs.umich.edu'''
333