den_po:
всё дело в оптимизации переходов.
небольшой пример.
Код:
typedef void (*FN)();
void a(FN fn)
{
fn();
}
void a(FN fn)
{
fn();
}
тут внутри функции a идёт вызов функции по указателю.
компилируется такой код в такое:
Код:
// 7 void a(FN fn)
// 8 {
// 9 fn();
??a:
MOV PC,R0 ;; tailcall
CFI EndBlock cfiBlock1
// 10 }
// 8 {
// 9 fn();
??a:
MOV PC,R0 ;; tailcall
CFI EndBlock cfiBlock1
// 10 }
команда MOV PC,R0 плохая, на процессорах наших телефонов она вызывает ребуты. да, не всегда, но получить проблемы более чем легко. особенно напрягает, когда ребуты случаются в разных местах, найти причину сбоев становится очень тяжело.
предлагаю вашему вниманию патчи для компиляторов IAR C/C++ 4.41 и 4.42.
после применения патча компилятор начинает генерировать такой код:
Код:
// 7 void a(FN fn)
// 8 {
// 9 fn();
??a:
BX R0 ;; tailcall
CFI EndBlock cfiBlock1
// 10 }
// 8 {
// 9 fn();
??a:
BX R0 ;; tailcall
CFI EndBlock cfiBlock1
// 10 }
команда заменяется только в коде, компилируемом вами. если вы используете стандартные иаровские библиотеки, в ваш код могут попасть MOV, потому что эти библиотеки не собираются заново, а линкуются уже собранные.
в общем, если в вашем эльфе окажется MOV PC, Rx (смотреть в генерируемых листингах), и из-за этой команды у вас проблемы, будем думать. вероятно, придётся менять команды в пост-билде.
Прикрепленный к сообщению файл:
iar_tailcall_patch.zip (4.82 kb; 184 hits) Скачать файл iar_tailcall_patch2.zip (2.45 kb; 271 hits) Скачать файл