fpop.isa revision 7620
15083Sgblack@eecs.umich.edu// Copyright (c) 2007 The Hewlett-Packard Development Company 25083Sgblack@eecs.umich.edu// All rights reserved. 35083Sgblack@eecs.umich.edu// 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. 125083Sgblack@eecs.umich.edu// 137087Snate@binkert.org// Redistribution and use in source and binary forms, with or without 147087Snate@binkert.org// modification, are permitted provided that the following conditions are 157087Snate@binkert.org// met: redistributions of source code must retain the above copyright 167087Snate@binkert.org// notice, this list of conditions and the following disclaimer; 177087Snate@binkert.org// redistributions in binary form must reproduce the above copyright 187087Snate@binkert.org// notice, this list of conditions and the following disclaimer in the 197087Snate@binkert.org// documentation and/or other materials provided with the distribution; 207087Snate@binkert.org// neither the name of the copyright holders nor the names of its 215083Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 227087Snate@binkert.org// this software without specific prior written permission. 235083Sgblack@eecs.umich.edu// 245083Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 255083Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 265083Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 275083Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 285083Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 295083Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 305083Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 315083Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 325083Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 335083Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 345083Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 355083Sgblack@eecs.umich.edu// 365083Sgblack@eecs.umich.edu// Authors: Gabe Black 375083Sgblack@eecs.umich.edu 385083Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 395083Sgblack@eecs.umich.edu// 405083Sgblack@eecs.umich.edu// FpOp Microop templates 415083Sgblack@eecs.umich.edu// 425083Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 435083Sgblack@eecs.umich.edu 445083Sgblack@eecs.umich.edudef template MicroFpOpExecute {{ 455083Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 465083Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 475083Sgblack@eecs.umich.edu { 485083Sgblack@eecs.umich.edu Fault fault = NoFault; 495083Sgblack@eecs.umich.edu 505083Sgblack@eecs.umich.edu DPRINTF(X86, "The data size is %d\n", dataSize); 515083Sgblack@eecs.umich.edu %(op_decl)s; 525083Sgblack@eecs.umich.edu %(op_rd)s; 535083Sgblack@eecs.umich.edu 545083Sgblack@eecs.umich.edu if(%(cond_check)s) 555083Sgblack@eecs.umich.edu { 565083Sgblack@eecs.umich.edu %(code)s; 575083Sgblack@eecs.umich.edu %(flag_code)s; 585083Sgblack@eecs.umich.edu %(top_code)s; 595083Sgblack@eecs.umich.edu } 605083Sgblack@eecs.umich.edu else 615083Sgblack@eecs.umich.edu { 625083Sgblack@eecs.umich.edu %(else_code)s; 635083Sgblack@eecs.umich.edu } 645083Sgblack@eecs.umich.edu 655083Sgblack@eecs.umich.edu //Write the resulting state to the execution context 665083Sgblack@eecs.umich.edu if(fault == NoFault) 675083Sgblack@eecs.umich.edu { 685083Sgblack@eecs.umich.edu %(op_wb)s; 695083Sgblack@eecs.umich.edu } 705083Sgblack@eecs.umich.edu return fault; 715083Sgblack@eecs.umich.edu } 725083Sgblack@eecs.umich.edu}}; 735083Sgblack@eecs.umich.edu 745083Sgblack@eecs.umich.edudef template MicroFpOpDeclare {{ 755083Sgblack@eecs.umich.edu class %(class_name)s : public %(base_class)s 765083Sgblack@eecs.umich.edu { 775083Sgblack@eecs.umich.edu protected: 785083Sgblack@eecs.umich.edu void buildMe(); 795083Sgblack@eecs.umich.edu 805083Sgblack@eecs.umich.edu public: 815083Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, 827620Sgblack@eecs.umich.edu const char * instMnem, uint64_t setFlags, 836345Sgblack@eecs.umich.edu InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest, 845083Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm); 855083Sgblack@eecs.umich.edu 865083Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, 875083Sgblack@eecs.umich.edu const char * instMnem, 886345Sgblack@eecs.umich.edu InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest, 895083Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm); 905083Sgblack@eecs.umich.edu 915083Sgblack@eecs.umich.edu %(BasicExecDeclare)s 925083Sgblack@eecs.umich.edu }; 935083Sgblack@eecs.umich.edu}}; 945083Sgblack@eecs.umich.edu 955083Sgblack@eecs.umich.edudef template MicroFpOpConstructor {{ 965083Sgblack@eecs.umich.edu 975083Sgblack@eecs.umich.edu inline void %(class_name)s::buildMe() 985083Sgblack@eecs.umich.edu { 995083Sgblack@eecs.umich.edu %(constructor)s; 1005083Sgblack@eecs.umich.edu } 1015083Sgblack@eecs.umich.edu 1025083Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1035083Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1046345Sgblack@eecs.umich.edu InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest, 1055083Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm) : 1067620Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, 0, 1075083Sgblack@eecs.umich.edu _src1, _src2, _dest, _dataSize, _spm, 1085083Sgblack@eecs.umich.edu %(op_class)s) 1095083Sgblack@eecs.umich.edu { 1105083Sgblack@eecs.umich.edu buildMe(); 1115083Sgblack@eecs.umich.edu } 1125083Sgblack@eecs.umich.edu 1135083Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1147620Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, uint64_t setFlags, 1156345Sgblack@eecs.umich.edu InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest, 1165083Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm) : 1177620Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, setFlags, 1185083Sgblack@eecs.umich.edu _src1, _src2, _dest, _dataSize, _spm, 1195083Sgblack@eecs.umich.edu %(op_class)s) 1205083Sgblack@eecs.umich.edu { 1215083Sgblack@eecs.umich.edu buildMe(); 1225083Sgblack@eecs.umich.edu } 1235083Sgblack@eecs.umich.edu}}; 1245083Sgblack@eecs.umich.edu 1255083Sgblack@eecs.umich.edulet {{ 1265083Sgblack@eecs.umich.edu # Make these empty strings so that concatenating onto 1275083Sgblack@eecs.umich.edu # them will always work. 1285083Sgblack@eecs.umich.edu header_output = "" 1295083Sgblack@eecs.umich.edu decoder_output = "" 1305083Sgblack@eecs.umich.edu exec_output = "" 1315083Sgblack@eecs.umich.edu 1325083Sgblack@eecs.umich.edu class FpOpMeta(type): 1335083Sgblack@eecs.umich.edu def buildCppClasses(self, name, Name, suffix, \ 1345083Sgblack@eecs.umich.edu code, flag_code, cond_check, else_code): 1355083Sgblack@eecs.umich.edu 1365083Sgblack@eecs.umich.edu # Globals to stick the output in 1375083Sgblack@eecs.umich.edu global header_output 1385083Sgblack@eecs.umich.edu global decoder_output 1395083Sgblack@eecs.umich.edu global exec_output 1405083Sgblack@eecs.umich.edu 1415083Sgblack@eecs.umich.edu # Stick all the code together so it can be searched at once 1425083Sgblack@eecs.umich.edu allCode = "|".join((code, flag_code, cond_check, else_code)) 1435083Sgblack@eecs.umich.edu 1445083Sgblack@eecs.umich.edu # If there's something optional to do with flags, generate 1455083Sgblack@eecs.umich.edu # a version without it and fix up this version to use it. 1465083Sgblack@eecs.umich.edu if flag_code is not "" or cond_check is not "true": 1475083Sgblack@eecs.umich.edu self.buildCppClasses(name, Name, suffix, 1485083Sgblack@eecs.umich.edu code, "", "true", else_code) 1495083Sgblack@eecs.umich.edu suffix = "Flags" + suffix 1505083Sgblack@eecs.umich.edu 1515083Sgblack@eecs.umich.edu base = "X86ISA::FpOp" 1525083Sgblack@eecs.umich.edu 1535083Sgblack@eecs.umich.edu # Get everything ready for the substitution 1545083Sgblack@eecs.umich.edu iop_top = InstObjParams(name, Name + suffix + "Top", base, 1555083Sgblack@eecs.umich.edu {"code" : code, 1565083Sgblack@eecs.umich.edu "flag_code" : flag_code, 1575083Sgblack@eecs.umich.edu "cond_check" : cond_check, 1585083Sgblack@eecs.umich.edu "else_code" : else_code, 1595083Sgblack@eecs.umich.edu "top_code" : "TOP = (TOP + spm + 8) % 8;"}) 1605083Sgblack@eecs.umich.edu iop = InstObjParams(name, Name + suffix, base, 1615083Sgblack@eecs.umich.edu {"code" : code, 1625083Sgblack@eecs.umich.edu "flag_code" : flag_code, 1635083Sgblack@eecs.umich.edu "cond_check" : cond_check, 1645083Sgblack@eecs.umich.edu "else_code" : else_code, 1655083Sgblack@eecs.umich.edu "top_code" : ";"}) 1665083Sgblack@eecs.umich.edu 1675083Sgblack@eecs.umich.edu # Generate the actual code (finally!) 1685083Sgblack@eecs.umich.edu header_output += MicroFpOpDeclare.subst(iop_top) 1695083Sgblack@eecs.umich.edu decoder_output += MicroFpOpConstructor.subst(iop_top) 1705083Sgblack@eecs.umich.edu exec_output += MicroFpOpExecute.subst(iop_top) 1715083Sgblack@eecs.umich.edu header_output += MicroFpOpDeclare.subst(iop) 1725083Sgblack@eecs.umich.edu decoder_output += MicroFpOpConstructor.subst(iop) 1735083Sgblack@eecs.umich.edu exec_output += MicroFpOpExecute.subst(iop) 1745083Sgblack@eecs.umich.edu 1755083Sgblack@eecs.umich.edu 1765083Sgblack@eecs.umich.edu def __new__(mcls, Name, bases, dict): 1775083Sgblack@eecs.umich.edu abstract = False 1785083Sgblack@eecs.umich.edu name = Name.lower() 1795083Sgblack@eecs.umich.edu if "abstract" in dict: 1805083Sgblack@eecs.umich.edu abstract = dict['abstract'] 1815083Sgblack@eecs.umich.edu del dict['abstract'] 1825083Sgblack@eecs.umich.edu 1835083Sgblack@eecs.umich.edu cls = super(FpOpMeta, mcls).__new__(mcls, Name, bases, dict) 1845083Sgblack@eecs.umich.edu if not abstract: 1855083Sgblack@eecs.umich.edu cls.className = Name 1865083Sgblack@eecs.umich.edu cls.mnemonic = name 1875083Sgblack@eecs.umich.edu code = cls.code 1885083Sgblack@eecs.umich.edu flag_code = cls.flag_code 1895083Sgblack@eecs.umich.edu cond_check = cls.cond_check 1905083Sgblack@eecs.umich.edu else_code = cls.else_code 1915083Sgblack@eecs.umich.edu 1925083Sgblack@eecs.umich.edu # Set up the C++ classes 1935083Sgblack@eecs.umich.edu mcls.buildCppClasses(cls, name, Name, "", 1945083Sgblack@eecs.umich.edu code, flag_code, cond_check, else_code) 1955083Sgblack@eecs.umich.edu 1965083Sgblack@eecs.umich.edu # Hook into the microassembler dict 1975083Sgblack@eecs.umich.edu global microopClasses 1985083Sgblack@eecs.umich.edu microopClasses[name] = cls 1995083Sgblack@eecs.umich.edu 2005083Sgblack@eecs.umich.edu return cls 2015083Sgblack@eecs.umich.edu 2025083Sgblack@eecs.umich.edu 2035083Sgblack@eecs.umich.edu class FpOp(X86Microop): 2045083Sgblack@eecs.umich.edu __metaclass__ = FpOpMeta 2055083Sgblack@eecs.umich.edu # This class itself doesn't act as a microop 2065083Sgblack@eecs.umich.edu abstract = True 2075083Sgblack@eecs.umich.edu 2085083Sgblack@eecs.umich.edu # Default template parameter values 2095083Sgblack@eecs.umich.edu flag_code = "" 2105083Sgblack@eecs.umich.edu cond_check = "true" 2115083Sgblack@eecs.umich.edu else_code = ";" 2125083Sgblack@eecs.umich.edu 2135083Sgblack@eecs.umich.edu def __init__(self, dest, src1, src2, spm=0, \ 2145083Sgblack@eecs.umich.edu SetStatus=False, dataSize="env.dataSize"): 2155083Sgblack@eecs.umich.edu self.dest = dest 2165083Sgblack@eecs.umich.edu self.src1 = src1 2175083Sgblack@eecs.umich.edu self.src2 = src2 2185083Sgblack@eecs.umich.edu self.spm = spm 2195083Sgblack@eecs.umich.edu self.dataSize = dataSize 2205083Sgblack@eecs.umich.edu if SetStatus: 2215083Sgblack@eecs.umich.edu self.className += "Flags" 2225083Sgblack@eecs.umich.edu if spm: 2235083Sgblack@eecs.umich.edu self.className += "Top" 2245083Sgblack@eecs.umich.edu 2257620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 2267620Sgblack@eecs.umich.edu return '''new %(class_name)s(machInst, macrocodeBlock, 2275083Sgblack@eecs.umich.edu %(flags)s, %(src1)s, %(src2)s, %(dest)s, 2285083Sgblack@eecs.umich.edu %(dataSize)s, %(spm)d)''' % { 2295083Sgblack@eecs.umich.edu "class_name" : self.className, 2305083Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 2315083Sgblack@eecs.umich.edu "src1" : self.src1, "src2" : self.src2, 2325083Sgblack@eecs.umich.edu "dest" : self.dest, 2335083Sgblack@eecs.umich.edu "dataSize" : self.dataSize, 2345083Sgblack@eecs.umich.edu "spm" : self.spm} 2355083Sgblack@eecs.umich.edu 2365083Sgblack@eecs.umich.edu class Movfp(FpOp): 2376345Sgblack@eecs.umich.edu def __init__(self, dest, src1, spm=0, \ 2385083Sgblack@eecs.umich.edu SetStatus=False, dataSize="env.dataSize"): 2396345Sgblack@eecs.umich.edu super(Movfp, self).__init__(dest, src1, "InstRegIndex(0)", \ 2405083Sgblack@eecs.umich.edu spm, SetStatus, dataSize) 2415122Sgblack@eecs.umich.edu code = 'FpDestReg.uqw = FpSrcReg1.uqw;' 2425083Sgblack@eecs.umich.edu else_code = 'FpDestReg.uqw = FpDestReg.uqw;' 2435083Sgblack@eecs.umich.edu cond_check = "checkCondition(ccFlagBits, src2)" 2445083Sgblack@eecs.umich.edu 2455083Sgblack@eecs.umich.edu class Xorfp(FpOp): 2465083Sgblack@eecs.umich.edu code = 'FpDestReg.uqw = FpSrcReg1.uqw ^ FpSrcReg2.uqw;' 2475083Sgblack@eecs.umich.edu 2485083Sgblack@eecs.umich.edu class Sqrtfp(FpOp): 2495083Sgblack@eecs.umich.edu code = 'FpDestReg = sqrt(FpSrcReg2);' 2505083Sgblack@eecs.umich.edu 2515083Sgblack@eecs.umich.edu # Conversion microops 2525083Sgblack@eecs.umich.edu class ConvOp(FpOp): 2535083Sgblack@eecs.umich.edu abstract = True 2545083Sgblack@eecs.umich.edu def __init__(self, dest, src1): 2556345Sgblack@eecs.umich.edu super(ConvOp, self).__init__(dest, src1, \ 2566345Sgblack@eecs.umich.edu "InstRegIndex(FLOATREG_MICROFP0)") 2575083Sgblack@eecs.umich.edu 2585083Sgblack@eecs.umich.edu # These probably shouldn't look at the ExtMachInst directly to figure 2595083Sgblack@eecs.umich.edu # out what size to use and should instead delegate that to the macroop's 2605083Sgblack@eecs.umich.edu # constructor. That would be more efficient, and it would make the 2615083Sgblack@eecs.umich.edu # microops a little more modular. 2625083Sgblack@eecs.umich.edu class cvtf_i2d(ConvOp): 2635083Sgblack@eecs.umich.edu code = ''' 2645083Sgblack@eecs.umich.edu X86IntReg intReg = SSrcReg1; 2655083Sgblack@eecs.umich.edu if (REX_W) 2665083Sgblack@eecs.umich.edu FpDestReg = intReg.SR; 2675083Sgblack@eecs.umich.edu else 2685083Sgblack@eecs.umich.edu FpDestReg = intReg.SE; 2695083Sgblack@eecs.umich.edu ''' 2705083Sgblack@eecs.umich.edu 2715083Sgblack@eecs.umich.edu class cvtf_i2d_hi(ConvOp): 2725083Sgblack@eecs.umich.edu code = 'FpDestReg = bits(SSrcReg1, 63, 32);' 2735083Sgblack@eecs.umich.edu 2745083Sgblack@eecs.umich.edu class cvtf_d2i(ConvOp): 2755083Sgblack@eecs.umich.edu code = ''' 2765083Sgblack@eecs.umich.edu int64_t intSrcReg1 = static_cast<int64_t>(FpSrcReg1); 2775083Sgblack@eecs.umich.edu if (REX_W) 2785083Sgblack@eecs.umich.edu SDestReg = intSrcReg1; 2795083Sgblack@eecs.umich.edu else 2805083Sgblack@eecs.umich.edu SDestReg = merge(SDestReg, intSrcReg1, 4); 2815083Sgblack@eecs.umich.edu ''' 2825083Sgblack@eecs.umich.edu 2835083Sgblack@eecs.umich.edu # These need to consider size at some point. They'll always use doubles 2845083Sgblack@eecs.umich.edu # for the moment. 2855083Sgblack@eecs.umich.edu class addfp(FpOp): 2865083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 + FpSrcReg2;' 2875083Sgblack@eecs.umich.edu 2885083Sgblack@eecs.umich.edu class mulfp(FpOp): 2895083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 * FpSrcReg2;' 2905083Sgblack@eecs.umich.edu 2915083Sgblack@eecs.umich.edu class divfp(FpOp): 2925083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 / FpSrcReg2;' 2935083Sgblack@eecs.umich.edu 2945083Sgblack@eecs.umich.edu class subfp(FpOp): 2955083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 - FpSrcReg2;' 2965083Sgblack@eecs.umich.edu 2975083Sgblack@eecs.umich.edu class Compfp(FpOp): 2985083Sgblack@eecs.umich.edu def __init__(self, src1, src2, spm=0, setStatus=False, \ 2995083Sgblack@eecs.umich.edu dataSize="env.dataSize"): 3006345Sgblack@eecs.umich.edu super(Compfp, self).__init__("InstRegIndex(FLOATREG_MICROFP0)", \ 3015083Sgblack@eecs.umich.edu src1, src2, spm, setStatus, dataSize) 3025083Sgblack@eecs.umich.edu # This class sets the condition codes in rflags according to the 3035083Sgblack@eecs.umich.edu # rules for comparing floating point. 3045083Sgblack@eecs.umich.edu code = ''' 3055083Sgblack@eecs.umich.edu // ZF PF CF 3065083Sgblack@eecs.umich.edu // Unordered 1 1 1 3075083Sgblack@eecs.umich.edu // Greater than 0 0 0 3085083Sgblack@eecs.umich.edu // Less than 0 0 1 3095083Sgblack@eecs.umich.edu // Equal 1 0 0 3105083Sgblack@eecs.umich.edu // OF = SF = AF = 0 3115083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits & ~(OFBit | SFBit | AFBit | 3125083Sgblack@eecs.umich.edu ZFBit | PFBit | CFBit); 3135083Sgblack@eecs.umich.edu if (isnan(FpSrcReg1) || isnan(FpSrcReg2)) 3145083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits | (ZFBit | PFBit | CFBit); 3155083Sgblack@eecs.umich.edu else if(FpSrcReg1 < FpSrcReg2) 3165083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits | CFBit; 3175083Sgblack@eecs.umich.edu else if(FpSrcReg1 == FpSrcReg2) 3185083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits | ZFBit; 3195083Sgblack@eecs.umich.edu ''' 3205083Sgblack@eecs.umich.edu}}; 321