Fix http://llvm.org/bugs/show_bug.cgi?id=10568

Move the reloc size assert into AsmBackend - where it is more apropos.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136855 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 17 insertions, 1 deletions

diff --git a/lib/MC/ELFObjectWriter.cpp b/lib/MC/ELFObjectWriter.cpp
index d7ec3d815c..78588ae9ac 100644
--- a/lib/MC/ELFObjectWriter.cpp
+++ b/lib/MC/ELFObjectWriter.cpp
@@ -1698,7 +1698,6 @@ unsigned X86ELFObjectWriter::GetRelocType(const MCValue &Target,
       default: llvm_unreachable("invalid fixup kind!");
       case FK_Data_8: Type = ELF::R_X86_64_64; break;
       case X86::reloc_signed_4byte:
-        assert(isInt<32>(Target.getConstant()));
         switch (Modifier) {
         default:
           llvm_unreachable("Unimplemented");
diff --git a/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp b/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
index c90e41ca72..e7713f3432 100644
--- a/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
+++ b/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
@@ -93,6 +93,23 @@ public:
 
     assert(Fixup.getOffset() + Size <= DataSize &&
            "Invalid fixup offset!");
+
+    // Check that the upper bits are either all 0 or all 1's
+    switch (Size) {
+    case 1: 
+      assert((isInt<8>(Value) || isUInt<8>(Value)) && 
+             "Value does not fit in a 1Byte Reloc");
+      break;
+    case 2: 
+      assert((isInt<16>(Value) || isUInt<16>(Value)) && 
+             "Value does not fit in a 2Byte Reloc");
+      break;
+    case 4:
+      assert((isInt<32>(Value) || isUInt<32>(Value)) && 
+             "Value does not fit in a 4Byte Reloc");
+      break;
+    }
+
     for (unsigned i = 0; i != Size; ++i)
       Data[Fixup.getOffset() + i] = uint8_t(Value >> (i * 8));
   }