From 43779dcfef7f4e921c6fc12bb5394a1b2efcd81d Mon Sep 17 00:00:00 2001 From: Rafael Espindola Date: Mon, 20 Sep 2010 19:20:47 +0000 Subject: [PATCH] Produce a R_X86_64_32 when the value is >=0. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@114339 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/MC/ELFObjectWriter.cpp | 7 +++++-- test/MC/ELF/basic-elf.ll | 4 ++-- test/MC/ELF/relocation.s | 12 ++++++++++++ 3 files changed, 19 insertions(+), 4 deletions(-) create mode 100644 test/MC/ELF/relocation.s diff --git a/lib/MC/ELFObjectWriter.cpp b/lib/MC/ELFObjectWriter.cpp index 35f029d2fa1..ebbba1327dd 100644 --- a/lib/MC/ELFObjectWriter.cpp +++ b/lib/MC/ELFObjectWriter.cpp @@ -541,10 +541,13 @@ void ELFObjectWriterImpl::RecordRelocation(const MCAssembler &Asm, case X86::reloc_pcrel_4byte: case FK_Data_4: // check that the offset fits within a signed long - if (isInt<32>(Target.getConstant())) + if (Target.getConstant() < 0) { + assert(isInt<32>(Target.getConstant())); Type = ELF::R_X86_64_32S; - else + } else { + assert(isUInt<32>(Target.getConstant())); Type = ELF::R_X86_64_32; + } break; case FK_Data_2: Type = ELF::R_X86_64_16; break; case X86::reloc_pcrel_1byte: diff --git a/test/MC/ELF/basic-elf.ll b/test/MC/ELF/basic-elf.ll index abdce7e3589..bc9ec131860 100644 --- a/test/MC/ELF/basic-elf.ll +++ b/test/MC/ELF/basic-elf.ll @@ -72,7 +72,7 @@ declare i32 @puts(i8* nocapture) nounwind ; 64: ('_relocations', [ ; 64: # Relocation 0 ; 64: (('r_offset', 5) -; 64: ('r_type', 11) +; 64: ('r_type', 10) ; 64: ('r_addend', 0) ; 64: ), ; 64: # Relocation 1 @@ -82,7 +82,7 @@ declare i32 @puts(i8* nocapture) nounwind ; 64: ), ; 64: # Relocation 2 ; 64: (('r_offset', 15) -; 64: ('r_type', 11) +; 64: ('r_type', 10) ; 64: ('r_addend', 6) ; 64: ), ; 64: # Relocation 3 diff --git a/test/MC/ELF/relocation.s b/test/MC/ELF/relocation.s new file mode 100644 index 00000000000..b9b87dd2049 --- /dev/null +++ b/test/MC/ELF/relocation.s @@ -0,0 +1,12 @@ +// RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | elf-dump --dump-section-data | FileCheck %s + +// Test that we produce a R_X86_64_32. + + .long Lset1 + + +// CHECK: # Relocation 0 +// CHECK-NEXT: (('r_offset', 0) +// CHECK-NEXT: ('r_sym', 4) +// CHECK-NEXT: ('r_type', 10) +// CHECK-NEXT: ('r_addend', 0)