>> + error ("Thumb-1 does not allow FP instructions");
> >>>else if (TARGET_HARD_FLOAT_ABI)
> >>> {
> >>> arm_pcs_default = ARM_PCS_AAPCS_VFP;
> >>> diff --git a/gcc/testsuite/gcc.target/arm/t
9b6
>>> --- /dev/null
>>> +++ b/gcc/testsuite/gcc.target/arm/thumb1_mfpu-1.c
>>> @@ -0,0 +1,7 @@
>>> +/* { dg-do compile } */
>>> +/* { dg-require-effective-target arm_thumb1_ok } */
>>> +/* { dg-skip-if "incompatible float ABI" { *-*-* } { &quo
; diff --git a/gcc/testsuite/gcc.target/arm/thumb1_mfpu-2.c
> > b/gcc/testsuite/gcc.target/arm/thumb1_mfpu-2.c
> > new file mode 100644
> > index 000..941ed26ed01
> > --- /dev/null
> > +++ b/gcc/testsuite/gcc.target/arm/thumb1_mfpu-2.c
> > @@ -0,0
