27 lines
674 B
C
27 lines
674 B
C
|
#ifndef __FPU_SW__
|
||
|
|
#define __FPU_SW__
|
||
|
|
|
||
|
|
#include <stdint.h>
|
||
|
|
|
||
|
|
#define FPUSW_EXCEPTION_IE 0x0001
|
||
|
|
#define FPUSW_EXCEPTION_DE 0x0002
|
||
|
|
#define FPUSW_EXCEPTION_ZE 0x0004
|
||
|
|
#define FPUSW_EXCEPTION_OE 0x0008
|
||
|
|
#define FPUSW_EXCEPTION_UE 0x0010
|
||
|
|
#define FPUSW_EXCEPTION_PE 0x0020
|
||
|
|
#define FPUSW_STACK_FAULT 0x0040
|
||
|
|
#define FPUSW_ERROR_SUMMARY 0x0080
|
||
|
|
#define FPUSW_CONDITION_C0 0x0100
|
||
|
|
#define FPUSW_CONDITION_C1 0x0200
|
||
|
|
#define FPUSW_CONDITION_C2 0x0400
|
||
|
|
#define FPUSW_CONDITION_C3 0x4000
|
||
|
|
#define FPUSW_BUSY 0x8000
|
||
|
|
|
||
|
|
u16_t fpu_compare(double x, double y);
|
||
|
|
u16_t fpu_sw_get(void);
|
||
|
|
void fpu_sw_set(u16_t value);
|
||
|
|
u16_t fpu_xam(double value);
|
||
|
|
|
||
|
|
#endif /* !defined(__FPU_SW__) */
|
||
|
|
|