At this website, I have read that STM32F4 microcontrollers have DSP instructions. To quote:
It also implements a full set of DSP instructions
I am beginning to learn embedded C programming with CooCox CoIDE and STM32F4 Discovery board.
My question is: How do I make use of DSP instructions, when I am writing code in C? Do I need to include some special libraries / functions?