benchmark_driver.c 577 B

1234567891011121314151617181920212223242526272829
  1. #include "cmsis_os.h"
  2. #include "ImC/imc_kernel.h"
  3. #include "ImC/imc_extension.h"
  4. #include <stdio.h>
  5. void vBenchmarkDriver(void *_benchmark)
  6. {
  7. void (*benchmark)(void) = _benchmark;
  8. #if (imcBENCH_INFINITE_LOOP)
  9. while(1) {
  10. #endif
  11. portDISABLE_INTERRUPTS();
  12. printf("Start benchmark\r\n");
  13. portENABLE_INTERRUPTS();
  14. benchmark();
  15. portDISABLE_INTERRUPTS();
  16. printf("End benchmark\r\n");
  17. portENABLE_INTERRUPTS();
  18. #if (imcBENCH_INFINITE_LOOP)
  19. }
  20. #endif
  21. // #if (imcUSE_IMC_KERNEL == 1)
  22. // vImcInvalidateRecovery();
  23. // #endif
  24. }