diff --git a/lld/ELF/LinkerScript.cpp b/lld/ELF/LinkerScript.cpp --- a/lld/ELF/LinkerScript.cpp +++ b/lld/ELF/LinkerScript.cpp @@ -851,7 +851,8 @@ if (!(sec->flags & SHF_ALLOC)) dot = 0; - bool prevLMARegionIsDefault = ctx->lmaRegion == nullptr; + const bool sameMemRegion = ctx->memRegion == sec->memRegion; + const bool prevLMARegionIsDefault = ctx->lmaRegion == nullptr; ctx->memRegion = sec->memRegion; ctx->lmaRegion = sec->lmaRegion; if (ctx->memRegion) @@ -872,14 +873,15 @@ // ctx->lmaOffset is LMA minus VMA. If LMA is explicitly specified via AT() or // AT>, recompute ctx->lmaOffset; otherwise, if both previous/current LMA - // region is the default, reuse previous lmaOffset; otherwise, reset lmaOffset - // to 0. This emulates heuristics described in + // region is the default, and the two sections are in the same memory region, + // reuse previous lmaOffset; otherwise, reset lmaOffset to 0. This emulates + // heuristics described in // https://sourceware.org/binutils/docs/ld/Output-Section-LMA.html if (sec->lmaExpr) ctx->lmaOffset = sec->lmaExpr().getValue() - dot; else if (MemoryRegion *mr = sec->lmaRegion) ctx->lmaOffset = alignTo(mr->curPos, sec->alignment) - dot; - else if (!prevLMARegionIsDefault) + else if (!sameMemRegion || !prevLMARegionIsDefault) ctx->lmaOffset = 0; // Propagate ctx->lmaOffset to the first "non-header" section. diff --git a/lld/docs/ELF/linker_script.rst b/lld/docs/ELF/linker_script.rst --- a/lld/docs/ELF/linker_script.rst +++ b/lld/docs/ELF/linker_script.rst @@ -71,7 +71,7 @@ If neither ``AT(lma)`` nor ``AT>lma_region`` is specified: -- If the previous section is also in the default LMA region, the difference - between the LMA and the VMA is computed to be the same as the previous - difference. +- If the previous section is also in the default LMA region, and the two + section have the same memory regions, the difference between the LMA and the + VMA is computed to be the same as the previous difference. - Otherwise, the LMA is set to the VMA. diff --git a/lld/test/ELF/linkerscript/lma-offset2.s b/lld/test/ELF/linkerscript/lma-offset2.s new file mode 100644 --- /dev/null +++ b/lld/test/ELF/linkerscript/lma-offset2.s @@ -0,0 +1,30 @@ +# REQUIRES: x86 +## If neither AT(lma) nor AT>lma_region is specified, don't propagate +## lmaOffset if the section and the previous section are in different memory +## regions. + +# RUN: echo '.globl _start; _start: ret; \ +# RUN: .data; .byte 0; \ +# RUN: .bss; .byte 0' | \ +# RUN: llvm-mc -filetype=obj -triple=x86_64 - -o %t.o +# RUN: ld.lld -T %s %t.o -o %t +# RUN: llvm-readelf -l %t | FileCheck %s + +## GNU ld places .text and .bss in the same RWX PT_LOAD. +# CHECK: Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg +# CHECK-NEXT: LOAD 0x001000 0x000000000fb00000 0x000000000fb00000 0x000001 0x000001 R E +# CHECK-NEXT: LOAD 0x002000 0x000000001f400000 0x000000000fb01000 0x000001 0x000001 RW +# CHECK-NEXT: LOAD 0x002001 0x000000000fb00001 0x000000000fb00001 0x000000 0x000001 RW + +MEMORY { + DDR : o = 0xfb00000, l = 185M + TCM : o = 0x1f400000, l = 128K +} + +SECTIONS { + .text : { *(.text) } > DDR + .mdata : AT(0xfb01000) { *(.data); } > TCM + ## .mdata and .bss are in different memory regions. Start a new PT_LOAD for + ## .bss, even if .mdata does not set a LMA region. + .bss : { *(.bss) } > DDR +}