diff --git a/src/cpu/checker/cpu_impl.hh b/src/cpu/checker/cpu_impl.hh
--- a/src/cpu/checker/cpu_impl.hh
+++ b/src/cpu/checker/cpu_impl.hh
@@ -600,7 +600,7 @@
         if (idx < TheISA::FP_Base_DepTag) {
             thread->setIntReg(idx, mismatch_val);
         } else if (idx < TheISA::Ctrl_Base_DepTag) {
-            thread->setFloatRegBits(idx, mismatch_val);
+            thread->setFloatRegBits(idx - TheISA::FP_Base_DepTag, mismatch_val);
         } else if (idx < TheISA::Max_DepTag) {
             thread->setMiscReg(idx - TheISA::Ctrl_Base_DepTag,
                                mismatch_val);
@@ -614,7 +614,7 @@
         if (idx < TheISA::FP_Base_DepTag) {
             thread->setIntReg(idx, res);
         } else if (idx < TheISA::Ctrl_Base_DepTag) {
-            thread->setFloatRegBits(idx, res);
+            thread->setFloatRegBits(idx - TheISA::FP_Base_DepTag, res);
         } else if (idx < TheISA::Max_DepTag) {
             // Try to get the proper misc register index for ARM here...
             thread->setMiscReg(idx - TheISA::Ctrl_Base_DepTag, res);