diff options
Diffstat (limited to 'validation/arch')
| -rw-r--r-- | validation/arch/arm-predef-float-abi-hard.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-float-abi-mixed.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-float-abi-soft.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-hard-float.c | 8 | ||||
| -rw-r--r-- | validation/arch/arm-predef-soft-float.c | 8 |
5 files changed, 40 insertions, 0 deletions
diff --git a/validation/arch/arm-predef-float-abi-hard.c b/validation/arch/arm-predef-float-abi-hard.c new file mode 100644 index 00000000..b5ad32f2 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-hard.c @@ -0,0 +1,8 @@ +#if !defined(__ARM_PCS_VFP) || defined(__SOFTFP__) || defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-float-abi-hard + * check-command: sparse --arch=arm -mfloat-abi=hard $file + */ diff --git a/validation/arch/arm-predef-float-abi-mixed.c b/validation/arch/arm-predef-float-abi-mixed.c new file mode 100644 index 00000000..b401de35 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-mixed.c @@ -0,0 +1,8 @@ +#if defined(__ARM_PCS_VFP) || defined(__SOFTFP__) || !defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-float-abi-mixed + * check-command: sparse --arch=arm -mfloat-abi=softfp $file + */ diff --git a/validation/arch/arm-predef-float-abi-soft.c b/validation/arch/arm-predef-float-abi-soft.c new file mode 100644 index 00000000..ee5accd1 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-soft.c @@ -0,0 +1,8 @@ +#if defined(__ARM_PCS_VFP) || !defined(__SOFTFP__) || !defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-float-abi-soft + * check-command: sparse --arch=arm -mfloat-abi=soft $file + */ diff --git a/validation/arch/arm-predef-hard-float.c b/validation/arch/arm-predef-hard-float.c new file mode 100644 index 00000000..72c748f0 --- /dev/null +++ b/validation/arch/arm-predef-hard-float.c @@ -0,0 +1,8 @@ +#if !defined(__ARM_PCS_VFP) || defined(__SOFTFP__) || defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-hard-float + * check-command: sparse --arch=arm -mhard-float $file + */ diff --git a/validation/arch/arm-predef-soft-float.c b/validation/arch/arm-predef-soft-float.c new file mode 100644 index 00000000..c25a5f1d --- /dev/null +++ b/validation/arch/arm-predef-soft-float.c @@ -0,0 +1,8 @@ +#if defined(__ARM_PCS_VFP) || !defined(__SOFTFP__) || !defined(__ARM_PCS) +#error +#endif + +/* + * check-name: arm-predef-soft-float + * check-command: sparse --arch=arm -msoft-float $file + */ |