increase timeouts for some unit tests
MODIFY
tests/alive-tv/bugs/pr43948.srctgt.ll
tests/alive-tv/bugs/pr43948.srctgt.ll
-; TEST-ARGS: -smt-to=8000
+; TEST-ARGS: -smt-to=20000
+
; https://bugs.llvm.org/show_bug.cgi?id=43948
@arr = local_unnamed_addr global [32 x i32] zeroinitializer, align 16
@var = global i32 zeroinitializer, align 8

MODIFY
tests/alive-tv/cast.src.ll
tests/alive-tv/cast.src.ll
-; TEST-ARGS: -smt-to=10000
+; TEST-ARGS: -smt-to=20000
define i16 @f1(half %x) {
%a = alloca half

MODIFY
tests/alive-tv/memory/umul_overflow-fail.srctgt.ll
tests/alive-tv/memory/umul_overflow-fail.srctgt.ll
-; TEST-ARGS: -disable-undef-input -smt-to=5000
+; TEST-ARGS: -disable-undef-input -smt-to=15000
+
define void @src(i32 %a, i32 %b, {i32, i1}* %p) {
%mul = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %a, i32 %b)
store {i32, i1} %mul, {i32, i1}* %p

MODIFY
tests/alive-tv/sadd_overflow.srctgt.ll
tests/alive-tv/sadd_overflow.srctgt.ll
+; TEST-ARGS: -smt-to=10000
+
declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) nounwind readnone
define { i32, i1 } @src(i8 %a, i8 %b) {

increase timeouts for some unit tests