diff options
Diffstat (limited to 'validation/arch')
| -rw-r--r-- | validation/arch/arm-predef-float-abi-hard.c | 9 | ||||
| -rw-r--r-- | validation/arch/arm-predef-float-abi-mixed.c | 9 | ||||
| -rw-r--r-- | validation/arch/arm-predef-float-abi-soft.c | 9 | ||||
| -rw-r--r-- | validation/arch/arm-predef-hard-float.c | 9 | ||||
| -rw-r--r-- | validation/arch/arm-predef-soft-float.c | 9 |
5 files changed, 45 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..73e89e84 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-hard.c @@ -0,0 +1,9 @@ +#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 + * check-known-to-fail + */ 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..c339bf6a --- /dev/null +++ b/validation/arch/arm-predef-float-abi-mixed.c @@ -0,0 +1,9 @@ +#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 + * check-known-to-fail + */ 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..42764fd7 --- /dev/null +++ b/validation/arch/arm-predef-float-abi-soft.c @@ -0,0 +1,9 @@ +#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 + * check-known-to-fail + */ diff --git a/validation/arch/arm-predef-hard-float.c b/validation/arch/arm-predef-hard-float.c new file mode 100644 index 00000000..8aeb5d42 --- /dev/null +++ b/validation/arch/arm-predef-hard-float.c @@ -0,0 +1,9 @@ +#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 + * check-known-to-fail + */ diff --git a/validation/arch/arm-predef-soft-float.c b/validation/arch/arm-predef-soft-float.c new file mode 100644 index 00000000..d310ea5f --- /dev/null +++ b/validation/arch/arm-predef-soft-float.c @@ -0,0 +1,9 @@ +#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 + * check-known-to-fail + */ |