x87.isa revision 9894
14825Sgblack@eecs.umich.edu// Copyright (c) 2007 The Hewlett-Packard Development Company 29582Snilay@cs.wisc.edu// Copyright (c) 2012-13 Mark D. Hill and David A. Wood 34825Sgblack@eecs.umich.edu// All rights reserved. 44825Sgblack@eecs.umich.edu// 57087Snate@binkert.org// The license below extends only to copyright in the software and shall 67087Snate@binkert.org// not be construed as granting a license to any other intellectual 77087Snate@binkert.org// property including but not limited to intellectual property relating 87087Snate@binkert.org// to a hardware implementation of the functionality of the software 97087Snate@binkert.org// licensed hereunder. You may use the software subject to the license 107087Snate@binkert.org// terms below provided that you ensure that this notice is replicated 117087Snate@binkert.org// unmodified and in its entirety in all distributions of the software, 127087Snate@binkert.org// modified or unmodified, in source code or in binary form. 134825Sgblack@eecs.umich.edu// 147087Snate@binkert.org// Redistribution and use in source and binary forms, with or without 157087Snate@binkert.org// modification, are permitted provided that the following conditions are 167087Snate@binkert.org// met: redistributions of source code must retain the above copyright 177087Snate@binkert.org// notice, this list of conditions and the following disclaimer; 187087Snate@binkert.org// redistributions in binary form must reproduce the above copyright 197087Snate@binkert.org// notice, this list of conditions and the following disclaimer in the 207087Snate@binkert.org// documentation and/or other materials provided with the distribution; 217087Snate@binkert.org// neither the name of the copyright holders nor the names of its 224825Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 237087Snate@binkert.org// this software without specific prior written permission. 244825Sgblack@eecs.umich.edu// 254825Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 264825Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 274825Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 284825Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 294825Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 304825Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 314825Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 324825Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 334825Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 344825Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 354825Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 364825Sgblack@eecs.umich.edu// 374825Sgblack@eecs.umich.edu// Authors: Gabe Black 389582Snilay@cs.wisc.edu// Nilay Vaish 394825Sgblack@eecs.umich.edu 405162Sgblack@eecs.umich.eduformat WarnUnimpl { 415162Sgblack@eecs.umich.edu 0x1B: decode OPCODE_OP_BOTTOM3 { 425162Sgblack@eecs.umich.edu //0x0: esc0(); 435162Sgblack@eecs.umich.edu 0x0: decode MODRM_REG { 449582Snilay@cs.wisc.edu // ST(0) = ST(0) + 32-bit Mem 455162Sgblack@eecs.umich.edu 0x0: fadd(); 465162Sgblack@eecs.umich.edu 0x1: fmul(); 475162Sgblack@eecs.umich.edu 0x2: fcom(); 485162Sgblack@eecs.umich.edu 0x3: fcomp(); 495162Sgblack@eecs.umich.edu 0x4: fsub(); 505162Sgblack@eecs.umich.edu 0x5: fsubr(); 515162Sgblack@eecs.umich.edu 0x6: fdiv(); 525162Sgblack@eecs.umich.edu 0x7: fdivr(); 534825Sgblack@eecs.umich.edu } 545162Sgblack@eecs.umich.edu //0x1: esc1(); 555162Sgblack@eecs.umich.edu 0x1: decode MODRM_REG { 569582Snilay@cs.wisc.edu 0x0: decode MODRM_MOD { 579582Snilay@cs.wisc.edu 0x3: Inst::FLD(Eq); 589582Snilay@cs.wisc.edu // 32-bit load 599582Snilay@cs.wisc.edu default: Inst::FLD(Md); 609582Snilay@cs.wisc.edu } 615162Sgblack@eecs.umich.edu 0x1: decode MODRM_MOD { 625162Sgblack@eecs.umich.edu 0x3: fxch(); 634825Sgblack@eecs.umich.edu default: Inst::UD2(); 644825Sgblack@eecs.umich.edu } 655162Sgblack@eecs.umich.edu 0x2: decode MODRM_MOD { 665162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 675162Sgblack@eecs.umich.edu 0x0: fnop(); 685162Sgblack@eecs.umich.edu default: Inst::UD2(); 695162Sgblack@eecs.umich.edu } 709894Sandreas@sandberg.pp.se default: Inst::FST(Ed); 715162Sgblack@eecs.umich.edu } 725162Sgblack@eecs.umich.edu 0x3: decode MODRM_MOD { 735162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 749894Sandreas@sandberg.pp.se default: Inst::FSTP(Ed); 755162Sgblack@eecs.umich.edu } 765162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 775162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 789470Snilay@cs.wisc.edu 0x0: Inst::FCHS(); 799470Snilay@cs.wisc.edu 0x1: Inst::FABS(); 805162Sgblack@eecs.umich.edu 0x4: ftst(); 815162Sgblack@eecs.umich.edu 0x5: fxam(); 825162Sgblack@eecs.umich.edu default: Inst::UD2(); 835162Sgblack@eecs.umich.edu } 845162Sgblack@eecs.umich.edu default: fldenv(); 855162Sgblack@eecs.umich.edu } 865162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 875162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 889582Snilay@cs.wisc.edu 0x0: Inst::FLD1(); 899582Snilay@cs.wisc.edu 0x1: Inst::FLDL2T(); 909582Snilay@cs.wisc.edu 0x2: Inst::FLDL2E(); 919582Snilay@cs.wisc.edu 0x3: Inst::FLDPI(); 929582Snilay@cs.wisc.edu 0x4: Inst::FLDLG2(); 939582Snilay@cs.wisc.edu 0x5: Inst::FLDLN2(); 949582Snilay@cs.wisc.edu 0x6: Inst::FLDZ(); 955162Sgblack@eecs.umich.edu } 969582Snilay@cs.wisc.edu default: Inst::FLDCW(Mw); 975162Sgblack@eecs.umich.edu } 985162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 995162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 1005162Sgblack@eecs.umich.edu 0x0: f2xm1(); 1019582Snilay@cs.wisc.edu 0x1: Inst::FYL2X(); 1029582Snilay@cs.wisc.edu 0x2: Inst::FPTAN(); 1035162Sgblack@eecs.umich.edu 0x3: fpatan(); 1045162Sgblack@eecs.umich.edu 0x4: fxtract(); 1059582Snilay@cs.wisc.edu 0x5: Inst::FPREM1(); 1065162Sgblack@eecs.umich.edu 0x6: fdecstp(); 1075162Sgblack@eecs.umich.edu 0x7: fincstp(); 1085162Sgblack@eecs.umich.edu } 1095162Sgblack@eecs.umich.edu default: fnstenv(); 1105162Sgblack@eecs.umich.edu } 1115162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 1125162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 1139582Snilay@cs.wisc.edu 0x0: Inst::FPREM(); 1145162Sgblack@eecs.umich.edu 0x1: fyl2xp1(); 1155162Sgblack@eecs.umich.edu 0x2: fsqrt(); 1169371Snilay@cs.wisc.edu 0x3: Inst::FSINCOS(); 1175162Sgblack@eecs.umich.edu 0x4: frndint(); 1185162Sgblack@eecs.umich.edu 0x5: fscale(); 1199472Snilay@cs.wisc.edu 0x6: Inst::FSIN(); 1209472Snilay@cs.wisc.edu 0x7: Inst::FCOS(); 1215162Sgblack@eecs.umich.edu } 1229372Snilay@cs.wisc.edu default: Inst::FNSTCW(Mw); 1235162Sgblack@eecs.umich.edu } 1244825Sgblack@eecs.umich.edu } 1255162Sgblack@eecs.umich.edu //0x2: esc2(); 1265162Sgblack@eecs.umich.edu 0x2: decode MODRM_REG { 1275162Sgblack@eecs.umich.edu 0x0: decode MODRM_MOD { 1285162Sgblack@eecs.umich.edu 0x3: fcmovb(); 1295162Sgblack@eecs.umich.edu default: fiadd(); 1305162Sgblack@eecs.umich.edu } 1315162Sgblack@eecs.umich.edu 0x1: decode MODRM_MOD { 1325162Sgblack@eecs.umich.edu 0x3: fcmove(); 1335162Sgblack@eecs.umich.edu default: fimul(); 1345162Sgblack@eecs.umich.edu } 1355162Sgblack@eecs.umich.edu 0x2: decode MODRM_MOD { 1365162Sgblack@eecs.umich.edu 0x3: fcmovbe(); 1375162Sgblack@eecs.umich.edu default: ficom(); 1385162Sgblack@eecs.umich.edu } 1395162Sgblack@eecs.umich.edu 0x3: decode MODRM_MOD { 1405162Sgblack@eecs.umich.edu 0x3: fcmovu(); 1415162Sgblack@eecs.umich.edu default: ficomp(); 1425162Sgblack@eecs.umich.edu } 1435162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 1445162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 1455162Sgblack@eecs.umich.edu default: fisub(); 1465162Sgblack@eecs.umich.edu } 1475162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 1485162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 1495162Sgblack@eecs.umich.edu 0x1: fucompp(); 1505162Sgblack@eecs.umich.edu default: Inst::UD2(); 1515162Sgblack@eecs.umich.edu } 1525162Sgblack@eecs.umich.edu default: fisubr(); 1535162Sgblack@eecs.umich.edu } 1545162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 1555162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 1565162Sgblack@eecs.umich.edu default: fidiv(); 1575162Sgblack@eecs.umich.edu } 1585162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 1595162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 1605162Sgblack@eecs.umich.edu default: fidivr(); 1615162Sgblack@eecs.umich.edu } 1624825Sgblack@eecs.umich.edu } 1635162Sgblack@eecs.umich.edu //0x3: esc3(); 1645162Sgblack@eecs.umich.edu 0x3: decode MODRM_REG { 1655162Sgblack@eecs.umich.edu 0x0: decode MODRM_MOD { 1665162Sgblack@eecs.umich.edu 0x3: fcmovnb(); 1675162Sgblack@eecs.umich.edu default: fild(); 1685162Sgblack@eecs.umich.edu } 1695162Sgblack@eecs.umich.edu 0x1: decode MODRM_MOD { 1705162Sgblack@eecs.umich.edu 0x3: fcmovne(); 1715162Sgblack@eecs.umich.edu default: fisttp(); 1725162Sgblack@eecs.umich.edu } 1735162Sgblack@eecs.umich.edu 0x2: decode MODRM_MOD { 1745162Sgblack@eecs.umich.edu 0x3: fcmovnbe(); 1755162Sgblack@eecs.umich.edu default: fist(); 1765162Sgblack@eecs.umich.edu } 1775162Sgblack@eecs.umich.edu 0x3: decode MODRM_MOD { 1785162Sgblack@eecs.umich.edu 0x3: fcmovnu(); 1795162Sgblack@eecs.umich.edu default: fistp(); 1805162Sgblack@eecs.umich.edu } 1815162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 1825162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 1835162Sgblack@eecs.umich.edu 0x2: fnclex(); 1845162Sgblack@eecs.umich.edu 0x3: fninit(); 1855162Sgblack@eecs.umich.edu default: Inst::UD2(); 1865162Sgblack@eecs.umich.edu } 1874825Sgblack@eecs.umich.edu default: Inst::UD2(); 1884825Sgblack@eecs.umich.edu } 1895162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 1905162Sgblack@eecs.umich.edu 0x3: fucomi(); 1919582Snilay@cs.wisc.edu // 80-bit load 1929894Sandreas@sandberg.pp.se default: Inst::FLD80(M); 1934825Sgblack@eecs.umich.edu } 1945162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 1955162Sgblack@eecs.umich.edu 0x3: fcomi(); 1964825Sgblack@eecs.umich.edu default: Inst::UD2(); 1974825Sgblack@eecs.umich.edu } 1985162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 1995162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2009894Sandreas@sandberg.pp.se default: Inst::FST80P(M); 2015162Sgblack@eecs.umich.edu } 2024825Sgblack@eecs.umich.edu } 2035162Sgblack@eecs.umich.edu //0x4: esc4(); 2045162Sgblack@eecs.umich.edu 0x4: decode MODRM_REG { 2055162Sgblack@eecs.umich.edu 0x0: fadd(); 2065162Sgblack@eecs.umich.edu 0x1: fmul(); 2075162Sgblack@eecs.umich.edu 0x2: decode MODRM_MOD { 2085162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2095162Sgblack@eecs.umich.edu default: fcom(); 2105162Sgblack@eecs.umich.edu } 2115162Sgblack@eecs.umich.edu 0x3: decode MODRM_MOD { 2125162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2135162Sgblack@eecs.umich.edu default: fcomp(); 2145162Sgblack@eecs.umich.edu } 2155162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 2165162Sgblack@eecs.umich.edu 0x3: fsubr(); 2175162Sgblack@eecs.umich.edu default: fsub(); 2185162Sgblack@eecs.umich.edu } 2195162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 2205162Sgblack@eecs.umich.edu 0x3: fsub(); 2215162Sgblack@eecs.umich.edu default: fsubr(); 2225162Sgblack@eecs.umich.edu } 2235162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 2245162Sgblack@eecs.umich.edu 0x3: fdivr(); 2255162Sgblack@eecs.umich.edu default: fdiv(); 2265162Sgblack@eecs.umich.edu } 2275162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 2285162Sgblack@eecs.umich.edu 0x3: fdiv(); 2295162Sgblack@eecs.umich.edu default: fdivr(); 2305162Sgblack@eecs.umich.edu } 2314825Sgblack@eecs.umich.edu } 2325162Sgblack@eecs.umich.edu //0x5: esc5(); 2335162Sgblack@eecs.umich.edu 0x5: decode MODRM_REG { 2345162Sgblack@eecs.umich.edu 0x0: decode MODRM_MOD { 2355162Sgblack@eecs.umich.edu 0x3: ffree(); 2369582Snilay@cs.wisc.edu // 64-bit load 2375162Sgblack@eecs.umich.edu default: Inst::FLD(Mq); 2385162Sgblack@eecs.umich.edu } 2395162Sgblack@eecs.umich.edu 0x1: decode MODRM_MOD { 2405162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2415162Sgblack@eecs.umich.edu default: fisttp(); 2425162Sgblack@eecs.umich.edu } 2436619Sgblack@eecs.umich.edu 0x2: Inst::FST(Eq); 2446619Sgblack@eecs.umich.edu 0x3: Inst::FSTP(Eq); 2455162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 2465162Sgblack@eecs.umich.edu 0x3: fucom(); 2475162Sgblack@eecs.umich.edu default: frstor(); 2485162Sgblack@eecs.umich.edu } 2495162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 2505162Sgblack@eecs.umich.edu 0x3: fucomp(); 2514825Sgblack@eecs.umich.edu default: Inst::UD2(); 2524825Sgblack@eecs.umich.edu } 2535162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 2545162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2555162Sgblack@eecs.umich.edu default: fnsave(); 2565162Sgblack@eecs.umich.edu } 2575162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 2585162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2599372Snilay@cs.wisc.edu default: Inst::FNSTSW(Mw); 2605162Sgblack@eecs.umich.edu } 2614825Sgblack@eecs.umich.edu } 2625162Sgblack@eecs.umich.edu //0x6: esc6(); 2635162Sgblack@eecs.umich.edu 0x6: decode MODRM_REG { 2645162Sgblack@eecs.umich.edu 0x0: decode MODRM_MOD { 2655162Sgblack@eecs.umich.edu 0x3: faddp(); 2665162Sgblack@eecs.umich.edu default: fiadd(); 2675162Sgblack@eecs.umich.edu } 2685162Sgblack@eecs.umich.edu 0x1: decode MODRM_MOD { 2695162Sgblack@eecs.umich.edu 0x3: fmulp(); 2705162Sgblack@eecs.umich.edu default: fimul(); 2715162Sgblack@eecs.umich.edu } 2725162Sgblack@eecs.umich.edu 0x2: decode MODRM_MOD { 2735162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 2745162Sgblack@eecs.umich.edu default: ficom(); 2755162Sgblack@eecs.umich.edu } 2765162Sgblack@eecs.umich.edu 0x3: decode MODRM_MOD { 2775162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 2785162Sgblack@eecs.umich.edu 0x1: fcompp(); 2795162Sgblack@eecs.umich.edu default: Inst::UD2(); 2805162Sgblack@eecs.umich.edu } 2815162Sgblack@eecs.umich.edu default: ficomp(); 2825162Sgblack@eecs.umich.edu } 2835162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 2845162Sgblack@eecs.umich.edu 0x3: fsubrp(); 2855162Sgblack@eecs.umich.edu default: fisub(); 2865162Sgblack@eecs.umich.edu } 2875162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 2885162Sgblack@eecs.umich.edu 0x3: fsubp(); 2895162Sgblack@eecs.umich.edu default: fisubr(); 2905162Sgblack@eecs.umich.edu } 2915162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 2925162Sgblack@eecs.umich.edu 0x3: fdivrp(); 2935162Sgblack@eecs.umich.edu default: fidiv(); 2945162Sgblack@eecs.umich.edu } 2955162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 2965162Sgblack@eecs.umich.edu 0x3: fdivp(); 2975162Sgblack@eecs.umich.edu default: fidivr(); 2985162Sgblack@eecs.umich.edu } 2994825Sgblack@eecs.umich.edu } 3005162Sgblack@eecs.umich.edu //0x7: esc7(); 3015162Sgblack@eecs.umich.edu 0x7: decode MODRM_REG { 3025162Sgblack@eecs.umich.edu 0x0: decode MODRM_MOD { 3038106Sgblack@eecs.umich.edu // The ffreep instruction isn't entirely real. It should work 3048106Sgblack@eecs.umich.edu // the same as ffree but then also pop the register stack. 3058106Sgblack@eecs.umich.edu 0x3: ffreep(); 3065162Sgblack@eecs.umich.edu default: fild(); 3074825Sgblack@eecs.umich.edu } 3085162Sgblack@eecs.umich.edu 0x1: decode MODRM_MOD { 3095162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 3105162Sgblack@eecs.umich.edu default: fisttp(); 3114825Sgblack@eecs.umich.edu } 3125162Sgblack@eecs.umich.edu 0x2: decode MODRM_MOD { 3135162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 3145162Sgblack@eecs.umich.edu default: fist(); 3155162Sgblack@eecs.umich.edu } 3165162Sgblack@eecs.umich.edu 0x3: decode MODRM_MOD { 3175162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 3185162Sgblack@eecs.umich.edu default: fistp(); 3195162Sgblack@eecs.umich.edu } 3205162Sgblack@eecs.umich.edu 0x4: decode MODRM_MOD { 3215162Sgblack@eecs.umich.edu 0x3: decode MODRM_RM { 3229372Snilay@cs.wisc.edu 0x0: Inst::FNSTSW(rAw); 3235162Sgblack@eecs.umich.edu default: Inst::UD2(); 3245162Sgblack@eecs.umich.edu } 3255162Sgblack@eecs.umich.edu default: fbld(); 3265162Sgblack@eecs.umich.edu } 3275162Sgblack@eecs.umich.edu 0x5: decode MODRM_MOD { 3285162Sgblack@eecs.umich.edu 0x3: fucomip(); 3295162Sgblack@eecs.umich.edu default: fild(); 3305162Sgblack@eecs.umich.edu } 3315162Sgblack@eecs.umich.edu 0x6: decode MODRM_MOD { 3325162Sgblack@eecs.umich.edu 0x3: fcomip(); 3335162Sgblack@eecs.umich.edu default: fbstp(); 3345162Sgblack@eecs.umich.edu } 3355162Sgblack@eecs.umich.edu 0x7: decode MODRM_MOD { 3365162Sgblack@eecs.umich.edu 0x3: Inst::UD2(); 3375162Sgblack@eecs.umich.edu default: fistp(); 3385162Sgblack@eecs.umich.edu } 3394825Sgblack@eecs.umich.edu } 3404825Sgblack@eecs.umich.edu } 3414825Sgblack@eecs.umich.edu} 342