[Mips] Support R_MICROMIPS_PC18_S3/PC19_S2/PC21_S2/PC26_S2 relocations handling

llvm-svn: 235289
This commit is contained in:
Simon Atanasyan 2015-04-20 07:34:52 +00:00
parent 41ce98cc6f
commit 8119228977
5 changed files with 240 additions and 4 deletions

View File

@ -114,6 +114,14 @@ static MipsRelocationParams getRelocationParams(uint32_t rType) {
return {4, 0x3ff, 1, false};
case R_MICROMIPS_PC23_S2:
return {4, 0x7fffff, 2, true};
case R_MICROMIPS_PC18_S3:
return {4, 0x3ffff, 3, true};
case R_MICROMIPS_PC19_S2:
return {4, 0x7ffff, 2, true};
case R_MICROMIPS_PC21_S2:
return {4, 0x1fffff, 2, true};
case R_MICROMIPS_PC26_S2:
return {4, 0x3ffffff, 2, true};
case R_MIPS_CALL16:
case R_MIPS_TLS_GD:
case R_MIPS_TLS_LDM:
@ -269,7 +277,7 @@ static uint64_t relocGPRel32(uint64_t S, int64_t A, uint64_t GP) {
return A + S - GP;
}
/// \brief R_MIPS_PC18_S3
/// \brief R_MIPS_PC18_S3, R_MICROMIPS_PC18_S3
/// local/external: (S + A - P) >> 3 (P with cleared 3 less significant bits)
static uint32_t relocPc18(uint64_t P, uint64_t S, int64_t A) {
A = llvm::SignExtend32<21>(A);
@ -278,7 +286,7 @@ static uint32_t relocPc18(uint64_t P, uint64_t S, int64_t A) {
return result >> 3;
}
/// \brief R_MIPS_PC19_S2
/// \brief R_MIPS_PC19_S2, R_MICROMIPS_PC19_S2
/// local/external: (S + A - P) >> 2
static uint32_t relocPc19(uint64_t P, uint64_t S, int64_t A) {
A = llvm::SignExtend32<21>(A);
@ -287,7 +295,7 @@ static uint32_t relocPc19(uint64_t P, uint64_t S, int64_t A) {
return result >> 2;
}
/// \brief R_MIPS_PC21_S2
/// \brief R_MIPS_PC21_S2, R_MICROMIPS_PC21_S2
/// local/external: (S + A - P) >> 2
static uint32_t relocPc21(uint64_t P, uint64_t S, int64_t A) {
A = llvm::SignExtend32<23>(A);
@ -296,7 +304,7 @@ static uint32_t relocPc21(uint64_t P, uint64_t S, int64_t A) {
return result >> 2;
}
/// \brief R_MIPS_PC26_S2
/// \brief R_MIPS_PC26_S2, R_MICROMIPS_PC26_S2
/// local/external: (S + A - P) >> 2
static uint32_t relocPc26(uint64_t P, uint64_t S, int64_t A) {
A = llvm::SignExtend32<28>(A);
@ -457,12 +465,16 @@ static ErrorOr<uint64_t> calculateRelocation(Reference::KindValue kind,
case R_MICROMIPS_GOT_OFST:
return relocGOTOfst(tgtAddr, addend);
case R_MIPS_PC18_S3:
case R_MICROMIPS_PC18_S3:
return relocPc18(relAddr, tgtAddr, addend);
case R_MIPS_PC19_S2:
case R_MICROMIPS_PC19_S2:
return relocPc19(relAddr, tgtAddr, addend);
case R_MIPS_PC21_S2:
case R_MICROMIPS_PC21_S2:
return relocPc21(relAddr, tgtAddr, addend);
case R_MIPS_PC26_S2:
case R_MICROMIPS_PC26_S2:
return relocPc26(relAddr, tgtAddr, addend);
case R_MICROMIPS_PC7_S1:
return relocPc7(relAddr, tgtAddr, addend);

View File

@ -0,0 +1,56 @@
# Check handling of R_MICROMIPS_PC18_S3 relocation.
# RUN: yaml2obj -format=elf %s > %t.o
# RUN: lld -flavor gnu -target mipsel -e T0 -o %t.exe %t.o
# RUN: llvm-objdump -s -t %t.exe | FileCheck %s
# CHECK: Contents of section .text:
# CHECK-NEXT: {{[0-9A-F]+}} 00000000 00000100 00000000 00000000
# ^ V
# A = -1 << 3 = -8 =>
# V = (T1 - 8 - (T0|7)^7) >> 3 =>
# V => 8 >> 3 = 1 (shuffled)
# CHECK: SYMBOL TABLE:
# CHECK: {{[0-9A-F]+}} g F .text 00000010 T0
# CHECK: {{[0-9A-F]+}} g F .text 00000004 T1
FileHeader:
Class: ELFCLASS32
Data: ELFDATA2LSB
Type: ET_REL
Machine: EM_MIPS
Flags: [EF_MIPS_CPIC, EF_MIPS_ABI_O32, EF_MIPS_ARCH_32R6, EF_MIPS_MICROMIPS]
Sections:
- Name: .text
Type: SHT_PROGBITS
Content: "000000000300ffff000000000000000000000000"
# ^ T1
# ^ T0 ^ A := 0x3ffff == -1 (shuffled)
AddressAlign: 16
Flags: [ SHF_ALLOC, SHF_EXECINSTR ]
- Name: .rel.text
Type: SHT_REL
Info: .text
AddressAlign: 4
Relocations:
- Offset: 4
Symbol: T1
Type: R_MICROMIPS_PC18_S3
Symbols:
Global:
- Name: T0
Section: .text
Type: STT_FUNC
Value: 0
Size: 16
Other: [STO_MIPS_MICROMIPS]
- Name: T1
Section: .text
Type: STT_FUNC
Value: 16
Size: 4
Other: [STO_MIPS_MICROMIPS]

View File

@ -0,0 +1,56 @@
# Check handling of R_MICROMIPS_PC19_S2 relocation.
# RUN: yaml2obj -format=elf %s > %t.o
# RUN: lld -flavor gnu -target mipsel -e T0 -o %t.exe %t.o
# RUN: llvm-objdump -s -t %t.exe | FileCheck %s
# CHECK: Contents of section .text:
# CHECK-NEXT: {{[0-9A-F]+}} 00000100 00000000 00000000
# ^ V
# A = -1 << 2 = -4 =>
# V = (T1 - 4 - T0) >> 2 =>
# V => 4 >> 2 = 1 (shuffled)
# CHECK: SYMBOL TABLE:
# CHECK: {{[0-9A-F]+}} g F .text 00000008 T0
# CHECK: {{[0-9A-F]+}} g F .text 00000004 T1
FileHeader:
Class: ELFCLASS32
Data: ELFDATA2LSB
Type: ET_REL
Machine: EM_MIPS
Flags: [EF_MIPS_CPIC, EF_MIPS_ABI_O32, EF_MIPS_ARCH_32R6, EF_MIPS_MICROMIPS]
Sections:
- Name: .text
Type: SHT_PROGBITS
Content: "0700ffff0000000000000000"
# ^ T1
# ^ T0 A := 0x7ffff == -1 (shuffled)
AddressAlign: 16
Flags: [ SHF_ALLOC, SHF_EXECINSTR ]
- Name: .rel.text
Type: SHT_REL
Info: .text
AddressAlign: 4
Relocations:
- Offset: 0
Symbol: T1
Type: R_MICROMIPS_PC19_S2
Symbols:
Global:
- Name: T0
Section: .text
Type: STT_FUNC
Value: 0
Size: 8
Other: [STO_MIPS_MICROMIPS]
- Name: T1
Section: .text
Type: STT_FUNC
Value: 8
Size: 4
Other: [STO_MIPS_MICROMIPS]

View File

@ -0,0 +1,56 @@
# Check handling of R_MICROMIPS_PC21_S2 relocation.
# RUN: yaml2obj -format=elf %s > %t.o
# RUN: lld -flavor gnu -target mipsel -e T0 -o %t.exe %t.o
# RUN: llvm-objdump -s -t %t.exe | FileCheck %s
# CHECK: Contents of section .text:
# CHECK-NEXT: {{[0-9A-F]+}} 00000100 00000000 00000000
# ^ V
# A = -1 << 2 = -4 =>
# V = (T1 - 4 - T0) >> 2 =>
# V => 4 >> 2 = 1 (shuffled)
# CHECK: SYMBOL TABLE:
# CHECK: {{[0-9A-F]+}} g F .text 00000008 T0
# CHECK: {{[0-9A-F]+}} g F .text 00000004 T1
FileHeader:
Class: ELFCLASS32
Data: ELFDATA2LSB
Type: ET_REL
Machine: EM_MIPS
Flags: [EF_MIPS_CPIC, EF_MIPS_ABI_O32, EF_MIPS_ARCH_32R6, EF_MIPS_MICROMIPS]
Sections:
- Name: .text
Type: SHT_PROGBITS
Content: "1f00ffff0000000000000000"
# ^ T1
# ^ T0 A := 0x1fffff (shuffled)
AddressAlign: 16
Flags: [ SHF_ALLOC, SHF_EXECINSTR ]
- Name: .rel.text
Type: SHT_REL
Info: .text
AddressAlign: 4
Relocations:
- Offset: 0
Symbol: T1
Type: R_MICROMIPS_PC21_S2
Symbols:
Global:
- Name: T0
Section: .text
Type: STT_FUNC
Value: 0
Size: 8
Other: [STO_MIPS_MICROMIPS]
- Name: T1
Section: .text
Type: STT_FUNC
Value: 8
Size: 4
Other: [STO_MIPS_MICROMIPS]

View File

@ -0,0 +1,56 @@
# Check handling of R_MICROMIPS_PC26_S2 relocation.
# RUN: yaml2obj -format=elf %s > %t.o
# RUN: lld -flavor gnu -target mipsel -e T0 -o %t.exe %t.o
# RUN: llvm-objdump -s -t %t.exe | FileCheck %s
# CHECK: Contents of section .text:
# CHECK-NEXT: {{[0-9A-F]+}} 00000100 00000000 00000000
# ^ V
# A = -1 << 2 = -4 =>
# V = (T1 - 4 - T0) >> 2 =>
# V => 4 >> 2 = 1 (shuffled)
# CHECK: SYMBOL TABLE:
# CHECK: {{[0-9A-F]+}} g F .text 00000008 T0
# CHECK: {{[0-9A-F]+}} g F .text 00000004 T1
FileHeader:
Class: ELFCLASS32
Data: ELFDATA2LSB
Type: ET_REL
Machine: EM_MIPS
Flags: [EF_MIPS_CPIC, EF_MIPS_ABI_O32, EF_MIPS_ARCH_32R6, EF_MIPS_MICROMIPS]
Sections:
- Name: .text
Type: SHT_PROGBITS
Content: "ff03ffff0000000000000000"
# ^ T1
# ^ T0 A := 0x3ffffff == -1 (shuffled)
AddressAlign: 16
Flags: [ SHF_ALLOC, SHF_EXECINSTR ]
- Name: .rel.text
Type: SHT_REL
Info: .text
AddressAlign: 4
Relocations:
- Offset: 0
Symbol: T1
Type: R_MICROMIPS_PC26_S2
Symbols:
Global:
- Name: T0
Section: .text
Type: STT_FUNC
Value: 0
Size: 8
Other: [STO_MIPS_MICROMIPS]
- Name: T1
Section: .text
Type: STT_FUNC
Value: 8
Size: 4
Other: [STO_MIPS_MICROMIPS]