tests: invoke LLVM tools through their corresponding macros

6 files changed, 8 insertions, 8 deletions

diff --git a/test/regression/2007-08-01-bool-zext-in-call.ll b/test/regression/2007-08-01-bool-zext-in-call.ll
index d8b2cec0..ee77d80c 100644
--- a/test/regression/2007-08-01-bool-zext-in-call.ll
+++ b/test/regression/2007-08-01-bool-zext-in-call.ll
@@ -1,5 +1,5 @@
 ; RUN: rm -rf %t.klee-out
-; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out
+; RUN: %llvmas -f %s -o - | %klee --output-dir=%t.klee-out
 ; RUN: not test -f %t.klee-out/test0001.abort.err
 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"
 target triple = "x86_64-unknown-linux-gnu"
diff --git a/test/regression/2007-08-16-invalid-constant-value.c b/test/regression/2007-08-16-invalid-constant-value.c
index 28f81268..c49357f8 100644
--- a/test/regression/2007-08-16-invalid-constant-value.c
+++ b/test/regression/2007-08-16-invalid-constant-value.c
@@ -1,7 +1,7 @@
 // RUN: rm -f %t4.out %t4.err %t4.log
 // RUN: %clang %s -emit-llvm -O2 -c -o %t1.bc
-// RUN: llvm-as -f %p/../Feature/_utils._ll -o %t2.bc
-// RUN: llvm-link %t1.bc %t2.bc -o %t3.bc
+// RUN: %llvmas -f %p/../Feature/_utils._ll -o %t2.bc
+// RUN: %llvmlink %t1.bc %t2.bc -o %t3.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out %t3.bc
 
diff --git a/test/regression/2018-10-28-alias-to-alias.ll b/test/regression/2018-10-28-alias-to-alias.ll
index a1af6d16..44264845 100644
--- a/test/regression/2018-10-28-alias-to-alias.ll
+++ b/test/regression/2018-10-28-alias-to-alias.ll
@@ -1,5 +1,5 @@
 ; RUN: rm -rf %t.klee-out
-; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out
+; RUN: %llvmas -f %s -o - | %klee --output-dir=%t.klee-out
 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"
 target triple = "x86_64-unknown-linux-gnu"
 
diff --git a/test/regression/2018-10-30-llvm-pr39177.ll b/test/regression/2018-10-30-llvm-pr39177.ll
index 601a37bd..027d0d30 100644
--- a/test/regression/2018-10-30-llvm-pr39177.ll
+++ b/test/regression/2018-10-30-llvm-pr39177.ll
@@ -1,5 +1,5 @@
 ; RUN: rm -rf %t.klee-out
-; RUN: llvm-as -f %s -o - | %klee -optimize -output-dir=%t.klee-out | FileCheck %s
+; RUN: %llvmas -f %s -o - | %klee -optimize -output-dir=%t.klee-out | 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"
 target triple = "x86_64-unknown-linux-gnu"
 
diff --git a/test/regression/2019-08-01-trap-instruction.ll b/test/regression/2019-08-01-trap-instruction.ll
index 2ef57aa2..46dcda86 100644
--- a/test/regression/2019-08-01-trap-instruction.ll
+++ b/test/regression/2019-08-01-trap-instruction.ll
@@ -1,5 +1,5 @@
 ; RUN: rm -rf %t.klee-out
-; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out
+; RUN: %llvmas -f %s -o - | %klee --output-dir=%t.klee-out
 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"
 target triple = "x86_64-unknown-linux-gnu"
 
@@ -20,4 +20,4 @@ entry:
   ret i32 0
 }
 
-declare void @llvm.trap() noreturn nounwind
\ No newline at end of file
+declare void @llvm.trap() noreturn nounwind
diff --git a/test/regression/2019-08-02-missing-switch-default.ll b/test/regression/2019-08-02-missing-switch-default.ll
index b8a88db4..55e4224d 100644
--- a/test/regression/2019-08-02-missing-switch-default.ll
+++ b/test/regression/2019-08-02-missing-switch-default.ll
@@ -1,5 +1,5 @@
 ; RUN: rm -rf %t.klee-out
-; RUN: llvm-as -f %s -o %t.bc
+; RUN: %llvmas -f %s -o %t.bc
 ; RUN: %klee --switch-type=internal --output-dir=%t.klee-out %t.bc
 ; RUN: FileCheck --input-file=%t.klee-out/info %s
 ; CHECK: KLEE: done: completed paths = 3