Respect Addend when processing MCJIT relocations to local/global symbols.
authorUlrich Weigand <ulrich.weigand@de.ibm.com>
Fri, 5 Apr 2013 13:29:04 +0000 (13:29 +0000)
committerUlrich Weigand <ulrich.weigand@de.ibm.com>
Fri, 5 Apr 2013 13:29:04 +0000 (13:29 +0000)
commit03f018a71348893d567d5062987dfbc52b8560e3
tree2871975aa4577b644751c6dd1879159aa2a4b62f
parentef148afba873b1e24af1b3c22148f967b9b8a232
Respect Addend when processing MCJIT relocations to local/global symbols.

When the RuntimeDyldELF::processRelocationRef routine finds the target
symbol of a relocation in the local or global symbol table, it performs
a section-relative relocation:

    Value.SectionID = lsi->second.first;
    Value.Addend = lsi->second.second;

At this point, however, any Addend that might have been specified in
the original relocation record is lost.  This is somewhat difficult to
trigger for relocations within the code section since they usually
do not contain non-zero Addends (when built with the default JIT code
model, in any case).  However, the problem can be reliably triggered
by a relocation within the data section caused by code like:

 int test[2] = { -1, 0 };
 int *p = &test[1];

The initializer of "p" will need a relocation to "test + 4".  On
platforms using RelA relocations this means an Addend of 4 is required.
Current code ignores this addend when processing the relocation,
resulting in incorrect execution.

Fixed by taking the Addend into account when processing relocations
to symbols found in the local or global symbol table.

Tested on x86_64-linux and powerpc64-linux.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@178869 91177308-0d34-0410-b5e6-96231b3b80d8
lib/ExecutionEngine/RuntimeDyld/RuntimeDyldELF.cpp
test/ExecutionEngine/MCJIT/2013-04-04-RelocAddend.ll [new file with mode: 0644]