fp.isa revision 12234:78ece221f9f5
1// -*- mode:c++ -*- 2 3// Copyright (c) 2007 MIPS Technologies, Inc. 4// All rights reserved. 5// 6// Redistribution and use in source and binary forms, with or without 7// modification, are permitted provided that the following conditions are 8// met: redistributions of source code must retain the above copyright 9// notice, this list of conditions and the following disclaimer; 10// redistributions in binary form must reproduce the above copyright 11// notice, this list of conditions and the following disclaimer in the 12// documentation and/or other materials provided with the distribution; 13// neither the name of the copyright holders nor the names of its 14// contributors may be used to endorse or promote products derived from 15// this software without specific prior written permission. 16// 17// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 18// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 19// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 20// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 21// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 22// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 23// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 24// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 25// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 26// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 27// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 28// 29// Authors: Korey Sewell 30 31//////////////////////////////////////////////////////////////////// 32// 33// Floating Point operate instructions 34// 35 36output header {{ 37 /** 38 * Base class for FP operations. 39 */ 40 class FPOp : public MipsStaticInst 41 { 42 protected: 43 44 /// Constructor 45 FPOp(const char *mnem, MachInst _machInst, OpClass __opClass) : MipsStaticInst(mnem, _machInst, __opClass) 46 { 47 } 48 49 //std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const; 50 51 //needs function to check for fpEnable or not 52 }; 53 54 class FPCompareOp : public FPOp 55 { 56 protected: 57 FPCompareOp(const char *mnem, MachInst _machInst, OpClass __opClass) : FPOp(mnem, _machInst, __opClass) 58 { 59 } 60 61 std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const; 62 63 }; 64}}; 65 66output decoder {{ 67 std::string FPCompareOp::generateDisassembly(Addr pc, const SymbolTable *symtab) const 68 { 69 std::stringstream ss; 70 71 ccprintf(ss, "%-10s ", mnemonic); 72 73 ccprintf(ss,"%d",CC); 74 75 if(_numSrcRegs > 0) { 76 ss << ", "; 77 printReg(ss, _srcRegIdx[0]); 78 } 79 80 if(_numSrcRegs > 1) { 81 ss << ", "; 82 printReg(ss, _srcRegIdx[1]); 83 } 84 85 return ss.str(); 86 } 87}}; 88 89output header {{ 90 void fpResetCauseBits(ExecContext *cpu); 91 92}}; 93 94output exec {{ 95 inline Fault checkFpEnableFault(ExecContext *xc) 96 { 97 //@TODO: Implement correct CP0 checks to see if the CP1 98 // unit is enable or not 99 if (!isCoprocessorEnabled(xc, 1)) 100 return std::make_shared<CoprocessorUnusableFault>(1); 101 102 return NoFault; 103 } 104 105 //If any operand is Nan return the appropriate QNaN 106 template <class T> 107 bool 108 fpNanOperands(FPOp *inst, ExecContext *xc, const T &src_type, 109 Trace::InstRecord *traceData) 110 { 111 uint64_t mips_nan = 0; 112 assert(sizeof(T) == 4); 113 114 for (int i = 0; i < inst->numSrcRegs(); i++) { 115 uint64_t src_bits = xc->readFloatRegOperandBits(inst, 0); 116 117 if (isNan(&src_bits, 32) ) { 118 mips_nan = MIPS32_QNAN; 119 xc->setFloatRegOperandBits(inst, 0, mips_nan); 120 if (traceData) { traceData->setData(mips_nan); } 121 return true; 122 } 123 } 124 return false; 125 } 126 127 template <class T> 128 bool 129 fpInvalidOp(FPOp *inst, ExecContext *cpu, const T dest_val, 130 Trace::InstRecord *traceData) 131 { 132 uint64_t mips_nan = 0; 133 T src_op = dest_val; 134 assert(sizeof(T) == 4); 135 136 if (isNan(&src_op, 32)) { 137 mips_nan = MIPS32_QNAN; 138 139 //Set value to QNAN 140 cpu->setFloatRegOperandBits(inst, 0, mips_nan); 141 142 //Read FCSR from FloatRegFile 143 uint32_t fcsr_bits = 144 cpu->tcBase()->readFloatRegBits(FLOATREG_FCSR); 145 146 uint32_t new_fcsr = genInvalidVector(fcsr_bits); 147 148 //Write FCSR from FloatRegFile 149 cpu->tcBase()->setFloatRegBits(FLOATREG_FCSR, new_fcsr); 150 151 if (traceData) { traceData->setData(mips_nan); } 152 return true; 153 } 154 155 return false; 156 } 157 158 void 159 fpResetCauseBits(ExecContext *cpu) 160 { 161 //Read FCSR from FloatRegFile 162 uint32_t fcsr = cpu->tcBase()->readFloatRegBits(FLOATREG_FCSR); 163 164 // TODO: Use utility function here 165 fcsr = bits(fcsr, 31, 18) << 18 | bits(fcsr, 11, 0); 166 167 //Write FCSR from FloatRegFile 168 cpu->tcBase()->setFloatRegBits(FLOATREG_FCSR, fcsr); 169 } 170}}; 171 172def template FloatingPointExecute {{ 173 Fault %(class_name)s::execute( 174 ExecContext *xc, Trace::InstRecord *traceData) const 175 { 176 Fault fault = NoFault; 177 178 %(fp_enable_check)s; 179 180 181 //When is the right time to reset cause bits? 182 //start of every instruction or every cycle? 183 if (FullSystem) 184 fpResetCauseBits(xc); 185 %(op_decl)s; 186 %(op_rd)s; 187 188 //Check if any FP operand is a NaN value 189 if (!fpNanOperands((FPOp*)this, xc, Fd, traceData)) { 190 %(code)s; 191 192 //Change this code for Full-System/Sycall Emulation 193 //separation 194 //---- 195 //Should Full System-Mode throw a fault here? 196 //---- 197 //Check for IEEE 754 FP Exceptions 198 //fault = fpNanOperands((FPOp*)this, xc, Fd, traceData); 199 bool invalid_op = false; 200 if (FullSystem) { 201 invalid_op = 202 fpInvalidOp((FPOp*)this, xc, Fd, traceData); 203 } 204 if (!invalid_op && fault == NoFault) { 205 %(op_wb)s; 206 } 207 } 208 209 return fault; 210 } 211}}; 212 213// Primary format for float point operate instructions: 214def format FloatOp(code, *flags) {{ 215 iop = InstObjParams(name, Name, 'FPOp', code, flags) 216 header_output = BasicDeclare.subst(iop) 217 decoder_output = BasicConstructor.subst(iop) 218 decode_block = BasicDecode.subst(iop) 219 exec_output = FloatingPointExecute.subst(iop) 220}}; 221 222def format FloatCompareOp(cond_code, *flags) {{ 223 import sys 224 225 code = 'bool cond;\n' 226 if '_sf' in cond_code or 'SinglePrecision' in flags: 227 if 'QnanException' in flags: 228 code += 'if (isQnan(&Fs_sf, 32) || isQnan(&Ft_sf, 32)) {\n' 229 code += '\tFCSR = genInvalidVector(FCSR);\n' 230 code += '\treturn NoFault;' 231 code += '}\n else ' 232 code += 'if (isNan(&Fs_sf, 32) || isNan(&Ft_sf, 32)) {\n' 233 elif '_df' in cond_code or 'DoublePrecision' in flags: 234 if 'QnanException' in flags: 235 code += 'if (isQnan(&Fs_df, 64) || isQnan(&Ft_df, 64)) {\n' 236 code += '\tFCSR = genInvalidVector(FCSR);\n' 237 code += '\treturn NoFault;' 238 code += '}\n else ' 239 code += 'if (isNan(&Fs_df, 64) || isNan(&Ft_df, 64)) {\n' 240 else: 241 sys.exit('Decoder Failed: Can\'t Determine Operand Type\n') 242 243 if 'UnorderedTrue' in flags: 244 code += 'cond = 1;\n' 245 elif 'UnorderedFalse' in flags: 246 code += 'cond = 0;\n' 247 else: 248 sys.exit('Decoder Failed: Float Compare Instruction Needs A Unordered Flag\n') 249 250 code += '} else {\n' 251 code += cond_code + '}' 252 code += 'FCSR = genCCVector(FCSR, CC, cond);\n' 253 254 iop = InstObjParams(name, Name, 'FPCompareOp', code) 255 header_output = BasicDeclare.subst(iop) 256 decoder_output = BasicConstructor.subst(iop) 257 decode_block = BasicDecode.subst(iop) 258 exec_output = BasicExecute.subst(iop) 259}}; 260 261def format FloatConvertOp(code, *flags) {{ 262 import sys 263 264 #Determine Source Type 265 convert = 'fpConvert(' 266 if '_sf' in code: 267 code = 'float ' + code + '\n' 268 convert += 'SINGLE_TO_' 269 elif '_df' in code: 270 code = 'double ' + code + '\n' 271 convert += 'DOUBLE_TO_' 272 elif '_sw' in code: 273 code = 'int32_t ' + code + '\n' 274 convert += 'WORD_TO_' 275 elif '_sd' in code: 276 code = 'int64_t ' + code + '\n' 277 convert += 'LONG_TO_' 278 else: 279 sys.exit("Error Determining Source Type for Conversion") 280 281 #Determine Destination Type 282 if 'ToSingle' in flags: 283 code += 'Fd_uw = ' + convert + 'SINGLE, ' 284 elif 'ToDouble' in flags: 285 code += 'Fd_ud = ' + convert + 'DOUBLE, ' 286 elif 'ToWord' in flags: 287 code += 'Fd_uw = ' + convert + 'WORD, ' 288 elif 'ToLong' in flags: 289 code += 'Fd_ud = ' + convert + 'LONG, ' 290 else: 291 sys.exit("Error Determining Destination Type for Conversion") 292 293 #Figure out how to round value 294 if 'Ceil' in flags: 295 code += 'ceil(val)); ' 296 elif 'Floor' in flags: 297 code += 'floor(val)); ' 298 elif 'Round' in flags: 299 code += 'roundFP(val, 0)); ' 300 elif 'Trunc' in flags: 301 code += 'truncFP(val));' 302 else: 303 code += 'val); ' 304 305 iop = InstObjParams(name, Name, 'FPOp', code) 306 header_output = BasicDeclare.subst(iop) 307 decoder_output = BasicConstructor.subst(iop) 308 decode_block = BasicDecode.subst(iop) 309 exec_output = BasicExecute.subst(iop) 310}}; 311 312def format FloatAccOp(code, *flags) {{ 313 iop = InstObjParams(name, Name, 'FPOp', code, flags) 314 header_output = BasicDeclare.subst(iop) 315 decoder_output = BasicConstructor.subst(iop) 316 decode_block = BasicDecode.subst(iop) 317 exec_output = BasicExecute.subst(iop) 318}}; 319 320// Primary format for float64 operate instructions: 321def format Float64Op(code, *flags) {{ 322 iop = InstObjParams(name, Name, 'MipsStaticInst', code, flags) 323 header_output = BasicDeclare.subst(iop) 324 decoder_output = BasicConstructor.subst(iop) 325 decode_block = BasicDecode.subst(iop) 326 exec_output = BasicExecute.subst(iop) 327}}; 328 329def format FloatPSCompareOp(cond_code1, cond_code2, *flags) {{ 330 import sys 331 332 code = 'bool cond1, cond2;\n' 333 code += 'bool code_block1, code_block2;\n' 334 code += 'code_block1 = code_block2 = true;\n' 335 336 if 'QnanException' in flags: 337 code += 'if (isQnan(&Fs1_sf, 32) || isQnan(&Ft1_sf, 32)) {\n' 338 code += '\tFCSR = genInvalidVector(FCSR);\n' 339 code += 'code_block1 = false;' 340 code += '}\n' 341 code += 'if (isQnan(&Fs2_sf, 32) || isQnan(&Ft2_sf, 32)) {\n' 342 code += '\tFCSR = genInvalidVector(FCSR);\n' 343 code += 'code_block2 = false;' 344 code += '}\n' 345 346 code += 'if (code_block1) {' 347 code += '\tif (isNan(&Fs1_sf, 32) || isNan(&Ft1_sf, 32)) {\n' 348 if 'UnorderedTrue' in flags: 349 code += 'cond1 = 1;\n' 350 elif 'UnorderedFalse' in flags: 351 code += 'cond1 = 0;\n' 352 else: 353 sys.exit('Decoder Failed: Float Compare Instruction Needs A Unordered Flag\n') 354 code += '} else {\n' 355 code += cond_code1 356 code += 'FCSR = genCCVector(FCSR, CC, cond1);}\n}\n' 357 358 code += 'if (code_block2) {' 359 code += '\tif (isNan(&Fs2_sf, 32) || isNan(&Ft2_sf, 32)) {\n' 360 if 'UnorderedTrue' in flags: 361 code += 'cond2 = 1;\n' 362 elif 'UnorderedFalse' in flags: 363 code += 'cond2 = 0;\n' 364 else: 365 sys.exit('Decoder Failed: Float Compare Instruction Needs A Unordered Flag\n') 366 code += '} else {\n' 367 code += cond_code2 368 code += 'FCSR = genCCVector(FCSR, CC, cond2);}\n}' 369 370 iop = InstObjParams(name, Name, 'FPCompareOp', code) 371 header_output = BasicDeclare.subst(iop) 372 decoder_output = BasicConstructor.subst(iop) 373 decode_block = BasicDecode.subst(iop) 374 exec_output = BasicExecute.subst(iop) 375}}; 376 377