mbv: clang-format

mbv/apps/timer/timer.cc

@@ -1,3 +1,5 @@
+#include "timer.h"
+
 #include <cstdint>
 
 #include "bios.h"
@@ -5,7 +7,6 @@
 #include "intc.h"
 #include "interrupts.h"
 #include "pol0.h"
-#include "timer.h"
 
 namespace {
 

mbv/apps/uart/uart.cc

@@ -23,16 +23,11 @@ XUartLite* uart0 = &uart0_inst;
 
 volatile int incoming = 0;
 
-void HandleUartRxFromIsr(void*, unsigned int) {
+void HandleUartRxFromIsr(void*, unsigned int) { incoming += 1; }
-    incoming += 1;
-}
 
-void HandleUartTxFromIsr(void*, unsigned int) {
+void HandleUartTxFromIsr(void*, unsigned int) {}
-}
 
-void Uart0Isr() {
+void Uart0Isr() { XUartLite_InterruptHandler(uart0); }
-    XUartLite_InterruptHandler(uart0);
-}
 
 void InitUarts() {
     XUartLite_CfgInitialize(uart0, &uart0_config, uart0_config.RegBaseAddr);
@@ -62,7 +57,8 @@ int main() {
     uint8_t c;
     while (XUartLite_Recv(uart0, &c, 1) > 0) {
         XUartLite_Send(uart0, &c, 1);
-        while (XUartLite_IsSending(uart0)) {}
+        while (XUartLite_IsSending(uart0)) {
+        }
     }
     leds->data = 0xa1;
     while (1) {
@@ -71,10 +67,12 @@ int main() {
             counter += 1;
             leds->data = counter;
             XUartLite_Send(uart0, &c, 1);
-            while (XUartLite_IsSending(uart0)) {}
+            while (XUartLite_IsSending(uart0)) {
+            }
             while (XUartLite_Recv(uart0, &c, 1) > 0) {
                 XUartLite_Send(uart0, &c, 1);
-                while (XUartLite_IsSending(uart0)) {}
+                while (XUartLite_IsSending(uart0)) {
+                }
             }
             incoming -= 1;
         }

mbv/bootloader/bootloader.cc

@@ -52,7 +52,8 @@ uint8_t UartRead() {
 
 void UartWrite(uint8_t c) {
     XUartLite_Send(uart0, &c, 1);
-    while (XUartLite_IsSending(uart0)) {}
+    while (XUartLite_IsSending(uart0)) {
+    }
 }
 
 int main() {

mbv/bootloader/wozmon.cc

@@ -88,8 +88,7 @@ int FindChar(const char* buf, uint8_t c) {
 
 }  // namespace
 
-__attribute__((used))
+__attribute__((used)) void wozmon() {
-void wozmon() {
     uint32_t cur_addr = 0;
     uint32_t cur_data = 0;
 

mbv/hal/bios.h

@@ -8,5 +8,4 @@ uint8_t BiosUartRead();
 void BiosUartWrite(uint8_t);
 void BiosWozmon();
 void BiosUartWriteNibble(uint8_t);
-
 }

mbv/hal/debug.cc

@@ -7,20 +7,17 @@ void BiosUartWrite(uint8_t);
 void BiosWozmon();
 void BiosUartWriteNibble(uint8_t n);
 
-__attribute__((used))
+__attribute__((used)) void UartWriteU32(uint32_t a) {
-void UartWriteU32(uint32_t a) {
     for (int i = 0; i < 8; i++) {
         BiosUartWriteNibble(a >> 28);
         a <<= 4;
     }
 }
 
-__attribute__((used))
+__attribute__((used)) void UartWriteString(const char* s) {
-void UartWriteString(const char* s) {
     while (*s) {
         BiosUartWrite(*s);
         s++;
     }
 }
-
 }

mbv/hal/intc.cc

@@ -39,13 +39,9 @@ bool SetIrqEnabled(uint8_t irqn, bool enabled) {
     return was_enabled;
 }
 
-void SetIsr(uint8_t irqn, Isr isr) {
+void SetIsr(uint8_t irqn, Isr isr) { isrs[irqn] = isr; }
-    isrs[irqn] = isr;
-}
 
-void EnableInterrupts() {
+void EnableInterrupts() { intc->MER = 0x3; }
-    intc->MER = 0x3;
-}
 
 void InterruptHandler() {
     uint32_t ipr = intc->IPR;

mbv/hal/interrupts.cc

@@ -1,7 +1,8 @@
+#include "interrupts.h"
+
 #include <cstdint>
 
 #include "bios.h"
-#include "interrupts.h"
 
 namespace {
 
@@ -12,8 +13,7 @@ constexpr uint32_t kInterruptCauseMask = 0xff;
 
 Isr external_handler = nullptr;
 
-__attribute__((interrupt))
+__attribute__((interrupt)) void TrapHandler() {
-void TrapHandler() {
     uint32_t mcause;
     uint32_t mip;
     asm volatile("csrr %0, mcause" : "=r"(mcause));
@@ -34,9 +34,7 @@ void TrapHandler() {
 
 }  // namespace
 
-void SetExternalInterruptHandler(Isr handler) {
+void SetExternalInterruptHandler(Isr handler) { external_handler = handler; }
-    external_handler = handler;
-}
 
 void EnableExternalInterrupts() {
     uint32_t mie;

mbv/hal/start.cc

@@ -3,8 +3,7 @@
 extern "C" uint32_t _bss_begin, _bss_end, _initial_stack_pointer;
 extern "C" int main();
 
-__attribute__((section(".start"), used, naked))
+__attribute__((section(".start"), used, naked)) void _start() {
-void _start() {
     // clear .bss
     for (uint32_t* ptr = &_bss_begin; ptr < &_bss_end; ptr++) {
         *ptr = 0;

mbv/hal/timer.h

@@ -59,9 +59,7 @@ struct Timer {
         TCSR0.ENT0 = 1;
     }
 
-    void ClearInterrupt() {
+    void ClearInterrupt() { TCSR0.T0INT = 0; }
-        TCSR0.T0INT = 0;
-    }
 
     static Timer* Instance(uint32_t base) {
         return reinterpret_cast<Timer*>(base);