public inbox for binutils@sourceware.org
 help / color / mirror / Atom feed
* [PATCH] Add support for new ABI choice e_flags values on ARM
@ 2012-08-30 13:22 Steve McIntyre
  2012-08-30 14:53 ` Joseph S. Myers
  0 siblings, 1 reply; 6+ messages in thread
From: Steve McIntyre @ 2012-08-30 13:22 UTC (permalink / raw)
  To: binutils

Hi folks,

Here's a small set of changes to add support for the new
EF_ARM_ABI_FLOAT_SOFT and EF_ARM_ABI_FLOAT_HARD e_flags values, as
added to glibc last week. How does this look?

bfd:
    * elf32-arm.c (elf32_arm_print_private_bfd_data): Recognise and
    display the new ARM hard-float/soft-float ABI flags for EABI_VER5

binutils:
    * readelf.c (decode_ARM_machine_flags): Recognise and display the
    new ARM hard-float/soft-float ABI flags for EABI_VER5. Split out
    the code for EABI_VER4 and EABI_VER5 to allow this.

elfcpp:
    * arm.h: New enum for EABI soft- and hard-float flags.

gas:
    * config/tc-arm.c (md_begin): Use the new ARM
    hard-float/soft-float ABI flags for EABI_VER5

include:
    * elf/arm.h (EF_ARM_ABI_FLOAT_SOFT): New define.
    (EF_ARM_ABI_FLOAT_HARD): Likewise.
---
 bfd/ChangeLog       |    5 +++++
 bfd/elf32-arm.c     |    9 +++++++++
 binutils/ChangeLog  |    6 ++++++
 binutils/readelf.c  |   35 +++++++++++++++++++++++++++++++++--
 elfcpp/ChangeLog    |    4 ++++
 elfcpp/arm.h        |    8 ++++++++
 gas/ChangeLog       |    5 +++++
 gas/config/tc-arm.c |   14 ++++++++++++--
 include/ChangeLog   |    5 +++++
 include/elf/arm.h   |    5 +++++
 10 files changed, 92 insertions(+), 4 deletions(-)

diff --git a/bfd/ChangeLog b/bfd/ChangeLog
index 3ec6b2f..9ee5e44 100644
--- a/bfd/ChangeLog
+++ b/bfd/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-29  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* elf32-arm.c (elf32_arm_print_private_bfd_data): Recognise and
+	display the new ARM hard-float/soft-float ABI flags for EABI_VER5
+
 2012-08-28  Maciej W. Rozycki  <macro@codesourcery.com>
 
 	* elf32-ppc.c (ppc_elf_relocate_section): Assert that dynindx is
diff --git a/bfd/elf32-arm.c b/bfd/elf32-arm.c
index a287fbb..e3b4d76 100644
--- a/bfd/elf32-arm.c
+++ b/bfd/elf32-arm.c
@@ -12110,6 +12110,15 @@ elf32_arm_print_private_bfd_data (bfd *abfd, void * ptr)
 
     case EF_ARM_EABI_VER5:
       fprintf (file, _(" [Version5 EABI]"));
+
+      if (flags & EF_ARM_ABI_FLOAT_SOFT)
+	fprintf (file, _(" [soft-float ABI]"));
+
+      if (flags & EF_ARM_ABI_FLOAT_HARD)
+	fprintf (file, _(" [hard-float ABI]"));
+
+      flags &= ~(EF_ARM_ABI_FLOAT_SOFT | EF_ARM_ABI_FLOAT_HARD);
+
     eabi:
       if (flags & EF_ARM_BE8)
 	fprintf (file, _(" [BE8]"));
diff --git a/binutils/ChangeLog b/binutils/ChangeLog
index 922396a..66f450b 100644
--- a/binutils/ChangeLog
+++ b/binutils/ChangeLog
@@ -1,3 +1,9 @@
+2012-08-29  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* readelf.c (decode_ARM_machine_flags): Recognise and display the
+	new ARM hard-float/soft-float ABI flags for EABI_VER5. Split out
+	the code for EABI_VER4 and EABI_VER5 to allow this.
+
 2012-08-24  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>
 
 	* readelf.c (arm_attr_tag_CPU_arch): Update for ARMv8.
diff --git a/binutils/readelf.c b/binutils/readelf.c
index 89cff24..3054810 100644
--- a/binutils/readelf.c
+++ b/binutils/readelf.c
@@ -2104,11 +2104,34 @@ decode_ARM_machine_flags (unsigned e_flags, char buf[])
 
     case EF_ARM_EABI_VER4:
       strcat (buf, ", Version4 EABI");
-      goto eabi;
+      while (e_flags)
+	{
+	  unsigned flag;
+
+	  /* Process flags one bit at a time.  */
+	  flag = e_flags & - e_flags;
+	  e_flags &= ~ flag;
+
+	  switch (flag)
+	    {
+	    case EF_ARM_BE8:
+	      strcat (buf, ", BE8");
+	      break;
+
+	    case EF_ARM_LE8:
+	      strcat (buf, ", LE8");
+	      break;
+
+	    default:
+	      unknown = 1;
+	      break;
+	    }
+      break;
+	}
+      break;
 
     case EF_ARM_EABI_VER5:
       strcat (buf, ", Version5 EABI");
-    eabi:
       while (e_flags)
 	{
 	  unsigned flag;
@@ -2127,6 +2150,14 @@ decode_ARM_machine_flags (unsigned e_flags, char buf[])
 	      strcat (buf, ", LE8");
 	      break;
 
+	    case EF_ARM_ABI_FLOAT_SOFT: /* Conflicts with EF_ARM_SOFT_FLOAT.  */
+	      strcat (buf, ", soft-float ABI");
+	      break;
+
+	    case EF_ARM_ABI_FLOAT_HARD: /* Conflicts with EF_ARM_VFP_FLOAT.  */
+	      strcat (buf, ", hard-float ABI");
+	      break;
+
 	    default:
 	      unknown = 1;
 	      break;
diff --git a/elfcpp/ChangeLog b/elfcpp/ChangeLog
index 90b7229..f4b9135 100644
--- a/elfcpp/ChangeLog
+++ b/elfcpp/ChangeLog
@@ -1,3 +1,7 @@
+2012-08-29  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* arm.h: New enum for EABI soft- and hard-float flags.
+
 2012-08-14  Alan Modra  <amodra@gmail.com>
 
 	* powerpc.h: Add more relocs.
diff --git a/elfcpp/arm.h b/elfcpp/arm.h
index cb85eeb..4cb79d6 100644
--- a/elfcpp/arm.h
+++ b/elfcpp/arm.h
@@ -222,6 +222,14 @@ inline Elf_Word
 arm_eabi_version(Elf_Word flags)
 { return flags & EF_ARM_EABIMASK; }
 
+// EABI_VER5 e_flags values for identifying soft- and hard-float ABI
+// choice.
+enum
+{
+  EF_ARM_ABI_FLOAT_SOFT = 0x200,
+  EF_ARM_ABI_FLOAT_HARD = 0x400,
+};
+
 // Values for the Tag_CPU_arch EABI attribute.
 enum
 {
diff --git a/gas/ChangeLog b/gas/ChangeLog
index 88e9110..4ea5739 100644
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-29  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* config/tc-arm.c (md_begin): Use the new ARM
+	hard-float/soft-float ABI flags for EABI_VER5
+
 2012-08-27  Walter Lee  <walt@tilera.com>
 
 	* tc-tilegx.c (O_hw0_plt): Define operator.
diff --git a/gas/config/tc-arm.c b/gas/config/tc-arm.c
index ad4018b..152bedf 100644
--- a/gas/config/tc-arm.c
+++ b/gas/config/tc-arm.c
@@ -23460,12 +23460,22 @@ md_begin (void)
 	if (ARM_CPU_HAS_FEATURE (cpu_variant, fpu_arch_maverick))
 	    flags |= EF_ARM_MAVERICK_FLOAT;
 	break;
-
       case EF_ARM_EABI_VER4:
-      case EF_ARM_EABI_VER5:
 	/* No additional flags to set.	*/
 	break;
+      case EF_ARM_EABI_VER5:
+	switch (mfloat_abi_opt)
+	  {
+	  case ARM_FLOAT_ABI_SOFT:
+	  case ARM_FLOAT_ABI_SOFTFP:
+	    flags |= EF_ARM_ABI_FLOAT_SOFT;
+	    break;
 
+	  case ARM_FLOAT_ABI_HARD:
+	    flags |= EF_ARM_ABI_FLOAT_HARD;
+	    break;
+	  }
+	break;
       default:
 	abort ();
       }
diff --git a/include/ChangeLog b/include/ChangeLog
index ad7f0f1..6c02897 100644
--- a/include/ChangeLog
+++ b/include/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-29  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* elf/arm.h (EF_ARM_ABI_FLOAT_SOFT): New define.
+	(EF_ARM_ABI_FLOAT_HARD): Likewise.
+
 2012-08-24  Sriraman Tallam  <tmsriram@google.com>
 
 	* plugin-api.h (ld_plugin_allow_unique_segment_for_sections):
diff --git a/include/elf/arm.h b/include/elf/arm.h
index 8ea3fe8..d799303 100644
--- a/include/elf/arm.h
+++ b/include/elf/arm.h
@@ -46,6 +46,11 @@
 #define EF_ARM_MAPSYMSFIRST 0x10	/* NB conflicts with EF_APCS_FLOAT.  */
 #define EF_ARM_EABIMASK      0xFF000000
 
+/* New constants defined in the ARM ELF spec. version XXX.
+   Only valid in conjunction with EF_ARM_EABI_VER5. */
+#define EF_ARM_ABI_FLOAT_SOFT 0x200	/* NB conflicts with EF_ARM_SOFT_FLOAT.  */
+#define EF_ARM_ABI_FLOAT_HARD 0x400	/* NB conflicts with EF_ARM_VFP_FLOAT.  */
+
 /* Constants defined in AAELF.  */
 #define EF_ARM_BE8	    0x00800000
 #define EF_ARM_LE8	    0x00400000
-- 
1.7.9.5



Cheers,
-- 
Steve McIntyre                                steve.mcintyre@linaro.org
<http://www.linaro.org/> Linaro.org | Open source software for ARM SoCs

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH] Add support for new ABI choice e_flags values on ARM
  2012-08-30 13:22 [PATCH] Add support for new ABI choice e_flags values on ARM Steve McIntyre
@ 2012-08-30 14:53 ` Joseph S. Myers
  2012-08-31  1:03   ` Steve McIntyre
  2012-09-04 17:26   ` Steve McIntyre
  0 siblings, 2 replies; 6+ messages in thread
