On 21 September 2015 at 16:15, Christian Bruel <christian.br...@st.com> wrote:
>
>
> On 09/18/2015 05:03 PM, Richard Earnshaw wrote:
>
>>> Index: attr_thumb-static2.c
>>> ===================================================================
>>> --- attr_thumb-static2.c (revision 227904)
>>> +++ attr_thumb-static2.c (working copy)
>>> @@ -1,6 +1,6 @@
>>> /* Check that interwork between static functions is correctly resolved.
>>> */
>>>
>>> -/* { dg-skip-if "" { ! { arm_thumb1_ok || arm_thumb2_ok } } } */
>>> +/* { dg-require-effective-target arm_thumb2_ok } */
>>> /* { dg-options "-O0 -march=armv7-a -mfloat-abi=hard" } */
>>> /* { dg-do compile } */
>>>
>>>
>>
>> Do you really need -mfloat-abi=hard for this test? If so, I think you
>> also need "dg-require-effective-target arm_hard_vfp_ok". See
>> gcc.target/arm/pr65729.c
>>
>
> The test was not crashing for -mfloat-abi=soft.
> But the number of blx is independent. So yes we can write the conditions in
> such a way the test runs without hard fp.
>
> is this one better ?
You need to move the dg-do directive before the other ones (otherwise,
it overrides the effect of require-target).
