[lld] r229072 - ELF/AArch64: Add support for checking for ABS32 overflow
Michael Spencer
bigcheesegs at gmail.com
Fri Feb 13 14:40:49 PST 2015
On Thu, Feb 12, 2015 at 10:22 PM, Will Newton <will.newton at linaro.org> wrote:
> Author: wnewton
> Date: Fri Feb 13 00:22:31 2015
> New Revision: 229072
>
> URL: http://llvm.org/viewvc/llvm-project?rev=229072&view=rev
> Log:
> ELF/AArch64: Add support for checking for ABS32 overflow
>
> Add support for checking overflow when applying a R_AARCH64_ABS32
> relocation and add a test to ensure it behaves correctly.
This test fails for me on Windows.
66> Command 2: "FileCheck"
"C:\Users\mspencer\Projects\llvm-project\lold\test\elf\AArch64\rel-abs32-overflow.test"
66> Command 2 Result: 1
66> Command 2 Output:
66>
66>
66> Command 2 Stderr:
66> C:\Users\mspencer\Projects\llvm-project\lold\test\elf\AArch64\rel-abs32-overflow.test:6:10:
error: expected string not found in input
66>
66> # CHECK: Relocation out of range in file {{.*}}: reference from
data2+0 to data1+34359738369 of type 258 (R_AARCH64_ABS32)
66>
66> ^
66>
66> <stdin>:3:1: note: scanning from here
66>
66>CUSTOMBUILD : LLVM error : relocating output
66>
66> ^
- Michael Spencer
>
> Added:
> lld/trunk/test/elf/AArch64/rel-abs32-overflow.test
> Modified:
> lld/trunk/lib/ReaderWriter/ELF/AArch64/AArch64RelocationHandler.cpp
>
> Modified: lld/trunk/lib/ReaderWriter/ELF/AArch64/AArch64RelocationHandler.cpp
> URL: http://llvm.org/viewvc/llvm-project/lld/trunk/lib/ReaderWriter/ELF/AArch64/AArch64RelocationHandler.cpp?rev=229072&r1=229071&r2=229072&view=diff
> ==============================================================================
> --- lld/trunk/lib/ReaderWriter/ELF/AArch64/AArch64RelocationHandler.cpp (original)
> +++ lld/trunk/lib/ReaderWriter/ELF/AArch64/AArch64RelocationHandler.cpp Fri Feb 13 00:22:31 2015
> @@ -10,12 +10,18 @@
> #include "AArch64TargetHandler.h"
> #include "AArch64LinkingContext.h"
> #include "llvm/Support/Debug.h"
> +#include "llvm/Support/MathExtras.h"
>
> using namespace lld;
> using namespace elf;
>
> #define PAGE(X) ((X) & ~0x0FFFL)
>
> +/// \brief Check X is in the interval (-2^(bits-1), 2^bits]
> +static bool withinSignedUnsignedRange(int64_t X, int bits) {
> + return isIntN(bits - 1, X) || isUIntN(bits, X);
> +}
> +
> /// \brief R_AARCH64_ABS64 - word64: S + A
> static void relocR_AARCH64_ABS64(uint8_t *location, uint64_t P, uint64_t S,
> int64_t A) {
> @@ -41,9 +47,11 @@ static void relocR_AARCH64_PREL32(uint8_
> }
>
> /// \brief R_AARCH64_ABS32 - word32: S + A
> -static void relocR_AARCH64_ABS32(uint8_t *location, uint64_t P, uint64_t S,
> - int64_t A) {
> - int32_t result = (int32_t)(S + A);
> +static std::error_code relocR_AARCH64_ABS32(uint8_t *location, uint64_t P,
> + uint64_t S, int64_t A) {
> + int64_t result = S + A;
> + if (!withinSignedUnsignedRange(result, 32))
> + return make_out_of_range_reloc_error();
> DEBUG_WITH_TYPE(
> "AArch64", llvm::dbgs() << "\t\tHandle " << LLVM_FUNCTION_NAME << " -";
> llvm::dbgs() << " S: 0x" << Twine::utohexstr(S);
> @@ -53,6 +61,7 @@ static void relocR_AARCH64_ABS32(uint8_t
> *reinterpret_cast<llvm::support::ulittle32_t *>(location) =
> result |
> (int32_t) * reinterpret_cast<llvm::support::little32_t *>(location);
> + return std::error_code();
> }
>
> /// \brief R_AARCH64_ADR_PREL_PG_HI21 - Page(S+A) - Page(P)
> @@ -385,8 +394,8 @@ std::error_code AArch64TargetRelocationH
> ref.addend());
> break;
> case R_AARCH64_ABS32:
> - relocR_AARCH64_ABS32(location, relocVAddress, targetVAddress, ref.addend());
> - break;
> + return relocR_AARCH64_ABS32(location, relocVAddress, targetVAddress,
> + ref.addend());
> // Runtime only relocations. Ignore here.
> case R_AARCH64_RELATIVE:
> case R_AARCH64_IRELATIVE:
>
> Added: lld/trunk/test/elf/AArch64/rel-abs32-overflow.test
> URL: http://llvm.org/viewvc/llvm-project/lld/trunk/test/elf/AArch64/rel-abs32-overflow.test?rev=229072&view=auto
> ==============================================================================
> --- lld/trunk/test/elf/AArch64/rel-abs32-overflow.test (added)
> +++ lld/trunk/test/elf/AArch64/rel-abs32-overflow.test Fri Feb 13 00:22:31 2015
> @@ -0,0 +1,53 @@
> +# Check handling of R_AARCH64_ABS32 relocation overflow.
> +# RUN: yaml2obj -format=elf %s > %t-obj
> +# RUN: not lld -flavor gnu -target arm64 -o %t-exe %t-obj 2>&1 | FileCheck %s
> +
> +# CHECK: Relocation out of range in file {{.*}}: reference from data1+0 to data2+34359738369 of type 258 (R_AARCH64_ABS32)
> +# CHECK: Relocation out of range in file {{.*}}: reference from data2+0 to data1+34359738369 of type 258 (R_AARCH64_ABS32)
> +
> +!ELF
> +FileHeader: !FileHeader
> + Class: ELFCLASS64
> + Data: ELFDATA2LSB
> + Type: ET_REL
> + Machine: EM_AARCH64
> +
> +Sections:
> +- Name: .text
> + Type: SHT_PROGBITS
> + Content: "00000000"
> + AddressAlign: 16
> + Flags: [SHF_ALLOC, SHF_EXECINSTR]
> +- Name: .data
> + Type: SHT_PROGBITS
> + Content: "0000000000000000"
> + AddressAlign: 16
> + Flags: [SHF_ALLOC, SHF_WRITE]
> +
> +- Name: .rela.data
> + Type: SHT_RELA
> + Info: .data
> + AddressAlign: 8
> + Relocations:
> + - Offset: 0x0
> + Symbol: data2
> + Type: R_AARCH64_ABS32
> + Addend: 0x800000001
> + - Offset: 0x4
> + Symbol: data1
> + Type: R_AARCH64_ABS32
> + Addend: 0x800000001
> +
> +Symbols:
> + Global:
> + - Name: _start
> + Section: .text
> + Value: 0x0
> + Size: 4
> + - Name: data1
> + Section: .data
> + Size: 4
> + - Name: data2
> + Section: .data
> + Value: 0x4
> + Size: 4
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
More information about the llvm-commits
mailing list