From: Joseph S. Myers @ 2012-08-30 14:53 UTC (permalink / raw)
  To: Steve McIntyre; +Cc: binutils

On Thu, 30 Aug 2012, Steve McIntyre wrote:

> gas:
>     * config/tc-arm.c (md_begin): Use the new ARM
>     hard-float/soft-float ABI flags for EABI_VER5

This seems wrong; the ABI is that these flags are only set in ET_EXEC and 
ET_DYN objects.  This means the assembler should have nothing to do with 
them; rather, the linker should set them based on the build attributes in 
its input files, if producing ET_EXEC or ET_DYN output.  (And there should 
be testcases added to the linker testsuite for this: that they are set 
for such output, but not for ld -r links.)

-- 
Joseph S. Myers
joseph@codesourcery.com

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH] Add support for new ABI choice e_flags values on ARM
  2012-08-30 14:53 ` Joseph S. Myers
@ 2012-08-31  1:03   ` Steve McIntyre
  2012-09-04 17:26   ` Steve McIntyre
  1 sibling, 0 replies; 6+ messages in thread
From: Steve McIntyre @ 2012-08-31  1:03 UTC (permalink / raw)
  To: Joseph S. Myers; +Cc: binutils

On Thu, Aug 30, 2012 at 01:21:42PM +0000, Joseph S. Myers wrote:
>On Thu, 30 Aug 2012, Steve McIntyre wrote:
>
>> gas:
>>     * config/tc-arm.c (md_begin): Use the new ARM
>>     hard-float/soft-float ABI flags for EABI_VER5
>
>This seems wrong; the ABI is that these flags are only set in ET_EXEC and 
>ET_DYN objects.  This means the assembler should have nothing to do with 
>them; rather, the linker should set them based on the build attributes in 
>its input files, if producing ET_EXEC or ET_DYN output.  (And there should 
>be testcases added to the linker testsuite for this: that they are set 
>for such output, but not for ld -r links.)

ACK, I'll try that. Thanks for the quick review.

Cheers,
-- 
Steve McIntyre                                steve.mcintyre@linaro.org
<http://www.linaro.org/> Linaro.org | Open source software for ARM SoCs

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH] Add support for new ABI choice e_flags values on ARM
  2012-08-30 14:53 ` Joseph S. Myers
  2012-08-31  1:03   ` Steve McIntyre
@ 2012-09-04 17:26   ` Steve McIntyre
  2012-09-17 13:45     ` Steve McIntyre
  2012-10-26 14:57     ` nick clifton
  1 sibling, 2 replies; 6+ messages in thread
