about summary refs log tree commit diff homepage
path: root/test/Feature
diff options
context:
space:
mode:
authorLukáš Zaoral <lzaoral@redhat.com>2022-06-11 13:31:51 +0200
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-06-13 22:12:13 +0100
commitfd19e44a5cab0d914864f5d49289fa63b50b53b0 (patch)
tree5bb1513019f915a060a6113f8e899986e97e8d0c /test/Feature
parent862e0871bcc50eff526f20582f1855bf5788b471 (diff)
downloadklee-fd19e44a5cab0d914864f5d49289fa63b50b53b0.tar.gz
tests: invoke LLVM tools through their corresponding macros
Diffstat (limited to 'test/Feature')
-rw-r--r--test/Feature/BitcastAlias.ll2
-rw-r--r--test/Feature/BitcastAliasMD2U.ll2
-rw-r--r--test/Feature/ConstantArray.ll2
-rw-r--r--test/Feature/ConstantStruct.ll2
-rw-r--r--test/Feature/GetElementPtr.ll2
-rw-r--r--test/Feature/GlobalVariable.ll2
-rw-r--r--test/Feature/ImpliedValue.c.failing4
-rw-r--r--test/Feature/InsertExtractValue.ll2
-rw-r--r--test/Feature/asm_lifting.ll2
9 files changed, 10 insertions, 10 deletions
diff --git a/test/Feature/BitcastAlias.ll b/test/Feature/BitcastAlias.ll
index cf84df06..c432acf7 100644
--- a/test/Feature/BitcastAlias.ll
+++ b/test/Feature/BitcastAlias.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc > %t2
 ; RUN: grep PASS %t2
diff --git a/test/Feature/BitcastAliasMD2U.ll b/test/Feature/BitcastAliasMD2U.ll
index bf43d8c3..aa2d3011 100644
--- a/test/Feature/BitcastAliasMD2U.ll
+++ b/test/Feature/BitcastAliasMD2U.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false -search=nurs:md2u %t1.bc > %t2
 ; RUN: grep PASS %t2
diff --git a/test/Feature/ConstantArray.ll b/test/Feature/ConstantArray.ll
index 32d4934c..176addb6 100644
--- a/test/Feature/ConstantArray.ll
+++ b/test/Feature/ConstantArray.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc 2>&1 | FileCheck %s
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
diff --git a/test/Feature/ConstantStruct.ll b/test/Feature/ConstantStruct.ll
index 57ca1663..1ccd5044 100644
--- a/test/Feature/ConstantStruct.ll
+++ b/test/Feature/ConstantStruct.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc > %t2
 ; RUN: grep PASS %t2
diff --git a/test/Feature/GetElementPtr.ll b/test/Feature/GetElementPtr.ll
index e92b27c2..e0adfd79 100644
--- a/test/Feature/GetElementPtr.ll
+++ b/test/Feature/GetElementPtr.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc > %t2
 ; RUN: grep PASS %t2
diff --git a/test/Feature/GlobalVariable.ll b/test/Feature/GlobalVariable.ll
index 7b567bcb..e7f31e4f 100644
--- a/test/Feature/GlobalVariable.ll
+++ b/test/Feature/GlobalVariable.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; Run KLEE and expect it to error out but not crash
 ; RUN: not %klee --output-dir=%t.klee-out --optimize=false %t1.bc 2> %t2
diff --git a/test/Feature/ImpliedValue.c.failing b/test/Feature/ImpliedValue.c.failing
index dd4d8f55..2673d69f 100644
--- a/test/Feature/ImpliedValue.c.failing
+++ b/test/Feature/ImpliedValue.c.failing
@@ -1,7 +1,7 @@
 // RUN: rm -f %t4.out %t4.err %t4.log
 // RUN: %llvmgcc %s -emit-llvm -O2 -c -o %t1.bc
-// RUN: llvm-as -f ../_utils._ll -o %t2.bc
-// RUN: llvm-ld --optimize=false -link-as-library %t1.bc %t2.bc -o %t3.bc
+// RUN: %llvmas -f ../_utils._ll -o %t2.bc
+// RUN: %llvm-ld --optimize=false -link-as-library %t1.bc %t2.bc -o %t3.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out --log-file %t4.log --debug-check-for-implied-values %t3.bc > %t4.out 2> %t4.err
 // RUN: ls %t.klee-out | not grep .err
diff --git a/test/Feature/InsertExtractValue.ll b/test/Feature/InsertExtractValue.ll
index b4e7ab55..9df3eec5 100644
--- a/test/Feature/InsertExtractValue.ll
+++ b/test/Feature/InsertExtractValue.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc > %t2
 ; RUN: grep PASS %t2
diff --git a/test/Feature/asm_lifting.ll b/test/Feature/asm_lifting.ll
index 4f414eeb..d99db0cf 100644
--- a/test/Feature/asm_lifting.ll
+++ b/test/Feature/asm_lifting.ll
@@ -1,4 +1,4 @@
-; RUN: llvm-as %s -f -o %t1.bc
+; RUN: %llvmas %s -f -o %t1.bc
 ; RUN: rm -rf %t.klee-out
 ; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc
 ; RUN: FileCheck %s --input-file=%t.klee-out/assembly.ll