vcs: add finish_device for simv_finish (#324)

This change will clear device buffer, avoid potential affect between workloads.

src/test/csrc/common/device.cpp

@@ -23,7 +23,9 @@ void send_key(uint8_t, bool);
 void init_sdl(void);
 
 void init_uart(void);
+void finish_uart(void);
 extern "C" void init_sd(void);
+extern "C" void finish_sd(void);
 extern "C" void init_flash(void);
 
 void init_device(void) {
@@ -34,6 +36,14 @@ void init_device(void) {
   init_sd();
 }
 
+void finish_device(void) {
+#ifdef SHOW_SCREEN
+  finish_sdl();
+#endif
+  finish_uart();
+  finish_sd();
+}
+
 void poll_event() {
 #ifdef SHOW_SCREEN
   SDL_Event event;

src/test/csrc/common/device.h

@@ -20,6 +20,7 @@
 #include "common.h"
 
 void init_device();
+void finish_device();
 void poll_event();
 
 #endif

src/test/csrc/common/sdcard.cpp

@@ -62,4 +62,10 @@ void init_sd(void) {
   check_sdcard();
 #endif
 }
+
+void finish_sd(void) {
+#ifdef SDCARD_IMAGE
+  fclose(fp);
+#endif
+}
 }

src/test/csrc/common/uart.cpp

@@ -106,3 +106,9 @@ static void preset_input() {
 void init_uart(void) {
   preset_input();
 }
+
+void finish_uart(void) {
+  memset(queue, 0, sizeof(queue));
+  f = 0;
+  r = 0;
+}

src/test/csrc/common/vga.cpp

@@ -60,6 +60,10 @@ void init_sdl() {
   SDL_SetWindowTitle(window, "NOOP");
   texture = SDL_CreateTexture(renderer, SDL_PIXELFORMAT_ARGB8888, SDL_TEXTUREACCESS_STATIC, SCREEN_W, SCREEN_H);
 }
+
+void finish_sdl() {
+  memset(vmem, 0, sizeof(vmem));
+}
 #else
 extern "C" void put_pixel(uint32_t pixel) {}
 extern "C" void vmem_sync(void) {}

src/test/csrc/vcs/vcs_main.cpp

@@ -202,6 +202,7 @@ void simv_finish() {
     goldenmem_finish();
     difftest_finish();
   }
+  finish_device();
   delete simMemory;
   simMemory = nullptr;
 }