test timeout
MODIFY
tests/alive-tv/bugs/pr27575.srctgt.ll
tests/alive-tv/bugs/pr27575.srctgt.ll
+; TEST-ARGS: -smt-to=10000
+
; https://bugs.llvm.org/show_bug.cgi?id=27575
-source_filename = "27575.src.ll"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
define double @src(i32 %shr) {
entry:

test timeout