On 20/11/2024 10:49, Richard Earnshaw (lists) wrote:
> On 20/11/2024 07:58, Torbjorn SVENSSON wrote:
>>
>>
>> On 11/19/24 18:08, Richard Earnshaw (lists) wrote:
>>> On 19/11/2024 10:24, Torbjörn SVENSSON wrote:
>>>> Update test cases to use -mcpu=unset/-march=unset feature introduced in
>>>> r15-3606-g7d6c6a0d15c.
>>>>
>>>> gcc/testsuite/ChangeLog:
>>>>
>>>> * g++.dg/other/pr56184.C: Use effective-target
>>>> arm_arch_v7a_neon and arm_arch_v7a_thumb.
>>>> * g++.dg/other/pr59985.C: Use effective-target
>>>> arm_arch_v7a_neon and arm_arch_v7a_arm.
>>>> * lib/target-supports.exp: Define effective-target
>>>> arm_arch_v7a_thumb.
>>>>
>>>> Signed-off-by: Torbjörn SVENSSON <torbjorn.svens...@foss.st.com>
>>>> ---
>>>> gcc/testsuite/g++.dg/other/pr56184.C | 8 ++++++--
>>>> gcc/testsuite/g++.dg/other/pr59985.C | 7 +++++--
>>>> gcc/testsuite/lib/target-supports.exp | 1 +
>>>> 3 files changed, 12 insertions(+), 4 deletions(-)
>>>>
>>>> diff --git a/gcc/testsuite/g++.dg/other/pr56184.C
>>>> b/gcc/testsuite/g++.dg/other/pr56184.C
>>>> index dc949283c98..f4a4300c385 100644
>>>> --- a/gcc/testsuite/g++.dg/other/pr56184.C
>>>> +++ b/gcc/testsuite/g++.dg/other/pr56184.C
>>>> @@ -1,6 +1,10 @@
>>>> /* { dg-do compile { target arm*-*-* } } */
>>>> -/* { dg-skip-if "incompatible options" { ! { arm_thumb1_ok ||
>>>> arm_thumb2_ok } } } */
>>>> -/* { dg-options "-fno-short-enums -O2 -mthumb -march=armv7-a -mfpu=neon
>>>> -mfloat-abi=softfp -mtune=cortex-a9 -fno-section-anchors -Wno-return-type"
>>>> } */
>>>> +/* { dg-require-effective-target arm_arch_v7a_neon_ok } */
>>>> +/* { dg-require-effective-target arm_arch_v7a_thumb_ok } */
>>>> +/* { dg-options "-fno-short-enums -O2 -fno-section-anchors
>>>> -Wno-return-type" } */
>>>> +/* { dg-add-options arm_arch_v7a_neon } */
>>>> +/* { dg-additional-options "-mthumb -mtune=cortex-a9" } */
>>>> +
>>>>
>>>
>>> I'd add a new entry for v7a_neon_thumb for this, then we only need one
>>> dg-r-e-t rule here.
>>>
>>>> typedef unsigned int size_t;
>>>> __extension__ typedef int __intptr_t;
>>>> diff --git a/gcc/testsuite/g++.dg/other/pr59985.C
>>>> b/gcc/testsuite/g++.dg/other/pr59985.C
>>>> index 7c9bfab35f1..a0f5e184b43 100644
>>>> --- a/gcc/testsuite/g++.dg/other/pr59985.C
>>>> +++ b/gcc/testsuite/g++.dg/other/pr59985.C
>>>> @@ -1,7 +1,10 @@
>>>> /* { dg-do compile { target arm*-*-* } } */
>>>> -/* { dg-skip-if "incompatible options" { arm_thumb1 } } */
>>>> -/* { dg-options "-g -fcompare-debug -O2 -march=armv7-a -mtune=cortex-a9
>>>> -mfpu=vfpv3-d16 -mfloat-abi=hard" } */
>>>> /* { dg-skip-if "need hardfp abi" { *-*-* } { "-mfloat-abi=soft" } { ""
>>>> } } */
>>>> +/* { dg-require-effective-target arm_arch_v7a_arm_ok } */
>>>> +/* { dg-require-effective-target arm_arch_v7a_neon_ok } */
>>>> +/* { dg-options "-g -fcompare-debug -O2" } */
>>>> +/* { dg-add-options arm_arch_v7a_neon } */
>>>> +/* { dg-additional-options "-marm -mtune=cortex-a9 -mfloat-abi=hard
>>>> -mfpu=vfpv3-d16" } */
>>>
>>> I don't follow this change, the original test never looks at neon, nor
>>> needs it AFAICT.
>>
>> I am trying to use the existing effective-targets to verify that -marm and
>> -mfloat-abi=hard is supported for the armv7-a target.
>> Would you like me to define an arm_arch_v7a_arm_hard effective-target and
>> override with -mfpu=vfpv3-d16 or do you want a dedicated effective-target
>> that will contain also the -mfpu=vfpv3-d16 in the check?
>
> My goal is to get rid of -mfpu (other than auto) everywhere in the testsuite.
> The only exception would be for some specific backwards compatibility tests,
> which we can then know are safe to remove if/when -mfpu is obsoleted entirely.
>
> I'm not expecting that to happen overnight, but the first step is no new uses
> of the old command-line interface and fixing up existing uses as we need to
> make changes like this.
>
Sorry, that didn't really answer your main question. I'd define a new arch
armv7a_fp_hard, with the architecture set to "armv7a+fp" and the FPU set to
auto.
R.
> R.
>
>>
>> Kind regards,
>> Torbjörn
>>
>>>
>>>> extern void *f1 (unsigned long, unsigned long);
>>>> extern const struct line_map *f2 (void *, int, unsigned int, const char
>>>> *, unsigned int);
>>>> diff --git a/gcc/testsuite/lib/target-supports.exp
>>>> b/gcc/testsuite/lib/target-supports.exp
>>>> index 30e453a578a..6241c00a752 100644
>>>> --- a/gcc/testsuite/lib/target-supports.exp
>>>> +++ b/gcc/testsuite/lib/target-supports.exp
>>>> @@ -5778,6 +5778,7 @@ foreach { armfunc armflag armdefs } {
>>>> v7a "-march=armv7-a+fp" __ARM_ARCH_7A__
>>>> v7a_arm "-march=armv7-a+fp -marm" "__ARM_ARCH_7A__ && !__thumb__"
>>>> v7a_neon "-march=armv7-a+simd -mfpu=auto -mfloat-abi=softfp"
>>>> "__ARM_ARCH_7A__ && __ARM_NEON__"
>>>> + v7a_thumb "-march=armv7-a+fp -mthumb" "__ARM_ARCH_7A__ && __thumb__"
>>>
>>> I think you want -mfpu=auto here as well.
>>>
>>>> v7r "-march=armv7-r+fp" __ARM_ARCH_7R__
>>>> v7m "-march=armv7-m -mthumb -mfloat-abi=soft" __ARM_ARCH_7M__
>>>> v7em "-march=armv7e-m+fp -mthumb" __ARM_ARCH_7EM__
>>>
>>> R.
>>>
>
