commit 90dfc21f6bb9e85abe3ede11f94b1aa217ec712a
author Dave Rodgman <dave.rodgman@arm.com> Wed Jun 14 17:06:53 2023 +0100
committer Dave Rodgman <dave.rodgman@arm.com> Wed Jun 14 17:06:53 2023 +0100
tree 8f5fc19c814f14970425d8978e20cd530b11bf09
parent b02f00668583feb4b257663175d35ab441e6c459

Shorten encoding of version features

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>

scripts/data_files/version_features.fmt

diff --git a/scripts/data_files/version_features.fmt b/scripts/data_files/version_features.fmt
index d3217a1..0e40597 100644
--- a/scripts/data_files/version_features.fmt
+++ b/scripts/data_files/version_features.fmt
@@ -44,6 +44,12 @@
         return -1;
     }
 
+    if (strncmp(feature, "MBEDTLS_", 8)) {
+        return -1;
+    }
+
+    feature += 8;
+
     while (*idx != NULL) {
         if (!strcmp(*idx, feature)) {
             return 0;

scripts/generate_features.pl

diff --git a/scripts/generate_features.pl b/scripts/generate_features.pl
index b99c637..f680951 100755
--- a/scripts/generate_features.pl
+++ b/scripts/generate_features.pl
@@ -66,11 +66,14 @@
             $in_section = 0;
             next;
         }
-
-        my ($define) = $line =~ /#define (\w+)/;
-        $feature_defines .= "#if defined(${define})\n";
+        # Strip leading MBEDTLS_ to save binary size
+        my ($mbedtls_prefix, $define) = $line =~ /#define (MBEDTLS_)?(\w+)/;
+        if (!$mbedtls_prefix) {
+            die "Feature does not start with 'MBEDTLS_': $line\n";
+        }
+        $feature_defines .= "#if defined(MBEDTLS_${define})\n";
         $feature_defines .= "    \"${define}\",\n";
-        $feature_defines .= "#endif /* ${define} */\n";
+        $feature_defines .= "#endif /* MBEDTLS_${define} */\n";
     }
 
     if (!$in_section) {