[Bug ld/27953] New: IE->LE is not happenig for riscv in linker relaxation.

[chschandan at gmail dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=27953

            Bug ID: 27953
           Summary: IE->LE is not happenig for riscv in linker relaxation.
           Product: binutils
           Version: 2.36.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ld
          Assignee: unassigned at sourceware dot org
          Reporter: chschandan at gmail dot com
  Target Milestone: ---

When a __thread variable is defined and accessed within an executable, we
should be able to access it using a single TP based instruction.

 10158: 00022503 lw a0,0(tp) # 0 <ThreadVar>
However if a __thread variable is defined in another module, but used in
another module, then, even if both modules are in the executable (not in a
shared library), the code contains an unnecessary extra level of indirection
through the global offset table:

 10170: 00002517 auipc a0,0x2
 10174: ea853503 ld a0,-344(a0) # 12018 <_GLOBAL_OFFSET_TABLE_+0x8>
 10178: 9512 add a0,a0,tp
 1017a: 4108 lw a0,0(a0)
Note that the compiler cannot know whether an external __thread variable is
defined in the executable or in a shared library. Therefore at compile time,
the extra level of indirection has to be included.

However a standard linker "TLS relaxation" (Initial Exec => Local Exec) is
supposed to optimize the code in the case where the referenced variable turns
out to be defined in the executable.

Unfortunately this has not yet been implemented by the GNU linker for RISC-V
(as of GNU Binutils 2.36.1).

$ cat thr1.c
extern __thread int ThreadVar;
int _start(void)
{
 return ThreadVar;
}
$ cat thr2.c
__thread int ThreadVar = 123;


The optimal code can be seen by compiling with -ftls-model=local-exec (we
cannot use that option in general since we do not know at compile time whether
we are compiling a static or dynamic executable). 

 $ clang -O2 -target riscv64 -march=rv64imafdc -mabi=lp64d -c thr1.c thr2.c
-ftls-model=local-exec
$ ldriscv -melf64lriscv -o thr.vxe thr1.o thr2.o
$ objdumpriscv -S thr.vxe
thr.vxe: file format elf64-littleriscv

Disassembly of section .text:
0000000000010158 <_start>:
 10158: 00022503 lw a0,0(tp) # 0 <ThreadVar>
 1015c: 8082 ret
 ...


When we don't compile for local-exec, we expect the linker to perform the
"initial-exec" => "local-exec" optimization - but it doesn't!

$ clang -O2 -target riscv64 -march=rv64imafdc -mabi=lp64d -c thr1.c thr2.c
$ ldriscv -melf64lriscv -o thr.vxe thr1.o thr2.o
$ objdumpriscv -S thr.vxe
thr.vxe: file format elf64-littleriscv

Disassembly of section .text:
0000000000010170 <_start>:
 10170: 00002517 auipc a0,0x2
 10174: ea853503 ld a0,-344(a0) # 12018 <_GLOBAL_OFFSET_TABLE_+0x8>
 10178: 9512 add a0,a0,tp
 1017a: 4108 lw a0,0(a0)
 1017c: 8082 ret

-- 
You are receiving this mail because:
You are on the CC list for the bug.