fpop.isa revision 8588
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 public: 785083Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, 797620Sgblack@eecs.umich.edu const char * instMnem, uint64_t setFlags, 806345Sgblack@eecs.umich.edu InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest, 815083Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm); 825083Sgblack@eecs.umich.edu 835083Sgblack@eecs.umich.edu %(BasicExecDeclare)s 845083Sgblack@eecs.umich.edu }; 855083Sgblack@eecs.umich.edu}}; 865083Sgblack@eecs.umich.edu 875083Sgblack@eecs.umich.edudef template MicroFpOpConstructor {{ 885083Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 897620Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, uint64_t setFlags, 906345Sgblack@eecs.umich.edu InstRegIndex _src1, InstRegIndex _src2, InstRegIndex _dest, 915083Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm) : 927620Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, setFlags, 935083Sgblack@eecs.umich.edu _src1, _src2, _dest, _dataSize, _spm, 945083Sgblack@eecs.umich.edu %(op_class)s) 955083Sgblack@eecs.umich.edu { 967626Sgblack@eecs.umich.edu %(constructor)s; 975083Sgblack@eecs.umich.edu } 985083Sgblack@eecs.umich.edu}}; 995083Sgblack@eecs.umich.edu 1005083Sgblack@eecs.umich.edulet {{ 1015083Sgblack@eecs.umich.edu # Make these empty strings so that concatenating onto 1025083Sgblack@eecs.umich.edu # them will always work. 1035083Sgblack@eecs.umich.edu header_output = "" 1045083Sgblack@eecs.umich.edu decoder_output = "" 1055083Sgblack@eecs.umich.edu exec_output = "" 1065083Sgblack@eecs.umich.edu 1075083Sgblack@eecs.umich.edu class FpOpMeta(type): 1085083Sgblack@eecs.umich.edu def buildCppClasses(self, name, Name, suffix, \ 1095083Sgblack@eecs.umich.edu code, flag_code, cond_check, else_code): 1105083Sgblack@eecs.umich.edu 1115083Sgblack@eecs.umich.edu # Globals to stick the output in 1125083Sgblack@eecs.umich.edu global header_output 1135083Sgblack@eecs.umich.edu global decoder_output 1145083Sgblack@eecs.umich.edu global exec_output 1155083Sgblack@eecs.umich.edu 1165083Sgblack@eecs.umich.edu # Stick all the code together so it can be searched at once 1175083Sgblack@eecs.umich.edu allCode = "|".join((code, flag_code, cond_check, else_code)) 1185083Sgblack@eecs.umich.edu 1195083Sgblack@eecs.umich.edu # If there's something optional to do with flags, generate 1205083Sgblack@eecs.umich.edu # a version without it and fix up this version to use it. 1215083Sgblack@eecs.umich.edu if flag_code is not "" or cond_check is not "true": 1225083Sgblack@eecs.umich.edu self.buildCppClasses(name, Name, suffix, 1235083Sgblack@eecs.umich.edu code, "", "true", else_code) 1245083Sgblack@eecs.umich.edu suffix = "Flags" + suffix 1255083Sgblack@eecs.umich.edu 1265083Sgblack@eecs.umich.edu base = "X86ISA::FpOp" 1275083Sgblack@eecs.umich.edu 1285083Sgblack@eecs.umich.edu # Get everything ready for the substitution 1295083Sgblack@eecs.umich.edu iop_top = InstObjParams(name, Name + suffix + "Top", base, 1305083Sgblack@eecs.umich.edu {"code" : code, 1315083Sgblack@eecs.umich.edu "flag_code" : flag_code, 1325083Sgblack@eecs.umich.edu "cond_check" : cond_check, 1335083Sgblack@eecs.umich.edu "else_code" : else_code, 1345083Sgblack@eecs.umich.edu "top_code" : "TOP = (TOP + spm + 8) % 8;"}) 1355083Sgblack@eecs.umich.edu iop = InstObjParams(name, Name + suffix, base, 1365083Sgblack@eecs.umich.edu {"code" : code, 1375083Sgblack@eecs.umich.edu "flag_code" : flag_code, 1385083Sgblack@eecs.umich.edu "cond_check" : cond_check, 1395083Sgblack@eecs.umich.edu "else_code" : else_code, 1405083Sgblack@eecs.umich.edu "top_code" : ";"}) 1415083Sgblack@eecs.umich.edu 1425083Sgblack@eecs.umich.edu # Generate the actual code (finally!) 1435083Sgblack@eecs.umich.edu header_output += MicroFpOpDeclare.subst(iop_top) 1445083Sgblack@eecs.umich.edu decoder_output += MicroFpOpConstructor.subst(iop_top) 1455083Sgblack@eecs.umich.edu exec_output += MicroFpOpExecute.subst(iop_top) 1465083Sgblack@eecs.umich.edu header_output += MicroFpOpDeclare.subst(iop) 1475083Sgblack@eecs.umich.edu decoder_output += MicroFpOpConstructor.subst(iop) 1485083Sgblack@eecs.umich.edu exec_output += MicroFpOpExecute.subst(iop) 1495083Sgblack@eecs.umich.edu 1505083Sgblack@eecs.umich.edu 1515083Sgblack@eecs.umich.edu def __new__(mcls, Name, bases, dict): 1525083Sgblack@eecs.umich.edu abstract = False 1535083Sgblack@eecs.umich.edu name = Name.lower() 1545083Sgblack@eecs.umich.edu if "abstract" in dict: 1555083Sgblack@eecs.umich.edu abstract = dict['abstract'] 1565083Sgblack@eecs.umich.edu del dict['abstract'] 1575083Sgblack@eecs.umich.edu 1585083Sgblack@eecs.umich.edu cls = super(FpOpMeta, mcls).__new__(mcls, Name, bases, dict) 1595083Sgblack@eecs.umich.edu if not abstract: 1605083Sgblack@eecs.umich.edu cls.className = Name 1615083Sgblack@eecs.umich.edu cls.mnemonic = name 1625083Sgblack@eecs.umich.edu code = cls.code 1635083Sgblack@eecs.umich.edu flag_code = cls.flag_code 1645083Sgblack@eecs.umich.edu cond_check = cls.cond_check 1655083Sgblack@eecs.umich.edu else_code = cls.else_code 1665083Sgblack@eecs.umich.edu 1675083Sgblack@eecs.umich.edu # Set up the C++ classes 1685083Sgblack@eecs.umich.edu mcls.buildCppClasses(cls, name, Name, "", 1695083Sgblack@eecs.umich.edu code, flag_code, cond_check, else_code) 1705083Sgblack@eecs.umich.edu 1715083Sgblack@eecs.umich.edu # Hook into the microassembler dict 1725083Sgblack@eecs.umich.edu global microopClasses 1735083Sgblack@eecs.umich.edu microopClasses[name] = cls 1745083Sgblack@eecs.umich.edu 1755083Sgblack@eecs.umich.edu return cls 1765083Sgblack@eecs.umich.edu 1775083Sgblack@eecs.umich.edu 1785083Sgblack@eecs.umich.edu class FpOp(X86Microop): 1795083Sgblack@eecs.umich.edu __metaclass__ = FpOpMeta 1805083Sgblack@eecs.umich.edu # This class itself doesn't act as a microop 1815083Sgblack@eecs.umich.edu abstract = True 1825083Sgblack@eecs.umich.edu 1835083Sgblack@eecs.umich.edu # Default template parameter values 1845083Sgblack@eecs.umich.edu flag_code = "" 1855083Sgblack@eecs.umich.edu cond_check = "true" 1865083Sgblack@eecs.umich.edu else_code = ";" 1875083Sgblack@eecs.umich.edu 1885083Sgblack@eecs.umich.edu def __init__(self, dest, src1, src2, spm=0, \ 1895083Sgblack@eecs.umich.edu SetStatus=False, dataSize="env.dataSize"): 1905083Sgblack@eecs.umich.edu self.dest = dest 1915083Sgblack@eecs.umich.edu self.src1 = src1 1925083Sgblack@eecs.umich.edu self.src2 = src2 1935083Sgblack@eecs.umich.edu self.spm = spm 1945083Sgblack@eecs.umich.edu self.dataSize = dataSize 1955083Sgblack@eecs.umich.edu if SetStatus: 1965083Sgblack@eecs.umich.edu self.className += "Flags" 1975083Sgblack@eecs.umich.edu if spm: 1985083Sgblack@eecs.umich.edu self.className += "Top" 1995083Sgblack@eecs.umich.edu 2007620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 2017620Sgblack@eecs.umich.edu return '''new %(class_name)s(machInst, macrocodeBlock, 2025083Sgblack@eecs.umich.edu %(flags)s, %(src1)s, %(src2)s, %(dest)s, 2035083Sgblack@eecs.umich.edu %(dataSize)s, %(spm)d)''' % { 2045083Sgblack@eecs.umich.edu "class_name" : self.className, 2055083Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 2065083Sgblack@eecs.umich.edu "src1" : self.src1, "src2" : self.src2, 2075083Sgblack@eecs.umich.edu "dest" : self.dest, 2085083Sgblack@eecs.umich.edu "dataSize" : self.dataSize, 2095083Sgblack@eecs.umich.edu "spm" : self.spm} 2105083Sgblack@eecs.umich.edu 2115083Sgblack@eecs.umich.edu class Movfp(FpOp): 2126345Sgblack@eecs.umich.edu def __init__(self, dest, src1, spm=0, \ 2135083Sgblack@eecs.umich.edu SetStatus=False, dataSize="env.dataSize"): 2146345Sgblack@eecs.umich.edu super(Movfp, self).__init__(dest, src1, "InstRegIndex(0)", \ 2155083Sgblack@eecs.umich.edu spm, SetStatus, dataSize) 2168588Sgblack@eecs.umich.edu code = 'FpDestReg_uqw = FpSrcReg1_uqw;' 2178588Sgblack@eecs.umich.edu else_code = 'FpDestReg_uqw = FpDestReg_uqw;' 2185083Sgblack@eecs.umich.edu cond_check = "checkCondition(ccFlagBits, src2)" 2195083Sgblack@eecs.umich.edu 2205083Sgblack@eecs.umich.edu class Xorfp(FpOp): 2218588Sgblack@eecs.umich.edu code = 'FpDestReg_uqw = FpSrcReg1_uqw ^ FpSrcReg2_uqw;' 2225083Sgblack@eecs.umich.edu 2235083Sgblack@eecs.umich.edu class Sqrtfp(FpOp): 2245083Sgblack@eecs.umich.edu code = 'FpDestReg = sqrt(FpSrcReg2);' 2255083Sgblack@eecs.umich.edu 2265083Sgblack@eecs.umich.edu # Conversion microops 2275083Sgblack@eecs.umich.edu class ConvOp(FpOp): 2285083Sgblack@eecs.umich.edu abstract = True 2295083Sgblack@eecs.umich.edu def __init__(self, dest, src1): 2306345Sgblack@eecs.umich.edu super(ConvOp, self).__init__(dest, src1, \ 2316345Sgblack@eecs.umich.edu "InstRegIndex(FLOATREG_MICROFP0)") 2325083Sgblack@eecs.umich.edu 2335083Sgblack@eecs.umich.edu # These probably shouldn't look at the ExtMachInst directly to figure 2345083Sgblack@eecs.umich.edu # out what size to use and should instead delegate that to the macroop's 2355083Sgblack@eecs.umich.edu # constructor. That would be more efficient, and it would make the 2365083Sgblack@eecs.umich.edu # microops a little more modular. 2375083Sgblack@eecs.umich.edu class cvtf_i2d(ConvOp): 2385083Sgblack@eecs.umich.edu code = ''' 2395083Sgblack@eecs.umich.edu X86IntReg intReg = SSrcReg1; 2405083Sgblack@eecs.umich.edu if (REX_W) 2415083Sgblack@eecs.umich.edu FpDestReg = intReg.SR; 2425083Sgblack@eecs.umich.edu else 2435083Sgblack@eecs.umich.edu FpDestReg = intReg.SE; 2445083Sgblack@eecs.umich.edu ''' 2455083Sgblack@eecs.umich.edu 2465083Sgblack@eecs.umich.edu class cvtf_i2d_hi(ConvOp): 2475083Sgblack@eecs.umich.edu code = 'FpDestReg = bits(SSrcReg1, 63, 32);' 2485083Sgblack@eecs.umich.edu 2495083Sgblack@eecs.umich.edu class cvtf_d2i(ConvOp): 2505083Sgblack@eecs.umich.edu code = ''' 2515083Sgblack@eecs.umich.edu int64_t intSrcReg1 = static_cast<int64_t>(FpSrcReg1); 2525083Sgblack@eecs.umich.edu if (REX_W) 2535083Sgblack@eecs.umich.edu SDestReg = intSrcReg1; 2545083Sgblack@eecs.umich.edu else 2555083Sgblack@eecs.umich.edu SDestReg = merge(SDestReg, intSrcReg1, 4); 2565083Sgblack@eecs.umich.edu ''' 2575083Sgblack@eecs.umich.edu 2585083Sgblack@eecs.umich.edu # These need to consider size at some point. They'll always use doubles 2595083Sgblack@eecs.umich.edu # for the moment. 2605083Sgblack@eecs.umich.edu class addfp(FpOp): 2615083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 + FpSrcReg2;' 2625083Sgblack@eecs.umich.edu 2635083Sgblack@eecs.umich.edu class mulfp(FpOp): 2645083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 * FpSrcReg2;' 2655083Sgblack@eecs.umich.edu 2665083Sgblack@eecs.umich.edu class divfp(FpOp): 2675083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 / FpSrcReg2;' 2685083Sgblack@eecs.umich.edu 2695083Sgblack@eecs.umich.edu class subfp(FpOp): 2705083Sgblack@eecs.umich.edu code = 'FpDestReg = FpSrcReg1 - FpSrcReg2;' 2715083Sgblack@eecs.umich.edu 2725083Sgblack@eecs.umich.edu class Compfp(FpOp): 2735083Sgblack@eecs.umich.edu def __init__(self, src1, src2, spm=0, setStatus=False, \ 2745083Sgblack@eecs.umich.edu dataSize="env.dataSize"): 2756345Sgblack@eecs.umich.edu super(Compfp, self).__init__("InstRegIndex(FLOATREG_MICROFP0)", \ 2765083Sgblack@eecs.umich.edu src1, src2, spm, setStatus, dataSize) 2775083Sgblack@eecs.umich.edu # This class sets the condition codes in rflags according to the 2785083Sgblack@eecs.umich.edu # rules for comparing floating point. 2795083Sgblack@eecs.umich.edu code = ''' 2805083Sgblack@eecs.umich.edu // ZF PF CF 2815083Sgblack@eecs.umich.edu // Unordered 1 1 1 2825083Sgblack@eecs.umich.edu // Greater than 0 0 0 2835083Sgblack@eecs.umich.edu // Less than 0 0 1 2845083Sgblack@eecs.umich.edu // Equal 1 0 0 2855083Sgblack@eecs.umich.edu // OF = SF = AF = 0 2865083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits & ~(OFBit | SFBit | AFBit | 2875083Sgblack@eecs.umich.edu ZFBit | PFBit | CFBit); 2885083Sgblack@eecs.umich.edu if (isnan(FpSrcReg1) || isnan(FpSrcReg2)) 2895083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits | (ZFBit | PFBit | CFBit); 2905083Sgblack@eecs.umich.edu else if(FpSrcReg1 < FpSrcReg2) 2915083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits | CFBit; 2925083Sgblack@eecs.umich.edu else if(FpSrcReg1 == FpSrcReg2) 2935083Sgblack@eecs.umich.edu ccFlagBits = ccFlagBits | ZFBit; 2945083Sgblack@eecs.umich.edu ''' 2955083Sgblack@eecs.umich.edu}}; 296