[llvm-commits] [llvm] r135018 - /llvm/trunk/lib/Target/X86/X86RegisterInfo.cpp

[Eli Friedman]

Author: efriedma
Date: Tue Jul 12 19:44:29 2011
New Revision: 135018

URL: http://llvm.org/viewvc/llvm-project?rev=135018&view=rev
Log:
Add an assert (which should never trigger) that triggers on a testcase I'm looking at.


Modified:
    llvm/trunk/lib/Target/X86/X86RegisterInfo.cpp

Modified: llvm/trunk/lib/Target/X86/X86RegisterInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86RegisterInfo.cpp?rev=135018&r1=135017&r2=135018&view=diff
==============================================================================
--- llvm/trunk/lib/Target/X86/X86RegisterInfo.cpp (original)
+++ llvm/trunk/lib/Target/X86/X86RegisterInfo.cpp Tue Jul 12 19:44:29 2011
@@ -730,7 +730,9 @@
 
   if (MI.getOperand(i+3).isImm()) {
     // Offset is a 32-bit integer.
-    int Offset = FIOffset + (int)(MI.getOperand(i + 3).getImm());
+    int Imm = (int)(MI.getOperand(i + 3).getImm());
+    int Offset = FIOffset + Imm;
+    assert(isInt<32>((long long)FIOffset + Imm) && "Overflowing offset!");
     MI.getOperand(i + 3).ChangeToImmediate(Offset);
   } else {
     // Offset is symbolic. This is extremely rare.