[PATCH] D71845: [AIX][XCOFF] Fixed a bug of XCOFFObjectWriter.cpp and add test for raw text section content and test section header

[Digger via Phabricator via llvm-commits]

DiggerLin updated this revision to Diff 246595.
DiggerLin marked an inline comment as done.
DiggerLin added a comment.
Herald added a subscriber: hiraditya.

fixed a bug of llvm/lib/MC/XCOFFObjectWriter.cpp which will hit assert


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71845

Files:
  llvm/lib/MC/XCOFFObjectWriter.cpp
  llvm/test/CodeGen/PowerPC/aix-return55.ll


Index: llvm/test/CodeGen/PowerPC/aix-return55.ll
===================================================================
--- llvm/test/CodeGen/PowerPC/aix-return55.ll
+++ llvm/test/CodeGen/PowerPC/aix-return55.ll
@@ -1,5 +1,11 @@
-; RUN: llc -mcpu=pwr9 -mtriple=powerpc-ibm-aix-xcoff -verify-machineinstrs < %s | FileCheck %s
+; RUN: llc -mcpu=pwr4 -mtriple=powerpc-ibm-aix-xcoff -verify-machineinstrs < %s | FileCheck %s
+; RUN: llc -mcpu=pwr4 -mtriple=powerpc-ibm-aix-xcoff -verify-machineinstrs -filetype=obj -o %t.o < %s
+; RUN: llvm-objdump -D %t.o | FileCheck --check-prefix=CHECKOBJ %s
+; RUN: llvm-readobj -sections %t.o | FileCheck --check-prefix=CHECKSECT %s
 
+ at a = global i64 320255973571806, align 8
+ at d = global double 5.000000e+00, align 8
+ at strA = private unnamed_addr constant [12 x i8] c"helloworld\0A\00", align 1
 
 define dso_local signext i32 @foo() {
 entry:
@@ -9,3 +15,50 @@
 ; CHECK: blr
 }
 
+;CHECKOBJ:      00000000 .text:
+;CHECKOBJ-NEXT:       0: 38 60 00 37                    li 3, 55
+;CHECKOBJ-NEXT:       4: 4e 80 00 20                    blr{{[[:space:]] *}}
+;CHECKOBJ-NEXT: 00000008 .rodata.str1.1:
+;CHECKOBJ-NEXT:       8: 68 65 6c 6c                   xori 5, 3, 27756
+;CHECKOBJ-NEXT:       c: 6f 77 6f 72 xoris 23, 27, 28530 
+;CHECKOBJ-NEXT:       10: 6c 64 0a 00 xoris 4, 3, 2560{{[[:space:]] *}} 
+;CHECKOBJ-NEXT: Disassembly of section .data:{{[[:space:]] *}}
+;CHECKOBJ-NEXT: 00000018 a:
+;CHECKOBJ-NEXT:      18: 00 01 23 45                   <unknown>
+;CHECKOBJ-NEXT:      1c: 67 8a bc de                   oris 10, 28, 48350{{[[:space:]] *}}
+;CHECKOBJ-NEXT: 00000020 d:
+;CHECKOBJ-NEXT:      20: 40 14 00 00                   bdnzf   20, .+0
+;CHECKOBJ-NEXT:      24: 00 00 00 00                   <unknown>{{[[:space:]] *}}
+;CHECKOBJ-NEXT: 00000028 foo:
+;CHECKOBJ-NEXT:      28: 00 00 00 00                   <unknown>
+;CHECKOBJ-NEXT:      2c: 00 00 00 34                   <unknown>
+;CHECKOBJ-NEXT:      30: 00 00 00 00                   <unknown>
+
+;CHECKSECT: Sections [
+;CHECKSECT-NEXT:   Section {
+;CHECKSECT-NEXT:     Index: 1
+;CHECKSECT-NEXT:     Name: .text
+;CHECKSECT-NEXT:     PhysicalAddress: 0x0
+;CHECKSECT-NEXT:     VirtualAddress: 0x0
+;CHECKSECT-NEXT:     Size: 0x14
+;CHECKSECT-NEXT:     RawDataOffset: 0x64
+;CHECKSECT-NEXT:     RelocationPointer: 0x0
+;CHECKSECT-NEXT:     LineNumberPointer: 0x0
+;CHECKSECT-NEXT:     NumberOfRelocations: 0
+;CHECKSECT-NEXT:     NumberOfLineNumbers: 0
+;CHECKSECT-NEXT:     Type: STYP_TEXT (0x20)
+;CHECKSECT-NEXT:   }
+;CHECKSECT-NEXT:   Section {
+;CHECKSECT-NEXT:     Index: 2
+;CHECKSECT-NEXT:     Name: .data
+;CHECKSECT-NEXT:     PhysicalAddress: 0x18
+;CHECKSECT-NEXT:     VirtualAddress: 0x18
+;CHECKSECT-NEXT:     Size: 0x1C
+;CHECKSECT-NEXT:     RawDataOffset: 0x78
+;CHECKSECT-NEXT:     RelocationPointer: 0x94
+;CHECKSECT-NEXT:     LineNumberPointer: 0x0
+;CHECKSECT-NEXT:     NumberOfRelocations: 2
+;CHECKSECT-NEXT:     NumberOfLineNumbers: 0
+;CHECKSECT-NEXT:     Type: STYP_DATA (0x40)
+;CHECKSECT-NEXT:   }
+;CHECKSECT-NEXT: ]
Index: llvm/lib/MC/XCOFFObjectWriter.cpp
===================================================================
--- llvm/lib/MC/XCOFFObjectWriter.cpp
+++ llvm/lib/MC/XCOFFObjectWriter.cpp
@@ -437,8 +437,7 @@
     if (Section->Index == Section::UninitializedIndex || Section->IsVirtual)
       continue;
 
-    assert(CurrentAddressLocation == Section->Address &&
-           "Sections should be written consecutively.");
+    CurrentAddressLocation = Section->Address;
     for (const auto *Group : Section->Groups) {
       for (const auto &Csect : *Group) {
         if (uint32_t PaddingSize = Csect.Address - CurrentAddressLocation)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D71845.246595.patch
Type: text/x-patch
Size: 3690 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200225/fb69bc54/attachment-0001.bin>