Numworks Epsilon  1.4.1
Graphing Calculator Operating System
softfloat.h
Go to the documentation of this file.
1 #ifndef LIBA_SOFTFLOAT_H
2 #define LIBA_SOFTFLOAT_H
3 
4 /* As instructed in the softfloat documentation, we do not expose the original
5  * softfloat.h header. Instead, we create our own. */
6 
7 #include <stdbool.h>
8 #include <stdint.h>
9 
10 typedef struct { uint32_t v; } float32_t;
11 typedef struct { uint64_t v; } float64_t;
12 
19 bool f64_eq(float64_t x, float64_t y);
20 bool f64_le(float64_t x, float64_t y);
21 bool f64_lt(float64_t x, float64_t y);
26 
31 
32 
33 #endif
int32_t int_fast32_t
Definition: stdint.h:24
int64_t int_fast64_t
Definition: stdint.h:25
float64_t f64_add(float64_t, float64_t)
Definition: f64_add.c:43
bool f64_eq(float64_t, float64_t)
Definition: f64_eq.c:44
float64_t ui32_to_f64(uint32_t)
Definition: ui32_to_f64.c:42
float32_t f64_to_f32(float64_t)
Definition: f64_to_f32.c:44
int_fast64_t f64_to_i64_r_minMag(float64_t, bool)
float64_t f64_mul(float64_t, float64_t)
Definition: f64_mul.c:44
float64_t f32_to_f64(float32_t)
Definition: f32_to_f64.c:44
unsigned int uint32_t
Definition: stdint.h:6
unsigned long long uint64_t
Definition: stdint.h:7
float32_t i64_to_f32(int64_t)
Definition: i64_to_f32.c:43
float64_t i64_to_f64(int64_t)
Definition: i64_to_f64.c:43
int_fast32_t f64_to_i32_r_minMag(float64_t, bool)
signed long long int64_t
Definition: stdint.h:12
int_fast64_t f32_to_i64_r_minMag(float32_t, bool)
bool f64_le(float64_t, float64_t)
Definition: f64_le.c:43
float64_t f64_sub(float64_t, float64_t)
Definition: f64_sub.c:43
signed int int32_t
Definition: stdint.h:11
float64_t ui64_to_f64(uint64_t)
Definition: ui64_to_f64.c:42
bool f64_lt(float64_t, float64_t)
Definition: f64_lt.c:43
float64_t f64_div(float64_t, float64_t)
Definition: f64_div.c:44
float64_t i32_to_f64(int32_t)
Definition: i32_to_f64.c:43