From: Steve McIntyre @ 2012-09-04 17:26 UTC (permalink / raw)
  To: Joseph S. Myers; +Cc: binutils

[-- Attachment #1: Type: text/plain, Size: 1500 bytes --]

On Thu, Aug 30, 2012 at 01:21:42PM +0000, Joseph S. Myers wrote:
>On Thu, 30 Aug 2012, Steve McIntyre wrote:
>
>> gas:
>>     * config/tc-arm.c (md_begin): Use the new ARM
>>     hard-float/soft-float ABI flags for EABI_VER5
>
>This seems wrong; the ABI is that these flags are only set in ET_EXEC and 
>ET_DYN objects.  This means the assembler should have nothing to do with 
>them; rather, the linker should set them based on the build attributes in 
>its input files, if producing ET_EXEC or ET_DYN output.  (And there should 
>be testcases added to the linker testsuite for this: that they are set 
>for such output, but not for ld -r links.)

Hi,

Updated patch attached including test cases for ld. They work for me
OK (explicitly testing both positive and negative cases for the ELF
type and the ABI version), but it's the first time I've worked on
input for dejagnu so review here would be great! My test cases work
ok, but I'm seeing a lot of other failures unrelated to my changes; I
assume that's expected.

I've also tried to get gold to do the right thing here, hooking into
Target_arm<big_endian>::do_adjust_elf_header(). But I don't see how
that's ever called; my testing shows it's clearly not. I'm also a
little baffled as to why gold's testsuite is so utterly different from
the one for ld - can anyone explain that please?

Cheers,
-- 
Steve McIntyre                                steve.mcintyre@linaro.org
<http://www.linaro.org/> Linaro.org | Open source software for ARM SoCs

[-- Attachment #2: 0001-Add-new-ARM-hard-float-soft-float-ABI-flags-for-EABI.patch --]
[-- Type: text/x-diff, Size: 15541 bytes --]

From 0a02e2d8e2ffb551a3a3699dd09ec9f69393e327 Mon Sep 17 00:00:00 2001
From: Steve McIntyre <steve.mcintyre@linaro.org>
Date: Tue, 4 Sep 2012 17:48:06 +0100
Subject: [PATCH] Add new ARM hard-float/soft-float ABI flags for EABI_VER5

bfd:
        * elf32-arm.c (elf32_arm_print_private_bfd_data): Recognise and
        display the new ARM hard-float/soft-float ABI flags for EABI_VER5
        (elf32_arm_post_process_headers): Add the hard-float/soft-float
        ABI flag as appropriate for ET_DYN/ET_EXEC in EABI_VER5.

binutils:
        * readelf.c (decode_ARM_machine_flags): Recognise and display the
        new ARM hard-float/soft-float ABI flags for EABI_VER5. Split out
        the code for EABI_VER4 and EABI_VER5 to allow this.

elfcpp:
        * arm.h: New enum for EABI soft- and hard-float flags.

gold:
        * gold.cc (Target_arm::do_adjust_elf_header): Add the
        hard-float/soft-float ABI flag as appropriate for ET_DYN/ET_EXEC
        in EABI_VER5.

include:
        * elf/arm.h (EF_ARM_ABI_FLOAT_SOFT): New define.
        (EF_ARM_ABI_FLOAT_HARD): Likewise.

ld/testsuite:
        * ld-arm/eabi-hard-float.s: New test source.
        * ld-arm/eabi-soft-float.s: New test source.
        * ld-arm/eabi-hard-float.d: New test.
        * ld-arm/eabi-soft-float.d: New test.
        * ld-arm/eabi-soft-float-ABI4.d: New test.
        * ld-arm/eabi-soft-float-r.d: New test.
        * ld-arm/arm-elf.xp: Use the new tests.
---
 bfd/ChangeLog                              |    7 ++++++
 bfd/elf32-arm.c                            |   19 +++++++++++++++
 binutils/ChangeLog                         |    6 +++++
 binutils/readelf.c                         |   35 ++++++++++++++++++++++++++--
 elfcpp/ChangeLog                           |    4 ++++
 elfcpp/arm.h                               |    8 +++++++
 gold/ChangeLog                             |    7 ++++++
 gold/arm.cc                                |   22 ++++++++++++++---
 include/ChangeLog                          |    5 ++++
 include/elf/arm.h                          |    5 ++++
 ld/testsuite/ChangeLog                     |   10 ++++++++
 ld/testsuite/ld-arm/arm-elf.exp            |   15 ++++++++++++
 ld/testsuite/ld-arm/eabi-hard-float.d      |   12 ++++++++++
 ld/testsuite/ld-arm/eabi-hard-float.s      |    9 +++++++
 ld/testsuite/ld-arm/eabi-soft-float-ABI4.d |   12 ++++++++++
 ld/testsuite/ld-arm/eabi-soft-float-r.d    |   12 ++++++++++
 ld/testsuite/ld-arm/eabi-soft-float.d      |   12 ++++++++++
 ld/testsuite/ld-arm/eabi-soft-float.s      |    8 +++++++
 18 files changed, 203 insertions(+), 5 deletions(-)
 create mode 100644 ld/testsuite/ld-arm/eabi-hard-float.d
 create mode 100644 ld/testsuite/ld-arm/eabi-hard-float.s
 create mode 100644 ld/testsuite/ld-arm/eabi-soft-float-ABI4.d
 create mode 100644 ld/testsuite/ld-arm/eabi-soft-float-r.d
 create mode 100644 ld/testsuite/ld-arm/eabi-soft-float.d
 create mode 100644 ld/testsuite/ld-arm/eabi-soft-float.s

diff --git a/bfd/ChangeLog b/bfd/ChangeLog
index ff0c5c2..e5da668 100644
--- a/bfd/ChangeLog
+++ b/bfd/ChangeLog
@@ -1,3 +1,10 @@
+2012-09-04  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* elf32-arm.c (elf32_arm_print_private_bfd_data): Recognise and
+	display the new ARM hard-float/soft-float ABI flags for EABI_VER5
+	(elf32_arm_post_process_headers): Add the hard-float/soft-float
+	ABI flag as appropriate for ET_DYN/ET_EXEC in EABI_VER5.
+
 2012-09-04  Sergey A. Guriev <sergey.a.guriev@intel.com>
 
 	* cpu-ia64-opc.c (ins_cnt6a): New function.
diff --git a/bfd/elf32-arm.c b/bfd/elf32-arm.c
index 633bb64..fefc7db 100644
--- a/bfd/elf32-arm.c
+++ b/bfd/elf32-arm.c
@@ -12110,6 +12110,15 @@ elf32_arm_print_private_bfd_data (bfd *abfd, void * ptr)
 
     case EF_ARM_EABI_VER5:
       fprintf (file, _(" [Version5 EABI]"));
+
+      if (flags & EF_ARM_ABI_FLOAT_SOFT)
+	fprintf (file, _(" [soft-float ABI]"));
+
+      if (flags & EF_ARM_ABI_FLOAT_HARD)
+	fprintf (file, _(" [hard-float ABI]"));
+
+      flags &= ~(EF_ARM_ABI_FLOAT_SOFT | EF_ARM_ABI_FLOAT_HARD);
+
     eabi:
       if (flags & EF_ARM_BE8)
 	fprintf (file, _(" [BE8]"));
@@ -14417,6 +14426,16 @@ elf32_arm_post_process_headers (bfd * abfd, struct bfd_link_info * link_info ATT
       if (globals != NULL && globals->byteswap_code)
 	i_ehdrp->e_flags |= EF_ARM_BE8;
     }
+
+  if (EF_ARM_EABI_VERSION (i_ehdrp->e_flags) == EF_ARM_EABI_VER5
+      && ((i_ehdrp->e_type == ET_DYN) || (i_ehdrp->e_type == ET_EXEC)))
+    {
+      int abi = bfd_elf_get_obj_attr_int (abfd, OBJ_ATTR_PROC, Tag_ABI_VFP_args);
+      if (abi)
+	i_ehdrp->e_flags |= EF_ARM_ABI_FLOAT_HARD;
+      else
+	i_ehdrp->e_flags |= EF_ARM_ABI_FLOAT_SOFT;
+    }
 }
 
 static enum elf_reloc_type_class
diff --git a/binutils/ChangeLog b/binutils/ChangeLog
index 5c6fcb7..d9df156 100644
--- a/binutils/ChangeLog
+++ b/binutils/ChangeLog
@@ -1,3 +1,9 @@
+2012-09-04  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* readelf.c (decode_ARM_machine_flags): Recognise and display the
+	new ARM hard-float/soft-float ABI flags for EABI_VER5. Split out
+	the code for EABI_VER4 and EABI_VER5 to allow this.
+
 2012-09-04  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR binutils/14493
diff --git a/binutils/readelf.c b/binutils/readelf.c
index 2fbf2ae..d69dcfc 100644
--- a/binutils/readelf.c
+++ b/binutils/readelf.c
@@ -2104,11 +2104,34 @@ decode_ARM_machine_flags (unsigned e_flags, char buf[])
 
     case EF_ARM_EABI_VER4:
       strcat (buf, ", Version4 EABI");
-      goto eabi;
+      while (e_flags)
+	{
+	  unsigned flag;
+
+	  /* Process flags one bit at a time.  */
+	  flag = e_flags & - e_flags;
+	  e_flags &= ~ flag;
+
+	  switch (flag)
+	    {
+	    case EF_ARM_BE8:
+	      strcat (buf, ", BE8");
+	      break;
+
+	    case EF_ARM_LE8:
+	      strcat (buf, ", LE8");
+	      break;
+
+	    default:
+	      unknown = 1;
+	      break;
+	    }
+      break;
+	}
+      break;
 
     case EF_ARM_EABI_VER5:
       strcat (buf, ", Version5 EABI");
-    eabi:
       while (e_flags)
 	{
 	  unsigned flag;
@@ -2127,6 +2150,14 @@ decode_ARM_machine_flags (unsigned e_flags, char buf[])
 	      strcat (buf, ", LE8");
 	      break;
 
+	    case EF_ARM_ABI_FLOAT_SOFT: /* Conflicts with EF_ARM_SOFT_FLOAT.  */
+	      strcat (buf, ", soft-float ABI");
+	      break;
+
+	    case EF_ARM_ABI_FLOAT_HARD: /* Conflicts with EF_ARM_VFP_FLOAT.  */
+	      strcat (buf, ", hard-float ABI");
+	      break;
+
 	    default:
 	      unknown = 1;
 	      break;
diff --git a/elfcpp/ChangeLog b/elfcpp/ChangeLog
index 90b7229..a4995e7 100644
--- a/elfcpp/ChangeLog
+++ b/elfcpp/ChangeLog
@@ -1,3 +1,7 @@
+2012-09-04  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* arm.h: New enum for EABI soft- and hard-float flags.
+
 2012-08-14  Alan Modra  <amodra@gmail.com>
 
 	* powerpc.h: Add more relocs.
diff --git a/elfcpp/arm.h b/elfcpp/arm.h
index cb85eeb..4cb79d6 100644
--- a/elfcpp/arm.h
+++ b/elfcpp/arm.h
@@ -222,6 +222,14 @@ inline Elf_Word
 arm_eabi_version(Elf_Word flags)
 { return flags & EF_ARM_EABIMASK; }
 
+// EABI_VER5 e_flags values for identifying soft- and hard-float ABI
+// choice.
+enum
+{
+  EF_ARM_ABI_FLOAT_SOFT = 0x200,
+  EF_ARM_ABI_FLOAT_HARD = 0x400,
+};
+
 // Values for the Tag_CPU_arch EABI attribute.
 enum
 {
diff --git a/gold/ChangeLog b/gold/ChangeLog
index d812165..db552b7 100644
--- a/gold/ChangeLog
+++ b/gold/ChangeLog
@@ -1,3 +1,10 @@
+2012-09-04  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* gold.cc (Target_arm::do_adjust_elf_header): Add the
+	hard-float/soft-float ABI flag as appropriate for ET_DYN/ET_EXEC
+	in EABI_VER5.
+
+ 	* layout.cc (Layout::set_segment_offsets): Set p_align to
 2012-09-04  Andreas Schwab  <schwab@linux-m68k.org>
 
 	* powerpc.cc (do_make_elf_object): Allow ET_EXEC files with
diff --git a/gold/arm.cc b/gold/arm.cc
index fa257a7..30db5a2 100644
--- a/gold/arm.cc
+++ b/gold/arm.cc
@@ -2476,7 +2476,7 @@ class Target_arm : public Sized_target<32, big_endian>
   { return new Arm_output_section<big_endian>(name, type, flags); }
 
   void
-  do_adjust_elf_header(unsigned char* view, int len) const;
+  do_adjust_elf_header(unsigned char* view, int len);
 
   // We only need to generate stubs, and hence perform relaxation if we are
   // not doing relocatable linking.
@@ -10011,15 +10011,16 @@ template<bool big_endian>
 void
 Target_arm<big_endian>::do_adjust_elf_header(
     unsigned char* view,
-    int len) const
+    int len)
 {
   gold_assert(len == elfcpp::Elf_sizes<32>::ehdr_size);
 
   elfcpp::Ehdr<32, big_endian> ehdr(view);
+  elfcpp::Elf_Word flags = this->processor_specific_flags();
   unsigned char e_ident[elfcpp::EI_NIDENT];
   memcpy(e_ident, ehdr.get_e_ident(), elfcpp::EI_NIDENT);
 
-  if (elfcpp::arm_eabi_version(this->processor_specific_flags())
+  if (elfcpp::arm_eabi_version(flags)
       == elfcpp::EF_ARM_EABI_UNKNOWN)
     e_ident[elfcpp::EI_OSABI] = elfcpp::ELFOSABI_ARM;
   else
@@ -10028,6 +10029,21 @@ Target_arm<big_endian>::do_adjust_elf_header(
 
   // FIXME: Do EF_ARM_BE8 adjustment.
 
+  // If we're working in EABI_VER5, set the hard/soft float ABI flags
+  // as appropriate.
+  if (elfcpp::arm_eabi_version(flags) == elfcpp::EF_ARM_EABI_VER5)
+  {
+    elfcpp::Elf_Half type = ehdr.get_e_type();
+    if (type == elfcpp::ET_EXEC || type == elfcpp::ET_DYN)
+      {
+	Object_attribute* attr = this->get_aeabi_object_attribute(elfcpp::Tag_ABI_VFP_args);
+	if (attr->int_value())
+	  flags |= elfcpp::EF_ARM_ABI_FLOAT_HARD;
+	else
+	  flags |= elfcpp::EF_ARM_ABI_FLOAT_SOFT;
+	this->set_processor_specific_flags(flags);
+      }
+  }
   elfcpp::Ehdr_write<32, big_endian> oehdr(view);
   oehdr.put_e_ident(e_ident);
 }
diff --git a/include/ChangeLog b/include/ChangeLog
index ad7f0f1..828ed21 100644
--- a/include/ChangeLog
+++ b/include/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-04  Steve McIntyre  <steve.mcintyre@linaro.org>
+
+	* elf/arm.h (EF_ARM_ABI_FLOAT_SOFT): New define.
+	(EF_ARM_ABI_FLOAT_HARD): Likewise.
+
 2012-08-24  Sriraman Tallam  <tmsriram@google.com>
 
 	* plugin-api.h (ld_plugin_allow_unique_segment_for_sections):
diff --git a/include/elf/arm.h b/include/elf/arm.h
index 8ea3fe8..d799303 100644
--- a/include/elf/arm.h
+++ b/include/elf/arm.h
@@ -46,6 +46,11 @@
 #define EF_ARM_MAPSYMSFIRST 0x10	/* NB conflicts with EF_APCS_FLOAT.  */
 #define EF_ARM_EABIMASK      0xFF000000
 
+/* New constants defined in the ARM ELF spec. version XXX.
+   Only valid in conjunction with EF_ARM_EABI_VER5. */
+#define EF_ARM_ABI_FLOAT_SOFT 0x200	/* NB conflicts with EF_ARM_SOFT_FLOAT.  */
+#define EF_ARM_ABI_FLOAT_HARD 0x400	/* NB conflicts with EF_ARM_VFP_FLOAT.  */
+
 /* Constants defined in AAELF.  */
 #define EF_ARM_BE8	    0x00800000
 #define EF_ARM_LE8	    0x00400000
diff --git a/ld/testsuite/ChangeLog b/ld/testsuite/ChangeLog
index dc9223d..c43bec0 100644
--- a/ld/testsuite/ChangeLog
+++ b/ld/testsuite/ChangeLog
@@ -1,3 +1,13 @@
+2012-09-04  Steve McIntyre   <steve.mcintyre@linaro.org>
+
+	* ld-arm/eabi-hard-float.s: New test source.
+	* ld-arm/eabi-soft-float.s: New test source.
+	* ld-arm/eabi-hard-float.d: New test.
+	* ld-arm/eabi-soft-float.d: New test.
+	* ld-arm/eabi-soft-float-ABI4.d: New test.
+	* ld-arm/eabi-soft-float-r.d: New test.
+	* ld-arm/arm-elf.xp: Use the new tests.
+
 2012-08-31  H.J. Lu  <hongjiu.lu@intel.com>
 
 	* ld-i386/i386.exp: Run mov1a, mov1b.
diff --git a/ld/testsuite/ld-arm/arm-elf.exp b/ld/testsuite/ld-arm/arm-elf.exp
index 8e15ffe..81ee0bd 100644
--- a/ld/testsuite/ld-arm/arm-elf.exp
+++ b/ld/testsuite/ld-arm/arm-elf.exp
@@ -271,6 +271,21 @@ set armelftests_common {
     {"Simple non-PIC shared library (no PLT check)" "-shared" "" {arm-lib.s}
      {{objdump -Rw arm-lib.r}}
      "arm-lib.so"}
+    {"EABI soft-float ET_EXEC ABI flag" "-T arm.ld" "-mfloat-abi=soft -meabi=5" {eabi-soft-float.s}
+     {{readelf -h eabi-soft-float.d}}
+     "eabi-soft-float"}
+    {"EABI hard-float ET_EXEC ABI flag" "-T arm.ld" "-mfloat-abi=hard -meabi=5" {eabi-hard-float.s}
+     {{readelf -h eabi-hard-float.d}}
+     "eabi-hard-float"}
+    {"EABI hard-float ET_DYN ABI flag" "-shared" "-mfloat-abi=hard -meabi=5" {eabi-hard-float.s}
+     {{readelf -h eabi-hard-float.d}}
+     "eabi-hard-float.so"}
+    {"EABI ABI flags wrong ABI version" "-T arm.ld" "-mfloat-abi=soft -meabi=4" {eabi-soft-float.s}
+     {{readelf -h eabi-soft-float-ABI4.d}}
+     "eabi-soft-float-no-flags"}
+    {"EABI ABI flags ld -r" "-r" "-mfloat-abi=soft -meabi=5" {eabi-soft-float.s}
+     {{readelf -h eabi-soft-float-r.d}}
+     "eabi-soft-float-r.o"}
 }
 
 set armelftests_nonacl {
diff --git a/ld/testsuite/ld-arm/eabi-hard-float.d b/ld/testsuite/ld-arm/eabi-hard-float.d
new file mode 100644
index 0000000..bc8cc3f
--- /dev/null
+++ b/ld/testsuite/ld-arm/eabi-hard-float.d
@@ -0,0 +1,12 @@
+#source: eabi-hard-float.s
+#as:
+#ld: -r
+#readelf: -h
+# This test is only valid on ELF based ports.
+# not-target: *-*-*coff *-*-pe *-*-wince *-*-*aout* *-*-netbsd *-*-riscix*
+# Check that we set the hard-float ABI flag directly
+
+ELF Header:
+#...
+  Flags:                             0x5000400, Version5 EABI, hard-float ABI
+#...
diff --git a/ld/testsuite/ld-arm/eabi-hard-float.s b/ld/testsuite/ld-arm/eabi-hard-float.s
new file mode 100644
index 0000000..3d49794
--- /dev/null
+++ b/ld/testsuite/ld-arm/eabi-hard-float.s
@@ -0,0 +1,9 @@
+	.cpu cortex-a9
+	.fpu vfpv3
+	.eabi_attribute Tag_ABI_VFP_args, 1
+	.file	"eabi-hard-float.s"
+	.globl	_start
+	.type	_start,%function
+_start:
+	.size	_start,.-_start
+
diff --git a/ld/testsuite/ld-arm/eabi-soft-float-ABI4.d b/ld/testsuite/ld-arm/eabi-soft-float-ABI4.d
new file mode 100644
index 0000000..1804826
--- /dev/null
+++ b/ld/testsuite/ld-arm/eabi-soft-float-ABI4.d
@@ -0,0 +1,12 @@
+#source: eabi-soft-float.s
+#as:
+#ld: -r
+#readelf: -h
+# This test is only valid on ELF based ports.
+# not-target: *-*-*coff *-*-pe *-*-wince *-*-*aout* *-*-netbsd *-*-riscix*
+# if we compile for EABI ver4, ld should *not* set either of the float ABI flags
+
+ELF Header:
+#...
+  Flags:                             0x4000000, Version4 EABI
+#...
diff --git a/ld/testsuite/ld-arm/eabi-soft-float-r.d b/ld/testsuite/ld-arm/eabi-soft-float-r.d
new file mode 100644
index 0000000..262d482
--- /dev/null
+++ b/ld/testsuite/ld-arm/eabi-soft-float-r.d
@@ -0,0 +1,12 @@
+#source: eabi-soft-float.s
+#as:
+#ld: -r
+#readelf: -h
+# This test is only valid on ELF based ports.
+# not-target: *-*-*coff *-*-pe *-*-wince *-*-*aout* *-*-netbsd *-*-riscix*
+# if we call "ld -r", it should *not* set either of the float ABI flags
+
+ELF Header:
+#...
+  Flags:                             0x5000000, Version5 EABI
+#...
diff --git a/ld/testsuite/ld-arm/eabi-soft-float.d b/ld/testsuite/ld-arm/eabi-soft-float.d
new file mode 100644
index 0000000..6cc7086
--- /dev/null
+++ b/ld/testsuite/ld-arm/eabi-soft-float.d
@@ -0,0 +1,12 @@
+#source: eabi-soft-float.s
+#as:
+#ld: -r
+#readelf: -h
+# This test is only valid on ELF based ports.
+# not-target: *-*-*coff *-*-pe *-*-wince *-*-*aout* *-*-netbsd *-*-riscix*
+# Check that we set the soft-float ABI flag directly
+
+ELF Header:
+#...
+  Flags:                             0x5000200, Version5 EABI, soft-float ABI
+#...
diff --git a/ld/testsuite/ld-arm/eabi-soft-float.s b/ld/testsuite/ld-arm/eabi-soft-float.s
new file mode 100644
index 0000000..f23fb17
--- /dev/null
+++ b/ld/testsuite/ld-arm/eabi-soft-float.s
@@ -0,0 +1,8 @@
+	.cpu cortex-a9
+	.fpu vfpv3
+	.eabi_attribute Tag_ABI_VFP_args, 0
+	.file	"eabi-soft-float.s"
+	.globl	_start
+	.type	_start,%function
+_start:
+	.size	_start,.-_start
-- 
1.7.9.5


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH] Add support for new ABI choice e_flags values on ARM
  2012-09-04 17:26   ` Steve McIntyre
@ 2012-09-17 13:45     ` Steve McIntyre
  2012-10-26 14:57     ` nick clifton
  1 sibling, 0 replies; 6+ messages in thread
From: Steve McIntyre @ 2012-09-17 13:45 UTC (permalink / raw)
  To: Joseph S. Myers; +Cc: binutils

On Tue, Sep 04, 2012 at 06:25:55PM +0100, Steve McIntyre wrote:
>On Thu, Aug 30, 2012 at 01:21:42PM +0000, Joseph S. Myers wrote:
>>On Thu, 30 Aug 2012, Steve McIntyre wrote:
>>
>>> gas:
>>>     * config/tc-arm.c (md_begin): Use the new ARM
>>>     hard-float/soft-float ABI flags for EABI_VER5
>>
>>This seems wrong; the ABI is that these flags are only set in ET_EXEC and 
>>ET_DYN objects.  This means the assembler should have nothing to do with 
>>them; rather, the linker should set them based on the build attributes in 
>>its input files, if producing ET_EXEC or ET_DYN output.  (And there should 
>>be testcases added to the linker testsuite for this: that they are set 
>>for such output, but not for ld -r links.)
>
>Hi,
>
>Updated patch attached including test cases for ld. They work for me
>OK (explicitly testing both positive and negative cases for the ELF
>type and the ABI version), but it's the first time I've worked on
>input for dejagnu so review here would be great! My test cases work
>ok, but I'm seeing a lot of other failures unrelated to my changes; I
>assume that's expected.
>
>I've also tried to get gold to do the right thing here, hooking into
>Target_arm<big_endian>::do_adjust_elf_header(). But I don't see how
>that's ever called; my testing shows it's clearly not. I'm also a
>little baffled as to why gold's testsuite is so utterly different from
>the one for ld - can anyone explain that please?

Ping?

Cheers,
-- 
Steve McIntyre                                steve.mcintyre@linaro.org
<http://www.linaro.org/> Linaro.org | Open source software for ARM SoCs

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH] Add support for new ABI choice e_flags values on ARM
  2012-09-04 17:26   ` Steve McIntyre
  2012-09-17 13:45     ` Steve McIntyre
@ 2012-10-26 14:57     ` nick clifton
  1 sibling, 0 replies; 6+ messages in thread
From: nick clifton @ 2012-10-26 14:57 UTC (permalink / raw)
  To: Steve McIntyre; +Cc: Joseph S. Myers, binutils

Hi Steve,

> Updated patch attached including test cases for ld. They work for me
> OK (explicitly testing both positive and negative cases for the ELF
> type and the ABI version), but it's the first time I've worked on
> input for dejagnu so review here would be great! My test cases work
> ok, but I'm seeing a lot of other failures unrelated to my changes; I
> assume that's expected.

Approved - please apply.

Cheers
   Nick


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2012-10-26 14:57 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-08-30 13:22 [PATCH] Add support for new ABI choice e_flags values on ARM Steve McIntyre
2012-08-30 14:53 ` Joseph S. Myers
2012-08-31  1:03   ` Steve McIntyre
2012-09-04 17:26   ` Steve McIntyre
2012-09-17 13:45     ` Steve McIntyre
2012-10-26 14:57     ` nick clifton

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).