[yaml2obj] - Verify that sections are sorted by their file offsets when creating segments.

[grimar]

Summary

This validates that sections listed for a segment in the YAML
declaration are ordered by their file offsets.

It might help to simplify the file size computation, but also
is useful by itself as helps to avoid issues in test cases and
to maintain their readability.

[grimar]

• Add the forgotten test case.

[grimar]

• Last minute fixes.

[MaskRay]

Can the tool sort program headers by p_offset so that reordered user input can be accepted? It may sometimes be useful to check how other tools behave with reordered input. This patch is dropping this feature.

[grimar]

In D78361#1988960, @MaskRay wrote:

Can the tool sort program headers by p_offset so that reordered user input can be accepted? It may sometimes be useful to check how other tools behave with reordered input. This patch is dropping this feature.

This patch fixed issues in 5 of test cases, I believe they did not expect to have reordered sections. This is what is really useful.

It may sometimes be useful to check how other tools behave with reordered input.

I am not sure what do you mean, could you elaborate? Are you going to use YAMLs as inputs for another tools? Which tools? Are them a part of LLVM? Do we have any test cases?

[jhenderson]

llvm/test/tools/obj2yaml/program-headers.yaml

419 ↗

(On Diff #258299)

the file offset -> their offsets

(sections only have one kind of offset field defined, so I don't think you need to say "file")

441 ↗

(On Diff #258299)

This isn't really a "Case", as that implies it's actually something that is testing functionality itself. I'd just get rid of the Case labels in this test.

[grimar]

• Addressed review comments.

[MaskRay]

In D78361#1990346, @grimar wrote:

In D78361#1988960, @MaskRay wrote:

Can the tool sort program headers by p_offset so that reordered user input can be accepted? It may sometimes be useful to check how other tools behave with reordered input. This patch is dropping this feature.

This patch fixed issues in 5 of test cases, I believe they did not expect to have reordered sections. This is what is really useful.

It may sometimes be useful to check how other tools behave with reordered input.

I am not sure what do you mean, could you elaborate? Are you going to use YAMLs as inputs for another tools? Which tools? Are them a part of LLVM? Do we have any test cases?

Ah, I misread the patch. The check does not prevent any feature.

[jhenderson]

LGTM.

llvm/test/tools/obj2yaml/program-headers.yaml

419 ↗

(On Diff #258699)

offset -> offsets

llvm/lib/ObjectYAML/ELFEmitter.cpp

 
 template <class ELFT>
 void ELFState<ELFT>::setProgramHeaderLayout(std::vector<Elf_Phdr> &PHeaders,
                                             std::vector<Elf_Shdr> &SHeaders) {
   uint32_t PhdrIdx = 0;
   for (auto &YamlPhdr : Doc.ProgramHeaders) {
     Elf_Phdr &PHeader = PHeaders[PhdrIdx++];
     std::vector<Fragment> Fragments = getPhdrFragments(YamlPhdr, SHeaders);
+    if (!llvm::is_sorted(Fragments, [](const Fragment &A, const Fragment &B) {
+          return A.Offset < B.Offset;
+        }))
+      reportError("sections in the program header with index " +
+                  Twine(PhdrIdx) + " are not sorted by their file offset");
 
     if (YamlPhdr.Offset) {
       PHeader.p_offset = *YamlPhdr.Offset;
     } else {
       if (YamlPhdr.Sections.size())
         PHeader.p_offset = UINT32_MAX;
       else
         PHeader.p_offset = 0;

llvm/test/tools/llvm-gsymutil/X86/elf-dwarf.yaml

- Type: PT_LOAD
     VAddr: 0x0000000000400000
     Align: 1024
     Sections:
       - Section: .interp
       - Section: .interp
       - Section: .note.ABI-tag
       - Section: .note.gnu.build-id
       - Section: .gnu.hash
-      - Section: .dynsym
-      - Section: .dynstr
       - Section: .gnu.version
       - Section: .gnu.version_r
       - Section: .rela.dyn
       - Section: .rela.plt
       - Section: .init
       - Section: .plt
       - Section: .plt.got
       - Section: .text
       - Section: .fini
       - Section: .rodata
       - Section: .eh_frame_hdr
       - Section: .eh_frame
+      - Section: .dynsym
+      - Section: .dynstr
 Symbols:
   - Name:            .interp
     Type:            STT_SECTION
     Section:         .interp
     Value:           0x0000000000400238
   - Name:            .note.ABI-tag
     Type:            STT_SECTION
     Section:         .note.ABI-tag

llvm/test/tools/llvm-readobj/ELF/demangle.test

 DynamicSymbols:
   - Name:    _Z3fooi
     Binding: STB_GLOBAL
 ProgramHeaders:
   - Type:  PT_LOAD
     Flags: [ PF_R, PF_X ]
     VAddr: 0x0
     Sections:
-      - Section: .dynsym
       - Section: .dynstr
+      - Section: .dynsym
       - Section: .rela.dyn
       - Section: .dynamic
       - Section: .text.foo
   - Type:  PT_DYNAMIC
     Flags: [ PF_R ]
     VAddr: 0x1000
     Sections:
       - Section: .dynamic

llvm/test/tools/llvm-readobj/ELF/hash-symbols.test

 DynamicSymbols:
   - Name:    _Z3fooi
     Binding: STB_GLOBAL
 ProgramHeaders:
   - Type:  PT_LOAD
     Flags: [ PF_R, PF_X ]
     VAddr: 0x0
     Sections:
-      - Section: .dynsym
       - Section: .dynstr
+      - Section: .dynsym
       - Section: .dynamic
       - Section: .text.foo
   - Type:  PT_DYNAMIC
     Flags: [ PF_R ]
     VAddr: 0x1000
     Sections:
       - Section: .dynamic
 

llvm/test/tools/llvm-readobj/ELF/reloc-negative-addend-no-sym.test

Relocations:
         Addend: -1
 DynamicSymbols:
   - Name:    force_dynsym
     Binding: STB_GLOBAL
 ProgramHeaders:
   - Type: PT_LOAD
     VAddr: 0x1000
     Sections:
-      - Section: .rela.dyn
       - Section: .dynamic
+      - Section: .rela.dyn
   - Type: PT_DYNAMIC
     VAddr: 0x1000
     Sections:
       - Section: .dynamic

llvm/test/tools/llvm-readobj/ELF/reloc-zero-name-or-value.test

- Name:    sym
     Binding: STB_GLOBAL
   - Value:   0x123
     Section: .text
     Binding: STB_GLOBAL
 ProgramHeaders:
   - Type: PT_LOAD
     VAddr: 0x1000
     Sections:
-      - Section: .rela.dyn
       - Section: .dynamic
+      - Section: .rela.dyn
   - Type: PT_DYNAMIC
     VAddr: 0x1000
     Sections:
       - Section: .dynamic