X86: Handle rotate right with carry instructions that go all the way around or more.
authorGabe Black <gblack@eecs.umich.edu>
Wed, 5 Aug 2009 10:01:49 +0000 (03:01 -0700)
committerGabe Black <gblack@eecs.umich.edu>
Wed, 5 Aug 2009 10:01:49 +0000 (03:01 -0700)
src/arch/x86/isa/microops/regop.isa

index 0bf3420b81b3b5a138dcc28c029de5f944a1c215..4770342244fc3cf14feaa5dc84882f099e9ed7d4 100644 (file)
@@ -762,13 +762,14 @@ let {{
         code = '''
             uint8_t shiftAmt =
                 (op2 & ((dataSize == 8) ? mask(6) : mask(5)));
-            if(shiftAmt)
+            uint8_t realShiftAmt = shiftAmt % (dataSize * 8 + 1);
+            if(realShiftAmt)
             {
                 CCFlagBits flags = ccFlagBits;
-                uint64_t top = flags.cf << (dataSize * 8 - shiftAmt);
-                if(shiftAmt > 1)
-                    top |= psrc1 << (dataSize * 8 - shiftAmt + 1);
-                uint64_t bottom = bits(psrc1, dataSize * 8 - 1, shiftAmt);
+                uint64_t top = flags.cf << (dataSize * 8 - realShiftAmt);
+                if (realShiftAmt > 1)
+                    top |= psrc1 << (dataSize * 8 - realShiftAmt + 1);
+                uint64_t bottom = bits(psrc1, dataSize * 8 - 1, realShiftAmt);
                 DestReg = merge(DestReg, top | bottom, dataSize);
             }
             else
@@ -787,8 +788,11 @@ let {{
                     ccFlagBits = ccFlagBits | OFBit;
                 }
                 //If some combination of the CF bits need to be set, set them.
-                if ((ext & (CFBit | ECFBit)) && bits(SrcReg1, shiftAmt - 1))
+                if ((ext & (CFBit | ECFBit)) &&
+                        (realShiftAmt == 0) ? origCFBit :
+                        bits(SrcReg1, realShiftAmt - 1)) {
                     ccFlagBits = ccFlagBits | (ext & (CFBit | ECFBit));
+                }
                 //Use the regular mechanisms to calculate the other flags.
                 ccFlagBits = genFlags(ccFlagBits, ext & ~(CFBit | ECFBit | OFBit),
                         DestReg, psrc1, op2);