softfloat-hs: Haskell bindings for SoftFloat

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Provides a pure functional interface to John Hauser's SoftFloat, an implementation of IEEE floating point in the C programming language.


[Skip to Readme]

Properties

Versions 0.1.0, 0.1.0
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5) [details]
License BSD-3-Clause
Copyright March 2018
Author Ben Selfridge
Maintainer benselfridge@galois.com
Category Math
Home page https://github.com/GaloisInc/softfloat-hs
Uploaded by benselfridge at 2018-08-21T04:28:29Z

Modules

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for softfloat-hs-0.1.0

[back to package description]

softfloat-hs - Haskell bindings for SoftFloat.

copyright (c) Ben Selfridge, Galois Inc. 2018

This library consists primarily of a Haskell interface to John Hauser's SoftFloat library (http://www.jhauser.us/arithmetic/SoftFloat.html). It provides a pure interface to the functions in that library; while the C library is actually impure, reading and writing to global variables (rounding mode, exceptions), the Haskell functions have a pure interface, and those variables that were global in the original library are captured as input arguments and additional outputs of each function.

Installation

We assume you have already installed the Haskell stack build tool

Step 1: Install softfloat

SoftFloat is not too complicated to install, but it is best to build a dynamic library so that softfloat-hs can be loaded into ghci (which does not support statically linked C libraries). For convenience, we provide SoftFloat itself as a submodule, as well as a script to install it on OSX:

$ git submodule init --update --recursive
$ ./install-softfloat-osx.sh

If you are on a Linux system, use:

$ git submodule init --update --recursive
$ sudo ./install-softfloat-linux.sh

Step 2: Build softfloat-hs with stack

stack build

Step 3: Test softfloat-hs

stack ghci
> let Result x flags = ui32ToF32 RoundNearEven 23
> :m +Numeric
> showHex x ""
"41b80000"
> flags
ExceptionFlags {inexact = False, underflow = False, overflow = False, infinite = False, invalid = False}
> let Result y flags = ui32ToF32 RoundNearEven 3
> showHex y ""
"40400000"
> let Result z flags = f32Div RoundNearEven x y
> showHex z ""
"40f55555"
> flags
ExceptionFlags {inexact = True, underflow = False, overflow = False, infinite = False, invalid = False}

Requirements

The following are a list of mandatory and secondary requirements for softfloat-hs.

Mandatory Requirements

Secondary Requirements

Current Status

The library is functional, although a few global variables are not yet captured (whether underflow is detected before or after rounding, for example).

Other information