Обработка математических ошибок в 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) ни один из этих флагов не должен определять?
Заранее спасибо.

[cyrax0]

Там есть забавная прагма include_alias.

Спасибо, этот вариант подходит! Только код пришлось написать немного по-другому:

Код

#pragma include_alias("math.h", "safemath.h")
#pragma include_alias(<math.h>, <safemath.h>)

RAM - это не секция, это одна из целевых областей линковки.
Я говорил о выходных секциях компилятора (для IAR это: .text, .bss и т.п.).
Часто бывает что в библиотеках определяют собственные имена секций, для возможности более оптимально размещать их в памяти.

Хорошо, но bss - это тоже стандартная секция.

В icf-файле:
place in MPU_RO_mem {section .bss object errno.o};

Попробовал так:
define region MPU_region = mem:[from 0x20000000 to __ICFEDIT_region_RAM_start__ - 1];
place in MPU_region {section .bss object errno.o};
// Place in RAM_region .data, .bss, and .noinit
place in RAM_region { readwrite };

Возможно place in RAM_region перекрывает директиву place in MPU_region - __iar_Errno у меня остался на прежнем месте в RAM.

Минус такого способа конечно в том, что гранулярность защиты памяти в MPU довольно большая (дискретность границ вроде около 1 кБ).

Вроде бы нет. Регистр MPU_RASR в Cortex-M4:
Bits 5:1 SIZE: Size of the MPU protection region.
The minimum permitted value is 3 (b00010), see SIZE field values for more information.
Bit 0 ENABLE: Region enable bit.
SIZE field values
The SIZE field defines the size of the MPU memory region specified by the MPU_RNR
regsiter as follows:
(Region size in bytes) = 2^(SIZE+1)
The smallest permitted region size is 32B, corresponding to a SIZE value of 4.

Правда косяк, что прерывание будет происходить и при модификации __iar_Tls_setup___iar_Errno если она будет случаться. Это нужно будет учесть в ISR.

А в ISR MPU можно получить, скажем, адрес функции, которая вызвала прерывание?

Зато будет польза что разобрались с ним

Честно говоря, сейчас скорее всего не будет на это времени. Но разобраться все равно хотел бы .

Xenia
Вариант интересный, спасибо. Хотя у нас подключается math.h, но через алиас можно и xmath.h подключить. Перекомпиляция нужна, если меняется один из дефайнов, используемых в библиотеке? Я этим никогда не занимался, не представляю как это делается, хотя сейчас наверно и не понадобится.

Еще раз всем спасибо за ответы! Вопрос в принципе решен .

Сообщение отредактировал cyrax0 - Jan 15 2015, 13:48