[gcc r12-7947] Test for linking for arm/size-optimization-ieee-[123].c

[gcc r12-7947] Test for linking for arm/size-optimization-ieee-[123].c

[Alexandre Oliva]

https://gcc.gnu.org/g:fa79cc4a4332f948317b016e92d88aa616302e1b

commit r12-7947-gfa79cc4a4332f948317b016e92d88aa616302e1b
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Fri Apr 1 00:34:57 2022 -0300

    Test for linking for arm/size-optimization-ieee-[123].c
    
    These tests require a target that supports arm soft-float.  The
    problem is that the test checks for compile-time soft-float support,
    but they may hit a problem when the linker complains that it can't
    combine the testcase's object file with hard-float init files and
    target system libraries.
    
    I don't see that the tests actually require linking, and they could be
    simplified to dg-do assemble, but I figured a link test for soft-float
    support could be useful, so I added that, and adjusted the tests to
    require it instead.
    
    
    for  gcc/testsuite/ChangeLog
    
            * lib/target-supports.exp
            (check_effective_target_arm_soft_ok_link): New.
            * gcc.target/arm/size-optimization-ieee-1.c: Use it.
            * gcc.target/arm/size-optimization-ieee-2.c: Likewise.
            * gcc.target/arm/size-optimization-ieee-3.c: Likewise.

Diff:
---
 gcc/testsuite/gcc.target/arm/size-optimization-ieee-1.c |  2 +-
 gcc/testsuite/gcc.target/arm/size-optimization-ieee-2.c |  2 +-
 gcc/testsuite/gcc.target/arm/size-optimization-ieee-3.c |  2 +-
 gcc/testsuite/lib/target-supports.exp                   | 12 ++++++++++++
 4 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/gcc/testsuite/gcc.target/arm/size-optimization-ieee-1.c b/gcc/testsuite/gcc.target/arm/size-optimization-ieee-1.c
index 61475eb4c67..9af2c6e1020 100644
--- a/gcc/testsuite/gcc.target/arm/size-optimization-ieee-1.c
+++ b/gcc/testsuite/gcc.target/arm/size-optimization-ieee-1.c
@@ -1,4 +1,4 @@
-/* { dg-do link { target arm_soft_ok } } */
+/* { dg-do link { target arm_soft_ok_link } } */
 /* { dg-skip-if "Feature is -mfloat-abi=soft only" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=soft" } } */
 /* { dg-options "-mfloat-abi=soft" } */
 
diff --git a/gcc/testsuite/gcc.target/arm/size-optimization-ieee-2.c b/gcc/testsuite/gcc.target/arm/size-optimization-ieee-2.c
index b4699271cea..e78a7ada62e 100644
--- a/gcc/testsuite/gcc.target/arm/size-optimization-ieee-2.c
+++ b/gcc/testsuite/gcc.target/arm/size-optimization-ieee-2.c
@@ -1,4 +1,4 @@
-/* { dg-do link { target arm_soft_ok } } */
+/* { dg-do link { target arm_soft_ok_link } } */
 /* { dg-skip-if "Feature is -mfloat-abi=soft only" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=soft" } } */
 /* { dg-options "-mfloat-abi=soft" } */
 
diff --git a/gcc/testsuite/gcc.target/arm/size-optimization-ieee-3.c b/gcc/testsuite/gcc.target/arm/size-optimization-ieee-3.c
index 34b1ebe7afd..bb9ccefda5e 100644
--- a/gcc/testsuite/gcc.target/arm/size-optimization-ieee-3.c
+++ b/gcc/testsuite/gcc.target/arm/size-optimization-ieee-3.c
@@ -1,4 +1,4 @@
-/* { dg-do link { target arm_soft_ok } } */
+/* { dg-do link { target arm_soft_ok_link } } */
 /* { dg-skip-if "Feature is -mfloat-abi=soft only" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=soft" } } */
 /* { dg-options "-mfloat-abi=soft" } */
 
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index a1aef0e0a16..ff8edbd3e17 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -3935,6 +3935,18 @@ proc check_effective_target_arm_soft_ok { } {
 	} "-mfloat-abi=soft"]
 }
 
+# Return 1 if this is an ARM target supporting -mfloat-abi=soft even
+# for linking.  Some multilibs may be incompatible with this option,
+# and some linkers may reject incompatible options.
+
+proc check_effective_target_arm_soft_ok_link { } {
+    return [check_no_compiler_messages arm_soft_ok_link executable {
+	#include <stdint.h>
+	int dummy;
+	int main (void) { return 0; }
+	} "-mfloat-abi=soft"]
+}
+
 # Return 1 if this is an ARM target supporting -mfpu=vfp with an
 # appropriate abi.