diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-07 18:33:57 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-07 18:33:57 +0200 |
| commit | e42a1e080e2b19d46435c3693b7e2dd9db7c4ee8 (patch) | |
| tree | 7189dab2dbf3a3929a8db2e6fbf7584a8df1ea0a /test/monniaux/genann/genann.c | |
| parent | c441b86ea994d65f50c5dec30c9c97250d88ac98 (diff) | |
| download | compcert-kvx-e42a1e080e2b19d46435c3693b7e2dd9db7c4ee8.tar.gz compcert-kvx-e42a1e080e2b19d46435c3693b7e2dd9db7c4ee8.zip | |
c'est pas non plus ça la lenteur
Diffstat (limited to 'test/monniaux/genann/genann.c')
| -rw-r--r-- | test/monniaux/genann/genann.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/test/monniaux/genann/genann.c b/test/monniaux/genann/genann.c index 609c06a1..98af736b 100644 --- a/test/monniaux/genann/genann.c +++ b/test/monniaux/genann/genann.c @@ -76,7 +76,13 @@ double static inline genann_act_sigmoid(const genann *ann unused, double a) { } void genann_init_sigmoid_lookup(const genann *ann) { - const double f = (sigmoid_dom_max - sigmoid_dom_min) / LOOKUP_SIZE; + const double f = (sigmoid_dom_max - sigmoid_dom_min) +#ifdef VERIMAG + * 0x1.0p-12 +#else + / LOOKUP_SIZE +#endif + ; int i; interval = LOOKUP_SIZE / (sigmoid_dom_max - sigmoid_dom_min); |