diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-07-25 10:29:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-25 10:29:19 +0100 |
| commit | d40f29066ab9d5cb998a3bb38d2082a231c50d60 (patch) | |
| tree | 2a50cd1a42b4c6357faf3633ddd8aee6707d8ea4 /test | |
| parent | c06cc05adc7eac45ff16d7e488576d479811d7a8 (diff) | |
| parent | d61646ac5df232086102af7292a9dd7f2b29b7f6 (diff) | |
| download | klee-d40f29066ab9d5cb998a3bb38d2082a231c50d60.tar.gz | |
Merge pull request #724 from delcypher/floating_point_ops_clean_up
Re-enable parts of `FloatingPointOps.ll`
Diffstat (limited to 'test')
| -rw-r--r-- | test/Concrete/FloatingPointOps.ll | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/test/Concrete/FloatingPointOps.ll b/test/Concrete/FloatingPointOps.ll index 5dd6d2fe..00d4e877 100644 --- a/test/Concrete/FloatingPointOps.ll +++ b/test/Concrete/FloatingPointOps.ll @@ -642,18 +642,16 @@ entry: %nan1 = load double* %nan %nan2 = load double* %nan - ; Warning: NaN comparisons with normal operators is BROKEN in LLVM JIT v2.0. Fixed in v2.1. - ; FIXME: Just check against 2.9 and the Unordered checks work, but the ordered ones do not. Should be investigated. ; NaNs do different things depending on ordered vs unordered -; call void @testFCmpBothOrdered( double %nan1, double 0.000000e+00, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0 ) -; call void @testFCmpBothOrdered( double %nan1, double %nan2, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0 ) -; call void @testFCmpBothUnordered( double %nan1, double 0.000000e+00, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1 ) -; call void @testFCmpBothUnordered( double %nan1, double %nan2, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1 ) + call void @testFCmpBothOrdered( double %nan1, double 0.000000e+00, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0 ) + call void @testFCmpBothOrdered( double %nan1, double %nan2, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0, i1 0 ) + call void @testFCmpBothUnordered( double %nan1, double 0.000000e+00, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1 ) + call void @testFCmpBothUnordered( double %nan1, double %nan2, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1 ) ret void } -; tes all floating point instructions +; test all floating point instructions define i32 @main() { entry: call void @testFPTrunc( ) |