From 1eb349682d67858b40d6a6a640ae50bf0439446f Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sat, 28 Sep 2024 18:47:40 +0200
Subject: [PATCH] Enable testing Thumb-2 mode on ARMv7

Just by adding `-DTHUMB` to the compiler command line.
ARMv7-a and ARMv7-r support both Thumb-2 and ARM A32 classic.
---
 runtime/arm/sysdeps.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/runtime/arm/sysdeps.h b/runtime/arm/sysdeps.h
index 7d29743e8..d7bfeb59e 100644
--- a/runtime/arm/sysdeps.h
+++ b/runtime/arm/sysdeps.h
@@ -35,9 +35,10 @@
 // System dependencies
 
 #if defined(MODEL_armv7m)
-// Thumb2-only
+// Thumb-2 only
 #define THUMB
-#else
+#elsif defined(MODEL_armv6) || defined(MODEL_armv6t2)
+// ARM-A32 only
 #undef THUMB
 #endif