// File: /workspace/github_c_makefile_star2_O2/coapp-packages[P]bzip2/bzip2.c
// Function: testf
static 
void testf ( Char *name )
{
   FILE *inStr;
   Bool allOK;
   struct MY_STAT statBuf;

   deleteOutputOnInterrupt = False;

   if (name == NULL && srcMode != SM_I2O)
      panic ( "testf: bad modes\n" );

   copyFileName ( outName, (Char*)"(none)" );
   switch (srcMode) {
      case SM_I2O: copyFileName ( inName, (Char*)"(stdin)" ); break;
      case SM_F2F: copyFileName ( inName, name ); break;
      case SM_F2O: copyFileName ( inName, name ); break;
   }

   if ( srcMode != SM_I2O && containsDubiousChars ( inName ) ) {
      if (noisy)
      fprintf ( stderr, "%s: There are no files matching `%s'.\n",
                progName, inName );
      setExit(1);
      return;
   }
   if ( srcMode != SM_I2O && !fileExists ( inName ) ) {
      fprintf ( stderr, "%s: Can't open input %s: %s.\n",
                progName, inName, strerror(errno) );
      setExit(1);
      return;
   }
   if ( srcMode != SM_I2O ) {
      MY_STAT(inName, &statBuf);
      if ( MY_S_ISDIR(statBuf.st_mode) ) {
         fprintf( stderr,
                  "%s: Input file %s is a directory.\n",
                  progName,inName);
         setExit(1);
         return;
      }
   }

   switch ( srcMode ) {

      case SM_I2O:
         if ( isatty ( fileno ( stdin ) ) ) {
            fprintf ( stderr,
                      "%s: I won't read compressed data from a terminal.\n",
                      progName );
            fprintf ( stderr, "%s: For help, type: `%s --help'.\n",
                              progName, progName );
            setExit(1);
            return;
         };
         inStr = stdin;
         break;

      case SM_F2O: case SM_F2F:
         inStr = fopen ( inName, "rb" );
         if ( inStr == NULL ) {
            fprintf ( stderr, "%s: Can't open input file %s:%s.\n",
                      progName, inName, strerror(errno) );
            setExit(1);
            return;
         };
         break;

      default:
         panic ( "testf: bad srcMode" );
         break;
   }

   if (verbosity >= 1) {
      fprintf ( stderr, "  %s: ", inName );
      pad ( inName );
      fflush ( stderr );
   }

   /*--- Now the input handle is sane.  Do the Biz. ---*/
   outputHandleJustInCase = NULL;
   allOK = testStream ( inStr );

   if (allOK && verbosity >= 1) fprintf ( stderr, "ok\n" );
   if (!allOK) testFailsExist = True;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x27c8, %rsp           # imm = 0x27C8
movq %rdi, %rbx
movb $0x0, 0xfc11(%rip)      # 0x12dc4
testq %rdi, %rdi
jne 0x31c5
cmpl $0x1, 0x1084d(%rip)     # 0x13a0c
jne 0x367d
leaq 0x10014(%rip), %rdi     # 0x131e0
leaq 0x9f26(%rip), %rsi      # 0xd0f9
callq 0x1cd8
movl 0x1082e(%rip), %eax     # 0x13a0c
cmpl $0x3, %eax
je 0x31fd
cmpl $0x2, %eax
je 0x31fd
cmpl $0x1, %eax
jne 0x3212
leaq 0xfbdc(%rip), %rdi      # 0x12dd0
leaq 0xb1ef(%rip), %rsi      # 0xe3ea
jmp 0x3207
leaq 0xfbcc(%rip), %rdi      # 0x12dd0
movq %rbx, %rsi
callq 0x1cd8
movl 0x107fa(%rip), %eax     # 0x13a0c
cmpl $0x1, %eax
je 0x32be
leaq 0xfbae(%rip), %rdi      # 0x12dd0
callq 0x38f1
testb %al, %al
je 0x35bb
cmpl $0x1, 0x107d6(%rip)     # 0x13a0c
je 0x32be
leaq 0xfb8d(%rip), %rdi      # 0x12dd0
leaq 0x20(%rsp), %rbx
movq %rbx, %rsi
callq 0x1170
movl $0xf000, %eax           # imm = 0xF000
andl 0x18(%rbx), %eax
cmpl $0x4000, %eax           # imm = 0x4000
je 0x35f8
movl 0x107a3(%rip), %eax     # 0x13a0c
leal -0x2(%rax), %ecx
cmpl $0x2, %ecx
jae 0x32b5
leaq 0xfb58(%rip), %rdi      # 0x12dd0
leaq 0xb2b5(%rip), %rsi      # 0xe534
callq 0x1200
movq %rax, %rbx
testq %rax, %rax
jne 0x32df
movq 0xed65(%rip), %rax      # 0x11ff8
movq (%rax), %rbx
movq 0x10763(%rip), %r14     # 0x13a00
callq 0x1060
movl (%rax), %edi
callq 0x1250
leaq 0xb521(%rip), %rsi      # 0xe7d1
jmp 0x35df
cmpl $0x1, %eax
jne 0x36ab
movq 0xed13(%rip), %rbx      # 0x11fd8
movq (%rbx), %rdi
callq 0x1180
movl %eax, %edi
callq 0x10b0
testl %eax, %eax
jne 0x3519
movq (%rbx), %rbx
cmpl $0x0, 0xfac6(%rip)      # 0x12dac
jg 0x3493
andq $0x0, 0xfaac(%rip)      # 0x12da0
andl $0x0, 0xc(%rsp)
movq %rbx, %rdi
callq 0x10a0
testl %eax, %eax
jne 0x3678
leaq 0x8(%rsp), %r14
leaq 0xb0(%rsp), %r15
leaq 0x1440(%rsp), %r12
xorl %r9d, %r9d
xorl %ebp, %ebp
movl 0xfa83(%rip), %edx      # 0x12dac
movzbl 0xfa78(%rip), %ecx      # 0x12da8
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %r8
callq 0x57aa
movq %rax, %r13
testq %rax, %rax
je 0x3410
cmpl $0x0, 0x8(%rsp)
jne 0x3410
incl %ebp
xorl %eax, %eax
testl %eax, %eax
jne 0x337e
movq %r14, %rdi
movq %r13, %rsi
movq %r12, %rdx
movl $0x1388, %ecx           # imm = 0x1388
callq 0x598e
movl 0x8(%rsp), %eax
cmpl $-0x5, %eax
jne 0x3359
jmp 0x3410
cmpl $0x4, %eax
jne 0x3410
movq %r14, %rdi
movq %r13, %rsi
leaq 0x10(%rsp), %rdx
leaq 0xc(%rsp), %rcx
callq 0x5b8f
cmpl $0x0, 0x8(%rsp)
jne 0x3689
movq 0x10(%rsp), %rax
movl 0xc(%rsp), %ecx
testl %ecx, %ecx
movl $0x0, %edx
cmovlel %edx, %ecx
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x33d2
movb (%rax,%rdx), %sil
movb %sil, 0xb0(%rsp,%rdx)
incq %rdx
jmp 0x33bc
movq %r14, %rdi
movq %r13, %rsi
callq 0x592c
cmpl $0x0, 0x8(%rsp)
jne 0x3689
movl 0xc(%rsp), %r9d
testl %r9d, %r9d
jne 0x3323
movq %rbx, %rdi
callq 0x3b04
testb %al, %al
jne 0x363a
movl 0xc(%rsp), %r9d
jmp 0x3323
leaq 0x1c(%rsp), %rdi
movq %r13, %rsi
callq 0x592c
cmpl $0x0, 0xf988(%rip)      # 0x12dac
je 0x34c4
movl 0x8(%rsp), %eax
addl $0x9, %eax
cmpl $0x6, %eax
ja 0x369a
leaq 0x9c63(%rip), %rcx      # 0xd0a4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0xeb87(%rip), %rax      # 0x11fd8
cmpq %rbx, (%rax)
je 0x345e
movq %rbx, %rdi
callq 0x10d0
cmpl $0x1, %ebp
je 0x3551
cmpb $0x0, 0xf93d(%rip)      # 0x12dab
jne 0x359a
cmpl $0x0, 0xf931(%rip)      # 0x12dac
jg 0x3579
addq $0x27c8, %rsp           # imm = 0x27C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xeb5e(%rip), %r14      # 0x11ff8
movq (%r14), %rdi
leaq 0xb0bc(%rip), %rsi      # 0xe560
leaq 0xf925(%rip), %rdx      # 0x12dd0
xorl %eax, %eax
callq 0x1160
callq 0x3a2f
movq (%r14), %rdi
callq 0x11a0
jmp 0x32ec
movq 0xeb2d(%rip), %rax      # 0x11ff8
movq (%rax), %rdi
movq 0x1052b(%rip), %rdx     # 0x13a00
leaq 0xb4a6(%rip), %rsi      # 0xe982
leaq 0xf8ed(%rip), %rcx      # 0x12dd0
xorl %eax, %eax
callq 0x1160
jmp 0x342a
movq 0xeb02(%rip), %rax      # 0x11ff8
movq (%rax), %rcx
leaq 0xb4af(%rip), %rdi      # 0xe9af
pushq $0x17
jmp 0x3564
movq 0xeaed(%rip), %rax      # 0x11ff8
movq (%rax), %rcx
leaq 0xb476(%rip), %rdi      # 0xe98b
pushq $0x23
jmp 0x3564
movq 0xead8(%rip), %rbx      # 0x11ff8
movq (%rbx), %rdi
movq 0x104d6(%rip), %rdx     # 0x13a00
leaq 0xb26d(%rip), %rsi      # 0xe79e
xorl %eax, %eax
callq 0x1160
movq (%rbx), %rdi
movq 0x104be(%rip), %rcx     # 0x13a00
leaq 0xafc9(%rip), %rsi      # 0xe512
movq %rcx, %rdx
jmp 0x3617
movq 0xeaa0(%rip), %rax      # 0x11ff8
movq (%rax), %rcx
leaq 0xb465(%rip), %rdi      # 0xe9c7
pushq $0x2d
popq %rsi
pushq $0x1
popq %rdx
callq 0x1240
movb $0x1, 0xf840(%rip)      # 0x12db4
jmp 0x3481
movq 0xea78(%rip), %rax      # 0x11ff8
movq (%rax), %rcx
leaq 0xb3df(%rip), %rdi      # 0xe969
pushq $0x3
popq %rsi
pushq $0x1
popq %rdx
callq 0x1240
jmp 0x3481
movq 0xea57(%rip), %rax      # 0x11ff8
movq (%rax), %rcx
leaq 0xb2ad(%rip), %rdi      # 0xe858
pushq $0x23
popq %rsi
pushq $0x1
popq %rdx
callq 0x1240
jmp 0x3474
movq 0xea36(%rip), %rax      # 0x11ff8
movq (%rax), %rbx
movq 0x10434(%rip), %r14     # 0x13a00
callq 0x1060
movl (%rax), %edi
callq 0x1250
leaq 0xb359(%rip), %rsi      # 0xe938
leaq 0xf7ea(%rip), %rcx      # 0x12dd0
movq %rbx, %rdi
movq %r14, %rdx
movq %rax, %r8
xorl %eax, %eax
callq 0x1160
jmp 0x361e
movq 0xe9f9(%rip), %rax      # 0x11ff8
movq (%rax), %rdi
movq 0x103f7(%rip), %rdx     # 0x13a00
leaq 0xae38(%rip), %rsi      # 0xe448
leaq 0xf7b9(%rip), %rcx      # 0x12dd0
xorl %eax, %eax
callq 0x1160
cmpl $0x0, 0xf7a3(%rip)      # 0x12dc8
jg 0x3481
movl $0x1, 0xf793(%rip)      # 0x12dc8
jmp 0x3481
movq %rbx, %rdi
callq 0x10a0
testl %eax, %eax
jne 0x3678
movq %rbx, %rdi
callq 0x10d0
cmpl $-0x1, %eax
je 0x3678
cmpl $0x2, 0xf752(%rip)      # 0x12dac
jl 0x3474
movq 0xe991(%rip), %rax      # 0x11ff8
movq (%rax), %rcx
leaq 0xb1d8(%rip), %rdi      # 0xe849
pushq $0x5
jmp 0x35ad
callq 0x3acb
leaq 0xb2a2(%rip), %rdi      # 0xe926
callq 0x38c1
leaq 0xb2dd(%rip), %rdi      # 0xe96d
callq 0x38c1
callq 0x3c14
leaq 0xb354(%rip), %rdi      # 0xe9f5
callq 0x38c1
callq 0x3894
leaq 0xb2a4(%rip), %rdi      # 0xe956
callq 0x38c1