Слава Богу, в своё время нашел на сайте ARM компилятор для
Cortex'ов. Понравился, правда, поначалу, у него LTO практически не
работало. Потом оказалось, что Ардуины тоже GCC используют. Как работает AVR-GCC мне понравилось. С тех пор предпочитаю GCC. А, например, XC8, XC16 от Микрочипа, хоть и похожи на GCC, но непредсказуемы.