diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 09:08:16 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 09:08:16 +0100 |
| commit | d61646ac5df232086102af7292a9dd7f2b29b7f6 (patch) | |
| tree | 2a50cd1a42b4c6357faf3633ddd8aee6707d8ea4 /test/Concrete | |
| parent | c06cc05adc7eac45ff16d7e488576d479811d7a8 (diff) | |
| download | klee-d61646ac5df232086102af7292a9dd7f2b29b7f6.tar.gz | |
Re-enable parts of `FloatingPointOps.ll`. The message about failures
doesn't seem relevant anymore given that LLVM 3.4 is the minimum version KLEE supports. Also do minor clean up. This was spotted by @andreamattavelli.
Diffstat (limited to 'test/Concrete')
| -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( ) |