1/*
2 * Copyright (c) 2004-2006 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 487 unchanged lines hidden (view full) ---

496
497 /** Returns the result of a floating point instruction. */
498 float readFloatResult() { return (float)instResult.dbl; }
499
500 /** Returns the result of a floating point (double) instruction. */
501 double readDoubleResult() { return instResult.dbl; }
502
503 /** Records an integer register being set to a value. */
504 void setIntReg(const StaticInst *si, int idx, uint64_t val)
505 {
506 if (recordResult)
507 instResult.integer = val;
508 }
509
510 /** Records an fp register being set to a value. */
511 void setFloatReg(const StaticInst *si, int idx, FloatReg val, int width)
512 {
513 if (recordResult) {
514 if (width == 32)
515 instResult.dbl = (double)val;
516 else if (width == 64)
517 instResult.dbl = val;
518 else
519 panic("Unsupported width!");
520 }
521 }
522
523 /** Records an fp register being set to a value. */
524 void setFloatReg(const StaticInst *si, int idx, FloatReg val)
525 {
526 if (recordResult)
527 instResult.dbl = (double)val;
528 }
529
530 /** Records an fp register being set to an integer value. */
531 void setFloatRegBits(const StaticInst *si, int idx, uint64_t val, int width)
532 {
533 if (recordResult)
534 instResult.integer = val;
535 }
536
537 /** Records an fp register being set to an integer value. */
538 void setFloatRegBits(const StaticInst *si, int idx, uint64_t val)
539 {
540 if (recordResult)
541 instResult.integer = val;
542 }
543
544 /** Records that one of the source registers is ready. */
545 void markSrcRegReady();
546

--- 301 unchanged lines hidden ---