aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/machine.h
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-02-17 23:26:13 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-27 00:18:45 +0100
commit532f662121d79ef50408cd4f67d0d379e55c2fa8 (patch)
treed9767294b5886a8cba93311ce6e459f0faad09bc /machine.h
parent16df5da6daa81ee91fda2fe7316fab7d966c1ec7 (diff)
downloadsparse-dev-532f662121d79ef50408cd4f67d0d379e55c2fa8.tar.gz
fp-abi: teach sparse about -mfloat-abi on ARM
Teach sparse about the -mfloat-abi option and set the related predefines for ARM accordingly. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'machine.h')
-rw-r--r--machine.h15
1 files changed, 15 insertions, 0 deletions
diff --git a/machine.h b/machine.h
index e24822a7..213b776a 100644
--- a/machine.h
+++ b/machine.h
@@ -76,4 +76,19 @@ enum machine {
#define UNSIGNED_CHAR 0
#endif
+
+enum fp_abi {
+ FP_ABI_HARD,
+ FP_ABI_SOFT,
+ FP_ABI_HYBRID,
+};
+
+#if defined(__ARM_PCS_VFP)
+#define FP_ABI_NATIVE FP_ABI_HARD
+#elif defined(__ARM_PCS) && !defined(__SOFTFP__)
+#define FP_ABI_NATIVE FP_ABI_HYBRID
+#else
+#define FP_ABI_NATIVE FP_ABI_SOFT
+#endif
+
#endif