Produce a relocation for pcrel absolute values. Based on a patch by David Meyer.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@120006 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Rafael Espindola 2010-11-23 07:20:12 +00:00
parent 2974b6ffbc
commit d93ceeb125
2 changed files with 28 additions and 8 deletions

View File

@ -218,18 +218,22 @@ void X86MCCodeEmitter::
EmitImmediate(const MCOperand &DispOp, unsigned Size, MCFixupKind FixupKind,
unsigned &CurByte, raw_ostream &OS,
SmallVectorImpl<MCFixup> &Fixups, int ImmOffset) const {
// If this is a simple integer displacement that doesn't require a relocation,
// emit it now.
const MCExpr *Expr = NULL;
if (DispOp.isImm()) {
// FIXME: is this right for pc-rel encoding?? Probably need to emit this as
// a fixup if so.
EmitConstant(DispOp.getImm()+ImmOffset, Size, CurByte, OS);
return;
// If this is a simple integer displacement that doesn't require a relocation,
// emit it now.
if (FixupKind != MCFixupKind(X86::reloc_pcrel_1byte) &&
FixupKind != MCFixupKind(X86::reloc_pcrel_2byte) &&
FixupKind != MCFixupKind(X86::reloc_pcrel_4byte)) {
EmitConstant(DispOp.getImm()+ImmOffset, Size, CurByte, OS);
return;
}
Expr = MCConstantExpr::Create(DispOp.getImm(), Ctx);
} else {
Expr = DispOp.getExpr();
}
// If we have an immoffset, add it to the expression.
const MCExpr *Expr = DispOp.getExpr();
if (FixupKind == FK_Data_4 && StartsWithGlobalOffsetTable(Expr)) {
assert(ImmOffset == 0);

16
test/MC/ELF/call-abs.ll Normal file
View File

@ -0,0 +1,16 @@
; RUN: llc -filetype=obj -mtriple i686-pc-linux-gnu %s -o - | elf-dump | FileCheck %s
define i32 @f() nounwind optsize ssp {
entry:
%call = tail call i32 inttoptr (i64 42 to i32 ()*)() nounwind optsize
%add = add nsw i32 %call, 1
ret i32 %add
}
; CHECK: ('_relocations', [
; CHECK-NEXT: # Relocation 0x00000000
; CHECK-NEXT: (('r_offset', 0x00000004)
; CHECK-NEXT: ('r_sym', 0x00000000)
; CHECK-NEXT: ('r_type', 0x00000002)
; CHECK-NEXT: ),
; CHECK-NEXT: ])