I have to disagree on that point at least… I was just trying out SimpleFOC on an STM32L433 - its a 80MHz M4 core, and it has TIM1, an advanced control timer with 6 channels, 4 of which have dead time insertion circuitry… a bunch of the L-Series have a TIM1…
I’ll do a bit more detailed testing to comment on the iteration speed in closed loop… you could well be right about the performance, although the CoreMark values they state for these MCUs aren’t so terrible…