PowerPC64: align plt_branch stubs
authorAlan Modra <amodra@gmail.com>
Mon, 27 Jun 2022 08:47:18 +0000 (18:17 +0930)
committerAlan Modra <amodra@gmail.com>
Tue, 28 Jun 2022 03:32:26 +0000 (13:02 +0930)
plt_branch stubs are similar to plt_call stubs in that they branch
via bctr.  Align them too.

bfd/
* elf64-ppc.c (ppc_size_one_stub): Align plt_branch stubs as for
plt_call stubs.
ld/
* testsuite/ld-powerpc/elfv2exe.d: Adjust for plt_branch changes.
* testsuite/ld-powerpc/notoc.d: Likewise.
* testsuite/ld-powerpc/notoc.wf: Likewise.
* testsuite/ld-powerpc/notoc3.d: Likewise.
* testsuite/ld-powerpc/pr23937.d: Likewise.

bfd/elf64-ppc.c
ld/testsuite/ld-powerpc/elfv2exe.d
ld/testsuite/ld-powerpc/notoc.d
ld/testsuite/ld-powerpc/notoc.wf
ld/testsuite/ld-powerpc/notoc3.d
ld/testsuite/ld-powerpc/pr23937.d

index 202c941515dd9331f4a3deba036f04479f52af64..77e8f596d15fd9bdd9415e26da6d280987e9fea0 100644 (file)
@@ -12393,6 +12393,8 @@ ppc_size_one_stub (struct bfd_hash_entry *gen_entry, void *in_arg)
              if (PPC_LO (r2off) != 0)
                size += 4;
            }
