Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.c @ 52016bbb

History | View | Annotate | Download (1.77 KB)

1
#include <mpfr.h>
2
#include "mpfr_lustre.h"
3

    
4
const int MPFR_PREC = 15;
5

    
6
void MPFRNeq_step (mpfr_t i1, mpfr_t i2, 
7
                          _Bool (*out)
8
                          )
9
{
10
  *out = mpfr_lessgreater_p(i1, i2);
11
}
12

    
13
void MPFREq_step (mpfr_t i1, mpfr_t i2, 
14
                         _Bool (*out)
15
                         )
16
{
17
  *out = mpfr_equal_p(i1, i2);
18
}
19

    
20
void MPFRGt_step (mpfr_t i1, mpfr_t i2, 
21
                         _Bool (*out)
22
                         )
23
{
24
  *out = mpfr_greater_p(i1, i2);
25
}
26

    
27
void MPFRGe_step (mpfr_t i1, mpfr_t i2, 
28
                         _Bool (*out)
29
                         )
30
{
31
  *out = mpfr_greaterequal_p(i1, i2);
32
}
33

    
34
extern void MPFRLt_step (mpfr_t i1, mpfr_t i2, 
35
                         _Bool (*out)
36
                         )
37
{
38
  *out = mpfr_less_p(i1, i2);
39
}
40
void MPFRLe_step (mpfr_t i1, mpfr_t i2, 
41
                         _Bool (*out)
42
                         )
43
{
44
  *out = mpfr_lessequal_p(i1, i2);
45
}
46

    
47
void MPFRDiv_step (mpfr_t i1, mpfr_t i2, 
48
                          mpfr_t out
49
                          )
50
{
51
  mpfr_div(out, i1, i2, MPFR_RNDN);
52
}
53

    
54
void MPFRTimes_step (mpfr_t i1, mpfr_t i2, 
55
                            mpfr_t out
56
                            )
57
{
58
  mpfr_mul(out, i1, i2, MPFR_RNDN);
59
}
60

    
61
void MPFRMinus_step (mpfr_t i1, mpfr_t i2, 
62
                            mpfr_t out
63
                            )
64
{
65
  mpfr_sub(out, i1, i2, MPFR_RNDN);
66
}
67

    
68
void MPFRPlus_step (mpfr_t i1, mpfr_t i2, 
69
                           mpfr_t out
70
                           )
71
{
72
  mpfr_add(out, i1, i2, MPFR_RNDN);
73
}
74

    
75
void MPFRUminus_step (mpfr_t i, 
76
                             mpfr_t out
77
                             )
78
{
79
  mpfr_neg(out, i, MPFR_RNDN);
80
}
81

    
82
void MPFRInit(mpfr_t i, mpfr_prec_t prec)
83
{
84
  mpfr_init2(i, prec);
85
}
86

    
87
void MPFRClear(mpfr_t i)
88
{
89
  mpfr_clear(i);
90
}