// File: /workspace/github_cpp_makefile_star2_O3/afborchert[P]fmt/test_suite.cpp
// Function: bool special_testcase<char, void*>(int, char const*, char const*, void*&&)
bool special_testcase(int expected_count,
      const CharT* expected_string,
      const CharT* format, Values&&... values) {
   ++testcases;
   bool ok = true;
   std::basic_ostringstream<CharT> os;
   auto count = fmt::printf(os, format, std::forward<Values>(values)...);
   if ((count < 0 || expected_count < 0) && count != expected_count) {
      print("special test for \"%s\" fails,", format);
      print(" fmt returns %d but we expected %d\n", count, expected_count);
      print_values(1, values...);
      return false;
   }
   if (count != expected_count) {
      ok = false;
   }
   std::basic_string<CharT> fmt_str(os.str());
   std::basic_string<CharT> expected_str(expected_string);
   if (fmt_str != expected_str) {
      ok = false;
   }
   if (ok) {
      ++successful; return true;
   } else {
      print("special test for \"%s\" fails:\n", format);
      if (count != expected_count) {
	 print("   fmt returns:           %d\n", count);
	 print("   expected return value: %d\n", expected_count);
      }
      print("   fmt delivers:          \"%s\"\n", fmt_str);
      print("   expected:              \"%s\"\n", expected_str);
      print_values(1, values...);
      return false;
   }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r15
movl %edi, %ebp
movl %edi, 0x8(%rsp)
movq %rdx, 0x10(%rsp)
incl 0x49d58(%rip)           # 0x5632c
leaq 0x58(%rsp), %r12
movq %r12, %rdi
callq 0x6420
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x41782
movl %eax, %r14d
movl %eax, 0x4(%rsp)
orl %ebp, %eax
setns %al
cmpl %ebp, %r14d
sete %cl
orb %al, %cl
je 0xc65b
leaq 0x60(%rsp), %rsi
leaq 0x38(%rsp), %rdi
callq 0x64e0
leaq 0x18(%rsp), %rdi
leaq 0xf(%rsp), %rdx
movq %r15, %rsi
callq 0xddbe
movq 0x40(%rsp), %rdx
cmpq 0x20(%rsp), %rdx
jne 0xc6a9
testq %rdx, %rdx
je 0xc6a4
xorl %ebp, %r14d
movq 0x18(%rsp), %rsi
movq 0x38(%rsp), %rdi
callq 0x6360
orl %r14d, %eax
jne 0xc6a9
incl 0x49cd4(%rip)           # 0x56328
movb $0x1, %bl
jmp 0xc73a
movq 0x4996e(%rip), %rdi     # 0x55fd0
leaq 0x39a26(%rip), %rsi     # 0x4608f
leaq 0x10(%rsp), %rdx
callq 0xcf36
movq 0x49956(%rip), %rdi     # 0x55fd0
leaq 0x39a2b(%rip), %rsi     # 0x460ac
leaq 0x4(%rsp), %rdx
leaq 0x8(%rsp), %rcx
callq 0x11657
movq (%rbx), %rsi
movl $0x1, %edi
callq 0x41bf2
xorl %ebx, %ebx
jmp 0xc770
cmpl %ebp, %r14d
je 0xc64e
movq 0x49920(%rip), %rdi     # 0x55fd0
leaq 0x39a19(%rip), %rsi     # 0x460d0
leaq 0x10(%rsp), %rdx
callq 0xcf36
movl 0x4(%rsp), %eax
cmpl 0x8(%rsp), %eax
je 0xc6fb
movq 0x498fe(%rip), %rdi     # 0x55fd0
leaq 0x39a15(%rip), %rsi     # 0x460ee
leaq 0x4(%rsp), %rdx
callq 0x1c174
movq 0x498e6(%rip), %rdi     # 0x55fd0
leaq 0x39a1b(%rip), %rsi     # 0x4610c
leaq 0x8(%rsp), %rdx
callq 0x1c174
movq 0x498ce(%rip), %rdi     # 0x55fd0
leaq 0x39a21(%rip), %rsi     # 0x4612a
leaq 0x38(%rsp), %rdx
callq 0x41ced
movq 0x498b6(%rip), %rdi     # 0x55fd0
leaq 0x39a29(%rip), %rsi     # 0x4614a
leaq 0x18(%rsp), %rdx
callq 0x41ced
movq (%rbx), %rsi
movl $0x1, %edi
callq 0x41bf2
xorl %ebx, %ebx
leaq 0x28(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc755
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x6340
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc770
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x6340
movq 0x49841(%rip), %rsi     # 0x55fb8
leaq 0x58(%rsp), %rdi
callq 0x61c0
leaq 0xc8(%rsp), %rdi
callq 0x6100
movl %ebx, %eax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0xc7c5
jmp 0xc7e2
movq %rax, %rbx
leaq 0x28(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc7c5
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x6340
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc7e5
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x6340
jmp 0xc7e5
movq %rax, %rbx
movq 0x497cc(%rip), %rsi     # 0x55fb8
leaq 0x58(%rsp), %rdi
callq 0x61c0
leaq 0xc8(%rsp), %rdi
callq 0x6100
movq %rbx, %rdi
callq 0x6580