message: test timeout
diff: +; 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:
  