[PATCH] D81986: [ELF] Refine LMA offset propagation rule in D76995

[Fangrui Song via Phabricator via llvm-commits]

MaskRay updated this revision to Diff 271421.
MaskRay marked 4 inline comments as done.
MaskRay retitled this revision from "[ELF] Refine LMA offset propagation rule in D76395" to "[ELF] Refine LMA offset propagation rule in D76995".
MaskRay edited the summary of this revision.
MaskRay added a comment.

Fix reference: it should be D76995 <https://reviews.llvm.org/D76995>

Add comments.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D81986/new/

https://reviews.llvm.org/D81986

Files:
  lld/ELF/LinkerScript.cpp
  lld/docs/ELF/linker_script.rst
  lld/test/ELF/linkerscript/lma-offset2.s


Index: lld/test/ELF/linkerscript/lma-offset2.s
===================================================================
--- /dev/null
+++ 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
+}
Index: lld/docs/ELF/linker_script.rst
===================================================================
--- lld/docs/ELF/linker_script.rst
+++ 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.
Index: lld/ELF/LinkerScript.cpp
===================================================================
--- lld/ELF/LinkerScript.cpp
+++ 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.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D81986.271421.patch
Type: text/x-patch
Size: 3496 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200617/2c974cdb/attachment.bin>