fpop.isa revision 5083:49559a8060e8
15661Sgblack@eecs.umich.edu// Copyright (c) 2007 The Hewlett-Packard Development Company 25661Sgblack@eecs.umich.edu// All rights reserved. 35661Sgblack@eecs.umich.edu// 47087Snate@binkert.org// Redistribution and use of this software in source and binary forms, 57087Snate@binkert.org// with or without modification, are permitted provided that the 67087Snate@binkert.org// following conditions are met: 77087Snate@binkert.org// 87087Snate@binkert.org// The software must be used only for Non-Commercial Use which means any 97087Snate@binkert.org// use which is NOT directed to receiving any direct monetary 107087Snate@binkert.org// compensation for, or commercial advantage from such use. Illustrative 117087Snate@binkert.org// examples of non-commercial use are academic research, personal study, 125661Sgblack@eecs.umich.edu// teaching, education and corporate research & development. 137087Snate@binkert.org// Illustrative examples of commercial use are distributing products for 147087Snate@binkert.org// commercial advantage and providing services using the software for 157087Snate@binkert.org// commercial advantage. 167087Snate@binkert.org// 177087Snate@binkert.org// If you wish to use this software or functionality therein that may be 187087Snate@binkert.org// covered by patents for commercial use, please contact: 197087Snate@binkert.org// Director of Intellectual Property Licensing 207087Snate@binkert.org// Office of Strategy and Technology 215661Sgblack@eecs.umich.edu// Hewlett-Packard Company 227087Snate@binkert.org// 1501 Page Mill Road 235661Sgblack@eecs.umich.edu// Palo Alto, California 94304 245661Sgblack@eecs.umich.edu// 255661Sgblack@eecs.umich.edu// Redistributions of source code must retain the above copyright notice, 265661Sgblack@eecs.umich.edu// this list of conditions and the following disclaimer. Redistributions 275661Sgblack@eecs.umich.edu// in binary form must reproduce the above copyright notice, this list of 285661Sgblack@eecs.umich.edu// conditions and the following disclaimer in the documentation and/or 295661Sgblack@eecs.umich.edu// other materials provided with the distribution. Neither the name of 305661Sgblack@eecs.umich.edu// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 315661Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 325661Sgblack@eecs.umich.edu// this software without specific prior written permission. No right of 335661Sgblack@eecs.umich.edu// sublicense is granted herewith. Derivatives of the software and 345661Sgblack@eecs.umich.edu// output created using the software may be prepared, but only for 355661Sgblack@eecs.umich.edu// Non-Commercial Uses. Derivatives of the software may be shared with 365661Sgblack@eecs.umich.edu// others provided: (i) the others agree to abide by the list of 375661Sgblack@eecs.umich.edu// conditions herein which includes the Non-Commercial Use restrictions; 385661Sgblack@eecs.umich.edu// and (ii) such Derivatives of the software include the above copyright 395661Sgblack@eecs.umich.edu// notice to acknowledge the contribution from this software where 405661Sgblack@eecs.umich.edu// applicable, this list of conditions and the disclaimer below. 415661Sgblack@eecs.umich.edu// 425661Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 435661Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 445661Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 455661Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 465661Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 477620Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 485661Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 495661Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 505661Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 515661Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 525661Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 535661Sgblack@eecs.umich.edu// 545661Sgblack@eecs.umich.edu// Authors: Gabe Black 555661Sgblack@eecs.umich.edu 565661Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 575661Sgblack@eecs.umich.edu// 585661Sgblack@eecs.umich.edu// FpOp Microop templates 595661Sgblack@eecs.umich.edu// 605661Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 615661Sgblack@eecs.umich.edu 625661Sgblack@eecs.umich.edudef template MicroFpOpExecute {{ 635661Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 647620Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 655661Sgblack@eecs.umich.edu { 665661Sgblack@eecs.umich.edu Fault fault = NoFault; 675661Sgblack@eecs.umich.edu 685661Sgblack@eecs.umich.edu DPRINTF(X86, "The data size is %d\n", dataSize); 695661Sgblack@eecs.umich.edu %(op_decl)s; 705661Sgblack@eecs.umich.edu %(op_rd)s; 715661Sgblack@eecs.umich.edu 725661Sgblack@eecs.umich.edu if(%(cond_check)s) 735661Sgblack@eecs.umich.edu { 745661Sgblack@eecs.umich.edu %(code)s; 755661Sgblack@eecs.umich.edu %(flag_code)s; 765661Sgblack@eecs.umich.edu %(top_code)s; 775661Sgblack@eecs.umich.edu } 785661Sgblack@eecs.umich.edu else 795661Sgblack@eecs.umich.edu { 805661Sgblack@eecs.umich.edu %(else_code)s; 815661Sgblack@eecs.umich.edu } 825661Sgblack@eecs.umich.edu 835661Sgblack@eecs.umich.edu //Write the resulting state to the execution context 845661Sgblack@eecs.umich.edu if(fault == NoFault) 855661Sgblack@eecs.umich.edu { 865661Sgblack@eecs.umich.edu %(op_wb)s; 875661Sgblack@eecs.umich.edu } 885661Sgblack@eecs.umich.edu return fault; 897620Sgblack@eecs.umich.edu } 907620Sgblack@eecs.umich.edu}}; 915661Sgblack@eecs.umich.edu 925661Sgblack@eecs.umich.edudef template MicroFpOpDeclare {{ 935661Sgblack@eecs.umich.edu class %(class_name)s : public %(base_class)s 945661Sgblack@eecs.umich.edu { 955661Sgblack@eecs.umich.edu protected: 965661Sgblack@eecs.umich.edu void buildMe(); 975661Sgblack@eecs.umich.edu 985661Sgblack@eecs.umich.edu public: 997620Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, 1005661Sgblack@eecs.umich.edu const char * instMnem, 1017620Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1025661Sgblack@eecs.umich.edu RegIndex _src1, RegIndex _src2, RegIndex _dest, 1037626Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm); 1047894SBrad.Beckmann@amd.com 1055661Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, 1065661Sgblack@eecs.umich.edu const char * instMnem, 1075661Sgblack@eecs.umich.edu RegIndex _src1, RegIndex _src2, RegIndex _dest, 1085661Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm); 1095661Sgblack@eecs.umich.edu 1105661Sgblack@eecs.umich.edu %(BasicExecDeclare)s 1115661Sgblack@eecs.umich.edu }; 1125661Sgblack@eecs.umich.edu}}; 1135661Sgblack@eecs.umich.edu 1145661Sgblack@eecs.umich.edudef template MicroFpOpConstructor {{ 1155661Sgblack@eecs.umich.edu 1165661Sgblack@eecs.umich.edu inline void %(class_name)s::buildMe() 1175661Sgblack@eecs.umich.edu { 1185661Sgblack@eecs.umich.edu %(constructor)s; 1195661Sgblack@eecs.umich.edu } 1205661Sgblack@eecs.umich.edu 1215661Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1225662Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1235661Sgblack@eecs.umich.edu RegIndex _src1, RegIndex _src2, RegIndex _dest, 1245661Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm) : 1255661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, 1265661Sgblack@eecs.umich.edu false, false, false, false, 1275661Sgblack@eecs.umich.edu _src1, _src2, _dest, _dataSize, _spm, 1285661Sgblack@eecs.umich.edu %(op_class)s) 1295661Sgblack@eecs.umich.edu { 1305661Sgblack@eecs.umich.edu buildMe(); 1315661Sgblack@eecs.umich.edu } 1325661Sgblack@eecs.umich.edu 1337620Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1347620Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1355661Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1365661Sgblack@eecs.umich.edu RegIndex _src1, RegIndex _src2, RegIndex _dest, 1375661Sgblack@eecs.umich.edu uint8_t _dataSize, int8_t _spm) : 1385661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, 1395661Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, 1405661Sgblack@eecs.umich.edu _src1, _src2, _dest, _dataSize, _spm, 1415661Sgblack@eecs.umich.edu %(op_class)s) 1425662Sgblack@eecs.umich.edu { 1435662Sgblack@eecs.umich.edu buildMe(); 1445662Sgblack@eecs.umich.edu } 1457620Sgblack@eecs.umich.edu}}; 1467620Sgblack@eecs.umich.edu 1477620Sgblack@eecs.umich.edulet {{ 1487620Sgblack@eecs.umich.edu # Make these empty strings so that concatenating onto 1497620Sgblack@eecs.umich.edu # them will always work. 1507620Sgblack@eecs.umich.edu header_output = "" 1515662Sgblack@eecs.umich.edu decoder_output = "" 1525663Sgblack@eecs.umich.edu exec_output = "" 1535663Sgblack@eecs.umich.edu 1545663Sgblack@eecs.umich.edu class FpOpMeta(type): 1555663Sgblack@eecs.umich.edu def buildCppClasses(self, name, Name, suffix, \ 1565663Sgblack@eecs.umich.edu code, flag_code, cond_check, else_code): 1575663Sgblack@eecs.umich.edu 1585663Sgblack@eecs.umich.edu # Globals to stick the output in 1595663Sgblack@eecs.umich.edu global header_output 1605663Sgblack@eecs.umich.edu global decoder_output 1615663Sgblack@eecs.umich.edu global exec_output 1625663Sgblack@eecs.umich.edu 1635663Sgblack@eecs.umich.edu # Stick all the code together so it can be searched at once 1645663Sgblack@eecs.umich.edu allCode = "|".join((code, flag_code, cond_check, else_code)) 1657620Sgblack@eecs.umich.edu 1667620Sgblack@eecs.umich.edu # If there's something optional to do with flags, generate 1677620Sgblack@eecs.umich.edu # a version without it and fix up this version to use it. 1687620Sgblack@eecs.umich.edu if flag_code is not "" or cond_check is not "true": 1697620Sgblack@eecs.umich.edu self.buildCppClasses(name, Name, suffix, 1707620Sgblack@eecs.umich.edu code, "", "true", else_code) 1715663Sgblack@eecs.umich.edu suffix = "Flags" + suffix 1725661Sgblack@eecs.umich.edu 1737789Sgblack@eecs.umich.edu base = "X86ISA::FpOp" 1747789Sgblack@eecs.umich.edu 1759211Snilay@cs.wisc.edu # Get everything ready for the substitution 1769010Snilay@cs.wisc.edu iop_top = InstObjParams(name, Name + suffix + "Top", base, 1777894SBrad.Beckmann@amd.com {"code" : code, 1785661Sgblack@eecs.umich.edu "flag_code" : flag_code, 1795661Sgblack@eecs.umich.edu "cond_check" : cond_check, 1805661Sgblack@eecs.umich.edu "else_code" : else_code, 1815661Sgblack@eecs.umich.edu "top_code" : "TOP = (TOP + spm + 8) % 8;"}) 1827789Sgblack@eecs.umich.edu iop = InstObjParams(name, Name + suffix, base, 1837789Sgblack@eecs.umich.edu {"code" : code, 1847894SBrad.Beckmann@amd.com "flag_code" : flag_code, 1857894SBrad.Beckmann@amd.com "cond_check" : cond_check, 1865661Sgblack@eecs.umich.edu "else_code" : else_code, 1875661Sgblack@eecs.umich.edu "top_code" : ";"}) 1885661Sgblack@eecs.umich.edu 1895661Sgblack@eecs.umich.edu # Generate the actual code (finally!) 1905663Sgblack@eecs.umich.edu header_output += MicroFpOpDeclare.subst(iop_top) 1915663Sgblack@eecs.umich.edu decoder_output += MicroFpOpConstructor.subst(iop_top) 1925663Sgblack@eecs.umich.edu exec_output += MicroFpOpExecute.subst(iop_top) 1939211Snilay@cs.wisc.edu header_output += MicroFpOpDeclare.subst(iop) 1949010Snilay@cs.wisc.edu decoder_output += MicroFpOpConstructor.subst(iop) 1957894SBrad.Beckmann@amd.com exec_output += MicroFpOpExecute.subst(iop) 1965663Sgblack@eecs.umich.edu 1975663Sgblack@eecs.umich.edu 1985663Sgblack@eecs.umich.edu def __new__(mcls, Name, bases, dict): 1995663Sgblack@eecs.umich.edu abstract = False 2005663Sgblack@eecs.umich.edu name = Name.lower() 2017894SBrad.Beckmann@amd.com if "abstract" in dict: 2027894SBrad.Beckmann@amd.com abstract = dict['abstract'] 2035663Sgblack@eecs.umich.edu del dict['abstract'] 2045663Sgblack@eecs.umich.edu 2055663Sgblack@eecs.umich.edu cls = super(FpOpMeta, mcls).__new__(mcls, Name, bases, dict) 2065663Sgblack@eecs.umich.edu if not abstract: 2075661Sgblack@eecs.umich.edu cls.className = Name 208 cls.mnemonic = name 209 code = cls.code 210 flag_code = cls.flag_code 211 cond_check = cls.cond_check 212 else_code = cls.else_code 213 214 # Set up the C++ classes 215 mcls.buildCppClasses(cls, name, Name, "", 216 code, flag_code, cond_check, else_code) 217 218 # Hook into the microassembler dict 219 global microopClasses 220 microopClasses[name] = cls 221 222 return cls 223 224 225 class FpOp(X86Microop): 226 __metaclass__ = FpOpMeta 227 # This class itself doesn't act as a microop 228 abstract = True 229 230 # Default template parameter values 231 flag_code = "" 232 cond_check = "true" 233 else_code = ";" 234 235 def __init__(self, dest, src1, src2, spm=0, \ 236 SetStatus=False, dataSize="env.dataSize"): 237 self.dest = dest 238 self.src1 = src1 239 self.src2 = src2 240 self.spm = spm 241 self.dataSize = dataSize 242 if SetStatus: 243 self.className += "Flags" 244 if spm: 245 self.className += "Top" 246 247 def getAllocator(self, *microFlags): 248 return '''new %(class_name)s(machInst, mnemonic 249 %(flags)s, %(src1)s, %(src2)s, %(dest)s, 250 %(dataSize)s, %(spm)d)''' % { 251 "class_name" : self.className, 252 "flags" : self.microFlagsText(microFlags), 253 "src1" : self.src1, "src2" : self.src2, 254 "dest" : self.dest, 255 "dataSize" : self.dataSize, 256 "spm" : self.spm} 257 258 class Movfp(FpOp): 259 def __init__(self, dest, src1, flags=0, spm=0, \ 260 SetStatus=False, dataSize="env.dataSize"): 261 super(Movfp, self).__init__(dest, src1, flags, \ 262 spm, SetStatus, dataSize) 263 code = 'FpDestReg.uqw = FpSrcReg2.uqw;' 264 else_code = 'FpDestReg.uqw = FpDestReg.uqw;' 265 cond_check = "checkCondition(ccFlagBits, src2)" 266 267 class Xorfp(FpOp): 268 code = 'FpDestReg.uqw = FpSrcReg1.uqw ^ FpSrcReg2.uqw;' 269 270 class Sqrtfp(FpOp): 271 code = 'FpDestReg = sqrt(FpSrcReg2);' 272 273 # Conversion microops 274 class ConvOp(FpOp): 275 abstract = True 276 def __init__(self, dest, src1): 277 super(ConvOp, self).__init__(dest, src1, "(int)FLOATREG_MICROFP0") 278 279 # These probably shouldn't look at the ExtMachInst directly to figure 280 # out what size to use and should instead delegate that to the macroop's 281 # constructor. That would be more efficient, and it would make the 282 # microops a little more modular. 283 class cvtf_i2d(ConvOp): 284 code = ''' 285 X86IntReg intReg = SSrcReg1; 286 if (REX_W) 287 FpDestReg = intReg.SR; 288 else 289 FpDestReg = intReg.SE; 290 ''' 291 292 class cvtf_i2d_hi(ConvOp): 293 code = 'FpDestReg = bits(SSrcReg1, 63, 32);' 294 295 class cvtf_d2i(ConvOp): 296 code = ''' 297 int64_t intSrcReg1 = static_cast<int64_t>(FpSrcReg1); 298 if (REX_W) 299 SDestReg = intSrcReg1; 300 else 301 SDestReg = merge(SDestReg, intSrcReg1, 4); 302 ''' 303 304 # These need to consider size at some point. They'll always use doubles 305 # for the moment. 306 class addfp(FpOp): 307 code = 'FpDestReg = FpSrcReg1 + FpSrcReg2;' 308 309 class mulfp(FpOp): 310 code = 'FpDestReg = FpSrcReg1 * FpSrcReg2;' 311 312 class divfp(FpOp): 313 code = 'FpDestReg = FpSrcReg1 / FpSrcReg2;' 314 315 class subfp(FpOp): 316 code = 'FpDestReg = FpSrcReg1 - FpSrcReg2;' 317 318 class Compfp(FpOp): 319 def __init__(self, src1, src2, spm=0, setStatus=False, \ 320 dataSize="env.dataSize"): 321 super(Compfp, self).__init__("(int)FLOATREG_MICROFP0", \ 322 src1, src2, spm, setStatus, dataSize) 323 # This class sets the condition codes in rflags according to the 324 # rules for comparing floating point. 325 code = ''' 326 // ZF PF CF 327 // Unordered 1 1 1 328 // Greater than 0 0 0 329 // Less than 0 0 1 330 // Equal 1 0 0 331 // OF = SF = AF = 0 332 ccFlagBits = ccFlagBits & ~(OFBit | SFBit | AFBit | 333 ZFBit | PFBit | CFBit); 334 if (isnan(FpSrcReg1) || isnan(FpSrcReg2)) 335 ccFlagBits = ccFlagBits | (ZFBit | PFBit | CFBit); 336 else if(FpSrcReg1 < FpSrcReg2) 337 ccFlagBits = ccFlagBits | CFBit; 338 else if(FpSrcReg1 == FpSrcReg2) 339 ccFlagBits = ccFlagBits | ZFBit; 340 ''' 341}}; 342