https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95285
--- Comment #5 from Wilco <wilco at gcc dot gnu.org> --- (In reply to Bu Le from comment #0) Also it would be much more efficient to have a relocation like this if you wanted a 48-bit PC-relative offset: adrp x0, bar1.2782 add x0, x0, :lo12:bar1.2782 movk x0, :high32_47:bar1.2782