+         pad = plt_stub_pad (htab->params->plt_stub_align, stub_offset, size);
+         stub_offset += pad;
        }
       else if (info->emitrelocations)
        {
@@ -12415,6 +12417,38 @@ ppc_size_one_stub (struct bfd_hash_entry *gen_entry, void *in_arg)
       odd = off & 4;
       off = targ - off;
 
+      if (stub_entry->type.sub == ppc_stub_notoc)
+       extra = size_power10_offset (off, odd);
+      else
+       extra = size_offset (off - 8);
+      /* Include branch insn plus those in the offset sequence.  */
+      size += 4 + extra;
+
+      /* If the branch can't reach, use a plt_branch.
+        The branch insn is at the end, or "extra" bytes along.  So
+        its offset will be "extra" bytes less that that already
+        calculated.  */
+      if (off - extra + (1 << 25) >= (bfd_vma) (1 << 26))
+       {
+         stub_entry->type.main = ppc_stub_plt_branch;
+         size += 4;
+         pad = plt_stub_pad (htab->params->plt_stub_align, stub_offset, size);
+         if (pad != 0)
+           {
+             stub_offset += pad;
+             off -= pad;
+             odd ^= pad & 4;
+             size -= extra;
+             if (stub_entry->type.sub == ppc_stub_notoc)
+               extra = size_power10_offset (off, odd);
+             else
+               extra = size_offset (off - 8);
+             size += extra;
+           }
+       }
+      else if (info->emitrelocations)
+       stub_entry->group->stub_sec->reloc_count +=1;
+
       if (info->emitrelocations)
        {
          unsigned int num_rel;
@@ -12426,17 +12460,6 @@ ppc_size_one_stub (struct bfd_hash_entry *gen_entry, void *in_arg)
          stub_entry->group->stub_sec->flags |= SEC_RELOC;
        }
 
-      if (stub_entry->type.sub == ppc_stub_notoc)
-       extra = size_power10_offset (off, odd);
-      else
-       extra = size_offset (off - 8);
-      /* Include branch insn plus those in the offset sequence.  */
-      size += 4 + extra;
-      /* The branch insn is at the end, or "extra" bytes along.  So
-        its offset will be "extra" bytes less that that already
-        calculated.  */
-      off -= extra;
-
       if (stub_entry->type.sub != ppc_stub_notoc)
        {
          /* After the bcl, lr has been modified so we need to emit
@@ -12451,15 +12474,6 @@ ppc_size_one_stub (struct bfd_hash_entry *gen_entry, void *in_arg)
          stub_entry->group->eh_size += eh_advance_size (delta) + 6;
          stub_entry->group->lr_restore = lr_used + 8;
        }
-
-      /* If the branch can't reach, use a plt_branch.  */
-      if (off + (1 << 25) >= (bfd_vma) (1 << 26))
-       {
-         stub_entry->type.main = ppc_stub_plt_branch;
-         size += 4;
-       }
-      else if (info->emitrelocations)
-       stub_entry->group->stub_sec->reloc_count +=1;
     }
   else if (stub_entry->type.sub >= ppc_stub_notoc)
     {
index 586264d449bf6dc4753b3eea07bd2a9d831b5b0b..330243c2f5dc6b8db50f8b7d6059b60e31f9b77c 100644 (file)
@@ -12,18 +12,17 @@ Disassembly of section \.text:
 .*:    (e9 8c 7f f0|f0 7f 8c e9)       ld      r12,32752\(r12\)
 .*:    (7d 89 03 a6|a6 03 89 7d)       mtctr   r12
 .*:    (4e 80 04 20|20 04 80 4e)       bctr
-
-0+100000d0 <.*\.plt_branch\.f2>:
+#...
+0+100000e0 <.*\.plt_branch\.f2>:
 .*:    (3d 82 ff ff|ff ff 82 3d)       addis   r12,r2,-1
 .*:    (e9 8c 7f f8|f8 7f 8c e9)       ld      r12,32760\(r12\)
 .*:    (7d 89 03 a6|a6 03 89 7d)       mtctr   r12
 .*:    (4e 80 04 20|20 04 80 4e)       bctr
 
-0+100000e0 <.*\.long_branch\.f5>:
+0+100000f0 <.*\.long_branch\.f5>:
 .*:    (f8 41 00 18|18 00 41 f8)       std     r2,24\(r1\)
-.*:    (48 00 00 6c|6c 00 00 48)       b       .* <f5>
-       \.\.\.
-
+.*:    (48 00 00 5c|5c 00 00 48)       b       .* <f5>
+#...
 0+10000100 <(f1|_start)>:
 .*:    (3c 40 10 02|02 10 40 3c)       lis     r2,4098
 .*:    (38 42 82 00|00 82 42 38)       addi    r2,r2,-32256
index 69f172177790e1fddf5ac143ffe87a411331a479..972f958e6154a266c570df761fce00690315502a 100644 (file)
@@ -15,7 +15,7 @@ Disassembly of section \.text:
 .* <.*\.long_branch\.g1>:
 .*:    (18 00 41 f8|f8 41 00 18)       std     r2,24\(r1\)
 .*:    (8c 00 00 48|48 00 00 8c)       b       .* <g1>
-
+#...
 .* <.*\.plt_branch\.ext>:
 .*:    (a6 02 88 7d|7d 88 02 a6)       mflr    r12
 .*:    (05 00 9f 42|42 9f 00 05)       bcl     .*
@@ -25,7 +25,7 @@ Disassembly of section \.text:
 .*:    (ff ff 8c 61|61 8c ff ff)       ori     r12,r12,65535
 .*:    (c6 07 9c 79|79 9c 07 c6)       sldi    r28,r12,32
 .*:    (ff ef 8c 65|65 8c ef ff)       oris    r12,r12,61439
-.*:    (28 ff 8c 61|61 8c ff 28)       ori     r12,r12,65320
+.*:    (18 ff 8c 61|61 8c ff 18)       ori     r12,r12,65304
 .*:    (14 62 8b 7d|7d 8b 62 14)       add     r12,r11,r12
 .*:    (a6 03 89 7d|7d 89 03 a6)       mtctr   r12
 .*:    (20 04 80 4e|4e 80 04 20)       bctr
@@ -35,58 +35,57 @@ Disassembly of section \.text:
 .*:    (05 00 9f 42|42 9f 00 05)       bcl     .*
 .*:    (a6 02 68 7d|7d 68 02 a6)       mflr    r11
 .*:    (a6 03 88 7d|7d 88 03 a6)       mtlr    r12
-.*:    (64 00 8b 39|39 8b 00 64)       addi    r12,r11,100
-.*:    (58 00 00 48|48 00 00 58)       b       .* <f2>
+.*:    (54 00 8b 39|39 8b 00 54)       addi    r12,r11,84
+.*:    (.. .. 00 48|48 00 .. ..)       b       .* <f2>
 
 .* <.*\.long_branch\.g2>:
 .*:    (a6 02 88 7d|7d 88 02 a6)       mflr    r12
 .*:    (05 00 9f 42|42 9f 00 05)       bcl     .*
 .*:    (a6 02 68 7d|7d 68 02 a6)       mflr    r11
 .*:    (a6 03 88 7d|7d 88 03 a6)       mtlr    r12
-.*:    (80 00 8b 39|39 8b 00 80)       addi    r12,r11,128
-.*:    (74 00 00 48|48 00 00 74)       b       .* <g2>
-       \.\.\.
-
+.*:    (70 00 8b 39|39 8b 00 70)       addi    r12,r11,112
+.*:    (.. .. 00 48|48 00 .. ..)       b       .* <g2>
+#...
 .* <f1>:
 .*:    (01 00 00 48|48 00 00 01)       bl      .* <f1>
-.*:    (bd ff ff 4b|4b ff ff bd)       bl      .* <.*\.long_branch\.f2>
-.*:    (11 00 00 48|48 00 00 11)       bl      .* <g1>
-.*:    (cd ff ff 4b|4b ff ff cd)       bl      .* <.*\.long_branch\.g2>
-.*:    (81 ff ff 4b|4b ff ff 81)       bl      .* <.*\.plt_branch\.ext>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.f2>
+.*:    (.. .. 00 48|48 00 .. ..)       bl      .* <g1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.g2>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.plt_branch\.ext>
 .*:    (20 00 80 4e|4e 80 00 20)       blr
 
 .* <g1>:
-.*:    (a9 ff ff 4b|4b ff ff a9)       bl      .* <.*\.long_branch\.f2>
-.*:    (e5 ff ff 4b|4b ff ff e5)       bl      .* <f1>
-.*:    (b9 ff ff 4b|4b ff ff b9)       bl      .* <.*\.long_branch\.g2>
-.*:    (f5 ff ff 4b|4b ff ff f5)       bl      .* <g1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.f2>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <f1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.g2>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <g1>
 .*:    (20 00 80 4e|4e 80 00 20)       blr
 
 .* <f2>:
 .*:    (01 10 40 3c|3c 40 10 01)       lis     r2,4097
 .*:    (00 80 42 38|38 42 80 00)       addi    r2,r2,-32768
-.*:    (4d ff ff 4b|4b ff ff 4d)       bl      .* <.*\.long_branch\.f1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.f1>
 .*:    (18 00 41 e8|e8 41 00 18)       ld      r2,24\(r1\)
-.*:    (f9 ff ff 4b|4b ff ff f9)       bl      .* <f2\+0x8>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <f2\+0x8>
 .*:    (00 00 00 60|60 00 00 00)       nop
-.*:    (45 ff ff 4b|4b ff ff 45)       bl      .* <.*\.long_branch\.g1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.g1>
 .*:    (18 00 41 e8|e8 41 00 18)       ld      r2,24\(r1\)
-.*:    (1d 00 00 48|48 00 00 1d)       bl      .* <g2\+0x8>
+.*:    (.. .. 00 48|48 00 .. ..)       bl      .* <g2\+0x8>
 .*:    (00 00 00 60|60 00 00 00)       nop
-.*:    (3d ff ff 4b|4b ff ff 3d)       bl      .* <.*\.plt_branch\.ext>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.plt_branch\.ext>
 .*:    (00 00 00 60|60 00 00 00)       nop
 .*:    (20 00 80 4e|4e 80 00 20)       blr
 
 .* <g2>:
 .*:    (01 10 40 3c|3c 40 10 01)       lis     r2,4097
 .*:    (00 80 42 38|38 42 80 00)       addi    r2,r2,-32768
-.*:    (cd ff ff 4b|4b ff ff cd)       bl      .* <f2\+0x8>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <f2\+0x8>
 .*:    (00 00 00 60|60 00 00 00)       nop
-.*:    (11 ff ff 4b|4b ff ff 11)       bl      .* <.*\.long_branch\.f1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.f1>
 .*:    (18 00 41 e8|e8 41 00 18)       ld      r2,24\(r1\)
-.*:    (f1 ff ff 4b|4b ff ff f1)       bl      .* <g2\+0x8>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <g2\+0x8>
 .*:    (00 00 00 60|60 00 00 00)       nop
-.*:    (09 ff ff 4b|4b ff ff 09)       bl      .* <.*\.long_branch\.g1>
+.*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.g1>
 .*:    (18 00 41 e8|e8 41 00 18)       ld      r2,24\(r1\)
 .*:    (20 00 80 4e|4e 80 00 20)       blr
 
index 208d676f44258ee1f9dc3ed3c02e77bc0e45da8f..00bef4c6a2d88abed7434b915db683f7c7bd07b5 100644 (file)
@@ -11,17 +11,17 @@ Contents of the \.eh_frame section:
   DW_CFA_def_cfa: r1 ofs 0
 
 00000014 0000000000000024 00000018 FDE cie=00000000 pc=00000000100000c0\.\.0000000010000140
-  DW_CFA_advance_loc: 24 to 00000000100000d8
+  DW_CFA_advance_loc: 40 to 00000000100000e8
   DW_CFA_register: r65 in r12
-  DW_CFA_advance_loc: 8 to 00000000100000e0
+  DW_CFA_advance_loc: 8 to 00000000100000f0
   DW_CFA_restore_extended: r65
-  DW_CFA_advance_loc: 40 to 0000000010000108
+  DW_CFA_advance_loc: 40 to 0000000010000118
   DW_CFA_register: r65 in r12
-  DW_CFA_advance_loc: 8 to 0000000010000110
+  DW_CFA_advance_loc: 8 to 0000000010000120
   DW_CFA_restore_extended: r65
-  DW_CFA_advance_loc: 16 to 0000000010000120
+  DW_CFA_advance_loc: 16 to 0000000010000130
   DW_CFA_register: r65 in r12
-  DW_CFA_advance_loc: 8 to 0000000010000128
+  DW_CFA_advance_loc: 8 to 0000000010000138
   DW_CFA_restore_extended: r65
   DW_CFA_nop
   DW_CFA_nop
index 24cf9bb19c0722d413aff6e5daa659e15ddf8146..dfb10ef2ac9b649d406019c1ecdc561b46b92d5e 100644 (file)
@@ -14,12 +14,12 @@ Disassembly of section \.text:
 .* <.*\.long_branch\.g1>:
 .*:    (18 00 41 f8|f8 41 00 18)       std     r2,24\(r1\)
 .*:    (.. .. 00 48|48 00 .. ..)       b       .* <g1>
-
+#...
 .* <.*\.plt_branch\.ext>:
 .*:    (00 20 60 3d|3d 60 20 00)       lis     r11,8192
 .*:    (00 00 6b 61|61 6b 00 00)       ori     r11,r11,0
-.*:    (ff ef 13 06|06 13 ef ff)       pla     r12,-268435736  # 0
-.*:    (e8 fe 80 39|39 80 fe e8) 
+.*:    (ff ef 13 06|06 13 ef ff)       pla     r12,-268435752  # 0
+.*:    (d8 fe 80 39|39 80 fe d8) 
 .*:    (46 17 6b 79|79 6b 17 46)       sldi    r11,r11,34
 .*:    (14 62 8b 7d|7d 8b 62 14)       add     r12,r11,r12
 .*:    (a6 03 89 7d|7d 89 03 a6)       mtctr   r12
@@ -30,17 +30,16 @@ Disassembly of section \.text:
 
 .* <.*\.long_branch\.f2>:
 .*:    (00 00 00 60|60 00 00 00)       nop
-.*:    (00 00 10 06|06 10 00 00)       pla     r12,108 # .* <f2>
-.*:    (6c 00 80 39|39 80 00 6c) 
+.*:    (00 00 10 06|06 10 00 00)       pla     r12,92  # .* <f2>
+.*:    (5c 00 80 39|39 80 00 5c) 
 .*:    (.. .. 00 48|48 00 .. ..)       b       .* <f2>
 
 .* <.*\.long_branch\.g2>:
 .*:    (00 00 00 60|60 00 00 00)       nop
-.*:    (00 00 10 06|06 10 00 00)       pla     r12,144 # .* <g2>
-.*:    (90 00 80 39|39 80 00 90) 
+.*:    (00 00 10 06|06 10 00 00)       pla     r12,128 # .* <g2>
+.*:    (80 00 80 39|39 80 00 80) 
 .*:    (.. .. 00 48|48 00 .. ..)       b       .* <g2>
 #...
-
 .* <f1>:
 .*:    (01 00 00 48|48 00 00 01)       bl      .* <f1>
 .*:    (.. .. ff 4b|4b ff .. ..)       bl      .* <.*\.long_branch\.f2>
index 6ef79e81cf67bb12ae024d8ccd0f2249ae73f215..4610c28dac14b7d4005d7b1dba8427f61ae80538 100644 (file)
@@ -4,7 +4,7 @@
 # Check that the IRELATIVE addend is magic+0, not magic+8
 
 #...
-.* R_PPC64_IRELATIVE +10000180
+.* R_PPC64_IRELATIVE +100001a0
 #...
-.*: 0+10000180 +20 IFUNC +LOCAL +DEFAULT .* magic
+.*: 0+100001a0 +20 IFUNC +LOCAL +DEFAULT .* magic
 #pass