diff options
| author | Alastair Reid | 2018-06-27 18:34:35 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-06-27 18:35:22 +0100 |
| commit | f3f31252202ea745970e99805574eac39d1d9b7b (patch) | |
| tree | 8e7cfffe901c03f2b1dd7ab9ab937e86921592eb /src/bytecode_util.ml | |
| parent | 405eb545df745c300a910c261dde219fc5322ab4 (diff) | |
libsail: optimise real_power
The Arm spec uses the value 2.0^1000000 to represent infinity
so it is worth making real_power take logarithmic time.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions