Кривой оптимизатор IAR? (IAR V6.21.1.52794/W32 for ARM) Опции

[jcxz]

Имеем (Cortex-M3):

Код

s32 c;  //signed int
if ((u32)c < 100000) {   //проверка как unsigned int
  ...
} else {
  if (c >= 0) i += 1;      //проверка как signed int
  i += 1;
}

После компиляции с полной оптимизацией получаем бред:

Код

;if ((u32)c < 100000) {
              LDR.W    R0,??DataTable21_14;; 0x186a0
              CMP      R5,R0
              BCS.N    ??isrTIMER1_13
              ...
              B.N      ??isrTIMER1_14
;} else {
;  if (c >= 0) i += 1;
  ??isrTIMER1_13:
              ADDS     R0,R4,#+1;почему безусловно??? Где IT???
              ...
;  i += 1;
              ADDS     R4,R0,#+1
;}
  ??isrTIMER1_14:
              ...

Куда делось условное исполнение: if (c >= 0) i += 1; ????

Если поставить оптимизацию "Low", то всё нормально - эта строка выполняется по условию (с помощью команд перехода).
При компиляции V5.50.0.51878/W32 for ARM тоже всё ок - строка выполняется условно (с помощью команды IT).
IAR-цы добавили новый баг в оптимизатор?
У кого есть IAR более новый - можете проверить - исправлено это или ещё нет?

[scifi]

Ну да, похоже на баг. Хорошо бы написать баг-репорт в Яр, чтобы пофиксили...

[jcxz]

Чем дальше в лес, тем больше дров.... Ещё один баг IAR for ARM v6:

CODE

__noreturn static void Task3(void *)
{
static const char *t[] = {"FRAM start", "FRAM end", "DF start", "DF end"};
s64 k;
uint i;
while (1) {
while ((k = qdma.read()) >= 0) {
if (!(~(u32)k >> 8 & 255)) { //падает из-за этой строчки
if ((i = k & 255) >= ncell(t))
LogCR0(COL_TEAL "???%u mcs=%u", i, (u32)(k >> 31));
else LogCR0(COL_TEAL "%s mcs=%u", t[i], (u32)(k >> 31));
} else LogCR0(COL_TEAL
"qdma: DMA.EnaCh=0x%02X DMA.IntTCStat=0x%02X num=%u mcs=%u",
(u32)k & 255, (u32)k >> 8 & 255, (u32)k >> 16 & B15 - 1,
(u32)(k >> 31));
}
MboxPend(mboxTask3, ms2tkt(20));
Ptog(PIN_LED_G);
}
}

При попытке компиляции выдаёт:

Код

Tool Internal Error:
Internal Error: [CoreUtil/General]: Illegal state
Internal Error: [CoreUtil/General]: Illegal state
Error while running C/C++ Compiler

Если заменить указанную строчку на:

Код

if (!((u32)~k >> 8 & 255)) {

то всё ок. Оптимизация в положении "Low".
Похоже придётся возвращаться на IAR5.50... (((