diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-02-23 23:50:22 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-27 00:15:24 +0100 |
commit | 16df5da6daa81ee91fda2fe7316fab7d966c1ec7 (patch) | |
tree | 3a61817080b1b2d7056e4e13b918dd8dbfe18da8 | |
parent | ec743e7f666b2a49a4c9cda901b25006170c5416 (diff) | |
download | sparse-16df5da6daa81ee91fda2fe7316fab7d966c1ec7.tar.gz |
fp-abi: add tests for ARM's -mfloat-abi=... & -msoft-float
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-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 + */ |