Performance benchmark

[andylokandy]

Is there any plan to have a benchmark? I'm curious about its performance against libm on the platform without fpu (eg. cortrex-m3).

[tarcieri]

I'm not sure the best way to benchmark it except directly on the relevant hardware. Is there an existing benchmarking framework you (or anyone else) is aware of for running these benchmarks on the device and reporting the results via SWD or what have you?

[andylokandy]

AFAIN, there isn't any benchmark framework designed for embedded system now, but the way to do that is similar. I usually get the consumed time by calculating the rvr value of systick and the timer settings and output the result by serial port.