tests: remove a few extra TEST-ARGS
MODIFY
tests/alive-tv/memory/freshbid-alloca-2.tgt.ll
tests/alive-tv/memory/freshbid-alloca-2.tgt.ll
-; TEST-ARGS: -smt-to=15000 -disable-undef-input
-; To resolve timeout error, it is assumed that input %pptr is never an undef pointer
-
define i8 @freshbid_alloca(i8** %pptr) {
- %ptr = alloca i8
%ptr0 = load i8*, i8** %pptr
- store i8 10, i8* %ptr
store i8 20, i8* %ptr0
ret i8 10
}

MODIFY
tests/alive-tv/memory/freshbid-malloc-2.src.ll
tests/alive-tv/memory/freshbid-malloc-2.src.ll
+; TEST-ARGS: -disable-undef-input
+
; target: 64 bits ptr addr
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
define i8 @freshbid_malloc(i8** %pptr) {
%ptr = call noalias i8* @malloc(i64 1)
%ptr0 = load i8*, i8** %pptr
- %cmp = icmp eq i8* %ptr0, null
+ %cmp = icmp eq i8* %ptr, null
br i1 %cmp, label %BB1, label %BB2
BB1:
ret i8 0

MODIFY
tests/alive-tv/memory/freshbid-new.src.ll
tests/alive-tv/memory/freshbid-new.src.ll
-; TEST-ARGS: -disable-undef-input
-; -disable-undef-input is given to resolve timeout error
-
define i8 @freshbid_new(i8* %ptr0) {
%ptr = call noalias i8* @_Znwm(i64 1)
store i8 10, i8* %ptr

MODIFY
tests/alive-tv/memory/gep-struct2.src.ll
tests/alive-tv/memory/gep-struct2.src.ll
-; TEST-ARGS: -smt-to=2000
target datalayout = "e-i32:32-i128:32-i8:8"
%0 = type [10 x { i32, i128, [5 x { i32, i8, i8 }] }]

MODIFY
tests/alive-tv/memory/glb-disjoint.src.ll
tests/alive-tv/memory/glb-disjoint.src.ll
-; TEST-ARGS: -smt-to=9000
; target: 64 bits ptr addr
target datalayout = "p:64:64:64"
@x = global i32 0

MODIFY
tests/alive-tv/memory/memcpy-memset-1.src.ll
tests/alive-tv/memory/memcpy-memset-1.src.ll
-; TEST-ARGS: -smt-to=9000
-
declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i1)
declare void @llvm.memset.p0i8.i8(i8*, i8, i32, i1)

MODIFY
tests/alive-tv/memory/memcpy-memset-2.src.ll
tests/alive-tv/memory/memcpy-memset-2.src.ll
-; TEST-ARGS: -smt-to=9000
declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i1)
declare void @llvm.memset.p0i8.i8(i8*, i8, i32, i1)

MODIFY
tests/alive-tv/memory/memset-1.src.ll
tests/alive-tv/memory/memset-1.src.ll
-; TEST-ARGS: -smt-to=9000
declare void @llvm.memset.p0i8.i8(i8*, i8, i32, i1)
define i8 @f() {

MODIFY
tools/transform.cpp
tools/transform.cpp
@@ -73,7 +73,7 @@ static void print_single_varval(ostream &os, State &st, const Model &m,
ostringstream ss;
ss << var;
auto name = ss.str();
- found_undef |= string_view(name).substr(0, 6) == "undef_";
+ found_undef |= string_view(name).substr(0, 6) == "undef!";
}
if (found_undef)
os << "\t[based on undef value]";

tests: remove a few extra TEST-ARGS