about summary refs log tree commit diff homepage
path: root/test
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2014-01-13 17:38:08 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2014-01-20 14:46:52 +0000
commit6285c45683eacccf79ab7cffba75570cdb642570 (patch)
tree48b7b3c4301a38c2ffc47c725ca966fe7698fc8d /test
parent025c906dd27d00f1cf4e930d138283d711483034 (diff)
downloadklee-6285c45683eacccf79ab7cffba75570cdb642570.tar.gz
Fixed tests where llvm-gcc was called without the -emit-llvm flag.
DejaGNU testing used to have this flag in its substitution variable
but for llvm-lit this has not been done.

I could replicate what DejaGNU did but by forcing developers to be
explicit when creating LLVM bitcode

* Remove test suite inconsistentcies. Some tests explictly use
  -emit-llvm
* Allows for tests to be written in the future that invoke
  the compiler as a native compiler
Diffstat (limited to 'test')
-rw-r--r--test/Feature/AsmAddresses.c4
-rw-r--r--test/Feature/CheckMemoryAccess.c2
-rw-r--r--test/Feature/DefineFixedObject.c2
-rw-r--r--test/Feature/Float.c2
-rw-r--r--test/Feature/GetValue.c2
-rw-r--r--test/Feature/MemoryLimit.c4
-rw-r--r--test/Feature/NamedSeedMatching.c2
-rw-r--r--test/Feature/SetForking.c2
-rw-r--r--test/regression/2008-05-23-gep-with-global-const.c2
9 files changed, 11 insertions, 11 deletions
diff --git a/test/Feature/AsmAddresses.c b/test/Feature/AsmAddresses.c
index a58fc059..d0b89ef1 100644
--- a/test/Feature/AsmAddresses.c
+++ b/test/Feature/AsmAddresses.c
@@ -1,6 +1,6 @@
-// RUN: %llvmgcc -g -c -o %t.bc %s
+// RUN: %llvmgcc -emit-llvm -g -c -o %t.bc %s
 // RUN: %klee --exit-on-error --use-asm-addresses %t.bc
-// RUN: %llvmgcc -DOVERLAP -g -c -o %t.bc %s
+// RUN: %llvmgcc -emit-llvm -DOVERLAP -g -c -o %t.bc %s
 // RUN: not %klee --exit-on-error --use-asm-addresses %t.bc
 
 #include <assert.h>
diff --git a/test/Feature/CheckMemoryAccess.c b/test/Feature/CheckMemoryAccess.c
index dd6e8745..30590f88 100644
--- a/test/Feature/CheckMemoryAccess.c
+++ b/test/Feature/CheckMemoryAccess.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -g -c %s -o %t.bc
+// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc
 // RUN: %klee %t.bc > %t.log
 // RUN: grep -q "good" %t.log
 // RUN: not grep -q "bad" %t.log
diff --git a/test/Feature/DefineFixedObject.c b/test/Feature/DefineFixedObject.c
index 36822434..9f71f89b 100644
--- a/test/Feature/DefineFixedObject.c
+++ b/test/Feature/DefineFixedObject.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -c -o %t1.bc %s
+// RUN: %llvmgcc -emit-llvm -c -o %t1.bc %s
 // RUN: %klee --exit-on-error %t1.bc
 
 #include <stdio.h>
diff --git a/test/Feature/Float.c b/test/Feature/Float.c
index a1f54fd8..f7e4dde0 100644
--- a/test/Feature/Float.c
+++ b/test/Feature/Float.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -g -c %s -o %t.bc
+// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc
 // RUN: %klee %t.bc > %t.log
 // RUN: grep "3.30* -1.10* 2.420*" %t.log
 
diff --git a/test/Feature/GetValue.c b/test/Feature/GetValue.c
index dfd40d69..5023c51c 100644
--- a/test/Feature/GetValue.c
+++ b/test/Feature/GetValue.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -c -o %t1.bc %s
+// RUN: %llvmgcc -emit-llvm -c -o %t1.bc %s
 // RUN: %klee --exit-on-error %t1.bc
 
 #include <stdio.h>
diff --git a/test/Feature/MemoryLimit.c b/test/Feature/MemoryLimit.c
index d959c3de..a3c1250e 100644
--- a/test/Feature/MemoryLimit.c
+++ b/test/Feature/MemoryLimit.c
@@ -1,5 +1,5 @@
-// RUN: %llvmgcc -DLITTLE_ALLOC -g -c %s -o %t.little.bc
-// RUN: %llvmgcc -g -c %s -o %t.big.bc
+// RUN: %llvmgcc -emit-llvm -DLITTLE_ALLOC -g -c %s -o %t.little.bc
+// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.big.bc
 // RUN: %klee --max-memory=20 %t.little.bc > %t.little.log
 // RUN: %klee --max-memory=20 %t.big.bc > %t.big.log
 // RUN: not grep -q "MALLOC FAILED" %t.little.log
diff --git a/test/Feature/NamedSeedMatching.c b/test/Feature/NamedSeedMatching.c
index bb7f6097..16da3117 100644
--- a/test/Feature/NamedSeedMatching.c
+++ b/test/Feature/NamedSeedMatching.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -c -g %s -o %t.bc
+// RUN: %llvmgcc -emit-llvm -c -g %s -o %t.bc
 // RUN: rm -rf %t.out
 // RUN: %klee --output-dir=%t.out %t.bc "initial"
 // RUN: test -f %t.out/test000001.ktest
diff --git a/test/Feature/SetForking.c b/test/Feature/SetForking.c
index 8620110d..cbae33c0 100644
--- a/test/Feature/SetForking.c
+++ b/test/Feature/SetForking.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -g -c %s -o %t.bc
+// RUN: %llvmgcc -emit-llvm -g -c %s -o %t.bc
 // RUN: %klee %t.bc > %t.log
 // RUN: sort %t.log | uniq -c > %t.uniq.log
 // RUN: grep "1 A" %t.uniq.log
diff --git a/test/regression/2008-05-23-gep-with-global-const.c b/test/regression/2008-05-23-gep-with-global-const.c
index 5e03ec1d..3ad9b24e 100644
--- a/test/regression/2008-05-23-gep-with-global-const.c
+++ b/test/regression/2008-05-23-gep-with-global-const.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc -O0 -c -o %t.bc %s
+// RUN: %llvmgcc -emit-llvm -O0 -c -o %t.bc %s
 // RUN: %klee --exit-on-error %t.bc
 
 #include <assert.h>