RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2025-04-03 08:41:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ELF can handle some relocations of the form -sym + constant.

Browse Source 
Remove code that was assuming that this would never work.

Thanks to Colin LeMahie for finding and diagnosing the bug.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251818 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Rafael Espindola 2015-11-02 19:13:59 +00:00
parent 933edca0f1
commit a0fd526ce8
3 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
include/llvm/MC/MCValue.h
View File

@ -35,10 +35,6 @@ class raw_ostream;
/// relocation modifiers apply to the closest symbol or the whole /// relocation modifiers apply to the closest symbol or the whole
/// expression. /// expression.
/// ///
/// In the general form, SymbolB can only be defined if SymbolA is, and both
/// must be in the same (non-external) section. The latter constraint is not
/// enforced, since a symbol's section may not be known at construction.
///
/// Note that this class must remain a simple POD value class, because we need /// Note that this class must remain a simple POD value class, because we need
/// it to live in unions etc. /// it to live in unions etc.
class MCValue { class MCValue {
@ -67,7 +63,6 @@ public:
const MCSymbolRefExpr *SymB = nullptr, const MCSymbolRefExpr *SymB = nullptr,
int64_t Val = 0, uint32_t RefKind = 0) { int64_t Val = 0, uint32_t RefKind = 0) {
MCValue R; MCValue R;
assert((!SymB || SymA) && "Invalid relocatable MCValue!");
R.Cst = Val; R.Cst = Val;
R.SymA = SymA; R.SymA = SymA;
R.SymB = SymB; R.SymB = SymB;

5
lib/MC/MCExpr.cpp
View File

@ -585,11 +585,6 @@ EvaluateSymbolicAdd(const MCAssembler *Asm, const MCAsmLayout *Layout,
const MCSymbolRefExpr *A = LHS_A ? LHS_A : RHS_A; const MCSymbolRefExpr *A = LHS_A ? LHS_A : RHS_A;
const MCSymbolRefExpr *B = LHS_B ? LHS_B : RHS_B; const MCSymbolRefExpr *B = LHS_B ? LHS_B : RHS_B;
// If we have a negated symbol, then we must have also have a non-negated
// symbol in order to encode the expression.
if (B && !A)
return false;
Res = MCValue::get(A, B, Result_Cst); Res = MCValue::get(A, B, Result_Cst);
return true; return true;
} }

4
test/MC/ELF/relocation-pc.s
View File

@ -4,6 +4,7 @@
loope 0 # R_X86_64_PC8 loope 0 # R_X86_64_PC8
jmp -256 # R_X86_64_PC32 jmp -256 # R_X86_64_PC32
.word 0x42 - . # R_X86_64_PC16
// CHECK: Section { // CHECK: Section {
// CHECK: Index: // CHECK: Index:
@ -13,7 +14,7 @@
// CHECK-NEXT: ] // CHECK-NEXT: ]
// CHECK-NEXT: Address: 0x0 // CHECK-NEXT: Address: 0x0
// CHECK-NEXT: Offset: // CHECK-NEXT: Offset:
// CHECK-NEXT: Size: 48 // CHECK-NEXT: Size:
// CHECK-NEXT: Link: // CHECK-NEXT: Link:
// CHECK-NEXT: Info: // CHECK-NEXT: Info:
// CHECK-NEXT: AddressAlignment: 8 // CHECK-NEXT: AddressAlignment: 8
@ -21,5 +22,6 @@
// CHECK-NEXT: Relocations [ // CHECK-NEXT: Relocations [
// CHECK-NEXT: 0x1 R_X86_64_PC8 - 0xFFFFFFFFFFFFFFFF // CHECK-NEXT: 0x1 R_X86_64_PC8 - 0xFFFFFFFFFFFFFFFF
// CHECK-NEXT: 0x3 R_X86_64_PC32 - 0xFFFFFFFFFFFFFEFC // CHECK-NEXT: 0x3 R_X86_64_PC32 - 0xFFFFFFFFFFFFFEFC
// CHECK-NEXT: 0x7 R_X86_64_PC16 - 0x42
// CHECK-NEXT: ] // CHECK-NEXT: ]
// CHECK-NEXT: } // CHECK-NEXT: }