diff options
author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-25 07:46:33 +0100 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2017-07-25 14:42:31 +0100 |
commit | 810f7ebd99a06c46d632b1289ef2a7a3335d48f4 (patch) | |
tree | fc965047c424fd0b6883a0ee51b82b0bcf467149 /test/Feature | |
parent | 7b53061d746e39a04b1a2d79dcced3f4b5f74fdb (diff) | |
download | klee-810f7ebd99a06c46d632b1289ef2a7a3335d48f4.tar.gz |
Cleanup tests for last LLVM 2.9 references
Diffstat (limited to 'test/Feature')
-rw-r--r-- | test/Feature/LongDouble.c | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/test/Feature/LongDouble.c b/test/Feature/LongDouble.c index ad4c1a79..f69582b8 100644 --- a/test/Feature/LongDouble.c +++ b/test/Feature/LongDouble.c @@ -1,13 +1,7 @@ // RUN: %llvmgcc -g -emit-llvm -O0 -c -o %t.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --no-output --exit-on-error %t.bc > %t.log -// FIXME: When we remove LLVM 2.9 support just use FileCheck and remove these `grep`s. -// RUN: grep -q powl\(-11\\.0,0\)=1\\.0\\+ %t.log -// RUN: grep -q powl\(-11\\.0,1\)=-11\\.0\\+ %t.log -// RUN: grep -q powl\(-11\\.0,2\)=121\\.0\\+ %t.log -// RUN: grep -q 1/0=inf %t.log -// RUN: grep -q 1/-1=-1\\.0\\+ %t.log -// RUN: grep -q 1/-2=-0\\.50\\+ %t.log +// RUN: FileCheck %s --input-file=%t.log #include "klee/klee.h" #include <assert.h> @@ -44,7 +38,6 @@ int main(int argc, char **argv) { // test 80-bit external dispatch long double d = powl((long double)-11.0, (long double)a); - // FIXME: Use CHECK-DAG: with FileCheck tool // CHECK-DAG: powl(-11.0,0)=1.0 // CHECK-DAG: powl(-11.0,1)=-11.0 // CHECK-DAG: powl(-11.0,2)=121.0 @@ -53,7 +46,7 @@ int main(int argc, char **argv) { // test 80-bit fdiv long double e = (long double)1 / (long double)b; // CHECK-DAG: 1/0=inf - // CHECK-DAG: 1/1-1=-1.0 + // CHECK-DAG: 1/-1=-1.0 // CHECK-DAG: 1/-2=-0.50 printf("1/%d=%Lf\n", b, e); |