// File: /workspace/github_cpp_makefile_star2_O3/Luthaf[P]zeopp/networkio.cc
// Function: checkInputFile(char*)
bool checkInputFile(char * filename){
  string file(filename);
  string fileTypes [] = {".cuc", ".arc", ".cssr", ".obcssr", ".v1",".cif",".car",".dlp",".pdb"};
  int numTypes = 8;

  for(int i = 0; i < numTypes; i++){
    if(file.find(fileTypes[i]) != string::npos)
      return true;
  }

  cerr << "Invalid input filename " << filename << "\n" << "Exiting ..." << "\n";
//  exit(1);
  return false;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x148, %rsp            # imm = 0x148
movq %rdi, %rbx
movq %rsp, %rdi
leaq 0x20(%rsp), %rdx
movq %rbx, %rsi
callq 0x2f484
leaq 0x30(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12aa9c(%rip), %rsi    # 0x14dbbf
leaq 0x12aa99(%rip), %rdx    # 0x14dbc3
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x22538
leaq 0x40(%rsp), %r15
leaq 0x50(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12aa78(%rip), %rsi    # 0x14dbc4
leaq 0x12aa75(%rip), %rdx    # 0x14dbc8
movq %r15, %rdi
callq 0x22538
leaq 0x60(%rsp), %r15
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x13a19b(%rip), %rsi    # 0x15d30b
leaq 0x13a199(%rip), %rdx    # 0x15d310
movq %r15, %rdi
callq 0x22538
leaq 0x80(%rsp), %r15
leaq 0x90(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12aa2f(%rip), %rsi    # 0x14dbc9
leaq 0x12aa2f(%rip), %rdx    # 0x14dbd0
movq %r15, %rdi
callq 0x22538
leaq 0xa0(%rsp), %r15
leaq 0xb0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12aa0d(%rip), %rsi    # 0x14dbd1
leaq 0x12aa09(%rip), %rdx    # 0x14dbd4
movq %r15, %rdi
callq 0x22538
leaq 0xc0(%rsp), %r15
leaq 0xd0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12a9e7(%rip), %rsi    # 0x14dbd5
leaq 0x12a9e4(%rip), %rdx    # 0x14dbd9
movq %r15, %rdi
callq 0x22538
leaq 0xe0(%rsp), %r15
leaq 0xf0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12a9c2(%rip), %rsi    # 0x14dbda
leaq 0x12a9bf(%rip), %rdx    # 0x14dbde
movq %r15, %rdi
callq 0x22538
leaq 0x100(%rsp), %r15
leaq 0x110(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12a99d(%rip), %rsi    # 0x14dbdf
leaq 0x12a99a(%rip), %rdx    # 0x14dbe3
movq %r15, %rdi
callq 0x22538
leaq 0x120(%rsp), %r15
leaq 0x130(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x12a977(%rip), %rsi    # 0x14dbe4
leaq 0x12a974(%rip), %rdx    # 0x14dbe8
movq %r15, %rdi
callq 0x22538
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rcx
movq %rsp, %rdi
xorl %edx, %edx
callq 0x4760
movb $0x1, %bpl
cmpq $-0x1, %rax
jne 0x2337c
movq $-0x1, %r15
leaq 0x48(%rsp), %r13
movq %rsp, %r14
cmpq $0x6, %r15
je 0x232de
movq -0x8(%r13), %rsi
movq (%r13), %rcx
movq %r14, %rdi
xorl %edx, %edx
callq 0x4760
incq %r15
addq $0x20, %r13
cmpq $-0x1, %rax
je 0x232ac
cmpq $0x7, %r15
setb %bpl
jmp 0x2337c
movq 0x171d0b(%rip), %r14    # 0x194ff0
leaq 0x12a8fd(%rip), %rsi    # 0x14dbe9
movl $0x17, %edx
movq %r14, %rdi
callq 0x44e0
testq %rbx, %rbx
je 0x2331a
movq %rbx, %rdi
callq 0x41e0
movq 0x171ce3(%rip), %rdi    # 0x194ff0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x44e0
jmp 0x23332
movq (%r14), %rax
movq -0x18(%rax), %rax
leaq (%r14,%rax), %rdi
movl 0x20(%r14,%rax), %esi
orl $0x1, %esi
callq 0x4710
movq 0x171cb7(%rip), %rdi    # 0x194ff0
leaq 0x1302de(%rip), %rsi    # 0x15361e
movl $0x1, %edx
callq 0x44e0
movq 0x171c9f(%rip), %rdi    # 0x194ff0
leaq 0x12a85b(%rip), %rsi    # 0x14dbb3
movl $0xb, %edx
callq 0x44e0
movq 0x171c87(%rip), %rdi    # 0x194ff0
leaq 0x1302ae(%rip), %rsi    # 0x15361e
movl $0x1, %edx
callq 0x44e0
xorl %ebp, %ebp
movq $-0x120, %rbx           # imm = 0xFEE0
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x23399
movq (%r12), %rsi
incq %rsi
callq 0x4470
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x23383
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x233be
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x4470
movl %ebp, %eax
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x140(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x4ac5
jmp 0x23422
jmp 0x233f7
jmp 0x233f7
jmp 0x233f7
jmp 0x233f7
jmp 0x233f7
jmp 0x233f7
jmp 0x233f7
movq %rax, %rbx
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x23412
movq (%r15), %rsi
incq %rsi
callq 0x4470
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x233fe
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2343d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x4470
movq %rbx, %rdi
callq 0x4780
movq %rax, %rbx
jmp 0x23422