diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-07-28 08:45:24 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-07-28 08:45:24 +0000 |
commit | 1cb7b7b8b70cb94c9bc9ef34517d95e66c4c336f (patch) | |
tree | 42d5ccdb48685298c5931c52b016e8f1ad30796d /extraction | |
parent | f4e106d4fc1cce484678b5cdd86ab57d7a43076a (diff) |
The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2550 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions