Обработка математических ошибок в ARM Опции

[cyrax0]

Здравствуйте!
Я использую IAR EWARM 6.40 и STM32F407 (с FPU). Нужно останавливать контроллер при возникновении математических ошибок, например, при log(-1). В этом случае я получаю NaN в качестве результата, но по умолчанию никакого вызова функции или exception не происходит. Нету ли для ARM функции, аналогичной стандартной _matherr (math.h)? На других архитектурах она вызывается при следующих ошибках:

Код

    DOMAIN = 1,    /* argument domain error -- log (-1)        */
    SING,          /* argument singularity  -- pow (0,-2))     */
    OVERFLOW,      /* overflow range error  -- exp (1000)      */
    UNDERFLOW,     /* underflow range error -- exp (-1000)     */
    TLOSS,         /* total loss of significance -- sin(10e70) */
    PLOSS,         /* partial loss of signif. -- not used      */
    STACKFAULT     /* floating point unit stack overflow       */

Через FPU все эти ошибки, как я понял, тоже нельзя определить, например, регистр FPSCR Cortex-M4 среди битов исключений domain error не имеет:

Bit 7 IDC: Input denormal cumulative exception bit. Cumulative exception bit for floating-point
exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 6:5 Reserved
Bit 4 IXC: Inexact cumulative exception bit. Cumulative exception bit for floating-point exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 3 UFC: Underflow cumulative exception bit. Cumulative exception bit for floating-point exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 2 OFC: Overflow cumulative exception bit. Cumulative exception bit for floating-point exception.
1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 1 DZC: Division by zero cumulative exception bit. Cumulative exception bit for floating-point
exception. 1: Indicates that the corresponding exception occurred since 0 was last written to it.
Bit 0 IOC: Invalid operation cumulative exception bit. Cumulative exception bit for floating-point
exception. 1: Indicates that the corresponding exception occurred since 0 was last written to it.

Мне даже переполнение при результате операции 0.Infinite не удалось зафиксировать в этих флагах. Может, что-то не так сделал, но вроде бы в любом случае ситуацию log(-1) ни один из этих флагов не должен определять?
Заранее спасибо.

[_Pasha]

Насколько я помню, Вам нужно переопределить хандлер matherr() который должен отвечать за обработку ошибки.
Только я этим никогда не пользовался, подробностей не скажу.

[cyrax0]

Насколько я помню, Вам нужно переопределить хандлер matherr() который должен отвечать за обработку ошибки.

Хотелось бы, только в моей среде в math.h эта функция не описана, как и ее аргумент exception, поэтому переопределять нечего .

Так что да, делайте проверку после и/или перед каждой операцией. На самом деле это совсем не сложно.

Если бы этот вариант подходил, я бы здесь не писал.

Сообщение отредактировал cyrax0 - Jan 14 2015, 19:45

[jcxz]

Если бы этот вариант подходил, я бы здесь не писал.

Ну Вам же уже подсказали, что при ошибках, состояние ошибки сохраняется в errno (я сам не уверен что для всех желаемых Вами случаев).
Если Вам нужно именно прерывание, в чем проблема? В Вашем STM32F407 отсутствует MPU?
Через MPU защищаете некую область памяти от записи, линкуете туда errno и получаете прерывание MPU каждый раз при попытке записи в errno.
Фсё.

В особо извращённом случае, можно errno смаппировать на регистр данных какой-нить неиспользуемой периферии, например - буфер передаваемых данных SPI и разрешить прерывание на
завершение передачи от этой периферии.

Собственно можно пойти далеко в обход: написать нужный функционал на плюсах, но при этом переопределить оператор =

Ну да, и как прикажете быть например с: a = log(-1) + 1 ?

Если идти в обход плюсами, то нужно описать errno как класс, перегрузить оператор присвоения ему и внутрь этого перегруженного оператора вставить вызов обработчика ошибки.
Но это возможно только если не используется предкомпилённых математических библиотек, а все они компилятся в исходниках с проектом.

[scifi]

Через MPU защищаете некую область памяти от записи, линкуете туда errno и получаете прерывание MPU каждый раз при попытке записи в errno.
Фсё.

Ловко :-)