Компилляторы С и С++ для микроконтроллеров есть, и они активно используютя. Но там очень часто бывают задачи, которые требуют ассемблера. Поэтому компилляторы позволяют делать вставки из ассемблерного кода. Поскольку микроконтроллер часто управляет процессом, чувствительным к задержкам, во многих случаях требуется точно знать сколько тактов он тратит на ту или иную операцию. И желательно, чтобы этих тактов было как можно меньше или точное, заранее заданное число. Другая проблема - это энергопотребление. Чем больше операций в секунду делает процессор, тем он больше потребляет. Но есть задачи предельно чувствителные к потреблению энергии. Например, когда процессор связан с дистанционным датчиком, который работает от миниатюрной батарейки. В этом случае используются процессоры с микропотреблением и коды к ним минимизируются насколько это возможно.