Optimize for speed

libraries/tests/mbed/pin_toggling/main.cpp

@@ -0,0 +1,10 @@
+#include "mbed.h"
+
+DigitalOut out(p5);
+
+int main() {
+    while (true) {
+        out = 1;
+        out = 0;
+    }
+}

workspace_tools/tests.py

@@ -422,7 +422,12 @@ TESTS = [
         "source_dir": join(TEST_DIR, "mbed", "pwm_led"),
         "dependencies": [MBED_LIBRARIES],
     },
-
+    {
+        "id": "MBED_32", "description": "Pin toggling",
+        "source_dir": join(TEST_DIR, "mbed", "pin_toggling"),
+        "dependencies": [MBED_LIBRARIES],
+    },
+    
     # CMSIS RTOS tests
     {
         "id": "CMSIS_RTOS_1", "description": "Basic",

workspace_tools/toolchains/arm.py

@@ -43,7 +43,7 @@ class ARM(mbedToolchain):
         main_cc = join(ARM_BIN, "armcc")
         common = ["-c",
             "--cpu=%s" % cpu, "--gnu",
-            "-Ospace", "--split_sections", "--apcs=interwork",
+            "-O3", "-Otime", "--split_sections", "--apcs=interwork",
             "--brief_diagnostics", "--restrict"
         ]