// File: /workspace/github_cpp_makefile_star2_O1/ncbi[P]amr/tsv.cpp
// Function: Common_sp::TextTable::isKey(unsigned long) const
bool TextTable::isKey (ColNum colNum) const
{
  ASSERT (colNum < header. size ());

  const Header& h = header [colNum];
  if (h. null)
    return false;
  if (h. numeric)
    if (   h. scientific
        || h. decimals > 0
       )
      return false;
    
  unordered_set<string> values;  values. rehash (rows. size ());
  for (const StringVector& row : rows)
  {
    ASSERT (! row [colNum]. empty ());
    if (! values. insert (row [colNum]). second)
      return false;
  }
      
  return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movq %rsi, %rbx
movq %rdi, %r13
callq 0xa070
movq %rax, %r14
movl $0x0, (%rax)
movq 0x38(%r13), %rax
subq 0x30(%r13), %rax
sarq $0x7, %rax
cmpq %rbx, %rax
jbe 0x81e02
leaq 0x30(%r13), %rdi
movq %rbx, %rsi
callq 0x863cc
cmpb $0x0, 0x40(%rax)
je 0x81c8d
xorl %ebp, %ebp
jmp 0x81d4b
cmpb $0x1, 0x30(%rax)
jne 0x81caa
xorl %ebp, %ebp
cmpb $0x0, 0x31(%rax)
jne 0x81d4b
cmpq $0x0, 0x38(%rax)
jg 0x81d4b
leaq 0x110(%rsp), %rax
movq %rax, -0x30(%rax)
movq $0x1, -0x28(%rax)
xorps %xmm0, %xmm0
movups %xmm0, -0x20(%rax)
movl $0x3f800000, -0x10(%rax) # imm = 0x3F800000
movups %xmm0, -0x8(%rax)
movq 0x58(%r13), %rsi
subq 0x50(%r13), %rsi
sarq $0x5, %rsi
leaq 0xe0(%rsp), %r15
movq %r15, %rdi
callq 0x8874c
movq 0x50(%r13), %r12
movq 0x58(%r13), %r13
cmpq %r13, %r12
sete %bpl
je 0x81d3e
movl $0x0, (%r14)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x2e3d8
cmpq $0x0, 0x8(%rax)
je 0x81d63
movq %r12, %rdi
movq %rbx, %rsi
callq 0x2e3d8
movq %r15, (%rsp)
movq %r15, %rdi
movq %rax, %rsi
movq %rsp, %rdx
callq 0x88918
testb $0x1, %dl
je 0x81d3e
addq $0x20, %r12
jmp 0x81cf4
leaq 0xe0(%rsp), %rdi
callq 0x8724e
andb $0x1, %bpl
movl %ebp, %eax
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xa6b0
testl %eax, %eax
jne 0x81e9b
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0xe876(%rip), %rsi      # 0x905f9
leaq 0xe87f(%rip), %rdx      # 0x90609
leaq 0xa0(%rsp), %rdi
callq 0x2fdd8
leaq 0x80(%rsp), %rdi
movl $0x1c8, %esi            # imm = 0x1C8
callq 0x2d60a
leaq 0xc0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0x80(%rsp), %rdx
callq 0x2d562
leaq 0x8e18(%rip), %rsi      # 0x8abe5
leaq 0xc0(%rsp), %rdi
callq 0xaac0
leaq 0x50(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x81ea5
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x81eb2
callq 0xa6b0
testl %eax, %eax
jne 0x81e9b
leaq 0xd0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0xe7d7(%rip), %rsi      # 0x905f9
leaq 0xe7e0(%rip), %rdx      # 0x90609
leaq 0xc0(%rsp), %rdi
callq 0x2fdd8
leaq 0xa0(%rsp), %rdi
movl $0x1ba, %esi            # imm = 0x1BA
callq 0x2d60a
leaq 0x40(%rsp), %rdi
leaq 0xc0(%rsp), %rsi
leaq 0xa0(%rsp), %rdx
callq 0x2d562
leaq 0x8d7c(%rip), %rsi      # 0x8abe5
leaq 0x40(%rsp), %rdi
callq 0xaac0
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x81f2f
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x81f3c
movl $0x1, %edi
callq 0xa6c0
movq %rdx, 0x40(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x50(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x48(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x128(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0xe940(%rip), %rsi      # 0x9081e
leaq 0xe967(%rip), %rdx      # 0x9084c
leaq 0x118(%rsp), %rdi
callq 0x2fdd8
leaq 0xaa3a(%rip), %rsi      # 0x8c933
leaq 0x118(%rsp), %rdi
callq 0xaac0
leaq 0x30(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x81fac
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x81fb9
movq %rdx, 0x60(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x70(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x68(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0xe8b9(%rip), %rsi      # 0x9081e
leaq 0xe8e0(%rip), %rdx      # 0x9084c
leaq 0x20(%rsp), %rdi
callq 0x2fdd8
leaq 0xa9b6(%rip), %rsi      # 0x8c933
leaq 0x20(%rsp), %rdi
callq 0xaac0
leaq 0x90(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x82016
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x82029
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
movq 0x8(%rax), %rsi
leaq 0x20(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x60(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x2d562
leaq 0xe87b(%rip), %rsi      # 0x90866
leaq 0x60(%rsp), %rdi
callq 0xaac0
leaq 0x10(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x82088
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x82094
movq %rdx, 0x80(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x90(%rsp)
movq 0x8(%rax), %rsi
leaq 0x80(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rsp, %rdi
leaq 0x60(%rsp), %rsi
callq 0x2d562
leaq 0xe7f1(%rip), %rsi      # 0x9084d
movq %rsp, %rdi
callq 0xaac0
leaq 0xf0(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x820b3
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x820c6
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %rsp, %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
movq %rdx, 0xe0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xf0(%rsp)
movq 0x8(%rax), %rdx
leaq 0xe0(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x8210f
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8210f
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8212f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8212f
movq %rax, %rbx
movq 0x80(%rsp), %rdi
cmpq %r13, %rdi
je 0x8218c
movq 0x90(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8218c
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %rbp, %rdi
je 0x8216c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8216c
movq %rax, %rbx
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x821a8
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x821a8
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x821c4
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x821c4
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x821e0
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x821e0
movq %rax, %rbx
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x82202
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x82202
movq %rax, %rbx
movq 0x118(%rsp), %rdi
cmpq %r12, %rdi
je 0x82222
movq 0x128(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x82222
movq %rax, %rbx
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8223e
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8223e
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x82264
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x82264
movq %rax, %rbx
leaq 0xb0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8228a
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8228a
movq %rax, %rbx
leaq 0xd0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x822ac
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x822ac
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
cmpq %r14, %rdi
je 0x8230c
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x8230c
movq %rax, %rbx
leaq 0x90(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x822d9
movq 0x90(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x822d9
movq %rax, %rbx
jmp 0x8230c
jmp 0x822fc
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
cmpq %r14, %rdi
je 0x822ff
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x822ff
jmp 0x822fc
jmp 0x822fc
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x8724e
movq %rbx, %rdi
callq 0xaa10