<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/78346>78346</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [lld] [risc-v] absolute values with pcrel relocation cause relocation overflows
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            lld
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          shankarke
      </td>
    </tr>
</table>

<pre>
    This test case when run with lld produces a relocation overflow error 👎 

`
cat > t.c << \!
__thread int a = 0;
typedef unsigned long long size_t;
__attribute__((visibility("hidden"))) extern char __tbss_align[];
size_t foo() { return (size_t)&__tbss_align; }
!

cat > tls.t << \!
MEMORY {
  RAM (rwx) : ORIGIN = 0x80002a50,  LENGTH = ((262144) << 10)
}

SECTIONS {
  text : { *(.text) } > RAM
  data : { *(.data); *(.sdata) } > RAM
  tbss : { *(.tbss) } > RAM
  PROVIDE(__tbss_align = ALIGNOF(tbss));
}
!

clang -target riscv64 -c t.c -fno-asynchronous-unwind-tables -fPIC -mno-relax
ld.lld t.o -T script.t 
`

This produces an error :

ld.lld: error: t.o:(function foo: .text+0x8): relocation R_RISCV_PCREL_HI20 out of range: -524291 is not in [-524288, 524287]; references '__tbss_align'

The same test when tried with GNU linker transforms : auipc to lui, in certain cases converts lui to li as well.

It also appears that GNU linker tries to preserve auipc if certain circumstances when the ORIGIN value for example is 0x900.

The customer in this case is Zephyr, and needs this issue to be fixed. 

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0Vdtu4zYQ_Rr6ZSCBpnyRHvzg-JI1sEkW3nSB9kWgpJHFLk0a5Mhx-vUFKSfrpFtAoHgZzpkznENK79XBIC7Y9I5N1yPZU2fdwnfS_JTuJ44q27wunjvlgdAT1NIjvHRowPUGXhR1oHUDJ2ebvkYPEhxqW0tS1oA9o2u1fQF0zjpgW86KLSvGLN8A42vGl9d2xodOLQlYtgFKa2DZimUrYNMVE-NhuSypcygbUIZAAsvWwFl2NyzS6wkbbKE3kVED2prD0Hj1D5b0blmWksipqicsSyZyJvKz8qpSWtFrHItONQ0aJgQTxfABXgidgbqTDsqSKu9LqdXBDIl7dz5gQWtt9FQAm9-BQ-qdASbyayjB5eyDl-wO2Hx9zccb4U9Z0T6l3-XlYfPwtP8zIA1jgP3yIaC5l0sMIVvC0353v3sccnbJOedCTjkTK4Cvm8f75y9xZUiGmInxZDJsjFhjHgIeInqPMbbfN6vn3dPj91tswgtFyMCciSUTeRrmhmSsI5X98uHNvJEkP5uHuQCZvc_469TvPIQs_gew8v5_zL_tn37s1hsm8tsDiPyXX3f3j09bJvLr_iGIz9Q_HY-W5gAJSXdAAqd8fZ5NIKljFSetsYn0r6bunDW290lvXpRpEpKVRg9J-223guRobOJQy8vgUjdpUBWlFpJn8LVTJwpH_1EtQxu1-Ut_5k1s2fLWavAYkhSXQ4dSG4xE3vamjnoNRZst4Xpad_ySR_7LW03vy_3u--pH-W2133wtv-wEB9sT2BacNAcM1slUTEQxBuXBWAJlgE3v4mSeh4qLvfkgGnDYokMTYmdi_kESYv6RJ4KXRxzuoXgFkVPYDJfQ_eMfoJX5iQ7ISeNb645DUchenWogC7pXAV0ZqNGRDH_p0UNtzRkd-WAQ7RRIDy-odXqLvyOQ2luQpxNK54E6SR9hFfqw_-TQozvjFVm1v_CUq_ujJxnpDhQ6fJPmWeoeobUO8CKPJ40hgfxScJ5-zkPde7JHdIEMhfOP17Ly8BeeulcXaErTgEFs_GCgvO8xRFchtOqCTXqtplGzyJoiK-QIF-M5n06ygmd81C1kJUTWiKKZ1FMpxjXmcykyMS5mbTFtq3ykFoKLCR-PZ2LMsylPszaf87otpkXGKz4p2ITjUSqdan0-ptYdRjGKxTzPJrORlhVqH98dIUJtChEeILcI1knVHzybcK08-V_7SZGOT1Wwn65DXQW9JecwkJW3uiccEumHujjVDvVt_day9_i7R8qPeqcXHdHJR1lsmdgeFHV9ldb2yMQ2RHH9JSdn_8aamNhGSp6JbWT1bwAAAP__OjAwZg">